Vector space
A vector space or linear space is an algebraic structure that is used in many branches of mathematics . Vector spaces are the central subject of investigation in linear algebra . The elements of a vector space are called vectors. They can be added or multiplied by scalars (numbers), the result is again a vector of the same vector space. The term arose when these properties were abstracted based on vectors of Euclidean space so that they can then be transferred to more abstract objects such as functions or matrices .
The scalars with which a vector can be multiplied come from a body . Therefore a vector space is always a vector space over a certain body. Very often it is the field of real numbers or the field of complex numbers . One then speaks of a real vector space or a complex vector space .
A basis of a vector space is a set of vectors that allow each vector to be represented by unique coordinates . The number of basis vectors in a basis is called the dimension of the vector space. It is independent of the choice of basis and can also be infinite. The structural properties of a vector space are uniquely determined by the body over which it is defined and its dimensions.
A base makes it possible to perform calculations with vectors using their coordinates instead of the vectors themselves, which makes some applications easier.
definition
Let there be a set, a field , an inner two-digit combination , called vector addition, and an outer two-digit combination , called a scalar multiplication . One then calls a vector space over the body or, for short, a vector space, if all and the following properties hold:
Vector addition:
- V1: ( associative law )
- V2: existence of a neutral element with
- V3: Existence of an element that is too inverse with
- V4: ( commutative law )
Scalar multiplication:
- S1: ( distributive law )
- S2:
- S3:
- S4: neutrality of the single element , that is
Remarks
- The axioms V1, V2 and V3 of vector addition state that a group forms, and axiom V4 that this group is Abelian . Their neutral element is called the zero vector .
- A body is an Abelian group with a neutral element (zero element) and a second inner two-digit link so that it is also an Abelian group and the distributive laws apply. Important examples of solids are the real numbers and the complex numbers .
- The axioms S1 and S2 of the scalar multiplication are also referred to as distributive laws, axiom S3 also as the associative law . It should be noted, however, that in axiom S2 the plus signs denote two different additions (on the left the in and on the right those in ) and that in axiom S3 the scalar multiplication is associative with the multiplication in .
- The axioms S1 and S2 guarantee the left compatibility with the vector addition and the right compatibility with the body and vector addition for the scalar multiplication . Axioms S3 and S4 also ensure that the body's multiplicative group operates on .
- In this article, as is usual in mathematics, both addition in the body and addition in vector space are denoted by the same sign , although they are different links. For is written. Both the multiplication in the body and the scalar multiplication between body element and vector space element are also referred to as. With both multiplications it is also common to leave out the painting point. Because the axioms mentioned above apply in vector spaces, there is no danger in practice of confusing the two additions or the two multiplications. In addition, you can distinguish the link between the elements to be added or multiplied. The use of the same symbols makes the vector space axioms particularly suggestive. For example, Axiom S1 is written as and Axiom S3 is written as .
- With the two sets of carriers and , vector spaces are examples of heterogeneous algebras .
- A vector space over the field of complex or real numbers is called a complex or real vector space .
First properties
The following statements apply to all and :
- .
- .
- The equation is uniquely solvable for everyone ; the solution is .
Examples
Euclidean plane
A clear vector space is the two-dimensional Euclidean plane (in right-angled Cartesian coordinate systems ) with the arrow classes (displacements or translations) as vectors and the real numbers as scalars.
- is the shift by 2 units to the right and 3 units up,
- the shift 3 units to the right and 5 units down.
The sum of two displacements is again a displacement, namely the displacement that is obtained by performing the two displacements one after the other:
- , d. H. the shift 5 units to the right and 2 units down.
The zero vector corresponds to the displacement that leaves all points in place, i.e. H. the identical figure.
By stretching the shift with a scalar from the set of real numbers, we get three times the shift:
- .
Everything that has been said about this example also applies to the real affine plane .
Coordinate space
If a field and a natural number, then the -fold is the Cartesian product
the set of all - tuples with entries in , a vector space over . The addition and the scalar multiplication are defined component-wise; for , one sets:
and
The tuples are often noted as column vectors , that is, their entries are written one below the other. The vector spaces form the standard examples of finite-dimensional vector spaces. Every -dimensional -vector space is isomorphic to the vector space . With the help of a basis, each element of a vector space can be represented uniquely by an element of as a coordinate tuple.
Function rooms
Basics and definition
If a field, a vector space and an arbitrary set, an addition and a scalar multiplication can be defined point by point on the set of all functions : For and the functions and are defined by
- for everyone and
- for everyone .
With this addition and scalar multiplication there is a vector space. This applies in particular to when the body itself is chosen as the target area . Further examples of vector spaces are obtained as sub-vector spaces of these function spaces .
In many applications , the field of real numbers, or the field of complex numbers, and is a subset of , , or . Examples include the vector space of all functions of by and the sub-spaces of all continuous functions and of all times continuously differentiable functions of after .
Space of linear functions
A simple example of a function space is the two-dimensional space of real linear functions , that is, the functions of form
with real numbers and . These are the functions whose graph is a straight line. The set of these functions is a subspace of the space of all real functions, because the sum of two linear functions is again linear, and a multiple of a linear function is also a linear function.
For example, the sum of the two linear functions is and with
- , ,
the function with
- .
3 times the linear function is the linear function with
- .
Polynomial spaces
The set of polynomials with coefficients from a body forms, with the usual addition and the usual multiplication with a body element, an infinite-dimensional vector space. The set of monomials is a basis of this vector space. The set of polynomials whose degree is bounded upwards by a forms a subspace of the dimension . For example, the set of all polynomials of degree less than or equal to 4, i.e. all polynomials of the form
- ,
a 5-dimensional vector space with the base .
In the case of infinite bodies , the (abstract) polynomials can be identified with the associated polynomial functions . With this approach, the polynomial spaces correspond to subspaces of the space of all functions from to . For example, the space of all real polynomials of degree corresponds to the space of linear functions.
Body extensions
If an upper part of the body is , then with its addition and the restricted multiplication as scalar multiplication is a -vector space. The rules to be demonstrated for this result directly from the body axioms for . This observation plays an important role in body theory .
For example, in this way is a two-dimensional vector space; is a base . Likewise, there is an infinite-dimensional vector space, for which a basis, however, cannot be specified specifically.
Linear maps
Linear maps are the mappings between two vector spaces that preserve the structure of the vector space. They are the homomorphisms between vector spaces in the sense of universal algebra . A function between two vector spaces and over the same field is called linear if and only if for all and all
are fulfilled. That is, it is compatible with the structures that constitute the vector space: addition and scalar multiplication. Two vector spaces are called isomorphic , if there is a linear mapping between them that bijektiv is thus a reversal function has. This inverse function is then automatically linear as well. Isomorphic vector spaces do not differ in terms of their structure as a vector space.
Basis of a vector space
For a finite number and one denotes the sum
as a linear combination of the vectors . Thereby itself is again a vector from the vector space .
If a subset of , then the set of all linear combinations of vectors from is called the linear envelope of . It is a subspace of , namely the smallest subspace that contains.
A subset of a vector space is said to be linearly dependent if the zero vector can be expressed in a non-trivial way as a linear combination of vectors . “Non-trivial” means that at least one scalar (a coefficient of linear combination) is different from zero. Otherwise it is called linearly independent .
A subset of a vector space is a basis of if is linearly independent and the linear hull of is the whole vector space.
Given the axiom of choice , Zorn's lemma can be used to prove that every vector space has a basis (it is free ), whereby this statement in the context of Zermelo Fraenkel is equivalent to the axiom of choice. This has far-reaching consequences for the structure of every vector space: First of all, it can be shown that every two bases of a vector space have the same cardinality , so that the cardinality of any base of a vector space is a unique cardinal number , which is called the dimension of the vector space. Two vector spaces over the same body are isomorphic if and only if they have the same dimension, because due to the equality of two bases of two vector spaces there is a bijection between them. This can be continued into a bijective linear mapping, i.e. an isomorphism of the two vector spaces. It can also be shown that any linear mappings are determined by the images of elements of a base. This enables any linear mappings between finite-dimensional vector spaces to be represented as a matrix. This can be transferred to infinite-dimensional vector spaces, but it must be ensured that each generalized “column” only contains a finite number of non-zero entries, so that each basis vector is mapped onto a linear combination of basis vectors in the target space.
Using the basic concept, the problem of finding a skeleton in the category of all vector spaces over a given body has been reduced to finding a skeleton in the category of sets that is given by the class of cardinal numbers . Every -dimensional vector space can also be understood as the -fold direct sum of the underlying body. The direct sums of a body thus form a skeleton of the category of vector spaces above it.
The linear factors of the representation of a vector in the basis vectors are called coordinates of the vector with respect to the basis and are elements of the underlying body. Only when a basis is introduced are each vector assigned its coordinates with respect to the selected basis. This makes computing easier, especially if you can use their assigned "descriptive" coordinate vectors instead of vectors in "abstract" vector spaces.
Subspace
A sub-vector space (also linear subspace ) is a subset of a vector space, which is itself a vector space over the same body. The vector space operations are inherited on the sub-vector space. If a vector space is over a body , then a subset forms a sub- vector space if and only if the following conditions are met:
- For all true
- For everyone and applies
The set must therefore be closed with regard to the vector addition and the scalar multiplication. Each vector space contains two trivial sub-vector spaces, namely on the one hand itself, on the other hand the zero vector space , which consists only of the zero vector . Since it is itself a vector space, this implies in particular the necessary condition that it must contain the zero vector. Each subspace is the image of another vector space under a linear mapping into space and the core of a linear mapping into another vector space. A further vector space, the quotient space or factor space , can be formed from a vector space and a sub-vector space by forming equivalence classes , which is largely related to the property of a subspace to be a kernel, see also homomorphism theorem .
Linking vector spaces
Two or more vector spaces can be linked to one another in different ways, so that a new vector space is created.
Direct sum
The direct sum of two vector spaces over the same body consists of all ordered pairs of vectors, of which the first component comes from the first space and the second component from the second space:
The vector addition and the scalar multiplication are then defined component-wise on this set of pairs, which in turn creates a vector space. The dimension of is then equal to the sum of the dimensions of and . The elements of are often written as a sum instead of a pair . The direct sum can also be generalized to the sum of finitely many and even infinitely many vector spaces, in which case only finitely many components may be not equal to the zero vector in the latter case.
Direct product
The direct product of two vector spaces over the same body consists, like the direct sum, of all ordered pairs of vectors of the form
- .
The vector addition and the scalar multiplication are again defined component-wise and the dimension of is again equal to the sum of the dimensions of and . In the case of the direct product of an infinite number of vector spaces, however, an infinite number of components may also be not equal to the zero vector, which in this case differs from the direct sum.
Tensor product
The tensor product of two vector spaces over the same body is given by
written down. The elements of the tensor product space have the bilinear representation
- ,
where are scalars, is a basis of , and is a basis of . If or is infinite dimensional, again only a finite number of summands may not be zero. The dimension of is then equal to the product of the dimensions of and . The tensor product can also be generalized to several vector spaces.
Vector spaces with additional structure
In many areas of application in mathematics, such as geometry or analysis , the structure of a vector space is not sufficient, for example vector spaces per se do not allow limit value processes , and one therefore considers vector spaces with certain additionally defined structures that are compatible with the vector space structure in certain senses are. Examples:
- Euclidean vector space
- A real vector space with a scalar product is (mostly) called a Euclidean vector space . It is a special case of a Prehilbert dream (see there for different nomenclature).
- Standardized space
- A normalized space is a vector space in which vectors have a length ( norm ). This is a nonnegative real number and satisfies the triangle inequality .
- Prehilbert dream
- A Prähilbert space is a real or complex vector space on which an inner product ( scalar product or positively definite Hermitian form ) is defined. In such a space you can define terms like length and angle.
- Topological vector space
- A topological vector space over a topological body is a topological space with a compatible vector space structure, i. i.e., the vector space operations and are continuous .
- Unitary vector space
- A complex vector space with a positively definite Hermitian form ("scalar product") is (mostly) called a unitary vector space. It is a special case of the Prehilbert dream .
All of these examples are topological vector spaces. In topological vector spaces, the analytical concepts of convergence , uniform convergence and completeness are applicable. A complete normalized vector space is called a Banach space , a complete Prähilbert space is called a Hilbert space .
Generalizations
- If you take a commutative ring instead of a body , you get a module . Modules are a common generalization of the terms abelian group (for the ring of integers ) and vector space (for fields).
- Some authors dispense with the commutative law of multiplication in the definition of fields and also call modules over skew fields vector spaces. If one follows this procedure, then -Left vector spaces and -Right vector spaces must be distinguished if the inclined body is not commutative. The definition of the vector space given above results in a left vector space , since the scalars in the product are on the left. Right vector spaces are defined analogously with the scalar multiplication explained as a mirror image. Many fundamental results also apply completely analogously to vector spaces over oblique fields, for example the existence of a basis.
- If a half-body is used instead of a body, a half- vector space is obtained .
- Another generalization of vector spaces is vector bundles ; they each consist of a vector space for each point of a topological base space.
References and comments
- ↑ H. Grauert, HC Grunert: Linear Algebra and Analytical Geometry. ISBN 3-486-24739-5 .
- ↑ H.-J. Kowalski, GO Michler: Linear Algebra.
- ^ R. Hartwig WS 2009/2011, p. 11
- ^ Andreas Blass: Axiomatic set theory. In: Contemporary Mathematics. Volume 31, 1984, chapter Existence of bases implies the axiom of choice. Pp. 31-33.
- ↑ Christoph Ableitinger, Angela Herrmann: Learning from sample solutions for analysis and linear algebra. A work and exercise book . 1st edition. Vieweg + Teubner, Wiesbaden 2011, ISBN 978-3-8348-1724-2 , pp. 88 .
- ↑ The situation is comparable to that of left and right modules over a (generally) non-commutative ring.
literature
- Gerd Fischer: Linear Algebra. Vieweg-Verlag, ISBN 3-528-03217-0 .
- R. Hartwig: Syntax, Semantics, Specification - Basics of Computer Science , WS 2009/2010 Page: 219.
Web links
- Vector space theory (e-learning offer with exercises)