A linear transformation is a function between vector spaces that preserves the two basic operations of linear algebra: vector addition and scalar multiplication. If and are vector spaces over the same field , a function
is called linear when, for all and all ,
and
These two identities are the defining conditions. They say that applying after forming a sum gives the same result as forming the sum after applying , and applying after scaling gives the same result as scaling after applying . This is the standard definition used in linear algebra texts: linear maps preserve sums and scalar multiplication.
32.1 Functions Between Vector Spaces
A transformation is a function. It assigns to each vector in one space exactly one vector in another space.
If
then is called the domain of , and is called the codomain of . For each , the vector lies in .
For example, define
by
This transformation doubles the first coordinate and triples the second coordinate.
It is linear because
and
for all and all scalars .
32.2 The Definition of Linearity
The two defining conditions may be combined into one condition.
A function is linear if and only if
for all and all scalars .
This condition says that preserves every linear combination of two vectors. By repeated use, it preserves every finite linear combination:
This is the central practical meaning of linearity. Once a vector is expressed as a linear combination, its image under is found by applying to the pieces and using the same coefficients.
32.3 First Examples
Scaling
Define
by
Then
and
Thus is linear.
Projection Onto an Axis
Define
by
This transformation sends every vector to its horizontal component. It is linear.
If
then
Also,
Differentiation
Let be the vector space of polynomials of degree at most . Define
by
The derivative operator is linear because
and
This example shows that vectors do not have to be lists of numbers. They may be polynomials, functions, or other mathematical objects.
32.4 Nonlinear Transformations
A transformation may fail to be linear in several ways.
Define
by
Then
while
These are not equal in general. Therefore is not linear.
Define another transformation
by
Then
A linear transformation must send the zero vector to the zero vector. Since , the transformation is not linear.
This gives a quick test: if , then cannot be linear.
32.5 The Zero Vector Is Preserved
Let be linear. Then
To prove this, use scalar multiplication:
for any . Therefore,
Thus every linear transformation sends the zero vector of its domain to the zero vector of its codomain.
This property is necessary, but not sufficient. A function may send zero to zero and still fail to be linear.
For example,
satisfies , but it is not linear.
32.6 Negatives Are Preserved
If is linear, then
Indeed,
Therefore a linear transformation preserves additive inverses.
This also implies
The proof is direct:
32.7 Linear Transformations and Bases
A linear transformation is determined by its values on a basis.
Let have basis
Every vector has a unique expression
If is linear, then
Thus, once the images
are known, the value of on every vector is known.
This is one of the main reasons linear transformations are manageable. A function on an infinite set may appear complicated, but a linear function on a finite-dimensional vector space is completely described by finitely many vectors.
32.8 Matrix Representation
Every matrix defines a linear transformation.
Let be an matrix. Define
by
Then is linear because matrix multiplication satisfies
and
Conversely, every linear transformation
can be represented by an matrix.
Let be the standard basis of . The matrix of has columns
Thus
Then
for every .
32.9 Example of a Matrix Transformation
Let
The associated linear transformation is
For
we have
The first coordinate of the output is a linear combination of the input coordinates. The second coordinate is another linear combination. This pattern always occurs for matrix transformations.
32.10 Kernel
The kernel of a linear transformation is the set of all vectors sent to zero.
If is linear, then
The kernel measures the directions that the transformation collapses.
For a matrix transformation ,
This is the null space of .
The kernel is a subspace of . To prove this, let and let be a scalar. Then
so . Also,
so .
Therefore is closed under addition and scalar multiplication.
32.11 Image
The image of a linear transformation is the set of all vectors that occur as outputs.
If is linear, then
The image is also called the range of .
For a matrix transformation , the image is the column space of . It consists of all linear combinations of the columns of .
The image is a subspace of . If , then there are vectors such that
Then
so . Also,
so .
32.12 Injective Transformations
A transformation is injective if different input vectors always have different outputs.
That is,
implies
For linear transformations, injectivity is controlled by the kernel.
A linear transformation is injective if and only if
To prove this, suppose is injective. Since , the only vector that can map to is . Hence .
Conversely, suppose . If , then
By linearity,
Thus
Since the kernel contains only ,
so
Therefore is injective.
32.13 Surjective Transformations
A transformation is surjective if every vector in is hit by .
That is, for every , there exists such that
In terms of the image, this says
For a matrix transformation , surjectivity means that the columns of span .
Thus is surjective exactly when the column space of is all of the codomain.
32.14 Isomorphisms
A linear transformation is an isomorphism if it is both injective and surjective.
In this case, every vector in is the image of exactly one vector in . The inverse function
exists and is also linear.
When an isomorphism exists between and , the two spaces have the same linear structure. They may have different descriptions, but they are equivalent as vector spaces.
For example, the vector space of polynomials of degree at most is isomorphic to . The map
is linear, injective, and surjective.
32.15 Composition
If
and
are linear transformations, then their composition
is also linear.
Indeed,
Since is linear,
Therefore,
Since is linear,
Hence
The scalar condition is similar:
Thus composition preserves linearity.
In matrix form, composition corresponds to matrix multiplication. If and , then
32.16 Inverses
A linear transformation has an inverse exactly when it is an isomorphism.
If has inverse , then
for all , and
for all .
For matrix transformations, this corresponds to inverse matrices. If
and is invertible, then
If is singular, then the transformation cannot be reversed on all of its codomain.
32.17 Rank and Nullity
For a linear transformation , the rank of is the dimension of its image:
The nullity of is the dimension of its kernel:
If is finite-dimensional, then the rank-nullity theorem states
This theorem says that the dimension of the domain splits into two parts: the part visible in the output and the part collapsed to zero.
32.18 Geometric Interpretation
Linear transformations preserve the linear structure of space.
They send lines through the origin to lines through the origin or to the zero vector. They send planes through the origin to planes, lines, or the zero vector. More generally, they send subspaces to subspaces.
They may stretch, shrink, rotate, reflect, shear, project, or collapse dimensions. They cannot translate the origin away from itself. A translation such as
with is affine, not linear.
For example,
moves every point one unit to the right. It does not preserve the zero vector, so it is not linear.
32.19 Standard Transformations in the Plane
Several important transformations of are linear.
A scaling transformation has matrix
It sends
to
A reflection across the -axis has matrix
A projection onto the -axis has matrix
A shear has matrix
It sends
to
Each example is linear because the output coordinates are linear expressions in the input coordinates.
32.20 Testing Linearity
To test whether a transformation is linear, check the defining identities.
For a transformation , verify that
and
for arbitrary vectors and arbitrary scalar .
A faster test is to check the combined condition
Common signs of nonlinearity include:
| Feature | Example |
|---|---|
| Constant shift | |
| Powers of variables | |
| Products of variables | |
| Absolute values | (T(x)= |
| Trigonometric functions |
These transformations may be important in other parts of mathematics, but they are not linear transformations.
32.21 Coordinate Form
Let
be a transformation. If each component of is a linear expression in the coordinates of , then is linear.
For example,
is linear.
Its matrix is
Then
The coefficients of the coordinate formulas become the entries of the matrix.
32.22 Linear Transformations as Structure-Preserving Maps
The word linear does not mean merely that a formula contains straight lines. It means that the transformation preserves the algebraic structure of a vector space.
It preserves sums:
It preserves scalar multiples:
It preserves linear combinations:
It preserves the zero vector:
It preserves subspaces by sending them to subspaces of the codomain.
These properties make linear transformations the natural maps in linear algebra, just as continuous functions are natural maps in topology and homomorphisms are natural maps in algebra.
32.23 Summary
A linear transformation is a function between vector spaces that preserves addition and scalar multiplication. The two defining identities are
and
Every matrix gives a linear transformation by . Conversely, every linear transformation between finite-dimensional coordinate spaces has a matrix representation. The columns of the matrix are the images of the standard basis vectors.
The kernel consists of all vectors sent to zero. The image consists of all vectors reached by the transformation. Injectivity is equivalent to having trivial kernel, and surjectivity is equivalent to having image equal to the codomain.
Linear transformations are central because they connect algebra, geometry, and computation. They describe the maps that preserve the structure of vector spaces.