Linear Maps: Definition
A linear map is a function between vector spaces that preserves addition and scalar multiplication. This lesson defines it precisely, shows how to test a formula for linearity, and separates genuine linear maps from affine and nonlinear impostors.
Before you start — give these a try
Attempting first primes your brain for the lesson — even if you miss. Nothing is graded or saved; it's just a warm-up.
Which of the following maps is linear?
A linear map satisfies and . Compute .
What you’ll be able to do
- State the definition of a linear map in terms of additivity and homogeneity, and recognize the equivalent "preserves linear combinations" form.
- Check whether a map given by a formula is linear, and identify precisely which axiom a non-example violates.
- Derive the consequence and use it as a quick rejection test.
- Evaluate a linear map at a vector, including by exploiting linearity from the known images of basis vectors.
- Distinguish linear maps (projection, rotation) from affine or nonlinear maps (translation, squaring, absolute value).
In your course
· MATH2015 · Linear Algebra & Probability- Definition 3.1Linear mapis linear if and for all and scalars .
- Remark 3.1A linear map sends
- Definition 3.2Injective, surjective, bijective
What a Linear Map Is (Intuition)
A linear map (also called a linear transformation) is a function between two vector spaces that respects the two operations that make a vector space what it is: adding vectors and scaling them by a number.
Throughout, let:
- and be vector spaces over the real numbers (the field of scalars),
- denote vectors in ,
- denote a scalar (a real number).
Geometrically, a linear map is the kind of transformation that keeps grid lines straight and evenly spaced and keeps the origin fixed. Scalings, rotations about the origin, reflections through the origin, projections, and shears are all linear.
What is not linear? The clearest example is a translation — sliding every point by a fixed vector, like . It moves the origin, so it breaks the structure even though its graph is still a straight line. "Linear" in this course means something stricter than "its graph is a line."
The Definition: Two Axioms
A map is linear if and only if it satisfies both of the following for all vectors and all scalars :
- Additivity:
- Homogeneity:
Read the symbols carefully. On the left of additivity, is addition in ; on the right, is addition in . The map carries one structure to the other.
These two axioms can be fused into a single condition that is often the fastest to use. A map is linear if and only if it preserves linear combinations:
Why equivalent? Setting recovers additivity, and setting recovers homogeneity, so the single condition implies both axioms. Conversely, if both axioms hold then , using additivity on the sum and homogeneity on each piece.
Immediate Consequences
The axioms force some facts for free.
Every linear map sends zero to zero:
Proof. Using homogeneity with scalar : for any , (Alternatively, , and subtracting from both sides gives .)
This gives a powerful rejection test (the contrapositive): It instantly disqualifies translations and anything with a constant term.
Two more consequences:
- Negatives: (take in homogeneity).
- General combinations: by induction, This is why knowing on a basis determines everywhere.
Checking a Formula; Examples vs Non-Examples
When a map is given by formulas on coordinates, there is a clean rule of thumb:
is linear iff every output coordinate is a homogeneous degree-one expression in the input variables — a sum of constant multiples of the inputs, with no constant term, no powers or products of variables, and no absolute values or other nonlinear functions.
Linear (pass the axioms):
- Projection onto the -axis: .
- Rotation by counterclockwise: .
- — each coordinate is a combination of and .
- The zero map and the identity map .
Not linear (and the axiom each breaks):
- — affine: the constant term gives , so homogeneity/additivity fail.
- — squaring breaks homogeneity: but .
- — absolute value breaks homogeneity for negative scalars: , yet .
Let be vector spaces over . A function is a linear map if and only if, for all and all : (i) (additivity), and (ii) (homogeneity).
A map is linear if and only if for all and . More generally, a linear map satisfies .
If is linear, then . Equivalently (contrapositive): if , then is not linear.
Worked examples
Show from the definition that given by is linear.
- 1
Name general inputs and a scalar. Take two arbitrary vectors and in , and an arbitrary scalar . We must verify both axioms hold for these.
- 2
Check additivity. First add in the input space: . Apply : Now compute the other side by adding the images: The two expressions are identical, so .
- 3
Check homogeneity. Scale first: . Apply :
- 4
Conclude. Both axioms hold for all and all , so is linear. (Sanity check: , consistent with the requirement .)
Decide whether , , is linear.
Suppose is linear with and . Find .