- 1. Overview
- 2. Etymology
- 3. Cultural Impact
This article needs more citations to reliable sources. Please help by adding inline citations to the text, making it clear which statements are supported by which sources. (July 2016) ( Learn how and when to remove this message )
For a more comprehensive exploration of this subject, consult the article on Canonical basis .
- It is crucial not to confuse this topic with a GrĂśbner basis , which shares a similar designation but serves a distinct purpose.
In the realm of mathematics , specifically within coordinate vector spaces such as
R
n
{\displaystyle \mathbb {R} ^{n}}
(the space of n-tuples of real numbers ) or
C
n
{\displaystyle \mathbb {C} ^{n}}
(the space of n-tuples of complex numbers ), the concept of a standard basis, also known as the natural basis or canonical basis , is fundamental. This basis is defined as a specific set of vectors where each vector is characterized by having a single component equal to 1 and all other components equal to 0. It’s the bedrock upon which we build our understanding of vector spaces, allowing us to express any vector as a unique combination of these fundamental building blocks.
Letâs take the Euclidean plane , denoted as
R
2
{\displaystyle \mathbb {R} ^{2}}, which is composed of all ordered pairs of real numbers , represented as ( x , y ). The standard basis for this space is elegantly simple, consisting of two vectors:
e
x
= ( 1 , 0 ) ,
e
y
= ( 0 , 1 ) .
{\displaystyle \mathbf {e} _{x}=(1,0),\quad \mathbf {e} _{y}=(0,1).}
These vectors, often visualized as arrows originating from the origin, point directly along the positive x-axis and positive y-axis, respectively.
Extending this to the three-dimensional space ,
R
3
{\displaystyle \mathbb {R} ^{3}}, which consists of ordered triples ( x , y , z ), the standard basis comprises three vectors:
e
x
= ( 1 , 0 , 0 ) ,
e
y
= ( 0 , 1 , 0 ) ,
e
z
= ( 0 , 0 , 1 ) .
{\displaystyle \mathbf {e} _{x}=(1,0,0),\quad \mathbf {e} _{y}=(0,1,0),\quad \mathbf {e} _{z}=(0,0,1).}
Here, e x unequivocally indicates the direction and unit magnitude along the x-axis, e y does the same for the y-axis, and e z for the z-axis. These are the essential directional guides in our three-dimensional world.
The notations for these standard basis vectors can vary, reflecting different conventions and contexts. Common representations include { e x , e y , e z }, { e 1 , e 2 , e 3 }, { i , j , k }, and even { x , y , z }. Sometimes, a hat is placed above these symbols, such as $\hat{i}$, $\hat{j}$, $\hat{k}$, to explicitly denote them as unit vectors â vectors with a magnitude of 1, reinforcing their role as fundamental directional units.
The true power of the standard basis lies in its ability to form a basis . This means that any vector within the space can be expressed as a unique linear combination of these basis vectors. For instance, any arbitrary vector v in three-dimensional space can be represented as:
v
x
e
x
v
y
e
y
v
z
e
z
,
{\displaystyle v_{x},\mathbf {e} {x}+v{y},\mathbf {e} {y}+v{z},\mathbf {e} _{z},}
where v x , v y , and v z are the scalar components of the vector v . These scalars are essentially the “coordinates” of the vector v along each of the standard basis directions. It’s like saying any destination can be reached by taking a specific number of steps east, a specific number of steps north, and a specific number of steps up.
This principle extends seamlessly to the n-dimensional Euclidean space,
R
n
{\displaystyle \mathbb {R} ^{n}}. In this more abstract setting, the standard basis is a collection of n distinct vectors, denoted as:
{
e
i
: 1 ⤠i ⤠n } ,
{\displaystyle {\mathbf {e} _{i}:1\leq i\leq n},}
where each vector e i possesses a single ‘1’ in its i-th coordinate position and is filled with zeros everywhere else. This systematic construction ensures that we have a complete and independent set of building blocks for any n-dimensional space.
The concept of a standard basis isn’t confined to numerical coordinate spaces. It can be defined for other vector spaces whose elements are characterized by coefficients , such as polynomials and matrices . In these contexts, the standard basis is formed by elements where only one coefficient is non-zero (and that coefficient is 1), while all others are zero.
For the vector space of polynomials, the standard basis is often referred to as the monomial basis . This basis consists of the simplest polynomial building blocks: the monomials. For example, in a space of polynomials up to degree 2, the standard basis might be {1, x, x²}.
In the case of matrices, specifically m Ă n matrices, the standard basis is comprised of matrices that contain a single ‘1’ in one position and zeros everywhere else. For instance, consider the standard basis for 2Ă2 matrices:
e
11
=
(
1
0
0
0
)
,
e
12
=
(
0
1
0
0
)
,
e
21
=
(
0
0
1
0
)
,
e
22
=
(
0
0
0
1
)
.
{\displaystyle {\begin{aligned}\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{aligned}}}
Each of these matrices represents a specific “positional” identity within the 2x2 grid.
Properties
By its very definition, the standard basis possesses a crucial set of properties. It is a sequence of vectors that are not only orthogonal to each other (meaning their dot product is zero, indicating they are perpendicular) but also unit vectors (meaning they each have a length or magnitude of 1). Consequently, the standard basis is always an ordered and orthonormal basis. This combination of properties makes it exceptionally well-behaved and easy to work with.
However, it’s important to note that simply being an ordered orthonormal basis does not automatically make it a standard basis. Consider, for example, a rotated coordinate system in 2D. The vectors representing a 30° rotation of the standard basis in the Cartesian coordinate system might be:
v
1
=
(
3
2
,
1 2
)
v
2
=
(
1 2
,
â
3
2
)
{\displaystyle {\begin{aligned}v_{1}&=\left({{\sqrt {3}} \over 2},{1 \over 2}\right)\v_{2}&=\left({1 \over 2},{-{\sqrt {3}} \over 2}\right)\end{aligned}}}
While these vectors v 1 and v 2 are indeed orthogonal and have a magnitude of 1, they are not aligned with the primary axes (x and y). Therefore, this basis, despite being orthonormal, does not meet the strict definition of a standard basis because its vectors do not align with the fundamental coordinate axes. Itâs like having a perfectly good set of tools, but theyâre all angled slightly wrong for the job.
Generalizations
The notion of a standard basis can be extended beyond basic coordinate spaces. For the ring of polynomials in n indeterminates over a field , the standard basis is, as mentioned, the set of monomials . This provides a systematic way to represent any polynomial as a combination of these fundamental terms.
More generally, for any set I (which can be finite or infinite), we can define a standard basis for the R-module
R
( I )
{\displaystyle R^{(I)}}. This module consists of all families f = ( f i ) from I into a ring R, where only a finite number of f i are non-zero. The standard basis in this context is the indexed family:
(
e
i
)
i â I
= ( (
δ
i j
)
j â I
)
i â I
{\displaystyle {(e_{i})}{i\in I}=((\delta {ij}){j\in I}){i\in I}}
Here, δ ij represents the Kronecker delta , a function that is 1 if i equals j and 0 if i is different from j. Each basis vector e i is a family where the i-th component is the multiplicative unit (1) of the ring R, and all other components are 0. This is a highly abstract but powerful generalization, allowing us to define standard bases in a vast array of mathematical structures.
Other Usages
The concept of a “standard basis” has found its way into various other fields, sometimes with slightly different interpretations. In algebraic geometry , particularly following the work of Hodge in 1943 concerning Grassmannians , the idea of standard bases has evolved into what is now known as standard monomial theory, a significant area within representation theory . This theory explores specific types of bases in algebraic structures.
Furthermore, the PoincarĂŠâBirkhoffâWitt theorem establishes the existence of a standard basis within the universal enveloping algebra of a Lie algebra . This theorem is a cornerstone in the study of Lie algebras and their representations.
It’s also worth noting that GrĂśbner bases , a powerful tool for solving systems of polynomial equations, are sometimes referred to as standard bases. While they share the name, their construction and application differ significantly from the standard bases discussed earlier.
In the field of physics , the standard basis vectors in a given Euclidean space are frequently called the versors of the axes of the corresponding Cartesian coordinate system. These versors are simply unit vectors aligned with the coordinate axes, providing the fundamental directional references for physical quantities.
See also
Citations
- ^ Roman (2008), p. 47, ch. 1.
- ^ Axler (2015), pp. 39â40, §2.29.
- ^ Roman (2008), p. 131, ch. 5.