Chapter 4 Geometric Transformations
Chapter 4 Geometric Transformations
INTRODUCTION
The concept of transformation provides a different way of studying some
geometries. In the early geometry, students use flips, turns and slides to study geometric
relations informally. High school geometry includes rotations and translations. Recent
geometries include the idea of inversion and projection. In precalculus, transformations
is evident in the study of graphing equations. Graphs of functions maybe found as
transformation of more basic graphs. As shown in Figure 1, if y = f(x), then y = f(x + 1)
can be graph by shifting the graph of y = (fx) one unit to the left.
Figure 1.
All these ideas are related to a very concept in geometry: geometric
transformation. To gain more knowledge about geometric transformations, introduction
to transformation and groups of transformation are the foci of this module.
LEARNING OUTCOMES
After completing this module, you should be able to:
a1 b1 a1 b1 b2
a2 a3 b2 a2 b3
A B A B
Figure 2. Figure 3.
a1 b1 b2
a2 a3 b3
A B
Figure 4.
Figure 2 illustrates a mapping 𝑓: 𝐴 → 𝐵 whose ordered pairs are
{(𝑎1 , 𝑏1 ), (𝑎2 , 𝑏2 ), (𝑎3 , 𝑏2 )}. It could be observed that the range {𝑏1 , 𝑏2 } is equal to the
codomain of 𝑓. This means that this is onto mapping. Given that there are two preimages
of 𝑏2 : 𝑎2 and 𝑎3 , then this is not a transformation.
On the other hand, Figure 3 is a one-to-one mapping whose ordered pairs are
{(𝑎1 , 𝑏1 ), (𝑎2 , 𝑏3 )}. However, there exist an element 𝑏 of 𝐵 that is not paired with any
element 𝑎 of 𝐴. Hence, this is not a transformation.
Lastly, it could be observed from the mapping 𝑓: 𝐴 → 𝐵 in Figure 4 who ordered
pairs are {(𝑎1 , 𝑏3 ), (𝑎2 , 𝑏1 ), (𝑎3 , 𝑏2 )} that the range of 𝑓 = 𝐵 and each element of 𝐵 is the
image of exactly one element of 𝐴. Since it is onto and one-to-one mapping, then it is a
transformation.
Example 1: 𝑓: ℝ → ℝ given by 𝑓(𝑥 ) = 3𝑥 − 2
Solution: Show that the mapping is a one-to-one and onto mapping.
To show that it is one-to-one, let us determine if 𝑓(𝑎) = 𝑓 (𝑏).
3𝑎 − 2 = 3𝑏 − 2 Definition of 𝑓
3𝑎 = 3𝑏 Add 2
𝑎=𝑏 Divide by 3
Composition of Transformations
Example 4: Let 𝑓 = {(1, 2), (2, 3), (1, 3)} and 𝑔 = {(2, 1), (3, 3), (3, 1)} be transformations
of points on a line.
a. Find the composition of 𝑔𝑓.
b. Find the composition of 𝑓𝑔.
Solution:
a. The product 𝑔𝑓 is defined in such a way that the transformation on the right is
performed first.
ℎ = 𝑔𝑓
ℎ = {(2, 1), (3, 3), (3, 1)}{(1, 2), (2, 3), (1, 3)}
ℎ = {(1, 1), (2, 3), (2, 1)(1, 3)}
This means that 𝑔𝑓 = {(1, 1), (2, 3), (2, 1)(1, 3)}.
b. To find the product of 𝑓𝑔, start with transformation on g.
ℎ = 𝑓𝑔
ℎ = {(1, 2), (2, 3), (1, 3)}{(2, 1), (3, 3), (3, 1)}
ℎ = {(2, 2), (2, 3), (3, 2), (3, 3)}
As such, 𝑓𝑔 = {(2, 2), (2, 3), (3, 2), (3, 3)}
WEB Link
To learn more about transformation through the WEB, you may watch a video on
the following link: https://youtu.be/XiAoUDfrar0.
1 2
Figure 2. Symmetries of Equilateral Triangle
Solution: The symmetries of the triangle designates the reflections about the axes of
symmetry or rotation such that the new figure coincides with the old. The result of each
symmetry can be represented by renaming the three vertices.
There are six different ways to transform an equilateral triangle into itself
without distorting it.
1. 𝐼: 𝑅 2 → 𝑅2
3 3
I
1 2 1 2
Figure 6. The identity transformation
This is the identity transformation in which all the vertices remains fixed. It has a
1 2 3
permutation group symbol I = ( ).
1 2 3
2. 𝑅1 : 𝑅2 → 𝑅2
3 2
𝑅1
1 2 1 3
3 1
𝑅2
1 2 3 2
4. 𝑅3 : 𝑅2 → 𝑅2
3 3
𝑅3
1 2 2 1
3 2
R(120)
1 2 3 1
3 1
R(240)
1 2 2 3
I I 𝑅1 𝑅2 𝑅3 R(120) R(240)
Second
𝑅1 𝑅1 I R(120)
𝑅2 𝑅2
𝑅3 𝑅3
R(120) R(120)
R(240) R(240)
As such, the table below presents the complete multiplication table for the
transformations.
Table 1. Multiplication Table for the Elements
First Transformation Performed
I 𝑅3 R(120) R(240)
Transformation
𝑅1 𝑅2
Performed
I I 𝑅1 𝑅2 𝑅3 R(120) R(240)
Second
𝑅1 𝑅1 I R(120) R(240) 𝑅2 𝑅3
𝑅2 𝑅2 R(240) I R(120) 𝑅3 𝑅1
𝑅3 𝑅3 R(120) R(240) I 𝑅1 𝑅2
R(120) R(120) 𝑅3 𝑅1 𝑅2 R(240) I
R(240) R(240) 𝑅2 𝑅3 𝑅1 I R(120)
Example 9: Verify that the set of symmetries of an equilateral triangle constitutes a group.
Solution: To show that the set of symmetries is a group of transformations, let us consider
the symmetries of equilateral triangle as shown in the table below. The symmetries of
the triangle designates the reflections about the axes of symmetry or rotation such that
the new figure coincides with the old. The result of each symmetry can be represented
by renaming the three vertices.
Axiom 1
I I 𝑅1 𝑅2 𝑅3 R(120) R(240)
Second
𝑅1 𝑅1 I R(120) R(240) 𝑅2 𝑅3
𝑅2 𝑅2 R(240) I R(120) 𝑅3 𝑅1
𝑅3 𝑅3 R(120) R(240) I 𝑅1 𝑅2
R(120) R(120) 𝑅3 𝑅1 𝑅2 R(240) I
R(240) R(240) 𝑅2 𝑅3 𝑅1 I R(120)
𝑓 𝑓 −1
I I
𝑅1 𝑅2
𝑅2 𝑅2
𝑅3 𝑅3
R(120) R(240)
R(240) R(120)
Given that the inverses of each transformation is also an element of the set of
transformations in the symmetries of an equilateral triangle, then the first property is
satisfied.
Axiom 2
Since all products of transformations are elements of the set of symmetries of an
equilateral triangle, then it is closed.
Axiom 3
Let us consider 𝑓 = 𝑅1 , 𝑔 = 𝑅2 , and ℎ = R(120). This could be verified using Table
2.
𝑅1 (𝑅2 R(120)) = (𝑅1 𝑅2 )R(120)
𝑅1 𝑅3 = R(120)R(120)
R(240) = R(240)
Axiom 4
Since I is present in each row and column, then there exists is an identity element I =
1 2 3
( ).
1 2 3
Since 𝑓 ∈ 𝑆 implies that 𝑓 −1 ∈ 𝑆, 𝑓 ∈ 𝑆 and 𝑔 ∈ 𝑆 implies 𝑓𝑔 ∈ 𝑆, f ( gh) ( fg)h ,
and 𝐼 ∈ 𝑆, then set of symmetries of the equilateral triangle is a group of transformations.
Definition: An Abelian Group is a group wherein commutative property does hold for
all pairs of elements in a group.
This means that in verifying an Abelian Group, determine first if it satisfies the
properties of a group of transformations. In general, commutative property 𝑓𝑔 = 𝑔𝑓 does
not hold for transformations.
I I 𝑅1 𝑅2 𝑅3 R(120) R(240)
econd
𝑅1 𝑅1 I R(120) R(240) 𝑅2 𝑅3
𝑅2 𝑅2 R(240) I R(120) 𝑅3 𝑅1
𝑅3 𝑅3 R(120) R(240) I 𝑅1 𝑅2
R(120) R(120) 𝑅3 𝑅1 𝑅2 R(240) I
R(240) R(240) 𝑅2 𝑅3 𝑅1 I R(120)
As such, the set of symmetries of the equilateral triangle is not an Abelian group.
WEB Link
To learn more about transformation through the WEB, you may watch a video on
the following link: https://youtu.be/nvrH8XgXYXw.