In the mathematical sub-area of linear algebra, a standard basis , natural basis , unit basis or canonical basis is a special basis that is already distinguished from all possible bases in certain vector spaces due to its construction.
In general, a basis of a vector space is a family of vectors with the property that each vector of the space can be clearly represented as a finite linear combination of these. The coefficients of this linear combination are called the coordinates of the vector with respect to this base. One element of the basis is called a basis vector.
Every vector space has a basis, and in general numerous bases, none of which is distinguished.
- The parallel displacements of the plane of observation form a vector space ( see Euclidean space ) of dimension two. However, no base is excellent. A possible basis would consist of a “shift by one unit to the right” and the “shift by one unit up”. Here, "unit", "right" and "above" are conventions or depending on the perspective.
- Those real-valued functions which are twice differentiable and which satisfy the equation for all form a real vector space of dimension two. A possible basis is formed by the sine and cosine functions. Choosing this base may seem like an obvious choice, but it doesn't stand out very well over other choices.
Standard basis in the standard rooms
The vector spaces that are usually introduced first are the standard spaces with . Elements of are all - tuples of real numbers. From all bases of the one can distinguish the one with respect to which the coordinates of a vector coincide exactly with its tuple components. So this basis consists of where
and is referred to as the standard base of the .
The same applies to the vector space over an arbitrary body , that means here too there are the standard basis vectors .
The standard basis of the consists of and . The two vector spaces listed above as examples are isomorphic to , but do not have a standard basis. As a result, even among the isomorphisms between these spaces and none is distinguished.
The designation for the standard basis vectors is widely used. However, the three standard basis vectors of three-dimensional vector space are sometimes referred to in the applied natural sciences as :
It has other properties beyond the vector space property. With regard to this, too, the standard basis vectors often meet special conditions. So the standard basis is an orthonormal basis with respect to the standard scalar product .
Standard base in the die space
The set of matrices over a body also forms a vector space with the matrix addition and the scalar multiplication . The standard basis in this matrix space is formed by the standard matrices in which exactly one entry is equal to one and all other entries are equal to zero. For example, the four form matrices
the standard base of the space of the matrices.
Standard basis in infinitely dimensional spaces
If a body and an arbitrary (especially possibly infinite) set, the finite formal linear combinations of elements form a vector space. Then this vector space is itself the basis and is called its standard basis.
Instead of formal linear combinations, one also alternatively considers the vector space of those mappings with the property that applies to almost all . To be through
given figure . Then the family forms a basis of the vector space, which in this case is also called the standard basis.
The vector space of all mappings , on the other hand, has no standard basis if it is infinite.
Also polynomial rings over fields are vector spaces where a base has been awarded directly on the basis of the construction. Thus the elements of the polynomial ring are by definition the finite linear combinations of the monomials , etc., which accordingly form a basis - the standard basis - of .
Connection with universal properties
The term canonical is generally used in constructions about a universal property . So there is also a connection between standard bases and the following construction:
Be a body and any quantity. We are looking for a vector space together with a mapping in its underlying set, so that there is exactly one linear mapping for every vector space and every mapping with . Such a pair is then called a canonical mapping or universal solution of with respect to the forgetting function that assigns the underlying set to each vector space.
The vector spaces with standard basis given above have exactly this universal property. The image from under the canonical mapping are precisely the vectors of the canonical base or the canonical mapping as a family is the canonical base.
The fact that there is always such a universal solution exists, already follows that a picture that lots of such a universal solution , and each such maps, a functor , the linksadjungiert for forgetful is. Such a functor is called a free functor .