← Module 02 / Vectors & spaces

Lesson 02.4 · §3.2

What must a linear map preserve?

Recognize a linear map and construct an isomorphism from bases.

In this lesson 3 ideas
  1. Move combinations together
  2. Same structure, different objects
  3. Transfer

Source scope: §3.2. Worked numerical examples, experiments, and practice are teaching supplements unless identified as source results.

Move combinations together

The map T(x,y)=(x+y,2y)T(x,y)=(x+y,2y) sends (2,1)(2,1) to (3,2)(3,2). It sends a(1,0)+b(0,1)a(1,0)+b(0,1) to a(1,0)+b(1,2)a(1,0)+b(1,2). The coefficients survive the transformation.

A linear map T:V→WT:V\to W satisfies, for all inputs and real scalars,

T(x+y)=Tx+Ty,T(αx)=αTx.T(x+y)=Tx+Ty,\qquad T(\alpha x)=\alpha Tx.

The source omits unnecessary parentheses, writing TxTx. It writes composition as ST=S∘TST=S\circ T: apply TT first. A map V→VV\to V is a linear operator. A translation F(x)=x+bF(x)=x+b with b≠0b\ne0 is not linear, because F(0)≠0F(0)\ne0.

Same structure, different objects

A linear map is a vector-space homomorphism. An invertible homomorphism whose inverse is linear is an isomorphism; write V≅WV\cong W. This means their vector-space structure agrees, not that their elements are literally identical.

The source gives the following construction. Suppose real spaces V,WV,W have dimension nn, with bases v1,…,vnv_1,\ldots,v_n and w1,…,wnw_1,\ldots,w_n. Define

ϕ(∑iαivi)=∑iαiwi.\phi\left(\sum_i\alpha_i v_i\right)=\sum_i\alpha_i w_i.

Each input has unique basis coordinates, so this is well-defined. Adding inputs adds their coefficients; scaling scales them. Therefore ϕ\phi is linear. Reversing the basis correspondence gives a linear inverse. Hence V≅WV\cong W; in particular every real nn-dimensional space is isomorphic to Rn\mathbb R^n. Source footnote 2: The two spaces must use the same field.

For example, polynomials of degree at most one correspond to pairs: a+bt↔(a,b)a+bt\leftrightarrow(a,b). Adding polynomials and adding pairs produce corresponding coefficients.

Explore it yourself

Follow the columns

Compare an invertible map with a collapse. Which directions disappear?

Preparing interactive controls…

x₁x₂-4-4-3-3-2-2-1-1011223344xAx

x = (1.000, 1.000); Ax = (2.000, 2.000). det A = 2; rank = 2. null(A) = {0}; range(A) = ℝ². The image of the dashed unit square has area 2.

Axes: first and second real coordinates, in unit steps. Endpoints and labels identify each vector.

Transfer

Does preserving zero prove linearity?

A counterexample

No. F(t)=t2F(t)=t^2 preserves zero but F(1+1)=4F(1+1)=4 while F(1)+F(1)=2F(1)+F(1)=2. Zero preservation is necessary, not sufficient.