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 ≤ k≤ n, 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 (n–k)-vectors, then there exists a unique (n–k)-vector, say, such that for all . This (n–k)-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:
“How strange a scene is this in which we are such shifting figures, pictures, shadows. The mystery of our existenceI have no faith in any attempted explanation of it. It is all a dark, unfathomed profound.”
—Rutherford Birchard Hayes (18221893)
“Natural selection, the blind, unconscious, automatic process which Darwin discovered, and which we now know is the explanation for the existence and apparently purposeful form of all life, has no purpose in mind. It has no mind and no minds eye. It does not plan for the future. It has no vision, no foresight, no sight at all. If it can be said to play the role of the watchmaker in nature, it is the blind watchmaker.”
—Richard Dawkins (b. 1941)
“To develop an empiricist account of science is to depict it as involving a search for truth only about the empirical world, about what is actual and observable.... It must involve throughout a resolute rejection of the demand for an explanation of the regularities in the observable course of nature, by means of truths concerning a reality beyond what is actual and observable, as a demand which plays no role in the scientific enterprise.”
—Bas Van Fraassen (b. 1941)