# Linear algebra/Linear maps

A function from a vector space to a vector space is called a **linear map** if

1) For all ,

2) For all and all , .

These two algebraic properties have similar analogs in other branches of algebra as well. The recurring theme is "compatibility", in the sense that the function is "compatible" with the operations of vector addition and scalar multiplication. The significance of these properties may not be clear to novice readers, but will gradually become clearer to the persistent scholar. For now, it is important to simply keep them in mind.

Linear maps on real or complex vector spaces are among the most frequently studied. For example, linear functions from to with no constant term are all linear maps. These functions have the form for some .

The first property follows easily from the distributivity of multiplication:

The second property is left to the reader.

Given a matrix , the function defined by the matrix product is also a linear map. The proof is left to the reader.