Jump to content

Complex conjugate of a vector space

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Phys (talk | contribs) at 22:22, 28 January 2005 (stub). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

If V is a complex vector space, then any two vector spaces with a bijective antilinear map from V to it are all isomorphic. Pick a representatitive and call it the complex conjugate vector space of V. The conjugate of the conjugate of V is isomorphic to V. So, we can tweak the definition of the conjugate so that the conjugate of the conjugate of V is none other than V itself.