442. LINEAR COMBINATIONS AND GENERATORS - JulTob/Mathematics GitHub Wiki
LINEAR COMBINATIONS AND GENERATORS
Every vector space $V β $ {0} contains infinitely many vectors; for if $V$ contains a vector $π$, it immediately must also contain all its multiples, i.e. $Ξ»π β V$ for each $Ξ» β β$.
Consider the subspace $W =$ { $(x,ax)β£x β β$ } in $β^2$
It is represented, in the Cartesian plane, by a line whose equation is $y = ax$. We can describe it, in an alternative way, as the set of all multiples of the vector $(1, a)$
$W =$ { $x(1,a) β£ xββ$ }.
Graphically it is clear that if we know a point of a straight line (in the plane, but also in three-dimensional space) different from the origin, then we can immediately draw the line passing through it and the origin. We will see later that the fact of knowing the generators of a vector space allows us to determine it uniquely.
Now let us see another example. In $β^2$, we consider the two vectors $(1,0)$ and $(0, 1)$.
We ask ourselves: what is the smallest subspace $W$ of $β^2$ that contains both of these vectors? From the previous reasoning, we know that this subspace must contain the two subspaces $W_1$ and $W_2$ generated by $(1, 0)$ and $(0, 1)$:
- $W_1 =$ { $Ξ»(1, 0)β£Ξ» β β$ } represented by the $x$-axis
- $W_2 =$ { $ΞΌ(0, 1)β£ΞΌ β β$ } represented by the $y$-axis
Assume that $V$ is a vector space, $π―_1, ... , π―_n$ are vectors of $V$ and $Ξ»_1$, ..., $Ξ»_n β β$. The vector $π° = Ξ»_1π―_1 +β β β +Ξ»_nπ―_n$ is said to be a linear combination of $π―_1,...,π―_n$ with scalars $Ξ»_1,...,Ξ»_n$.
We now come to the concept of vector space generated by some vectors, the main concept of this chapter along with that of linear independence.
Let $V$ be a vector space and let
{ $π―_1,...,π―_n$ }
be a set of vectors of $V$.
The subspace generated (or spanned) by the vectors
$π―_1, ... , π―_n$
is the set of all their linear combinations, in symbols
$β¨π―_1,...,π―_nβ© =$ { $Ξ»_1π―_1 +β
β
β
+ Ξ»_nπ―_n β£ Ξ»_1,...,Ξ»_n ββ$ }.
If $V$ is a vector space and $π― β V$ , then the subspace generated by $π―$ is the set of multiples of $π―$, i.e. $β¨vβ© =$ { $Ξ»π―β£Ξ» β β$ }.
Moreover, the subspace generated by the zero vector is the trivial subspace, which contains only the zero vector:
$β¨πβ© =$ { $π$ }.
Let $V$ be a vector space and let { $v_1, . . . , v_n$ } be a set of vectors of $V$. We say that $v_1,...,v_n$ generate $V$, or { $v_1,...,v_n$ } is a set of generators of $V$ if $V = β¨v_1,...,v_nβ©$.
Example: The vectors $(1, 0)$ and $(0, 1)$ generate the vector space $β^2$, as each vector $(a,b)$ of $β^2$ can be written as a linear combination of $(1,0)$ and $(0, 1)$:
(a, b) = a(1, 0) + b(0, 1).
Assume that $V$ is a vector space, $π―_1, . . . , π―_n$ are vectors of $V$ and $π°$ is a linear combination of them, namely: $π° = Ξ»_1π―_1 + β β β + Ξ»_nπ―_n. Then
β¨π―_1,...,π―_nβ© = β¨π―_1,...,π―_n,π°β©
Conversely, if $β¨π―_1,...,π―_nβ© = β¨π―_1,...,π―_n,π°β©$ then $π°$ is a linear combination of $π―_1, . . . , π―_n$
Now we ask: How do we establish what the βredundant vectorsβ are in describing the subspace generated by a set of vectors? If we want to be efficient in describing a subspace, we must be able to describe it as the subspace generated by the smallest possible number of vectors. The answer to this question comes from the concept of linear independence.
Shortly, the story is: if a set of generators of a subspace is a set of linearly independent vectors, then we are sure that it is the most efficient way to describe the subspace generated by those vectors, namely that we are using the smallest number of vectors.
Let $V$ be a vector space. The vectors $π―_1, . . . , π―_n β V$ are linearly independent if for every linear combination
$Ξ»_1Β·π―_1 +β
β
β
+ Ξ»_nΒ·π―_n = π$,
we necessarily have that $Ξ»_1 = β
β
β
= Ξ»_n = 0$
In other words, the only linear combination of the vectors $π_1, . . . , π_n$ giving the zero vector is the one with all zero scalars.
We will say also that the set of vectors { $π―_1, . . . , π―_n$ } is linearly independent.
The vectors $π―_1, . . . , π―_n$ are linearly dependent, if they are not independent.
In other words, the vectors of the set { $π―_1, . . . , π―_n$ } are linearly dependent if there exist scalars $Ξ»_1,...,Ξ»_n$, not all zero, such that $Ξ»_1Β·π―_1+β
β
β
+Ξ»_nΒ·π―_n = π$.
We note that, if a set of vectors contains the zero vector, then it is always a set of linearly dependent vectors.
A non-empty subset of a set of linearly independent vectors consists of vectors that are still linearly independent.