*** Welcome to piglix ***

Finite-dimensional


In mathematics, the dimension of a vector space V is the cardinality (i.e. the number of vectors) of a basis of V over its base field. It is sometimes called Hamel dimension (after Georg Hamel) or algebraic dimension to distinguish it from other types of dimension.

For every vector space there exists a basis, and all bases of a vector space have equal cardinality; as a result, the dimension of a vector space is uniquely defined. We say V is finite-dimensional if the dimension of V is , and infinite-dimensional if its dimension is infinite.

The dimension of the vector space V over the field F can be written as dimF(V) or as [V : F], read "dimension of V over F". When F can be inferred from context, dim(V) is typically written.

The vector space R3 has

as a basis, and therefore we have dimR(R3) = 3. More generally, dimR(Rn) = n, and even more generally, dimF(Fn) = n for any field F.

The complex numbers C are both a real and complex vector space; we have dimR(C) = 2 and dimC(C) = 1. So the dimension depends on the base field.

The only vector space with dimension 0 is {0}, the vector space consisting only of its zero element.

If W is a linear subspace of V, then dim(W) ≤ dim(V).

To show that two finite-dimensional vector spaces are equal, one often uses the following criterion: if V is a finite-dimensional vector space and W is a linear subspace of V with dim(W) = dim(V), then W = V.

Rn has the standard basis {e1, ..., en}, where ei is the i-th column of the corresponding identity matrix. Therefore Rn has dimension n.


...
Wikipedia

...