Linear Algebra/Vectors in Space
From Wikibooks, the open-content textbooks collection
"Higher-dimensional geometry" sounds exotic. It is exotic— interesting and eye-opening. But it isn't distant or unreachable.
We begin by defining one-dimensional space to be the set
. To see that definition is reasonable, draw a one-dimensional space
and make the usual correspondence with
: pick a point to label 0 and another to label 1.
Now, with a scale and a direction, finding the point corresponding to, say + 2.17, is easy— start at 0 and head in the direction of 1 (i.e., the positive direction), but don't stop there, go 2.17 times as far.
The basic idea here, combining magnitude with direction, is the key to extending to higher dimensions.
An object comprised of a magnitude and a direction is a vector (we will use the same word as in the previous section because we shall show below how to describe such an object with a column vector). We can draw a vector as having some length, and pointing somewhere.
There is a subtlety here— these vectors
are equal, even though they start in different places, because they have equal lengths and equal directions. Again: those vectors are not just alike, they are equal.
How can things that are in different places be equal? Think of a vector as representing a displacement ("vector" is Latin for "carrier" or "traveler"). These squares undergo the same displacement, despite that those displacements start in different places.
Sometimes, to emphasize this property vectors have of not being anchored, they are referred to as free vectors. Thus, these free vectors are equal as each is a displacement of one over and two up.
More generally, vectors in the plane are the same if and only if they have the same change in first components and the same change in second components: the vector extending from (a1,a2) to (b1,b2) equals the vector from (c1,c2) to (d1,d2) if and only if b1 − a1 = d1 − c1 and b2 − a2 = d2 − c2.
An expression like "the vector that, were it to start at (a1,a2), would extend to (b1,b2)" is awkward. We instead describe such a vector as
so that, for instance, the "one over and two up" arrows shown above picture this vector.
We often draw the arrow as starting at the origin, and we then say it is in the canonical position (or natural position). When the vector
is in its canonical position then it extends to the endpoint (b1 − a1,b2 − a2).
We typically just refer to "the point
"
rather than "the endpoint of the canonical position of" that vector.
Thus, we will call both of these sets
.
In the prior section we defined vectors and vector operations with an algebraic motivation;
we can now interpret those operations geometrically. For instance, if
represents a displacement then
represents a displacement in the same direction but three times as far, and
represents a displacement of the same distance as
but in the opposite direction.
And, where
and
represent displacements,
represents those displacements combined.
The long arrow is the combined displacement in this sense: if, in one minute, a ship's motion gives it the displacement relative to the earth of
and a passenger's motion gives a displacement relative to the ship's deck of
, then
is the displacement of the passenger relative to the earth.
Another way to understand the vector sum is with the parallelogram rule. Draw the parallelogram formed by the vectors
and then the sum
extends along the diagonal to the far corner.
The above drawings show how vectors and vector operations behave in
. We can extend to
, or to even higher-dimensional spaces where we have no pictures, with the obvious generalization: the free vector that, if it starts at
, ends at
, is represented by this column
(vectors are equal if they have the same representation), we aren't too careful to distinguish between a point and the vector whose canonical representation ends at that point,
and addition and scalar multiplication are component-wise.
Having considered points, we now turn to the lines.
In
, the line through (1,2) and (3,1) is comprised of (the endpoints of) the vectors in this set
That description expresses this picture.
The vector associated with the parameter t
has its whole body in the line— it is a direction vector for the line. Note that points on the line to the left of x = 1 are described using negative values of t.
In
, the line through (1,2,1) and (2,3,2) is the set of (endpoints of) vectors of this form
and lines in even higher-dimensional spaces work in the same way.
If a line uses one parameter, so that there is freedom to move back and forth in one dimension, then a plane must involve two. For example, the plane through the points (1,0,5), (2,1, − 3), and ( − 2,4,0.5) consists of (endpoints of) the vectors in
(the column vectors associated with the parameters
are two vectors whose whole bodies lie in the plane). As with the line, note that some points in this plane are described with negative t's or negative s's or both.
A description of planes that is often encountered in algebra and calculus uses a single equation as the condition that describes the relationship among the first, second, and third coordinates of points in a plane.
The translation from such a description to the vector description that we favor in this book is to think of the condition as a one-equation linear system and parametrize x = (1 / 2)(4 − y − z).
Generalizing from lines and planes, we define a k-dimensional linear surface (or k-flat) in
to be
where
. For example, in
,
is a line,
is a plane, and
is a three-dimensional linear surface. Again, the intuition is that a line permits motion in one direction, a plane permits motion in combinations of two directions, etc.
A linear surface description can be misleading about the dimension— this
is a degenerate plane because it is actually a line.
We shall see in the Linear Independence section of Chapter Two what relationships among vectors causes the linear surface they generate to be degenerate.
We finish this subsection by restating our conclusions from the first section in geometric terms. First, the solution set of a linear system with n unknowns is a linear surface in
. Specifically, it is a k-dimensional linear surface, where k is the number of free variables in an echelon form version of the system. Second, the solution set of a homogeneous linear system is a linear surface passing through the origin. Finally, we can view the general solution set of any linear system as being the solution set of its associated homogeneous system offset from the origin by a vector, namely by any particular solution.
[edit] Exercises
- This exercise is recommended for all readers.
- Problem 1
Find the canonical name for each vector.
- the vector from (2,1) to (4,2) in

- the vector from (3,3) to (2,5) in

- the vector from (1,0,6) to (5,0,3) in

- the vector from (6,8,8) to (6,8,8) in

- Answer
- This exercise is recommended for all readers.
- Problem 2
Decide if the two vectors are equal.
- the vector from (5,3) to (6,2) and the vector from (1, − 2) to (1,1)
- the vector from (2,1,1) to (3,0,4) and the vector from (5,1,4) to (6,0,7)
- Answer
- No, their canonical positions are different.
- Yes, their canonical positions are the same.
- This exercise is recommended for all readers.
- Problem 3
Does (1,0,2,1) lie on the line through ( − 2,1,1,0) and (5,10, − 1,4)?
- Answer
That line is this set.
Note that this system
has no solution. Thus the given point is not in the line.
- This exercise is recommended for all readers.
- Problem 4
- Describe the plane through (1,1,5, − 1), (2,2,2,0), and (3,1,0,4).
- Is the origin in that plane?
- Answer
- Note that
- No; this system
- Problem 5
Describe the plane that contains this point and line.
- Answer
The vector
is not in the line. Because
that plane can be described in this way.
- This exercise is recommended for all readers.
- Problem 6
Intersect these planes.
- Answer
The points of coincidence are solutions of this system.
Gauss' method
gives k = − (1 / 9) + (8 / 9)m, so s = − (1 / 3) + (2 / 3)m and t = 1 + 2m. The intersection is this.
- This exercise is recommended for all readers.
- Problem 7
Intersect each pair, if possible.
, 
, 
- Answer
- The system
- This system
- Problem 8
When a plane does not pass through the origin, performing operations on vectors whose bodies lie in it is more complicated than when the plane passes through the origin. Consider the picture in this subsection of the plane
and the three vectors it shows, with endpoints (2,0,0), (1.5,1,0), and (1.5,0,1).
- Redraw the picture, including the vector in the plane that is twice as long as the one with endpoint (1.5,1,0). The endpoint of your vector is not (3,2,0); what is it?
- Redraw the picture, including the parallelogram in the plane that shows the sum of the vectors ending at (1.5,0,1) and (1.5,1,0). The endpoint of the sum, on the diagonal, is not (3,1,1); what is it?
- Answer
- Problem 9
Show that the line segments
and
have the same lengths and slopes if b1 − a1 = d1 − c1 and b2 − a2 = d2 − c2. Is that only if?
- Answer
The "if" half is straightforward. If b1 − a1 = d1 − c1 and b2 − a2 = d2 − c2 then
so they have the same lengths, and the slopes are just as easy:
(if the denominators are 0 they both have undefined slopes).
For "only if", assume that the two segments have the same length and slope (the case of undefined slopes is easy; we will do the case where both segments have a slope m). Also assume, without loss of generality, that a1 < b1 and that c1 < d1. The first segment is
(for some intercept n1) and the second segment is
(for some n2). Then the lengths of those segments are
and, similarly,
. Therefore, | b1 − a1 | = | d1 − c1 | . Thus, as we assumed that a1 < b1 and c1 < d1, we have that b1 − a1 = d1 − c1.
The other equality is similar.
- Problem 10
How should
be defined?
- Answer
We shall later define it to be a set with one element— an "origin".
- This exercise is recommended for all readers.
- ? Problem 11
A person traveling eastward at a rate of 3 miles per hour finds that the wind appears to blow directly from the north. On doubling his speed it appears to come from the north east. What was the wind's velocity? (Klamkin 1957)
- Answer
This is how the answer was given in the cited source.
The vector triangle is as follows, so
from the north west.
- This exercise is recommended for all readers.
- Problem 12
Euclid describes a plane as "a surface which lies evenly with the straight lines on itself". Commentators (e.g., Heron) have interpreted this to mean "(A plane surface is) such that, if a straight line pass through two points on it, the line coincides wholly with it at every spot, all ways". (Translations from Heath 1956, pp. 171-172.) Do planes, as described in this section, have that property? Does this description adequately define planes?
- Answer
Euclid no doubt is picturing a plane inside of
. Observe, however, that both
and
also satisfy that definition.
[edit] References
- Klamkin, M. S. (proposer) (Jan.-Feb. 1957), "Trickie T-27", Mathematics Magazine 30 (3): 173.
- Heath, T. (1956), Euclid's Elements, 1, Dover.
































![\left(\begin{array}{*{4}{c}|c}
1 &0 &0 &-2 &1 \\
1 &1 &-3 &0 &1 \\
1 &3 &0 &-4 &0
\end{array}\right)
\;\xrightarrow[-\rho_1+\rho_3]{-\rho_1+\rho_2}\;
\left(\begin{array}{*{4}{c}|c}
1 &0 &0 &-2 &1 \\
0 &1 &-3 &2 &0 \\
0 &3 &0 &-2 &-1
\end{array}\right)
\;\xrightarrow[]{-3\rho_2+\rho_3}\;
\left(\begin{array}{*{4}{c}|c}
1 &0 &0 &-2 &1 \\
0 &1 &-3 &2 &0 \\
0 &0 &9 &-8 &-1
\end{array}\right)](http://upload.wikimedia.org/math/b/f/9/bf914b1e38fd4053996fc26c0a27e22e.png)












