Coordinate space
The coordinate space , standard space or standard vector space in mathematics is the vector space of - tuples with components from a given field provided with the component-wise addition and scalar multiplication . The elements of the coordinate space are called coordinate vectors or coordinate tuples. The standard basis for the coordinate space consists of the canonical unit vectors . Linear mappings between coordinate spaces are represented by matrices . The coordinate spaces have a special meaning in linear algebra , since every finite-dimensional vector space is isomorphic (structurally identical) to a coordinate space .
The two- and three-dimensional real coordinate spaces often serve as models for the Euclidean plane and the three-dimensional Euclidean space . In this case, its elements are understood both as points and as vectors .
definition
Is a field and a natural number , then is -fold the Cartesian product
the set of all - tuples with components . For this tuple is now defined a component-wise addition of
as well as a component-wise multiplication with a scalar by
- .
In this way a vector space is obtained , which is called the coordinate space or the standard space of the dimension above the body . Its elements are called coordinate vectors or coordinate tuples.
Representation with column vectors
The coordinate vectors are often noted as column vectors . The vector addition and scalar multiplication then correspond to a line-by-line addition of the vector components or a line-by-line multiplication with a scalar:
- .
These operations are then special cases of matrix addition and scalar multiplication of single-column matrices .
Examples
Important examples of coordinate spaces arise from the choice of real numbers as the underlying body. In one-dimensional coordinate space , the vector space operations correspond precisely to the normal addition and multiplication of numbers. In the two-dimensional real coordinate space , number pairs can be interpreted as position vectors in the Euclidean plane . The two components are then precisely the coordinates of the end point of a position vector in a Cartesian coordinate system . In this way the vector addition corresponds
illustrative of the addition of the associated vector arrows and the multiplication of a vector by a number
- .
the stretching (or compression) of the associated vector arrow by the factor . In particular, a vector in the Euclidean plane is obtained again by vector addition or scalar multiplication. Correspondingly, the tuples of the three-dimensional real coordinate space can be interpreted as position vectors in Euclidean space . In higher dimensions, this construction works in a completely analogous manner, even if the coordinate vectors of the can then no longer be interpreted so clearly.
properties
Neutral and inverse element
The neutral element in the coordinate space is the zero vector
- ,
where is the zero element of the body . The element inverse to a vector is then the vector
- ,
wherein for the additive inverse element to each in is.
Laws
The coordinate space satisfies the axioms of a vector space . In addition to the existence of a neutral and inverse element, coordinate vectors and scalars apply
- the associative law ,
- the commutative law ,
- the mixed associative law ,
- the distributive laws and as well
- the neutrality of one , being the one element of the body .
These laws follow directly from the associativity, commutativity and distributivity of addition and multiplication in the body by applying to each component of a coordinate tuple.
Base
The standard basis for the coordinate space consists of the canonical unit vectors
- .
Each vector can thus be used as a linear combination
represent the basis vectors. The dimension of the coordinate space is therefore given by
- .
Further bases of the coordinate space can be determined by basic transformation of the standard basis. The column or row vectors of a matrix form a basis of the coordinate space exactly if the matrix is regular , i.e. has full rank .
Linear maps
The linear mappings between two coordinate spaces clearly correspond to the matrices with entries from the body: If a matrix has rows and columns, then the matrix-vector product becomes a linear map
Are defined. Conversely, there is a clearly defined mapping matrix for every linear mapping , so that for all . The columns of result as the images of the standard basis vectors:
- .
The set of matrices together with the matrix addition and the scalar multiplication itself form a vector space, the matrix space .
Isomorphism
If there is an arbitrary -dimensional vector space over the body , then is isomorphic to the corresponding coordinate space , i.e.
- .
If one chooses a basis for , then every vector has the representation
with . Each vector can be clearly represented as a coordinate tuple. Conversely, because of the linear independence of the base vectors, exactly one vector corresponds to each such coordinate tuple . So the figure is
bijective . Since the mapping is also linear, it represents an isomorphism between the coordinate space and the vector space . Since every -dimensional vector space over the body is isomorphic to the coordinate space in this way , all -dimensional vector spaces over the same body are isomorphic with one another.
This identification of finite-dimensional vector spaces with the associated coordinate space also explains the name “standard space”. Nevertheless, in linear algebra one often prefers to work with abstract vector spaces instead of coordinate spaces, since in theory one would like to argue without coordinates, i.e. without a specially selected basis. For concrete calculations, one then falls back on the coordinate space and calculates with the coordinate vectors.
Extensions
The coordinate space can be expanded to include the following mathematical structures , for example:
- Is a real or complex coordinate space with a scalar product is provided, for example, the standard scalar , one obtains a scalar product . Since this space with respect to the induced by the scalar metric completely is, these are even a Hilbert space .
- If a real or complex coordinate space is given a vector norm , for example the Euclidean norm or another p norm , a normalized space is obtained . This space is then also complete with regard to the metric induced by the norm , i.e. a Banach space .
- If a coordinate space is provided with a topology , for example the standard topology , a topological vector space is obtained , that is, the vector addition and the scalar multiplication are continuous operations.
literature
- Gerd Fischer : Linear Algebra: an introduction for first-year students . Springer, 2008, ISBN 3-8348-9574-1 .
- Herbert Amann, Joachim Escher: Analysis I . Springer, 2006, ISBN 3-7643-7756-9 .
Individual evidence
- ↑ Fischer: Linear Algebra: An Introduction for New Students . S. 75 .
- ↑ ^{a } ^{b} Amann, Escher: Analysis I . S. 125 .