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.
Scaling a linear map keeps it linear, including at , which gives the zero map — the additive identity of . Together with the sum above, this is the second of the two operations a vector space needs.
Follows from . Useful in the contrapositive: any map sending somewhere else is not linear, no further work needed. This is why an affine map with fails immediately.
Apply ’s linearity inside ’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: and are different maps.
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.
Defined pointwise, and linear because both summands are. This is what supplies the addition on — the operation exists because linear maps are closed under it, not by stipulation.
Closure under sum and scalar multiple makes 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 matrix — the matrix representation is a basis for it.