Hw4 Problem 4

Return to Homework 4, Homework Problems, Glossary, Theorems

Problem 4

For a fixed point $(a,b) \in \mathbb{R^{2}}$, define $T_{a,b} : \mathbb{R^{2}} \rightarrow \mathbb{R^{2}}$ by $T_{a,b}(x,y) = (a + x, b + y)$. Show that $G = \{ T_{a,b} | a,b \in \mathbb{R} \}$ is a group under function composition $\circ$.


Solution

$\mathscr{G_{1}}$: Let $a,b,c,d,e,f \in \mathbb{R}$. Now,

(1)
\begin{align} ((T_{a,b} \circ T_{c,d} ) \circ T_{e,f}) (x,y) = (T_{a,b}\circ T_{c,d})(x+e, y+f) \end{align}
(2)
\begin{equation} = T_{a,b}((T_{c,d}(x+e, y+f)) \end{equation}
(3)
\begin{equation} = T_{a,b}(x+e+c, y+f+d) \end{equation}
(4)
\begin{equation} = (x+e+c+a, y+f+d+b) \end{equation}

Similarly,

(5)
\begin{align} T_{a,b}\circ(T_{c,d}\circ T_{e,f})(x,y) = T_{a,b}(T_{c,d}(T_{e,f}(x,y))) \end{align}
(6)
\begin{equation} = (x+e+c+a, y+f+d+b) \end{equation}

Hence, $T_{a,b}\circ (T_{c,d}\circ T_{e,f}) = (T_{a,b}\circ T_{c,d})\circ T_{e,f}$ and the operation is associative.

$\mathscr{G_{2}}$: Let $a,b \in \mathbb{R}$, and clearly $0 \in \mathbb{R}$. Now,

(7)
\begin{align} (T_{a,b}\circ T_{0,0})(x,y) = T_{a,b}(x+0, y+0) \end{align}
(8)
\begin{equation} = (a + x, b + y) \end{equation}
(9)
\begin{equation} = T_{a,b}(x,y) \end{equation}
(10)
\begin{align} = (T_{0,0} \circ T_{a,b})(x,y) \end{align}

Hence $e = T_{0,0}$, and there is an identity.

$\mathscr{G_{3}}$: Let $a,b, -a, -b \in \mathbb{R}$. Now,

(11)
\begin{align} (T_{a,b} \circ T_{-a,-b})(x,y) = T_{a,b}(x-a, y-b) \end{align}
(12)
\begin{equation} = (x-a+a, y-b+b) \end{equation}
(13)
\begin{equation} = (x,y) \end{equation}
(14)
\begin{align} = (T_{-a, -b} \circ T_{a,b})(x,y) \end{align}
(15)
\begin{equation} = T_{0,0}(x,y) \end{equation}

Hence, for any element $T_{a,b}\in G$, $G$ contains an inverse $T_{-a,-b}$

Therefore, $G = \{ T_{a,b} | a,b \in \mathbb{R} \}$ is a group under function composition $\circ$.

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License