4.5.27 · D1Linear Algebra (Full)

Foundations — Linear transformations — definition, kernel, image

2,582 words12 min readBack to topic

Before you can even read the parent note, a whole toolbox of symbols is quietly assumed. This page builds every single one from zero, in an order where each idea rests only on the ones before it.


1. What is a vector? (the arrow)

Figure s01 draws exactly this: the lavender arrow runs from the origin (dark dot) to the coral point. Follow the dashed grey lines — " right" along the bottom, then " up" the side — to see how the two numbers spell out the arrow. The origin is where every vector on this whole page starts.

Figure — Linear transformations — definition, kernel, image

We need this because a linear transformation is a machine whose inputs and outputs are arrows. No arrows, nothing to transform.


2. The two operations arrows allow

Arrows can only be combined in two ways, and a linear map is defined entirely by respecting these two ways.

Figure s02 shows both moves. On the left, the lavender and mint are laid tip-to-tail, and the coral arrow closes the path — that coral arrow is the sum. On the right, one lavender arrow becomes butter-coloured (twice as long, same direction) and coral (same length, flipped to point the opposite way). Those are the only two things you are ever allowed to do to arrows.

Figure — Linear transformations — definition, kernel, image

3. Symbols for the spaces: , ,

Why the topic needs these: the kernel is written — you literally cannot read that line without knowing , the colon, and the braces. The parent note also insists "" — that is the whole point of a common mistake.


4. What is a function / map? The symbol

Figure s03 is that box: the lavender arrow "input in " feeds into the butter-coloured -box, and the coral arrow "output in " comes out the other side. The label underneath names the whole picture. Keep this image in mind — the kernel and image are just questions about which arrows enter and leave this box.

Figure — Linear transformations — definition, kernel, image

Why the topic needs it: "linear transformation" is a special kind of function. You must first know what a function is before you can add the two fairness rules that make it linear.


5. The special vectors and the basis vectors

Figure s04 builds the arrow out of the basis: the short mint arrow and short coral arrow are the two building blocks. The dashed mint arrow is " steps of ", the dashed coral arrow stacked on its tip is " steps of ", and together they land exactly at the lavender . Every arrow in the plane is some recipe like this — that is what "a basis builds everything" means.

Figure — Linear transformations — definition, kernel, image

6. Dimension, span, and subspace

Why the topic needs these: the kernel and image are always subspaces, and rank/nullity are just their dimensions. See Rank–Nullity Theorem and Column space and null space for where these become the main event.


7. The matrix and

Why the topic needs it: the parent claims "image column space" precisely because every output is a scaling-and-adding of the columns. The mechanics of live in Matrix multiplication. Together with Injective surjective bijective (the "one-to-one / onto" words) and Eigenvalues and eigenvectors (special arrows a map only stretches), these foundations complete the toolbox.


8. The parent's own symbols: , , rank, nullity

Now that arrows, maps, subspaces and dimension are built, the four headline symbols of the parent note become plain reading.


How the foundations feed the topic

Vector as an arrow

Add and scale arrows

Vector space V and W

Zero vector

Function T from V to W

Linearity two rules

Basis vectors e_i

Span and dimension

Subspace

Matrix A and Ax

Linear Transformation

Kernel ker T inputs killed

Image im T outputs made

Nullity and rank


Equipment checklist

Hide the right side and test yourself. If any is shaky, reread that section above.

What does the arrow in tell you?
sends arrows from the input space to the output space .
Read aloud: .
"The vector is a member of the space ."
Read aloud: .
"The set of all such that equals zero."
Read aloud: .
"The kernel is contained inside the input space ."
The two operations every vector space allows are ___ and ___.
adding vectors (tip-to-tail) and scaling by a number.
What is the field ?
The pool of scalars you're allowed to scale with; here , the real numbers.
What is the zero vector, as a picture?
An arrow of length zero sitting on the origin, pointing nowhere.
What are and in ?
and , the standard basis (one right, one up).
Why does knowing determine everywhere?
Any , so by the two rules .
Why is a weighted sum of the columns of ?
Expand , then additivity+homogeneity give .
What does name, and where does it live?
The set of inputs crushed to zero; it lives in the input space .
What does (also ) name, and where does it live?
The set of all reachable outputs; it lives in the output space .
Rank and nullity are the ___ of which two sets?
Dimensions — rank of , nullity of .
What is the dimension of a space?
The number of arrows in a basis — the count of independent directions.
What makes a set a subspace?
It contains the origin and stays inside itself under adding and scaling.