A Linear Transformation from Vector Space over Rational Numbers to itself

Ohio State University exam problems and solutions in mathematics

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 transformaiton.

(c) Let $\begin{bmatrix}
x \\
\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 \\
\end{bmatrix}\right)_B,\] and compute $\det T_B$.


(The Ohio State University, Linear Algebra Exam)

FavoriteLoadingAdd to solve later

Sponsored Links


  1. 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$.
  2. You may directly check the linearity, or note that \[T_{\alpha}(x+y\sqrt{2})=\alpha(x+y\sqrt{2}).\]


(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
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}).

For $x+y\sqrt{2}\in V$ and $c \in \Q$, we also have
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}).
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
T_{\alpha}(1)&=\alpha\cdot 1=a+b\sqrt{2}=\begin{bmatrix}
a \\
T_{\alpha}(\sqrt{2})&=\alpha\cdot \sqrt{2}=2b+a\sqrt{2}=\begin{bmatrix}
2b \\
Thus the matrix is
a & 2b\\
b& a
\end{bmatrix}.\] The determinant of this matrix is
\[ \det T_B=a^2-2b^2.\]


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.

FavoriteLoadingAdd to solve later

Sponsored Links

More from my site

You may also like...

Leave a Reply

Your email address will not be published. Required fields are marked *

More in Linear Algebra
Problems and solutions in Linear Algebra
Exponential Functions are Linearly Independent

Let $c_1, c_2,\dots, c_n$ be mutually distinct real numbers. Show that exponential functions \[e^{c_1x}, e^{c_2x}, \dots, e^{c_nx}\] are linearly independent...