Formal Definition of The Hodge Star of k-vectors
The Hodge star operator on a vector space V with a nondegenerate symmetric bilinear form (herein aka inner product) is a linear operator on the exterior algebra of V, mapping k-vectors to (n−k)-vectors where n = dim V, for 0 ≤ k ≤ n. It has the following property, which defines it completely: given two k-vectors α, β
where denotes the inner product on k-vectors and ω is the preferred unit n-vector.
The inner product on k-vectors is extended from that on V by requiring that for any decomposable k-vectors and .
The preferred unit n-vector ω is unique up to a sign. The choice of ω defines an orientation on V.
Read more about this topic: Hodge Dual
Famous quotes containing the words formal, definition and/or star:
“This is no argument against teaching manners to the young. On the contrary, it is a fine old tradition that ought to be resurrected from its current mothballs and put to work...In fact, children are much more comfortable when they know the guide rules for handling the social amenities. It’s no more fun for a child to be introduced to a strange adult and have no idea what to say or do than it is for a grownup to go to a formal dinner and have no idea what fork to use.”
—Leontine Young (20th century)
“One definition of man is “an intelligence served by organs.””
—Ralph Waldo Emerson (1803–1882)
“A rocket is an experiment; a star is an observation.”
—José Bergamín (1895–1983)