Created by M. Oki Orlandofrom the Noun Project

Linear Map

Definition (Linear Map)

Let VV and WW be F\mathbb{F}-vector spaces. We define a linear map from VV to WW to be a function T:VWT:V\to W such that

  1. If v1,v2Vv_1, v_2\in V then T(v1+v2)=T(v1)+T(v2)T(v_1+v_2)=T(v_1)+T(v_2)
  2. If λF\lambda\in\mathbb{F} and vVv\in V then T(λv)=λT(v)T(\lambda v)=\lambda T(v).

Remark

A linear map is a function that “plays well” with addition and scalar multiplication. Even outside of linear algebra you should assume this to be true for anything deemed “linear”.

Proposition (Set of Linear maps is vector space)

The set of linear maps L(V;W):={T:VW T is linear}\mathscr{L}(V;W):=\{T:V\to W|\ T\text{ is linear}\}is a vector space.

Definition (Linear Operator)

When W=VW=V and T:VWT:V\to W, we call TT a linear operator, and we denote the vector space of linear operators on VV by L(V)\mathscr{L}(V).

Proposition (Operators have at most dim(V)dim(V) distinct eigenvalues)

Any operator TL(V)T\in\mathscr{L}(V) has at most dim(V)dim(V) distinct eigenvalues.

Proposition (Properties of linear maps)

  1. Associative: Let T1L(V1,V2),T2L(V2,V3)T_1\in\mathscr{L}(V_1,V_2),T_2\in\mathscr{L}(V_2,V_3) and T3L(V3,V4)T_3\in\mathscr{L}(V_3,V_4). The composition T1T2T3T_1\circ T_2\circ T_3 is associative, meaning (T1T2)T3=T1(T2T3)(T_1\circ T_2)\circ T_3 = T_1\circ (T_2\circ T_3)
  2. Identity: If TL(V,W)T\in\mathscr{L}(V,W) then IWT=T=TIVI_W\circ T = T = T\circ I_V
  3. Distributivity: If S1L(V1,V2),T1,T2L(V2,V3)S_1\in\mathscr{L}(V_1,V_2),T_1,T_2\in\mathscr{L}(V_2,V_3), and S2L(V3,V4)S_2\in \mathscr{L}(V_3,V_4) then (T1+T2)S1=T1S1+T2S1 and S2(T1+T2)=S2T1+S2T2 (T_1+T_2)\circ S_1=T_1\circ S_1 + T_2\circ S_1\text{ and } S_2\circ (T_1 + T_2) = S_2\circ T_1 + S_2\circ T_2

Definition (Summation and product)

Let S,TL(V,W),vVS,T\in\mathscr{L}(V,W), v\in V and λF\lambda\in\mathbb{F}. The sum of SS and TT is defined to be the linear map (S+T)(v)=S(v)+T(v)(S+T)(v)=S(v)+T(v) The product of λ\lambda and TT is the linear map defined by (λT)(v)=λ(T(v))(\lambda T)(v)=\lambda(T(v))

Proposition (Linear maps are defined on a basis)

Suppose that v1,...,vn{v_1,...,v_n} is a basis for VV and w1,...,wnWw_1,...,w_n\in W. Then there is a unique linear map T:VWT:V\to W such that T(vj)=wjT(v_j)=w_j for j=1,...,nj=1,...,n.

Proposition (Dimensionality & Linear Maps)

Let V,WV,W be Vector Spaces and let TL(V,W)T\in\mathscr{L}(V,W) be a Linear Map. Then

  1. If dim(W)<dim(V)dim(W)<dim(V), then T is not Injective
  2. If dim(V)<dim(W)dim(V)<dim(W), then T is not Surjective

Proposition (The inverse to a linear map is unique)

If a linear map TL(V,W)T\in\mathscr{L}(V,W) is invertible, the the inverse to TT is unique.

Proposition (3.14)

For AL(Rn;Rm)A\in \mathscr{L}(\mathbb{R}^{n};\mathbb{R}^{m}), the following statements hold and are equivalent:

  1. AA is continuous with respect to the standard topologies on Rn\mathbb{R}^{n} and Rm\mathbb{R}^{m};
  2. AA is continuous at 0Rm\mathbf{0}\in \mathbb{R}^{m};
  3. there exists M>0M>0 such that, for each xRn\boldsymbol{x}\in \mathbb{R}^{n}, A(x)RmMxRn;\lVert A(\boldsymbol x) \rVert_{\mathbb{R}^{m}}\le M\lVert \boldsymbol x \rVert _{\mathbb{R}^{n}} ;that is to say, AA is bounded.

Linked from