Source scope: §3.2. Worked numerical examples, experiments, and practice are teaching supplements unless identified as source results.
Move combinations together
The map sends to . It sends to . The coefficients survive the transformation.
A linear map satisfies, for all inputs and real scalars,
The source omits unnecessary parentheses, writing . It writes composition as : apply first. A map is a linear operator. A translation with is not linear, because .
Same structure, different objects
A linear map is a vector-space homomorphism. An invertible homomorphism whose inverse is linear is an isomorphism; write . This means their vector-space structure agrees, not that their elements are literally identical.
The source gives the following construction. Suppose real spaces have dimension , with bases and . Define
Each input has unique basis coordinates, so this is well-defined. Adding inputs adds their coefficients; scaling scales them. Therefore is linear. Reversing the basis correspondence gives a linear inverse. Hence ; in particular every real -dimensional space is isomorphic to . Source footnote 2: The two spaces must use the same field.
For example, polynomials of degree at most one correspond to pairs: . Adding polynomials and adding pairs produce corresponding coefficients.
Follow the columns
Compare an invertible map with a collapse. Which directions disappear?
Preparing interactive controls…
Transfer
Does preserving zero prove linearity?
A counterexample
No. preserves zero but while . Zero preservation is necessary, not sufficient.