Why study linear algebra?
Imagine calibrating a system with two controls and two measured outputs. Changing one control can affect both outputs. To obtain a desired response, we must satisfy several coupled requirements rather than adjust one number in isolation.
Consider a deliberately simple model. Every quantity is a change from a baseline, so positive and negative values are allowed:
| Input change applied alone | Change in output one | Change in output two |
|---|---|---|
| Increase control A by one unit | ||
| Increase control B by one unit |
We want the outputs to change by and . How should we adjust the controls?
Make two modelling assumptions: scaling an input by scales its response by , and applying inputs together adds their separate responses. The required adjustments then satisfy
The choice works. But there are more substantial questions behind this calculation. Would another target be reachable? Could multiple inputs produce the same target? If the two controls produced responses that were scalar multiples, what additional capability would the second control provide?
This is one entry point to linear algebra: treat several quantities as a single object, study how such objects combine, and recover combinations from their results. The same structure occurs in force composition, signal superposition, simultaneous equations, and linear image operations. Geometry makes the structure visible, but is not its only purpose.
Linearity is an assumption, not a consequence of using columns
Our model permits superposition because we explicitly assumed that the response preserves addition and scaling. A real system might saturate, have thresholds, or contain interactions between inputs. It may support only a local linear approximation around a working point.
For example, the rule does not preserve scaling: doubling the first input quadruples the first output. Both inputs and outputs can be stored as number columns without making their relationship linear.
We will first study the structure itself. A whole response will be a vector; a real coefficient used to combine responses will be a scalar. Three questions guide the chapter:
- Representation: how do known objects combine to produce a target?
- Existence: which targets admit such a representation?
- Uniqueness: can different coefficients represent the same target?
Scalars are real unless stated otherwise. The prerequisites are real arithmetic, simple equations, and sets and functions. MIT’s linear algebra course provides companion material on independence, bases, and dimension [1][1] G. Strang, “Independence, Basis and Dimension,” 2011. MIT OpenCourseWare, 18.06SC Linear Algebra, Fall 2011. https://ocw.mit.edu/courses/18-06sc-linear-algebra-fall-2011/pages/ax-b-and-the-four-subspaces/independence-basis-and-dimension/.
A vector and its coordinates
The first control produces a response recorded as . We can visualize this pair as “two units right, one unit up” and write
As a displacement, it has no fixed starting point. The same move can begin at the origin or somewhere else; translating the arrow does not change the displacement. Drawing its tail at the origin is a convenient convention.
Coordinates record the displacement relative to chosen axes, units, and reference directions. Change those reference directions, and the same geometric vector can acquire different coordinates. We will see an example when we introduce a basis.
For a positive integer , is the set of ordered -tuples of real numbers. We usually write its elements as columns:
Two coordinate vectors are equal exactly when their corresponding components are equal.
This is one concrete model. Polynomials, functions, and matrices can also be vectors when their addition and scalar multiplication satisfy the vector-space axioms. An arrow is therefore a useful example, rather than a definition covering every vector. A list of data alone does not explain its algebraic structure either.
In an application, collecting measurements such as height and age into a vector is a modelling choice. Whether adding them makes sense, and how different units should be handled, still depends on the problem.
Positions and displacements are different objects
Number pairs can represent both points and vectors, which can obscure their different roles. The points and specify positions. Their displacement is
meaning three units right and one down. Translate both points by : their new coordinates are and , but their difference remains . The displacement is independent of their absolute positions.
Once an origin is chosen, a point can be represented by its position vector . The same pair of numbers can then describe a point or a vector, but changing the origin changes point coordinates while leaving the displacement between two points unchanged.
Adding vectors composes movements; adding a displacement to a point gives a new point. Simply adding two point-coordinate pairs depends on the origin. An origin-independent midpoint instead satisfies
The coefficients sum to one, so a change of origin contributes exactly one copy of the coordinate shift. This motivates the distinction between affine combinations and unrestricted linear combinations.
More components use the same operations
A three-dimensional vector records one additional component. For example,
The same componentwise rule works in higher dimensions. A four-component state can record net flows at four junctions without requiring a picture of a four-dimensional arrow. Components must nevertheless align in meaning and order: a temperature entry in one vector cannot be added to a pressure entry in another as if they measured the same thing.
Two operations: addition and scalar multiplication
Vectors of the same dimension are added component by component; a scalar multiplies each component. For example, let
Then
Geometrically, addition means making one displacement after another: translate the tail of the second arrow to the head of the first. Scalar multiplication changes length and, for negative scalars, reverses direction. Multiplying a nonzero vector by multiplies its length by ; multiplication by zero gives the zero vector.
The zero vector represents no displacement, and cancels . Distinguish the scalar from the zero vector: they play different roles in the operations.
For finitely many vectors in the same space and arbitrary real scalars , an expression
is a linear combination of those vectors. The scalars are its coefficients.
For our two vectors,
This interactive figure needs JavaScript.
Try a=2, b=1; then change the target. Switch to dependent directions and put the target on the line. Finally request another coefficient pair with the same result.
Static diagram: scaling and addition
First reach , then make the displacement to arrive at . The dashed arrow is a translated copy of the same displacement, rather than an additional operation.
Coefficients may be negative, zero, or nonintegers, and need not sum to one. For example, is a linear combination. Adding the restrictions that coefficients are nonnegative and sum to one produces a convex combination, a different question explored in an exercise below.
Which vectors can these directions reach?
One nonzero vector gives a line
As ranges over the reals, the endpoints of fill a line through the origin. For , this line satisfies .
Positive and negative coefficients extend in opposite directions, while arbitrary real coefficients fill every position between them. Integer coefficients alone would give discrete points, not the whole line. If the given vector is zero, the only reachable point is the origin.
Recovering coefficients from a target
A picture may suggest that arrows can reach a target, but coefficients require an argument. To solve
compare components. The second equation gives . Substitute into the first:
Substitution back gives . Every target has coefficients because these expressions are always defined; they are unique because every solution must equal them.
For the dependent directions , component equations instead give
The first left-hand side doubles the second, requiring . A target violating this condition has no solution. When the condition holds, the equations constrain only , leaving the individual coefficients undetermined. The same directions can therefore produce either no solution or many solutions, depending on the target.
Retain , , and dependent direction . The target violates and cannot be formed from .
Static comparison: plane and line
The shading in the upper panel represents the plane; the lower panel highlights only a line. Both continue beyond the frame. The relationship between the directions determines the reachable set, rather than the number of arrows drawn.
Naming the reachable set: span
The set of all real linear combinations of is their span:
We say the vectors span this set, also called the subspace they generate.
The term packages the question we have already answered. Our first pair spans ; our second pair spans a line through the origin.
The scalar field matters. Regarding the complex numbers as a real vector space, alone spans the real axis and span the complex plane. With complex coefficients allowed, alone spans .
A span in three dimensions
Take and . Then
so every combination lies in the plane . Conversely, every point in that plane has coefficients . The span is exactly this plane through the origin.
The two directions of the argument matter. Showing that every combination satisfies an equation proves containment; showing that every point satisfying the equation is reachable proves equality.
Adding changes nothing because . Adding reaches all of three-dimensional space:
A new vector enlarges the span precisely when it was not already in the old span.
Redundant directions and unique coefficients
When , the target has coefficient pairs and . The relation lets changes in the coefficients cancel.
Our two nonparallel directions instead give each target a unique coefficient pair. This absence of redundancy is called linear independence. Span asks whether a target is reachable; independence asks whether a reachable target has unique coefficients. General definitions, proofs, bases, and dimension follow in vector spaces and bases.
Connecting vectors to matrices and equations
Put the given vectors side by side as matrix columns:
Multiplication by a coefficient column takes a linear combination of those columns:
The equation therefore asks whether the columns can produce the target and which coefficients do so. A solution exists precisely when the target is in the columns’ span. Independent columns guarantee that a solution, if it exists, is unique.
Next, matrices and composition develops the operations before elimination extends this calculation to larger systems.
Exercises
Before calculating, decide whether the question concerns reaching a target or representing it uniquely.
For and , compute . Explain the negative coefficient geometrically.
Solution
The result is . Halve , then add a displacement of the same length as in the opposite direction.
Express and as .
Solution
The coefficient pairs are and , respectively. The second example also shows why allowing integer coefficients alone would miss points in the plane.
For and , which of and can be reached? Give all coefficient pairs for the former.
Solution
The vector is reachable. Its coefficients satisfy , giving for every real . The target is unreachable because it does not satisfy .
Suppose and . What shape do the vectors form? How does this differ from allowing arbitrary real coefficients?
Solution
Put . The vectors are for , forming the closed line segment between the two endpoints. Without those restrictions, the combinations fill the plane.
Translate by an arbitrary vector . Prove that their displacement is unchanged although their position vectors generally change.
Solution
The new displacement is . Relative to the original origin, both position vectors increase by .
Which of and belongs to ?
Solution
The first satisfies and has coefficients . The second violates the condition. Two three-component vectors do not automatically span three-dimensional space.
References
- [1] G. Strang, “Independence, Basis and Dimension,” 2011. MIT OpenCourseWare, 18.06SC Linear Algebra, Fall 2011. https://ocw.mit.edu/courses/18-06sc-linear-algebra-fall-2011/pages/ax-b-and-the-four-subspaces/independence-basis-and-dimension/ ↩
Comments