Complement (linear algebra)

From Citizendium
Revision as of 20:18, 28 November 2008 by Richard Pinch (Talk | contribs) (New entry, just a stub)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

In linear algebra, a complement to a subspace of a vector space is another subspace which forms an internal direct sum. Two such spaces are mutually complementary.

Formally, if U is a subspace of V, then W is a complement of U if and only if V is the direct sum of U and W, , that is:

Clearly this relation is symmetric, that is, if W is a complement of U then U is also a complement of W.

If V is finite-dimensional then for complementary subspaces U, W we have

In general a subspace does not have a unique complement (although the zero subspace and V itself are the unique complements each of the other). However, if V is in addition an inner product space, then there is a unique orthogonal complement