Suppose you may move only along two fixed vectors, and , using any real amount of each. Here and below a tuple stands for a column vector. Can you reach ? Yes, because , but the more useful question is which targets can be reached at all, and how to prove an answer either way. This lesson names the combinations you can form, describes the set of everything they reach, and gives a reliable test for whether a given target belongs to it.
Key terms
Linear combination
Definition Let be vectors in and let be real numbers. The vector
is a linear combination of , and the numbers are its coefficients. Each coefficient multiplies the whole vector . Coefficients may be any real numbers, including zero, negative numbers and fractions. All the vectors must lie in the same , so that the sum is defined.
In plain words Take some amount of each given vector and add the results. The coefficients are the amounts.
Example Let and . For coefficients and ,
The coefficients and give , and and give . Keep the two descriptions of the first result apart. The coefficients and say how much of each vector was used, while and are the entries of the result.
Span
Definition The span of vectors in is the set of all their linear combinations,
It is a subset of . It always contains , by taking every coefficient equal to , and it contains each , by taking and the other coefficients . The span of one nonzero vector is the line through the origin in its direction. If every is the zero vector, the span is , a set with one element.
In plain words The span is everything you can reach with the given vectors using any real amounts. Because the amounts can be negative or very large, the span contains the whole line through the origin along each nonzero given vector, not only the arrow out to its tip.
Example The span of the single vector is the set of all vectors with real, the line through the origin. It contains and , neither of which lies on the segment from the origin to . It does not contain . The first entry would force , and then the second entry is , not .
Generating vectors
Definition If , we say that span , or generate , and we call them generating vectors, or generators, of . To prove that given vectors span a set , show two inclusions. First, every linear combination of the vectors lies in . Second, every vector of is a linear combination of them, which is shown by giving coefficients that work for an arbitrary vector of .
In plain words Generators are the building blocks, and the span is everything built from them. To show that some vectors reach exactly a given set, check that nothing outside the set is reached and that nothing inside it is missed.
Example Let and , and let be the plane in . Every combination
has third entry equal to the sum of the first two, so it lies in . Conversely, a vector in has the form , and it equals . So and span the plane , which is only part of . In the same way and span all of , because every equals .
Membership in a span
Definition A vector in belongs to exactly when there are real numbers with
Comparing entries turns this vector equation into linear equations in the unknown coefficients, and is in the span exactly when these equations have a solution. A yes answer is settled by giving coefficients and checking every entry. A no answer needs a reason why no coefficients at all can work, for example equations that contradict each other.
In plain words To show that a target is reachable, give the recipe and check it. To show that it is not, prove that every recipe fails, not only the ones you tried.
Example With and , the equation says , and . The first two equations fix the coefficients and the third holds, so is in the span. For the target the first two equations again force and , but then . No coefficients work, so is not in the span. If the generator is added with a coefficient , the third equation becomes , and gives
With all three generators every is reached, by , and , so they span .
Redundant generator
Definition In a list of at least two vectors, a vector is a redundant generator if it is a linear combination of the other vectors in the list. Removing a redundant generator does not change the span. In any combination of the full list, replace by its expression in the others and collect terms. The result is a combination of the shorter list. Conversely, a combination of the shorter list is a combination of the full list with coefficient on . The zero vector in such a list is always redundant, since it equals times any other vector of the list. When a list contains a redundant generator, every vector of its span can be written with more than one choice of coefficients.
In plain words A redundant generator adds a new arrow but no new reach. Everything it could contribute can already be built from the others.
Example Add to the generators of the plane . It points in a new direction, yet
so the span is still the same plane. Three vectors in , none a multiple of another, can therefore fail to span . A sharper case uses only the two generators and . Then , so the span is only the line through the origin in the direction of . The choices and both give , and the target is out of reach, because every multiple of has equal first and third entries.
Check yourself
- Write as a linear combination of and .
Show the answer
We need to equal . The first entry gives , and then gives . As a check,
- Is in the span of and ? If not, which coefficient on reaches it once is added as a third generator?
Show the answer
Every combination equals . The first two entries force and , and then the third entry is , not . So is not in the span. Checking only the first two entries would wrongly suggest that it is. Once is added with a coefficient , every combination equals . The first two entries still force and , so the third entry is , and it equals only for . Indeed .
- The vectors , and lie in , and none of them is a multiple of another. Do they span ?
Show the answer
No. The third vector is the sum of the first two, so it is a redundant generator, and the span equals the span of and . Those combinations are
so the span is the plane . For example, is not in it. Its first and third entries would force and , and then the middle entry would be , not .