Let $\mathrm{P}_2$ denote the vector space of polynomials of degree $2$ or less, and let $T : \mathrm{P}_2 \rightarrow \mathrm{P}_2$ be the derivative linear transformation, defined by
\[ T( ax^2 + bx + c ) = 2ax + b . \]

Is $T$ diagonalizable? If so, find a diagonal matrix which represents $T$. If not, explain why not.

The space $C^{\infty} (\mathbb{R})$ is the vector space of real functions which are infinitely differentiable. Let $T : C^{\infty} (\mathbb{R}) \rightarrow \mathrm{P}_3$ be the map which takes $f \in C^{\infty}(\mathbb{R})$ to its third order Taylor polynomial, specifically defined by
\[ T(f)(x) = f(0) + f'(0) x + \frac{f^{\prime\prime}(0)}{2} x^2 + \frac{f^{\prime \prime \prime}(0)}{6} x^3.\]
Here, $f’, f^{\prime\prime}$ and $f^{\prime \prime \prime}$ denote the first, second, and third derivatives of $f$, respectively.

Let $C[-1, 1]$ be the vector space over $\R$ of all continuous functions defined on the interval $[-1, 1]$. Let
\[V:=\{f(x)\in C[-1,1] \mid f(x)=a e^x+b e^{2x}+c e^{3x}, a, b, c\in \R\}\]
be a subset in $C[-1, 1]$.

(a) Prove that $V$ is a subspace of $C[-1, 1]$.

(b) Prove that the set $B=\{e^x, e^{2x}, e^{3x}\}$ is a basis of $V$.

(c) Prove that
\[B’=\{e^x-2e^{3x}, e^x+e^{2x}+2e^{3x}, 3e^{2x}+e^{3x}\}\]
is a basis for $V$.

Let $W=C^{\infty}(\R)$ be the vector space of all $C^{\infty}$ real-valued functions (smooth function, differentiable for all degrees of differentiation).
Let $V$ be the vector space of all linear transformations from $W$ to $W$.
The addition and the scalar multiplication of $V$ are given by those of linear transformations.

Let $T_1, T_2, T_3$ be the elements in $V$ defined by
\begin{align*}
T_1\left(\, f(x) \,\right)&=\frac{\mathrm{d}}{\mathrm{d}x}f(x)\\[6pt]
T_2\left(\, f(x) \,\right)&=\frac{\mathrm{d}^2}{\mathrm{d}x^2}f(x)\\[6pt]
T_3\left(\, f(x) \,\right)&=\int_{0}^x \! f(t)\,\mathrm{d}t.
\end{align*}
Then determine whether the set $\{T_1, T_2, T_3\}$ are linearly independent or linearly dependent.

Let $P_n$ be the vector space of all polynomials with real coefficients of degree $n$ or less.
Consider the differentiation linear transformation $T: P_n\to P_n$ defined by
\[T\left(\, f(x) \,\right)=\frac{d}{dx}f(x).\]

(a) Consider the case $n=2$. Let $B=\{1, x, x^2\}$ be a basis of $P_2$. Find the matrix representation $A$ of the linear transformation $T$ with respect to the basis $B$.

(b) Compute $A^3$, where $A$ is the matrix obtained in part (a).

(c) If you computed $A^3$ in part (b) directly, then is there any theoretical explanation of your result?

(d) Now we consider the general case. Let $B$ be any basis of the vector space of $P_n$ and let $A$ be the matrix representation of the linear transformation $T$ with respect to the basis $B$.
Prove that without any calculation that the matrix $A$ is nilpotent.

Let $\calF[0, 2\pi]$ be the vector space of all real valued functions defined on the interval $[0, 2\pi]$.
Define the map $f:\R^2 \to \calF[0, 2\pi]$ by
\[\left(\, f\left(\, \begin{bmatrix}
\alpha \\
\beta
\end{bmatrix} \,\right) \,\right)(x):=\alpha \cos x + \beta \sin x.\]
We put
\[V:=\im f=\{\alpha \cos x + \beta \sin x \in \calF[0, 2\pi] \mid \alpha, \beta \in \R\}.\]

(a) Prove that the map $f$ is a linear transformation.

(b) Prove that the set $\{\cos x, \sin x\}$ is a basis of the vector space $V$.

(c) Prove that the kernel is trivial, that is, $\ker f=\{\mathbf{0}\}$.
(This yields an isomorphism of $\R^2$ and $V$.)

(d) Define a map $g:V \to V$ by
\[g(\alpha \cos x + \beta \sin x):=\frac{d}{dx}(\alpha \cos x+ \beta \sin x)=\beta \cos x -\alpha \sin x.\]
Prove that the map $g$ is a linear transformation.

(e) Find the matrix representation of the linear transformation $g$ with respect to the basis $\{\cos x, \sin x\}$.

Let $P_3$ be the vector space of polynomials of degree $3$ or less with real coefficients.

(a) Prove that the differentiation is a linear transformation. That is, prove that the map $T:P_3 \to P_3$ defined by
\[T\left(\, f(x) \,\right)=\frac{d}{dx} f(x)\]
for any $f(x)\in P_3$ is a linear transformation.

(b) Let $B=\{1, x, x^2, x^3\}$ be a basis of $P_3$. With respect to the basis $B$, find the matrix representation of the linear transformation $T$ in part (a).

Each of the following sets are not a subspace of the specified vector space. For each set, give a reason why it is not a subspace. (1) \[S_1=\left \{\, \begin{bmatrix}
x_1 \\
x_2 \\
x_3
\end{bmatrix} \in \R^3 \quad \middle | \quad x_1\geq 0 \,\right \}\]
in the vector space $\R^3$.

(2) \[S_2=\left \{\, \begin{bmatrix}
x_1 \\
x_2 \\
x_3
\end{bmatrix} \in \R^3 \quad \middle | \quad x_1-4x_2+5x_3=2 \,\right \}\]
in the vector space $\R^3$.

(3) \[S_3=\left \{\, \begin{bmatrix}
x \\
y
\end{bmatrix}\in \R^2 \quad \middle | \quad y=x^2 \quad \,\right \}\]
in the vector space $\R^2$.

(4) Let $P_4$ be the vector space of all polynomials of degree $4$ or less with real coefficients.
\[S_4=\{ f(x)\in P_4 \mid f(1) \text{ is an integer}\}\]
in the vector space $P_4$.

(5) \[S_5=\{ f(x)\in P_4 \mid f(1) \text{ is a rational number}\}\]
in the vector space $P_4$.

(6) Let $M_{2 \times 2}$ be the vector space of all $2\times 2$ real matrices.
\[S_6=\{ A\in M_{2\times 2} \mid \det(A) \neq 0\} \]
in the vector space $M_{2\times 2}$.

(7) \[S_7=\{ A\in M_{2\times 2} \mid \det(A)=0\} \]
in the vector space $M_{2\times 2}$.

(Linear Algebra Exam Problem, the Ohio State University)

(8) Let $C[-1, 1]$ be the vector space of all real continuous functions defined on the interval $[a, b]$.
\[S_8=\{ f(x)\in C[-2,2] \mid f(-1)f(1)=0\} \]
in the vector space $C[-2, 2]$.

(9) \[S_9=\{ f(x) \in C[-1, 1] \mid f(x)\geq 0 \text{ for all } -1\leq x \leq 1\}\]
in the vector space $C[-1, 1]$.

(10) Let $C^2[a, b]$ be the vector space of all real-valued functions $f(x)$ defined on $[a, b]$, where $f(x), f'(x)$, and $f^{\prime\prime}(x)$ are continuous on $[a, b]$. Here $f'(x), f^{\prime\prime}(x)$ are the first and second derivative of $f(x)$.
\[S_{10}=\{ f(x) \in C^2[-1, 1] \mid f^{\prime\prime}(x)+f(x)=\sin(x) \text{ for all } -1\leq x \leq 1\}\]
in the vector space $C[-1, 1]$.

(11) Let $S_{11}$ be the set of real polynomials of degree exactly $k$, where $k \geq 1$ is an integer, in the vector space $P_k$.

(12) Let $V$ be a vector space and $W \subset V$ a vector subspace. Define the subset $S_{12}$ to be the complement of $W$,
\[ V \setminus W = \{ \mathbf{v} \in V \mid \mathbf{v} \not\in W \}.\]

Let $P_3$ be the vector space over $\R$ of all degree three or less polynomial with real number coefficient.
Let $W$ be the following subset of $P_3$.
\[W=\{p(x) \in P_3 \mid p'(-1)=0 \text{ and } p^{\prime\prime}(1)=0\}.\]
Here $p'(x)$ is the first derivative of $p(x)$ and $p^{\prime\prime}(x)$ is the second derivative of $p(x)$.

Show that $W$ is a subspace of $P_3$ and find a basis for $W$.

Let $P_2(\R)$ be the vector space over $\R$ consisting of all polynomials with real coefficients of degree $2$ or less.
Let $B=\{1,x,x^2\}$ be a basis of the vector space $P_2(\R)$.
For each linear transformation $T:P_2(\R) \to P_2(\R)$ defined below, find the matrix representation of $T$ with respect to the basis $B$. For $f(x)\in P_2(\R)$, define $T$ as follows.