Visual Tools
Calculators
Tables
Mathematical Keyboard
Converters
Other Tools


Properties of Linear Transformation






What Linearity Gives You and How to Verify It

The two linearity conditions — preservation of addition and scalar multiplication — are the gateway to the entire theory. Proving them unlocks every tool of linear algebra; failing them shuts the door. This page covers how to verify linearity, what consequences follow from it, and how linear transformations interact through composition and inversion.



The Two Linearity Conditions

A function T:VWT: V \to W is linear if it satisfies two conditions for all u,vV\mathbf{u}, \mathbf{v} \in V and all scalars cRc \in \mathbb{R}:

Additivity: T(u+v)=T(u)+T(v)T(\mathbf{u} + \mathbf{v}) = T(\mathbf{u}) + T(\mathbf{v})

Homogeneity: T(cv)=cT(v)T(c\mathbf{v}) = cT(\mathbf{v})

Both conditions must hold for every choice of vectors and scalars — not just for specific examples. Verifying linearity on a few particular vectors does not suffice. Disproving linearity requires only a single counterexample: one pair of vectors where additivity fails, or one scalar where homogeneity fails.

Linearity Notation

Notation

Linearity Notation

The definition of a linear map is written with one set of symbols standing for two sets of operations. Four marks decide what the equation is actually claiming.
The bracket [T][T] that turns a map into an array, the chaining rule for compositions and the reason the rightmost factor acts first are set out at matrix representation. Coordinate brackets and the script letters used for bases belong to basis, and dim\dim with its field subscript to dimension.
T(c\mathbf{u} + d\mathbf{v}) = cT(\mathbf{u}) + dT(\mathbf{v})
T of c u plus d v equals c times T of u plus d times T of v
Four operations appear here and they are not the same four. The addition and the scaling on the left are performed in VV, before TT is applied; the ones on the right are performed in WW, after. One glyph is reused for both, and the equation is precisely the claim that the two structures agree.
CasesSetting c=d=1c = d = 1 leaves additivity; setting v=0\mathbf{v} = \mathbf{0} leaves homogeneity. The single line is not a shorthand for the pair — it implies both, and both together imply it.
Also writtenSplit into two displayed conditions when each is being checked separately, which is the usual form in a proof and hides that one equation carries both.
Do not confuseReading the line as an identity to be simplified. It is a condition to be tested: a hypothesis about a particular TT, true for some functions and false for most, and nothing about the symbols guarantees it.
Same glyph elsewhereThe plus sign inside T()T(\cdot) and the plus sign outside it denote different operations in different spaces throughout this page. Nothing marks the difference except position.
T(\mathbf{0}_V) = \mathbf{0}_W, \qquad T^{-1} \circ T = I_V
T of the zero of V is the zero of W; T inverse after T is the identity on V
The subscripts name which space the object belongs to. There are two zero vectors here and two identity maps, and without the labels the first equation reads as though nothing happened and the second as though one identity were being used twice.
CasesWhen VV and WW are the same space the subscripts are dropped and nothing is lost. They earn their place exactly when a map crosses between spaces, which is also when the statement stops being obvious.
Also writtenWritten 0\mathbf{0} and II unadorned in most sources, leaving the reader to supply the space from the surrounding line.
Do not confuseTaking T(0)=0T(\mathbf{0}) = \mathbf{0} for part of the definition. It is a consequence, and it works in one direction only: failing it disproves linearity outright, while passing it proves nothing — T(x)=xxT(x) = x|x| sends 00 to 00 and is not linear.
T(x, y, z) = (2x - y, \; x + 3z)
T of the triple x, y, z is the pair two x minus y, x plus three z
The parentheses after TT are doing two jobs at once. Written strictly the line would begin T((x,y,z))T\big((x, y, z)\big), with the inner pair building a vector and the outer pair applying the function; one pair is dropped by convention. TT takes a single argument, not three.
CasesOn the right the parentheses have only the tuple job — there is no function being applied there. The same glyph carries two meanings on the left and one on the right, in a single line.
Also writtenThe argument is written T(v)T(\mathbf{v}) with a bold letter elsewhere on this page. The bold form and the coordinate form name the same thing, and the switch happens whenever a concrete formula is needed.
Do not confuseTreating TT as a function of three separate variables. It suggests holding one fixed or reordering them, neither of which is defined; the input is one vector and the coordinates are its description, not its arguments.
\mathcal{L}(V, W)
the space of linear maps from V to W
This notation turns functions into elements. Once sums and scalar multiples of transformations are defined pointwise, the collection of all linear maps from VV to WW satisfies the vector space conditions itself, and the script letter marks that change of level — its members are maps, and they are being treated as vectors.
CasesIts dimension is dim(V)dim(W)\dim(V) \cdot \dim(W), which is the number of entries in a representing matrix. The zero element is the map sending everything to 0W\mathbf{0}_W, and the additive inverse of TT is (1)T(-1)T.
Also writtenWritten Hom(V,W)\operatorname{Hom}(V, W) in more algebraic treatments, and L(V)\mathcal{L}(V) with one argument when the two spaces coincide.
Do not confuseReading it as a set of matrices. Its elements are maps, and a matrix appears only after a basis has been chosen at each end — see matrix representation.
Same glyph elsewhereA script letter marks a basis at basis, where B\mathcal{B} is a finite collection of vectors. Here the script letter names a whole space, and the two conventions share only their typeface.

The One-Step Test

The two conditions can be combined into a single check. TT is linear if and only if

T(cu+dv)=cT(u)+dT(v)T(c\mathbf{u} + d\mathbf{v}) = cT(\mathbf{u}) + dT(\mathbf{v})


for all vectors u,vV\mathbf{u}, \mathbf{v} \in V and all scalars c,dRc, d \in \mathbb{R}. Setting c=d=1c = d = 1 recovers additivity. Setting v=0\mathbf{v} = \mathbf{0} recovers homogeneity. So the combined condition implies both individual conditions, and the converse is straightforward.

The one-step test extends to arbitrary linear combinations: if TT is linear, then

T(c1v1+c2v2++ckvk)=c1T(v1)+c2T(v2)++ckT(vk)T(c_1\mathbf{v}_1 + c_2\mathbf{v}_2 + \cdots + c_k\mathbf{v}_k) = c_1T(\mathbf{v}_1) + c_2T(\mathbf{v}_2) + \cdots + c_kT(\mathbf{v}_k)


Linear transformations commute with linear combinations of any length. This is the operational content of linearity — it says that TT can be "pulled through" any finite sum of scaled vectors.

Proving Linearity

To prove a given function TT is linear, take arbitrary vectors u,v\mathbf{u}, \mathbf{v} and arbitrary scalars c,dc, d. Compute T(cu+dv)T(c\mathbf{u} + d\mathbf{v}) using the formula that defines TT, then simplify and show the result equals cT(u)+dT(v)cT(\mathbf{u}) + dT(\mathbf{v}).

Worked Example


Let T:R3R2T: \mathbb{R}^3 \to \mathbb{R}^2 be defined by T(x,y,z)=(2xy,x+3z)T(x, y, z) = (2x - y, x + 3z). Take u=(u1,u2,u3)\mathbf{u} = (u_1, u_2, u_3) and v=(v1,v2,v3)\mathbf{v} = (v_1, v_2, v_3):

T(cu+dv)=T(cu1+dv1,  cu2+dv2,  cu3+dv3)T(c\mathbf{u} + d\mathbf{v}) = T(cu_1 + dv_1, \; cu_2 + dv_2, \; cu_3 + dv_3)


=(2(cu1+dv1)(cu2+dv2),  (cu1+dv1)+3(cu3+dv3))= (2(cu_1 + dv_1) - (cu_2 + dv_2), \; (cu_1 + dv_1) + 3(cu_3 + dv_3))


=(c(2u1u2)+d(2v1v2),  c(u1+3u3)+d(v1+3v3))= (c(2u_1 - u_2) + d(2v_1 - v_2), \; c(u_1 + 3u_3) + d(v_1 + 3v_3))


=c(2u1u2,  u1+3u3)+d(2v1v2,  v1+3v3)=cT(u)+dT(v)= c(2u_1 - u_2, \; u_1 + 3u_3) + d(2v_1 - v_2, \; v_1 + 3v_3) = cT(\mathbf{u}) + dT(\mathbf{v})


Linearity holds. The key observation is that every component of TT is a linear expression in the input coordinates — no products, powers, or constant terms appear.

Disproving Linearity

To show TT is not linear, find a single concrete counterexample.

The fastest first check is T(0)=0T(\mathbf{0}) = \mathbf{0}. Every linear transformation sends 0\mathbf{0} to 0\mathbf{0}, so if T(0)0T(\mathbf{0}) \neq \mathbf{0}, the function is immediately disqualified. This eliminates translations (T(v)=v+bT(\mathbf{v}) = \mathbf{v} + \mathbf{b}), constant functions (T(v)=cT(\mathbf{v}) = \mathbf{c}), and any formula with a constant term.

If T(0)=0T(\mathbf{0}) = \mathbf{0} passes, test additivity or homogeneity with specific inputs. For T(x,y)=(x2,y)T(x, y) = (x^2, y): T(1,0)+T(1,0)=(1,0)+(1,0)=(2,0)T(1, 0) + T(1, 0) = (1, 0) + (1, 0) = (2, 0), but T((1,0)+(1,0))=T(2,0)=(4,0)(2,0)T((1, 0) + (1, 0)) = T(2, 0) = (4, 0) \neq (2, 0). One failure is enough.

For T(x)=x+1T(x) = x + 1: T(0)=10T(0) = 1 \neq 0. Done — no need to check anything else.

Products of unknowns, powers higher than 11, absolute values, square roots, and constant terms all break linearity. If the formula for TT involves any of these, the function is almost certainly not linear (and a counterexample is usually easy to construct).
Strategy When to reach for it What it catches Example
Check T(0) = 0 first, always — the fastest single test constant terms, translations, affine offsets T(x) = x + 1: T(0) = 1 ≠ 0
Scan components for non-linear terms explicit formula T(x₁,…,xₙ) = (f₁,…,fₘ) given products, powers > 1, |·|, √, constants T(x, y) = (xy, y): product xy disqualifies
Test additivity with specific u, v formula passes T(0)=0 but has a power or product nonlinear interaction between inputs T(x,y) = (x², y): T(1,0)+T(1,0) = (2,0) ≠ T(2,0) = (4,0)
Test homogeneity with specific c formula involves |·| or odd-degree behavior nonlinear scaling (often via sign) T(x) = |x|: T(−1·2) = 2 ≠ −1·T(2) = −2

Consequences of Linearity

Once linearity is established, several useful facts follow automatically. The most basic is that the zero vector maps to the zero vector:

Zero Vector Preservation
T(0V)=0WT(\mathbf{0}_V) = \mathbf{0}_W
Learn more about this formula: Zero Vector Preservation →


Proof: T(0)=T(0v)=0T(v)=0T(\mathbf{0}) = T(0 \cdot \mathbf{v}) = 0 \cdot T(\mathbf{v}) = \mathbf{0}.

T(v)=T(v)T(-\mathbf{v}) = -T(\mathbf{v}): negation is preserved. Proof: T(v)=T((1)v)=(1)T(v)=T(v)T(-\mathbf{v}) = T((-1)\mathbf{v}) = (-1)T(\mathbf{v}) = -T(\mathbf{v}).

T(uv)=T(u)T(v)T(\mathbf{u} - \mathbf{v}) = T(\mathbf{u}) - T(\mathbf{v}): subtraction is preserved. Follows from combining additivity with the negation result.

If {v1,,vk}\{\mathbf{v}_1, \dots, \mathbf{v}_k\} is linearly dependent, then {T(v1),,T(vk)}\{T(\mathbf{v}_1), \dots, T(\mathbf{v}_k)\} is also dependent. Linear transformations can destroy independence (by collapsing vectors to zero) but cannot create it. A nonzero dependence relation civi=0\sum c_i \mathbf{v}_i = \mathbf{0} maps to ciT(vi)=0\sum c_i T(\mathbf{v}_i) = \mathbf{0} with the same coefficients.

These are not additional axioms — they are free consequences of the two linearity conditions.
Identity What it says Source
T(0) = 0 the zero vector always maps to the zero vector homogeneity with c = 0
T(−v) = −T(v) negation is preserved homogeneity with c = −1
T(u − v) = T(u) − T(v) subtraction is preserved additivity combined with negation identity
T(Σ cᵢ vᵢ) = Σ cᵢ T(vᵢ) linear combinations of any length are preserved iterating additivity and homogeneity
Linear dependence is preserved if {vᵢ} is dependent, then {T(vᵢ)} is dependent (independence may be destroyed but never created) applying T to a dependence relation Σ cᵢ vᵢ = 0

Composition

If T:UVT: U \to V and S:VWS: V \to W are both linear, the composition ST:UWS \circ T: U \to W is also linear:

Composition Is Linear
(ST)(u)=S(T(u)),[ST]=[S][T](S \circ T)(\mathbf{u}) = S(T(\mathbf{u})), \qquad [S \circ T] = [S]\,[T]
Learn more about this formula: Composition Is Linear →


The linearity check:

(ST)(cu+dv)=S(T(cu+dv))=S(cT(u)+dT(v))=cS(T(u))+dS(T(v))(S \circ T)(c\mathbf{u} + d\mathbf{v}) = S(T(c\mathbf{u} + d\mathbf{v})) = S(cT(\mathbf{u}) + dT(\mathbf{v})) = cS(T(\mathbf{u})) + dS(T(\mathbf{v}))


The first equality applies TT's linearity inside SS; the second applies SS's linearity.

Composition is associative: (RS)T=R(ST)(R \circ S) \circ T = R \circ (S \circ T). It is not commutative: STS \circ T and TST \circ S are generally different (and may not even have compatible domains).

When both transformations are represented by matrices, composition corresponds to matrix multiplication: the matrix of STS \circ T is the product of the matrix of SS with the matrix of TT. This is the fundamental reason matrix multiplication is defined as it is — it encodes the composition of the maps the matrices represent.
AvBAvv₀BvABvvAvBAvv₀BvABvv
Order irrelevant, then decisive

Two linear maps composed in both orders. Above they agree; below they do not, and the grid ends up somewhere visibly different. Composing linear maps always gives a linear map, but it almost never gives the same one when the order is reversed. Try your own pair on the 2D composition explorer.

Linearity survives composition, which is what allows complicated maps to be assembled from simple ones without leaving the category.

Invertibility

A linear transformation T:VWT: V \to W is invertible if there exists a linear map T1:WVT^{-1}: W \to V satisfying T1T=IVT^{-1} \circ T = I_V and TT1=IWT \circ T^{-1} = I_W.

The inverse, when it exists, is itself linear. If T1(w1)=v1T^{-1}(\mathbf{w}_1) = \mathbf{v}_1 and T1(w2)=v2T^{-1}(\mathbf{w}_2) = \mathbf{v}_2, then T(cv1+dv2)=cT(v1)+dT(v2)=cw1+dw2T(c\mathbf{v}_1 + d\mathbf{v}_2) = cT(\mathbf{v}_1) + dT(\mathbf{v}_2) = c\mathbf{w}_1 + d\mathbf{w}_2, so T1(cw1+dw2)=cv1+dv2=cT1(w1)+dT1(w2)T^{-1}(c\mathbf{w}_1 + d\mathbf{w}_2) = c\mathbf{v}_1 + d\mathbf{v}_2 = cT^{-1}(\mathbf{w}_1) + dT^{-1}(\mathbf{w}_2).

TT is invertible if and only if it is bijective: injective (trivial kernel) and surjective (image equals WW). When dim(V)=dim(W)\dim(V) = \dim(W), these two conditions are equivalent — checking either one establishes both. For matrix transformations, invertibility of TT corresponds to invertibility of the matrix AA.

An invertible linear transformation between spaces of the same dimension is called an isomorphism. It establishes that the two spaces are structurally identical as vector spaces.

Sums and Scalar Multiples of Transformations

If S,T:VWS, T: V \to W are both linear, new transformations can be built from them.

The sum (S+T)(v)=S(v)+T(v)(S + T)(\mathbf{v}) = S(\mathbf{v}) + T(\mathbf{v}) is linear: (S+T)(cu+dv)=S(cu+dv)+T(cu+dv)=cS(u)+dS(v)+cT(u)+dT(v)=c(S+T)(u)+d(S+T)(v)(S + T)(c\mathbf{u} + d\mathbf{v}) = S(c\mathbf{u} + d\mathbf{v}) + T(c\mathbf{u} + d\mathbf{v}) = cS(\mathbf{u}) + dS(\mathbf{v}) + cT(\mathbf{u}) + dT(\mathbf{v}) = c(S + T)(\mathbf{u}) + d(S + T)(\mathbf{v}).

The scalar multiple (cT)(v)=cT(v)(cT)(\mathbf{v}) = cT(\mathbf{v}) is linear by a similar argument.

These operations give the set of all linear transformations from VV to WW the structure of a vector space, denoted L(V,W)\mathcal{L}(V, W). The zero element is the zero transformation, and the additive inverse of TT is (1)T(-1)T. When VV and WW are finite-dimensional, this space has dimension dim(V)dim(W)\dim(V) \cdot \dim(W), matching the number of entries in the representing matrix.

Common Pitfalls

Verifying linearity on a handful of specific vectors does not prove linearity. The conditions must hold for all vectors and all scalars simultaneously. A function can satisfy T(u+v)=T(u)+T(v)T(\mathbf{u} + \mathbf{v}) = T(\mathbf{u}) + T(\mathbf{v}) for certain pairs while failing for others.

The condition T(0)=0T(\mathbf{0}) = \mathbf{0} is necessary but not sufficient. Passing it eliminates many non-examples quickly, but a function with T(0)=0T(\mathbf{0}) = \mathbf{0} can still fail additivity or homogeneity. The function T(x)=xxT(x) = x|x| satisfies T(0)=0T(0) = 0 but is not linear.

A component-by-component check works for maps defined by explicit formulas. If T(x1,,xn)=(f1(x),,fm(x))T(x_1, \dots, x_n) = (f_1(\mathbf{x}), \dots, f_m(\mathbf{x})), then TT is linear if and only if each component function fif_i is a linear expression in x1,,xnx_1, \dots, x_n — meaning fi=ai1x1+ai2x2++ainxnf_i = a_{i1}x_1 + a_{i2}x_2 + \cdots + a_{in}x_n with no constant term. Any constant, product, power, or nonlinear function appearing in any component disqualifies the entire map.

Summary: How Linear Maps Combine

The four consequences-cluster sections above isolate distinct ways that linearity propagates through operations on the transformations themselves. The table below collects them in one place: composition produces another linear map, inversion preserves linearity, and the pointwise sum and scalar multiple of linear maps are themselves linear — giving the full set of all linear transformations from V to W the structure of a vector space in its own right.
Transformations · summary

How linear maps combine

Every operation here produces another linear map — that closure is what lets the set of all linear maps be a vector space in its own right, rather than merely a collection.

06operations
Unconditional2
iv
Scalar multiple§ 8(cT)(v)=cT(v)(cT)(\mathbf{v}) = c \cdot T(\mathbf{v})
Scaling a linear map keeps it linear, including at c = 0, which gives the zero map — the…
Unconditional
Requires
any scalar cc

Scaling a linear map keeps it linear, including at c=0c = 0, which gives the zero map — the additive identity of L(V,W)\mathcal{L}(V, W). Together with the sum above, this is the second of the two operations a vector space needs.

vi
The zero vector is fixed§ 5T(0)=0T(\mathbf{0}) = \mathbf{0}
Follows from T(0 · v) = 0 · T(v).
Unconditional
Requires
TT linear
Common error
treating this as a definition — it is a consequence, and its failure is a fast disproof

Follows from T(0v)=0T(v)T(0 \cdot \mathbf{v}) = 0 \cdot T(\mathbf{v}). Useful in the contrapositive: any map sending 0\mathbf{0} somewhere else is not linear, no further work needed. This is why an affine map xAx+b\mathbf{x} \mapsto A\mathbf{x} + \mathbf{b} with b0\mathbf{b} \neq \mathbf{0} fails immediately.

Fast disproofT(x, y) = (x + 1, y)
T(0, 0) = (1, 0) ≠ (0, 0) → not linear
Conditional4
i
Composition§ 6(ST)(u)=S(T(u))(S \circ T)(\mathbf{u}) = S\bigl(T(\mathbf{u})\bigr)
Apply T’s linearity inside S’s and the result falls out.
Stays linear
Holds when
the codomain of TT matches the domain of SS

Apply TT’s linearity inside SS’s and the result falls out. In matrix terms this is exactly matrix multiplication — which is why that product is defined the way it is, and why it fails to commute: STS \circ T and TST \circ S are different maps.

ii
Inverse§ 7T1T=I,TT1=IT^{-1} \circ T = I, \quad T \circ T^{-1} = I
The inverse of a linear bijection is itself linear — not obvious, but true.
Stays linear
Holds when
TT is a bijection
Fails when
TT has nontrivial kernel or misses part of the codomain

The inverse of a linear bijection is itself linear — not obvious, but true. An invertible map between spaces of equal dimension is an isomorphism, meaning the two spaces are structurally the same object written twice. See the invertibility equivalence for the matrix form of the condition.

iii
Sum§ 8(S+T)(v)=S(v)+T(v)(S + T)(\mathbf{v}) = S(\mathbf{v}) + T(\mathbf{v})
Defined pointwise, and linear because both summands are.
Stays linear
Holds when
SS and TT share domain and codomain

Defined pointwise, and linear because both summands are. This is what supplies the addition on L(V,W)\mathcal{L}(V, W) — the operation exists because linear maps are closed under it, not by stipulation.

v
The space of linear maps§ 8dimL(V,W)=dim(V)dim(W)\dim \mathcal{L}(V, W) = \dim(V) \cdot \dim(W)
Closure under sum and scalar multiple makes L(V, W) a vector space whose elements happen to be…
Conditional
Holds when
both VV and WW finite-dimensional

Closure under sum and scalar multiple makes L(V,W)\mathcal{L}(V, W) a vector space whose elements happen to be functions. Its dimension is the product of the two, which is the same count as the entries of an m×nm \times n matrix — the matrix representation is a basis for it.

Unconditional
Conditional
Composition§ 6Stays linear
(ST)(u)=S(T(u))(S \circ T)(\mathbf{u}) = S\bigl(T(\mathbf{u})\bigr)
Holds when
the codomain of TT matches the domain of SS
Apply TT’s linearity inside SS’s and the result falls out. In matrix terms this is exactly matrix multiplication — which is why that product is defined the way it is, and why it fails to commute: STS \circ T and TST \circ S are different maps.
Read the full section
Inverse§ 7Stays linear
T1T=I,TT1=IT^{-1} \circ T = I, \quad T \circ T^{-1} = I
Holds when
TT is a bijection
Fails when
TT has nontrivial kernel or misses part of the codomain
The inverse of a linear bijection is itself linear — not obvious, but true. An invertible map between spaces of equal dimension is an isomorphism, meaning the two spaces are structurally the same object written twice. See the invertibility equivalence for the matrix form of the condition.
Read the full section
Sum§ 8Stays linear
(S+T)(v)=S(v)+T(v)(S + T)(\mathbf{v}) = S(\mathbf{v}) + T(\mathbf{v})
Holds when
SS and TT share domain and codomain
Defined pointwise, and linear because both summands are. This is what supplies the addition on L(V,W)\mathcal{L}(V, W) — the operation exists because linear maps are closed under it, not by stipulation.
Read the full section
Scalar multiple§ 8Unconditional
(cT)(v)=cT(v)(cT)(\mathbf{v}) = c \cdot T(\mathbf{v})
Requires
any scalar cc
Scaling a linear map keeps it linear, including at c=0c = 0, which gives the zero map — the additive identity of L(V,W)\mathcal{L}(V, W). Together with the sum above, this is the second of the two operations a vector space needs.
Read the full section
dimL(V,W)=dim(V)dim(W)\dim \mathcal{L}(V, W) = \dim(V) \cdot \dim(W)
Holds when
both VV and WW finite-dimensional
Closure under sum and scalar multiple makes L(V,W)\mathcal{L}(V, W) a vector space whose elements happen to be functions. Its dimension is the product of the two, which is the same count as the entries of an m×nm \times n matrix — the matrix representation is a basis for it.
Read the full section
T(0)=0T(\mathbf{0}) = \mathbf{0}
Requires
TT linear
Common error
treating this as a definition — it is a consequence, and its failure is a fast disproof
Follows from T(0v)=0T(v)T(0 \cdot \mathbf{v}) = 0 \cdot T(\mathbf{v}). Useful in the contrapositive: any map sending 0\mathbf{0} somewhere else is not linear, no further work needed. This is why an affine map xAx+b\mathbf{x} \mapsto A\mathbf{x} + \mathbf{b} with b0\mathbf{b} \neq \mathbf{0} fails immediately.
Fast disproofT(x, y) = (x + 1, y)
T(0, 0) = (1, 0) ≠ (0, 0) → not linear
Read the full section
Read downward and the entries build on each other: composition and inversion give L(V,V)\mathcal{L}(V,V) the structure of an algebra, while sum and scalar multiple give L(V,W)\mathcal{L}(V,W) the structure of a vector space. The last entry is the two facts combined.
How linear maps combine·/linear-algebra/transformations/propertiesLearn Math Class

Linearity Properties FAQ

Does T(0)=0T(\mathbf{0}) = \mathbf{0} prove that a map is linear?

+
No, the implication runs one way only. Every linear map sends zero to zero, so failing the test disproves linearity outright, but passing it proves nothing. The map T(x)=xxT(x) = x|x| sends 00 to 00 and is not linear. Use it to rule maps out quickly, never to rule them in.Read more →

Is the single-line linearity condition shorthand for the two separate ones?

+
It is genuinely equivalent rather than an abbreviation. Setting c=d=1c = d = 1 recovers additivity and setting v=0\mathbf{v} = \mathbf{0} recovers homogeneity, so the one line implies both and both imply it. Read it as a hypothesis to be tested about a particular TT, not an identity to be simplified.Read more →

Is L(V,W)\mathcal{L}(V, W) a set of matrices?

+
No, its elements are maps, and a matrix appears only after a basis has been chosen at each end. The space is itself a vector space, with dimension dim(V)dim(W)\dim(V) \cdot \dim(W), which is exactly the number of entries a representing matrix would have. Its zero element is the map sending everything to 0W\mathbf{0}_W.Read more →