dimension (vector space)
Let be a vector space over a field . We say that isfinite-dimensional if there exists a finite basis of . Otherwise wecall infinite-dimensional.
It can be shown that every basis of has the same cardinality. We call this cardinality the dimension of . In particular, if is finite-dimensional, then every basis of will consist of a finite set . We then call the natural number
the dimension of .
Next, let a subspace. The dimension of the quotientvector space
is called the codimension of relative to .
In circumstances where the choice of field is ambiguous, thedimension of a vector space depends on the choice of field. Forexample, every complex vector space is also a real vector space, andtherefore has a real dimension, double its complex dimension.