logo

Inverse of Linear Transformations 📂Linear Algebra

Inverse of Linear Transformations

Definition1

Let V,WV, W be a vector space, and T:VWT : V \to W be a linear transformation. If the linear transformation U:WVU : W \to V satisfies the following, then UU is called the inverse or inverse transformation of TT.

TU=IWandUT=IV TU = I_{W} \quad \text{and} \quad UT = I_{V}

TUTU is the composition of UU and TT, IX:XXI_{X} : X \to X is the identity transformation. If TT has an inverse, TT is called an invertible transformation. If TT is invertible, the inverse UU is unique and denoted as T1=UT^{-1} = U.

Explanation

According to the definition, a transformation being invertible is equivalent to being a bijective function.

Properties

(a) (TU)1=U1T1(TU)^{-1} = U^{-1}T^{-1}

(b) (T1)1=T(T^{-1})^{-1} = T

(c) If T:VWT : V \to W is a linear transformation and V,WV, W are vector spaces of the same dimension and finite dimension, then

rank(T)=dim(V) \rank (T) = \dim (V)

rank(T)\rank (T) is the rank of TT.

(d) The inverse T1:WVT^{-1} : W \to V of a linear transformation T:VWT : V \to W is also a linear transformation.

(e) For an invertible linear transformation T:VWT : V \to W, it’s necessary and sufficient for VV to be finite-dimensional if and only if WW is finite-dimensional. In this case, dim(V)=dim(W)\dim(V) = \dim(W) holds.

(f) TT being invertible is equivalent to [T]βγ[T]_{\beta}^{\gamma} being invertible. Furthermore, [T1]βγ=([T]βγ)1[T^{-1}]_{\beta}^{\gamma} = ([T]_{\beta}^{\gamma})^{-1}. In this case, [T]βγ[T]_{\beta}^{\gamma} is the matrix representation of TT.

Proof

(d)

Given x1,x2V\mathbf{x}_{1}, \mathbf{x}_{2} \in V, and let kk be any constant. Then, since TT is linear, the following holds.

T1(T(x1)+kT(x2))=T1(T(x1+kx2))=x1+kx2=T1(T(x1))+kT1(T(x2)) \begin{align*} T^{-1} \left( T(\mathbf{x}_{1}) + k T(\mathbf{x}_{2}) \right) &= T^{-1} \left( T(\mathbf{x}_{1} + k \mathbf{x}_{2}) \right) \\ &= \mathbf{x}_{1} + k \mathbf{x}_{2} \\ &= T^{-1}\left( T(\mathbf{x}_{1}) \right) + kT^{-1}\left( T(\mathbf{x}_{2}) \right) \end{align*}

(e)2

Assume VV is finite-dimensional, and β={v1,,vn}\beta = \left\{ \mathbf{v}_{1}, \dots, \mathbf{v}_{n} \right\} is a basis for VV. Then, T(β)T(\beta) spans the codomain R(T)=WR(T)=W.

span(T(β))=R(T)=W \span (T(\beta)) = R(T) = W

Thus, WW is finite-dimensional. The converse also holds.

Now, assume V,WV, W is finite-dimensional. Since TT is injective and surjective,

nullity(T)=0andrank(T)=dim(R(T))=dim(W) \nullity (T) = 0 \quad \text{and} \quad \rank(T) = \dim(R(T)) = \dim(W)

By the dimension theorem,

dim(V)=rank(T)+nullity(T)=dim(W) \dim(V) = \rank(T) + \nullity(T) = \dim(W)

(f)2

()(\Longrightarrow)

Assume T:VWT : V \to W is invertible. Then, by (e), dim(V)=n=dim(W)\dim(V) = n = \dim(W). Thus, [T]βγ[T]_{\beta}^{\gamma} is a n×nn \times n matrix. As for the inverse T1T^{-1} of TT, since T1T=IV,TT1=IWT^{-1}T = I_{V}, TT^{-1} = I_{W},

In=[IV]β=[T1T]β=[T1]γβ[T]βγI_{n} = [I_{V}]_{\beta} = \href{../3074}{[T^{-1}T]_{\beta} = {[T^{-1}]_{\gamma}^{\beta}[T]_{\beta}^{\gamma}}}

Similarly, In=[IW]β=[TT1]β=[T]βγ[T1]γβI_{n} = [I_{W}]_{\beta} = [TT^{-1}]_{\beta} = [T]_{\beta}^{\gamma}[T^{-1}]_{\gamma}^{\beta} is satisfied. Therefore, [T]βγ[T]_{\beta}^{\gamma} is an invertible matrix, and its inverse is ([T]βγ)1=[T1]γβ([T]_{\beta}^{\gamma})^{-1} = [T^{-1}]_{\gamma}^{\beta}.

()(\Longleftarrow)

Assume A=[T]βγA = [T]_{\beta}^{\gamma} is an invertible matrix. Then, a n×nn \times n matrix BB satisfying AB=BA=IAB = BA = I exists. Then, the linear transformation U:WVU : W \to V defined as follows uniquely exists.

U(wj)=i=1nBijvi for j=1,,n U(\mathbf{w}_{j}) = \sum_{i=1}^{n}B_{ij}\mathbf{v}_{i} \quad \text{ for } j = 1,\dots,n

In this case, γ={w1,,wn},β={v1,,vn}\gamma = \left\{ \mathbf{w}_{1}, \dots, \mathbf{w}_{n} \right\}, \beta = \left\{ \mathbf{v}_{1}, \dots, \mathbf{v}_{n} \right\}. Hence, the matrix representation of UU is [U]γβ=B[U]_{\gamma}^{\beta} = B. Then, the following holds.

[UT]β=[U]γβ[T]γβ=BA=In=[IV]β [UT]_{\beta} = [U]_{\gamma}^{\beta} [T]_{\gamma}^{\beta} = BA = I_{n} = [I_{V}]_{\beta}

Therefore, UT=IVUT = I_{V}, and similarly, TU=IWTU = I_{W} holds. Therefore, TT is an invertible transformation.


  1. Stephen H. Friedberg, Linear Algebra (4th Edition, 2002), p99-100 ↩︎

  2. Stephen H. Friedberg, Linear Algebra (4th Edition, 2002), p101 ↩︎ ↩︎