Standard basis
Template:Short description Template:No footnotes Template:Broader Template:Distinguish
In mathematics, the standard basis (also called natural basis or canonical basis) of a coordinate vector space (such as <math>\mathbb{R}^n</math> or <math>\mathbb{C}^n</math>) is the set of vectors, each of whose components are all zero, except one that equals 1.Template:Sfnp For example, in the case of the Euclidean plane <math>\mathbb{R}^2</math> formed by the pairs Template:Math of real numbers, the standard basis is formed by the vectors <math display="block">\mathbf{e}_x = (1,0),\quad \mathbf{e}_y = (0,1).</math> Similarly, the standard basis for the three-dimensional space <math>\mathbb{R}^3</math> is formed by vectors <math display="block">\mathbf{e}_x = (1,0,0),\quad \mathbf{e}_y = (0,1,0),\quad \mathbf{e}_z=(0,0,1).</math> Here the vector Template:Math points in the Template:Mvar direction, the vector Template:Math points in the Template:Mvar direction, and the vector Template:Math points in the Template:Mvar direction. There are several common notations for standard-basis vectors, including Template:Math, Template:Math, Template:Math, and Template:Math. These vectors are sometimes written with a hat to emphasize their status as unit vectors (standard unit vectors).
These vectors are a basis in the sense that any other vector can be expressed uniquely as a linear combination of these.Template:Sfnp For example, every vector Template:Math in three-dimensional space can be written uniquely as <math display="block">v_x\,\mathbf{e}_x + v_y\,\mathbf{e}_y + v_z\,\mathbf{e}_z,</math> the scalars Template:Mvar, Template:Mvar, Template:Mvar being the scalar components of the vector Template:Math.
In the Template:Mvar-dimensional Euclidean space Template:Nowrap the standard basis consists of Template:Mvar distinct vectors <math display="block">\{ \mathbf{e}_i : 1\leq i\leq n\},</math> where Template:Math denotes the vector with a 1 in the Template:Mvarth coordinate and 0's elsewhere.
Standard bases can be defined for other vector spaces, whose definition involves coefficients, such as polynomials and matrices. In both cases, the standard basis consists of the elements of the space such that all coefficients but one are 0 and the non-zero one is 1. For polynomials, the standard basis thus consists of the monomials and is commonly called monomial basis. For matrices Template:Math, the standard basis consists of the Template:Math–matrices with exactly one non-zero entry, which is 1. For example, the standard basis for 2×2 matrices is formed by the 4 matrices <math display="block">\begin{align} \mathbf{e}_{11} &= \begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix}, & \mathbf{e}_{12} &= \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}, \\ \mathbf{e}_{21} &= \begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix}, & \mathbf{e}_{22} &= \begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix}. \end{align}</math>
Properties
By definition, the standard basis is a sequence of orthogonal unit vectors. In other words, it is an ordered and orthonormal basis.
However, an ordered orthonormal basis is not necessarily a standard basis. For instance the two vectors representing a 30° rotation of the 2D standard basis described above, i.e., <math display="block">\begin{align} v_1 &= \left( {\sqrt 3 \over 2} , {1 \over 2} \right) \\ v_2 &= \left( {1 \over 2} , {-\sqrt 3 \over 2} \right) \end{align}</math> are also orthogonal unit vectors, but they are not aligned with the axes of the Cartesian coordinate system, so the basis with these vectors does not meet the definition of standard basis.
Generalizations
There is a standard basis also for the ring of polynomials in Template:Mvar indeterminates over a field, namely the monomials.
All of the preceding are special cases of the indexed family <math display="block">{(e_i)}_{i\in I}= ( (\delta_{ij} )_{j \in I} )_{i \in I}</math> where Template:Mvar is any set and Template:Mvar is the Kronecker delta, equal to zero whenever Template:Math and equal to 1 if Template:Math. This family is the canonical basis of the Template:Mvar-module (free module) <math display="block">R^{(I)}</math> of all families <math display="block">f=(f_i)</math> from Template:Mvar into a ring Template:Mvar, which are zero except for a finite number of indices, if we interpret 1 as Template:Math, the unit in Template:Mvar.Template:Sfnp
Other usages
The existence of other 'standard' bases has become a topic of interest in algebraic geometry, beginning with work of Hodge from 1943 on Grassmannians. It is now a part of representation theory called standard monomial theory. The idea of standard basis in the universal enveloping algebra of a Lie algebra is established by the Poincaré–Birkhoff–Witt theorem.
Gröbner bases are also sometimes called standard bases.
In physics, the standard basis vectors for a given Euclidean space are sometimes referred to as the versors of the axes of the corresponding Cartesian coordinate system.
See also
Citations
References
- Template:Cite book
- Template:Cite book (page 47)
- Template:Cite book (page 198)
- Template:Cite book (page 112)