Serlo: EN: Generators
{{#invoke:Mathe für Nicht-Freaks/Seite|oben}}
A generator is a subset of a vector space that spans the entire vector space. Thus, every vector of the vector space can be written as a linear combination of vectors of the generator.
Derivation and definition
Consider the three vectors of . Any vector of is a linear combination of these three vectors, because for all we have that:
Let
We have that: , that means spans/generates the entire vector space. Sets with this spanning/generating property are called generators:
Mathe für Nicht-Freaks: Vorlage:Definition
If is a generator of , then for every there are elements and such that . Each vector can thus be written as a linear combination of elements from .
Mathe für Nicht-Freaks: Vorlage:Hinweis
Examples
Generators of the plane
The vectors and span/generate the plane . For all we can write in coordinates:
Thus every vector of the plane can be written as a linear combination of and .
Vector space of polynomials
Let us consider the vector space of polynomials of degree less than or equal to two. Here any polynomial can be formed by a linear combination of the polynomials , and . Every polynomial with degree less than or equal to two has the form . So is a generator of .
We can also formulate this for polynomials of arbitrarily high degree:
If is a field and is the vector space of polynomials with coefficients in , then every element of has the form , so it is a (finite! ) linear combination of .
Therefore the (infinite) set of monomials is a generator of .
Generators are not unique
a vector space can have several generators. The generator is usually not uniquely determined.
Let us take the plane as an example. The set is a generator of the plane, since all can be represented as a linear combination of the two vectors and :
The vectors , , also generate the , because can be represented as follows:
Thus the vector can be represented by two different linear combinations of and . This shows that vector spaces can have multiple generators.
Proofs about the generator
How to prove that a set generates ?
We sketch in this section how to prove that a set is a generator of a vector space ( is a field). A subset of a vector space is called a generator if every vector can be represented as a linear combination of the vectors from .
Let be the given set of vectors. Then one has to show that for all vectors , there are coefficients such that
This equation can usually be translated into a system of equations, and the provide a solution of this system of equations. We can summarise the general procedure like this:
- Select a vector of the vector space .
- Equate with a linear combination of vectors with unknown coefficients .
- Solve system of equations according to the variables . If there is always at least one solution, then is a generator. If there is no solution for a vector , then is not a generator.
Example
Mathe für Nicht-Freaks: Vorlage:Aufgabe
{{#invoke:Mathe für Nicht-Freaks/Seite|unten}}