Definitions from Basis and dimension
All definitions from Basis and dimension.
Basis
A set in a vector space is a basis for if it is linearly independent and spans .
Spanning gives a representation for every vector in and independence makes it unique, as shown in linear independence. A basis is therefore a generating set with no redundant direction: removing any basis vector destroys spanning.
For an infinite set, span still uses finite linear combinations and independence means that every finite subset is independent. The calculations below use finite bases.
Dimension
If a vector space has a finite basis, then is finite-dimensional and its dimension, denoted , is the common number of vectors in all bases of .
The zero vector space has the empty basis, so . If has no finite basis, it is called infinite-dimensional. For example, is infinite-dimensional: no finite list of polynomials can span polynomials of arbitrarily high degree.