A Linear Transformation from Vector Space over Rational Numbers to itself
Problem 75
Let $\Q$ denote the set of rational numbers (i.e., fractions of integers). Let $V$ denote the set of the form $x+y \sqrt{2}$ where $x,y \in \Q$. You may take for granted that the set $V$ is a vector space over the field $\Q$.
(a) Show that $B=\{1, \sqrt{2}\}$ is a basis for the vector space $V$ over $\Q$.
(b) Let $\alpha=a+b\sqrt{2} \in V$, and let $T_{\alpha}: V \to V$ be the map defined by
\[ T_{\alpha}(x+y\sqrt{2}):=(ax+2by)+(ay+bx)\sqrt{2}\in V\]
for any $x+y\sqrt{2} \in V$.
Show that $T_{\alpha}$ is a linear transformation.
(c) Let $\begin{bmatrix}
x \\
y
\end{bmatrix}_B=x+y \sqrt{2}$.
Find the matrix $T_B$ such that
\[ T_{\alpha} (x+y \sqrt{2})=\left( T_B\begin{bmatrix}
x \\
y
\end{bmatrix}\right)_B,\]
and compute $\det T_B$.
(The Ohio State University, Linear Algebra Exam)
Sponsored Links
Contents
Hint.
- For (a), to show that $B$ is linearly independent, consider a linear combination
\[c_1\cdot 1+c_2\sqrt{2}=0,\]where $c_1, c_2 \in Q$. Use the fact that $\sqrt{2}$ is a irrational number to conclude $c_1=c_2=0$. - You may directly check the linearity, or note that \[T_{\alpha}(x+y\sqrt{2})=\alpha(x+y\sqrt{2}).\]
Proof.
(a) Show that $B=\{1, \sqrt{2}\}$ is a basis for the vector space $V$ over $\Q$.
Since $V=\{x\cdot 1+y\sqrt{2}\mid x, y \in \Q \}=\Span \{x, y\}$, we see that $B=\{1, \sqrt{2}\}$ spans the vector space $V$.
To show that $B$ is a linearly independent set, consider a linear combination
\[c_1\cdot 1+c_2\sqrt{2}=0,\]
where $c_1, c_2 \in \Q$.
We want to show that $c_1=c_2=0$. Assume that this is not the case. Then both $c_1$ and $c_2$ must be nonzero.
Then we have
\[\sqrt{2}=-\frac{c_1}{c_2}.\]
(Note that $c_2 \neq 0$.)
Since $c_1, c_2 \in \Q$, the fraction $\frac{c_1}{c_2}$ is also a rational number. However $\sqrt{2}$ is irrational number.
Hence this is a contradiction and we must have $c_1=c_2=0$. Thus $B$ is a linearly independent set, and $B$ is a basis.
(b) Show that $T_{\alpha}$ is a linear transformaiton.
First note that we can simplify the given formula as
\[T_{\alpha}(x+y\sqrt{2})=(a+b\sqrt{2})(x+y\sqrt{2})=\alpha(x+y\sqrt{2}).\]
Namely, $T_{\alpha}$ is a multiplication by $\alpha$.
Let $x_1+y_1\sqrt{2}, x_2+y_2\sqrt{2}\in V$, where $x_1,y_1, x_2, y_2 \in \Q$.
Then we have
\begin{align*}
T_{\alpha}\left( (x_1+y_1\sqrt{2})+(x_2+y_2\sqrt{2}) \right) &=
\alpha\left( (x_1+y_1\sqrt{2})+(x_2+y_2\sqrt{2}) \right)\\
&=\alpha (x_1+y_1\sqrt{2})+\alpha (x_2+y_2\sqrt{2})\\
&=T_{\alpha}(x_1+y_1\sqrt{2})+T_{\alpha} (x_2+y_2\sqrt{2}).
\end{align*}
For $x+y\sqrt{2}\in V$ and $c \in \Q$, we also have
\begin{align*}
T_{\alpha}\left(c(x+y\sqrt{2})\right)&=\alpha \left(c(x+y\sqrt{2})\right)\\
&=c \alpha (x+y\sqrt{2})=c T_{\alpha}(x+y\sqrt{2}).
\end{align*}
Therefore $T_{\alpha}$ is a linear transformation.
(c) Find the matrix $T_B$ and compute $\det T_B$.
To find the matrix representation for the linear transformation $T_{\alpha}$ with respect to the basis $B$, we compute $T_{\alpha}(1)$ and $T_{\alpha}(\sqrt{2})$.
We have
\begin{align*}
T_{\alpha}(1)&=\alpha\cdot 1=a+b\sqrt{2}=\begin{bmatrix}
a \\
b
\end{bmatrix}_B\\
T_{\alpha}(\sqrt{2})&=\alpha\cdot \sqrt{2}=2b+a\sqrt{2}=\begin{bmatrix}
2b \\
a
\end{bmatrix}_B.
\end{align*}
Thus the matrix is
\[T_{B}=\begin{bmatrix}
a & 2b\\
b& a
\end{bmatrix}.\]
The determinant of this matrix is
\[ \det T_B=a^2-2b^2.\]
Comment.
In a typical first year linear algebra course, we use real numbers $\R$ or complex numbers $\C$ as a base field.
Or just state theorems using a field $K$, for a general field $K$ but most of the examples use $\R$ or $\C$.
In this sense this problem is unorthodox because the field is rational numbers $\Q$.
But the problem is quite typical in Field theory or in Number theory.
Add to solve later
Sponsored Links