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:
“Are cans constitutionally iffy? Whenever, that is, we say that we can do something, or could do something, or could have done something, is there an if in the offing—suppressed, it may be, but due nevertheless to appear when we set out our sentence in full or when we give an explanation of its meaning?”
—J.L. (John Langshaw)
“What causes adolescents to rebel is not the assertion of authority but the arbitrary use of power, with little explanation of the rules and no involvement in decision-making. . . . Involving the adolescent in decisions doesn’t mean that you are giving up your authority. It means acknowledging that the teenager is growing up and has the right to participate in decisions that affect his or her life.”
—Laurence Steinberg (20th century)
“My companion assumes to know my mood and habit of thought, and we go on from explanation to explanation, until all is said that words can, and we leave matters just as they were at first, because of that vicious assumption.”
—Ralph Waldo Emerson (1803–1882)