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:V→WT:V\to W such that

  1. If v1,v2∈Vv_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 v∈Vv\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:V→W∣ 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:V→WT: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 T∈L(V)T\in\mathscr{L}(V) has at most dim(V)dim(V) distinct eigenvalues.

Proposition (Properties of linear maps)

  1. Associative: Let T1∈L(V1,V2),T2∈L(V2,V3)T_1\in\mathscr{L}(V_1,V_2),T_2\in\mathscr{L}(V_2,V_3) and T3∈L(V3,V4)T_3\in\mathscr{L}(V_3,V_4). The composition T1∘T2∘T3T_1\circ T_2\circ T_3 is associative, meaning (T1∘T2)∘T3=T1∘(T2∘T3)(T_1\circ T_2)\circ T_3 = T_1\circ (T_2\circ T_3)
  2. Identity: If T∈L(V,W)T\in\mathscr{L}(V,W) then IW∘T=T=T∘IVI_W\circ T = T = T\circ I_V
  3. Distributivity: If S1∈L(V1,V2),T1,T2∈L(V2,V3)S_1\in\mathscr{L}(V_1,V_2),T_1,T_2\in\mathscr{L}(V_2,V_3), and S2∈L(V3,V4)S_2\in \mathscr{L}(V_3,V_4) then (T1+T2)∘S1=T1∘S1+T2∘S1 and S2∘(T1+T2)=S2∘T1+S2∘T2 (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,T∈L(V,W),v∈VS,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,...,wn∈Ww_1,...,w_n\in W. Then there is a unique linear map T:V→WT: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 T∈L(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 T∈L(V,W)T\in\mathscr{L}(V,W) is invertible, the the inverse to TT is unique.

Proposition (3.14)

For A∈L(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 0∈Rm\mathbf{0}\in \mathbb{R}^{m};
  3. there exists M>0M>0 such that, for each x∈Rn\boldsymbol{x}\in \mathbb{R}^{n}, ∥A(x)∥Rm≤M∥x∥Rn;\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