Extension To Related Vector Spaces
Let V be a real vector space with a complex structure J. The dual space V* has a natural complex structure J* given by the dual (or transpose) of J. The complexification of the dual space (V*)C therefore has a natural decomposition
into the ±i eigenspaces of J*. Under the natural identification of (V*)C with (VC)* one can characterize (V*)+ as those complex linear functionals which vanish on V−. Likewise (V*)− consists of those complex linear functionals which vanish on V+.
The (complex) tensor, symmetric, and exterior algebras over VC also admit decompositions. The exterior algebra is perhaps the most important application of this decomposition. In general, if a vector space U admits a decomposition U = S ⊕ T then the exterior powers of U can be decomposed as follows:
A complex structure J on V therefore induces a decomposition
where
All exterior powers are taken over the complex numbers. So if VJ is has complex dimension n (real dimension 2n) then
The dimensions add up correctly as a consequence of Vandermonde's identity.
The space of (p,q)-forms Λp,q VJ* is the space of (complex) multilinear forms on VC which vanish on homogeneous elements unless p are from V+ and q are from V−. It is also possible to regard Λp,q VJ* as the space of real multilinear maps from VJ to C which are complex linear in p terms and conjugate-linear in q terms.
See complex differential form and almost complex manifold for applications of these ideas.
Read more about this topic: Linear Complex Structure
Famous quotes containing the words extension, related and/or spaces:
“We know then the existence and nature of the finite, because we also are finite and have extension. We know the existence of the infinite and are ignorant of its nature, because it has extension like us, but not limits like us. But we know neither the existence nor the nature of God, because he has neither extension nor limits.”
—Blaise Pascal (1623–1662)
“The near explains the far. The drop is a small ocean. A man is related to all nature. This perception of the worth of the vulgar is fruitful in discoveries. Goethe, in this very thing the most modern of the moderns, has shown us, as none ever did, the genius of the ancients.”
—Ralph Waldo Emerson (1803–1882)
“Le silence éternel de ces espaces infinis m’effraie. The eternal silence of these infinite spaces frightens me.”
—Blaise Pascal (1623–1662)