In linear algebra, a basis for a vector space is a set of vectors in such that every vector in can be written uniquely as a finite linear combination of vectors in the basis. One may think of the vectors in a basis as building blocks from which all other vectors in the space can be assembled. This is similar to viewing the prime numbers as building blocks from which positive integers can be assembled.
Every nonzero vector space has a basis, and in fact, infinitely many different bases. This result is of paramount importance in the theory of vector spaces, in the same way that the unique factorization theorem is of fundamental importance in the study of integers. For instance, the existence of a finite basis for a vector space provides the space with an invertible linear transformation to Euclidean space, given by taking the coordinates of a vector with respect to a basis. Through this transformation, every finite dimensional vector space can be considered to be essentially "the same as" the space just with different labels for the vectors and operations. (Here, consists of row vectors with real number entries.)
If a vector space has a finite basis, then every basis for the space has the same number of elements: this number is the dimension of the space.
The term basis is also used in abstract algebra, specifically in the theory of free modules. For more on this use of the term, see the advanced subpage.