Inverses of linear transformations

 
 
 
 
 

What is an inverse transformation?

Previously we talked about a transformation as a mapping, something that maps one vector to another.

So if a transformation maps vectors from the subset AA to the subset BB, such that if a\vec{a} is a vector in AA, the transformation will map it to a vector b\vec{b} in BB, then we can write that transformation as T:ABT: A\to B, or as T(a)=bT(\vec{a})=\vec{b}.

Hi! I'm krista.

I create online courses to help you rock your math class. Read more.

 

The identity transformation

With that in mind, we want to define the identity transformation as the transformation that maps vectors to themselves. There’s no trick here. The identity transformation II literally just says, given any vector x\vec{x} in XX, the transformation will map it to x\vec{x}, itself. In other words, I:XXI: X\to X, or as Ix(x)=xI_x(\vec{x})=\vec{x}.

So for a vector a\vec{a} in the subset AA, the identity transformation would be I:AAI: A\to A, or IA(a)=aI_A(\vec{a})=\vec{a}. And for a vector b\vec{b} in the subset BB, the identity transformation would be I:BBI: B\to B, or IB(b)=bI_B(\vec{b})=\vec{b}.

 
identity transformations for the sets A and B
 

Invertibility and inverse transformations

So we know that the identity transformation maps a vector to itself, without, in a way, ever really leaving the subset.

What we want to know now is whether we can use a transformation to map a vector from one subset AA to another subset BB, and then undo the process, mapping the result we got in BB back into AA, and end up with the same vector in AA that we started with. In a sense, we’d just end up with the identity transformation, but we would have left the subset and come back again.

 
a transformation and its inverse result in the identity transformation
 

If we can do this for every vector a\vec{a} in AA (use a transformation to map a\vec{a} in AA to b\vec{b} in BB, and then reverse the process to map b\vec{b} back to the a\vec{a} we started with), then the transformation is invertible.

In other words, a transformation is invertible if it has an inverse. If T:ABT: A\to B, then TT is invertible if and only if its inverse T1:BAT^{-1}: B\to A exists, such that the composition of TT with T1T^{-1} and vice versa are both defined by the identity transformations we talked about earlier:

T1T=IAT^{-1}\circ T=I_A

TT1=IBT\circ T^{-1}=I_B

This make sense. If T:ABT: A\to B and T1:BAT^{-1}: B\to A, then T1T=IAT^{-1}\circ T=I_A could be written as

T1T=IAT^{-1}\circ T=I_A

T1(T(a))=IA(a)T^{-1}(T(\vec{a}))=I_A(\vec{a})

The transformation T(a)T(\vec{a}) maps a vector a\vec{a} in AA to some b\vec{b} in BB. But then T1T^{-1} takes that result b\vec{b} in BB and maps that vector back to an a\vec{a} in AA. In other words, we started at a vector a\vec{a} in AA, and ended up right back at the exact same vector a\vec{a} in AA, which we know now is just the identity transformation for AA, IAI_A. And we could follow the opposite logical path for TT1=IBT\circ T^{-1}=I_B.

And of course, if TT and T1T^{-1} are inverses of one another, it’s implied that the domain of TT is the codomain of T1T^{-1}, and that the domain of T1T^{-1} is the codomain of TT.

Invertibility and uniqueness

If a transformation is invertible, there are really three other related conclusions we can make.

1. Its inverse transformation is unique. In other words, an invertible transformation cannot have multiple inverses. It will always have exactly one inverse.

2. When you apply the transformation TT to a vector a\vec{a} in AA, you’ll be mapped to one unique vector b\vec{b} in BB. In other words, the transformation can never map you from a\vec{a} in AA to multiple values b1\vec{b}_1 and b2\vec{b}_2 in BB.

3. When you apply the inverse transformation T1T^{-1} to a vector b\vec{b} in BB, you’ll be mapped back to one unique vector a\vec{a} in AA. In other words, the unique inverse transformation can never map you from b\vec{b} in BB back to multiple vectors a1\vec{a}_1 and a2\vec{a}_2 in AA.

Surjective and injective

If TT is a transformation that maps vectors in the subset AA to vectors in the subset BB, T:ABT:A\to B, and if every vector b\vec{b} in BB is being mapped to at least once by some vector(s) a\vec{a} in AA such that T(a)=bT(\vec{a})=\vec{b}, then TT is a surjective transformation, also called an onto transformation. If there’s any vector b\vec{b} in BB which, via TT, is not mapped to by any a\vec{a} in AA, then TT is not surjective; it’s not onto.

If every vector b\vec{b} in BB is being mapped to, then TT is surjective, or onto.

If TT is a transformation that maps vectors in the subset AA to vectors in the subset BB, T:ABT:A\to B, and if every vector b\vec{b} in BB is being mapped to by at most one vector a\vec{a} in AA such that T(a)=bT(\vec{a})=\vec{b}, then TT is an injective transformation, also called a one-to-one transformation. If there is any vector b\vec{b} in BB which, via TT, is mapped to by two or more a\vec{a} in AA, then TT is not injective; it’s not one-to-one.

If every a\vec{a} maps to a unique b\vec{b}, then TT is injective, or one-to-one.

In other words, if there’s a vector b\vec{b} in BB that’s not being mapped to, then the transformation isn’t surjective. But if there are multiple vectors a1\vec{a}_1 and a2\vec{a}_2 in AA being mapped to the same vector b\vec{b} in BB, then the transformation isn’t injective.

And remember before that we said a transformation was invertible if we could find an inverse transformation, and we know that a transformation will only ever have one inverse.

If we formalize that definition, we’re saying that:

A transformation is invertible if, for every b\vec{b} in BB, there’s a unique a\vec{a} in AA, such that T(a)=bT(\vec{a})=\vec{b}.

This definition is telling us that every b\vec{b} is being mapped to, which means the transformation is surjective, or onto. The definition is also telling us that there’s a unique a\vec{a} in AA that’s mapping to each b\vec{b}, which means the transformation is injective, or one-to-one.

Therefore, we can say that a transformation TT is invertible if and only if TT is both surjective and injective.

 
 

How to find the inverse of a transformation


 
 

Take the course

Want to learn more about Linear Algebra? I have a step-by-step course for that. :)

 
 

 
 

Say whether the transformation is invertible, given information about specific vectors in set A that map to specific vectors in set B

Example

Say whether the transformation TT is invertible.

transformation mapping vectors in A to vectors in B

In order for the transformation to be invertible, it must be both surjective and injective (onto and one-to-one).

If we look at the picture of the transformation, we can see that every b\vec{b} in BB is being mapped to by an a\vec{a} in AA, which means the transformation is surjective.

In other words, a transformation is invertible if it has an inverse.

But we can see that both a2\vec{a}_2 and a3\vec{a}_3 are mapping to b3\vec{b}_3, which means we have multiple a\vec{a}’s in AA mapping to the same b\vec{b} in BB, and therefore that the transformation is not injective.

The transformation is invertible if and only if it’s both surjective and injective. In this example, it’s surjective, but not injective, and therefore, it’s not invertible. The transformation does not have an inverse.

 
 

Get access to the complete Linear Algebra course