IceT Thaewanarumitkul
Transformation is another synonym for “function” but its terminology implies the heavy focus on “movement” of geometric components such as lines, curves, and regions. Today, we will explore the properties of linear transformation which is one of the central topics in linear algebra.
Linear transformations
A linear transformation, in the world of matrices, is a transformation satisfying two conditions.
- The transformation preserve the properties of lines and curves.
- The origin is fixed.
These two conditions seems complicated to imagine geometrically and we will talk about them numerically instead.
Consider the equation when is a vector in , is an matrix, and is the output vector in represents a linear transformation from to . We also can write the conditions of a linear transformation in terms of function.
Let be a linear transformation from to . Here, is called the domain of and is called the codomain of . The range of , denoted by or is the set of all possible outputs, which is a subset of , defined by
=
Since is a linear transformation, the two conditions of linear transformation still hold and can be described as
- = for all and all .
- (The origin).
Looking back to the equation , we realize that is a linear combination of the columns of ; therefore, is the same as the column space of .
Surjectivity of linear transformations
A linear transformation is said to be surjective if . Descriptively, it means all vectors in can be transformed from via .
Example. Let be given by = .
We see that every vector in is of the form , so is . Thus, is not surjective because is not the same as .
Injectivity of linear transformations
A linear transformation is considered injective if for all distinct , we have . Basically, this means the different inputs give the different outputs.
Example. Let be given by = . We can prove that is injective.
Proof. Let and . Suppose that . Then . Thus, and . It follows that . Then . Since , we also have . Therefore, . Hence, is injective.
Bijectivity of linear transformations
A linear transformation is bijective if is both injective and surjective.
Example. Let be given by = . We can prove that is bijective.
Proof. Let = be arbitrary. There exists such that
.
Thus, any vector can be transformed from a vector . Thus, T is surjective. Since we already proved that this linear transformation is injective, then is bijective.
Bijectivity of composite linear transformations
In a composite transformation, we have linear transformation and defined by = and = respectively when and are matrices of linear transformation.
We see that is a linear transformation from to defined by = . If is bijective, from the lemma we proved in Homework 4, will be surjective, and will be injective. However, the converse of the statement is not necessarily true. If is surjective and is injective, may not be bijective.
Example. Let be a linear transformation defined by . Let be a linear transformation given by . We can show that and are injective and surjective, respectively; however, is not bijective.
Let such that . Because is a linear transformation, . We see that the columns of are linearly independent. Then . Thus, . Therefore, is injective.
Let be arbitrary. Then there exists such that . Thus, is surjective.
Now consider . We see that every vector in is of the form , so is . Thus, is not surjective because is not the same as .
Citation
- Taboga, Marco (2021). “Surjective, injective and bijective linear maps”, Lectures on matrix algebra. https://www.statlect.com/matrix-algebra/surjective-injective-bijective-linear-maps.
- Cheung, Kevin (2017). “Linear Transformations”, Carleton University.
Hey IceT! Thanks for the really insightful post on how linear transformations relate in the domain of linear algebra! I was really able to understand how matrices and vectors work alongside linear transformations after reading your post. While this is one of the topics that I am not the best at, your clear explanations were easy to follow and was very interesting. A followup question I have regarding your post would be to ask if there’s any real world applications for this concept – physically or intangibly?