Hodge Dual - Explanation

Explanation

Let W be a vector space, with an inner product . For every linear function there exists a unique vector v in W such that for all w in W. The map given by is an isomorphism. This holds for all vector spaces, and can be used to explain the Hodge dual.

Let V be an n-dimensional vector space with basis . For 0 ≤ kn, consider the exterior power spaces and . For each and, we have . There is, up to a scalar, only one n-vector, namely . In other words, must be a scalar multiple of for all and .

Consider a fixed . There exists a unique linear function such that for all . This is the scalar multiple mentioned in the previous paragraph. If denotes the inner product on (nk)-vectors, then there exists a unique (nk)-vector, say, such that for all . This (nk)-vector is the Hodge dual of λ, and is the image of the under the canonical isomorphism between and . Thus, .

Read more about this topic:  Hodge Dual

Famous quotes containing the word explanation:

    There is a great deal of unmapped country within us which would have to be taken into account in an explanation of our gusts and storms.
    George Eliot [Mary Ann (or Marian)

    There is no explanation for evil. It must be looked upon as a necessary part of the order of the universe. To ignore it is childish, to bewail it senseless.
    W. Somerset Maugham (1874–1965)

    How strange a scene is this in which we are such shifting figures, pictures, shadows. The mystery of our existence—I have no faith in any attempted explanation of it. It is all a dark, unfathomed profound.
    Rutherford Birchard Hayes (1822–1893)