Type a command or search the notes. Tab cycles completions. Up and down recall history when blank. Escape dismisses, then leaves the prompt.
MATH
[1251]

Definitions from Basis and dimension

All definitions from Basis and dimension.

Back to Basis and dimension

Basis

A set BB in a vector space VV is a basis for VV if it is linearly independent and spans VV.

Spanning gives a representation for every vector in VV 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 VV has a finite basis, then VV is finite-dimensional and its dimension, denoted dim⁡(V)\dim(V), is the common number of vectors in all bases of VV.

The zero vector space has the empty basis, so dim⁡({0})=0\dim(\{0\})=0. If VV has no finite basis, it is called infinite-dimensional. For example, P(R)P(\mathbb R) is infinite-dimensional: no finite list of polynomials can span polynomials of arbitrarily high degree.

On this page