logo

Linear Transformation 📂Linear Algebra

Linear Transformation

Definition1

A transformation is when a function T:VWT : V \to W maps from one vector space to another, that is VV, WW are both vector spaces, we call TT a transformation.

If the transformation TT is a linear function, satisfying the following two conditions for any v,uV\mathbf{v},\mathbf{u} \in V and scalar kk, it is called a linear transformation:

  • T(ku)=kT(u)T(k \mathbf{u}) = k T(\mathbf{u})
  • T(u+v)=T(u)+T(v)T(\mathbf{u} + \mathbf{v}) = T(\mathbf{u}) + T(\mathbf{v})

Specifically, if W=CW=\mathbb{C}, then TT is called a linear functional.

Explanation

Functions, mappings, transformations are essentially synonymous. However, in contexts involving vector spaces like linear algebra or functional analysis, the term transformation is primarily used, abbreviated as TT.

Linear transformations from finite dimensions to finite dimensions are often treated like matrix multiplication, depicted as follows:

T(x)=Tx T(\mathbf{x}) = T\mathbf{x}

A linear transformation that satisfies T:VVT : V \to V on VV is sometimes called a linear operator on VV. However, it doesn’t always have to be that the domain and codomain are identical to be called an operator. For practical reasons, several textbooks define T:VVT : V \to V as a linear operator.

linear transformation form V to Vlinear operator on V \text{linear transformation form } V \text{ to } V \to \text{linear operator on } V

The set of all linear transformations from vector space XX to YY is denoted as follows: L(X,Y)L(X, Y)2.

L(X,Y)=L(X,Y):={T:XYT is linear } L(X,Y) = \mathcal{L}(X, Y) := \left\{ T : X \to Y\enspace |\enspace T \text{ is linear } \right\}

Matrix transformation is a type of linear transformation.

Identity Transformation

A linear transformation I:VVI : V \to V satisfies

I(v)=v I(\mathbf{v}) = \mathbf{v}

for all vV\mathbf{v} \in V is called an identity transformation. Specifically, it might be denoted as IVI_{V}.

Zero Transformation

A linear transformation T0:VWT_{0} : V \to W satisfies

T0(v)=0W T_{0}(\mathbf{v}) = \mathbf{0}_{W}

for all vV\mathbf{v} \in V is called a zero transformation. Here, 0W\mathbf{0}_{W} is the zero vector in WW. Also denoted as OO, 00, it is essentially a zero function.

Properties

If T:VWT : V \to W is a linear transformation, then the following hold:

(a) T(0)=0T(\mathbf{0}) = \mathbf{0}

(b) For all u,vV\mathbf{u}, \mathbf{v} \in V, T(uv)=T(u)T(v)T(\mathbf{u} - \mathbf{v}) = T(\mathbf{u}) - T(\mathbf{v})

Proof

(a)

By the property of vector spaces, since 0v=00\mathbf{v} = \mathbf{0},

T(0)=T(0u)=0T(u)=0 T(\mathbf{0}) = T( 0\mathbf{u}) = 0T(\mathbf{u}) = \mathbf{0}

(b)

Similarly, due to the property of vector spaces that v=(1)v-\mathbf{v} = (-1)\mathbf{v},

T(uv)=T(u+(1)v)=T(u)+T((1)v)=T(u)+(1)T(v)=T(u)T(v) \begin{align*} T(\mathbf{u} - \mathbf{v}) &= T \big( \mathbf{u} + (-1)\mathbf{v} \big) \\ &= T(\mathbf{u}) + T\big( (-1)\mathbf{v} \big) \\ &= T(\mathbf{u}) + (-1)T(\mathbf{v}) \\ &= T(\mathbf{u}) - T(\mathbf{v}) \end{align*}


  1. Howard Anton, Elementary Linear Algebra: Applications Version (12th Edition, 2019), p446-447 ↩︎

  2. Walter Rudin, Principles of Mathematical Analysis (3rd Edition, 1976), p207 ↩︎