Does this vector equation have a solution? Does it have more than one solution?
This vector equation does not have any solution. We could write it as three separate equations:
which all have to be true at the same time for a solution The second equation says and the third says These two statements cannot be true at the same time, no matter what values of and we choose. So there can be no solution to the vector equation.
Definition
If one or more solutions exist for an equation or a system of equations, it is said to be consistent. If an equation or system of equations does not have any solution, it is said to be inconsistent.
The above definition is the first of several essential definitions that we will see in this textbook. They are essential in that they form the essence of the subject of linear algebra: learning linear algebra means (in part) learning these definitions. All of the definitions are important, but it is essential that you learn and understand the definitions marked as such.
A Picture of a Consistent System
Below we will show that the above system of equations is consistent. Equivalently, this means that the above vector equation has a solution. In other words, there is a linear combination of and that equals We can visualize the last statement geometrically. Therefore, the following figure gives a picture of a consistent system of equations. Compare with figure below, which shows a picture of an inconsistent system.
Subsection1.2.2Spans
It will be useful to know what are all linear combinations of a set of vectors in In other words, we would like to understand the set of all vectors in such that the vector equation (in the unknowns )
has a solution (i.e. is consistent).
Definition
Let be vectors in The span of is the collection of all linear combinations of and is denoted
In symbols:
We also say that is the subset spanned by or generated by the vectors
Set Builder Notation
You should read the notation
as: “the set of all things of the form such that are in ” The vertical line is “such that”; everything to the left of it is “the set of all things of this form”, and everything to the right is the condition that those things must satisfy to be in the set. Specifying a set in this way is called set builder notation.
All mathematical notation is only shorthand: any sequence of symbols must translate into an ordinary sentence.
Note(Consistency and span)
Here are two ways of saying the same thing:
A vector is in the span of
The vector equation
is consistent, i.e., it has at least one solution.
Later, in subsection in Section 2.2 we will develop a procedure for answering the question “is in the span of ” in every circumstance. This will be a byproduct of developing a process to find all the solutions of vector equations.