Linear Algebra

Idempotent Linear Transformation and Direct Sum of Image and Kernel

by Yu · Published 03/07/2017 · Updated 07/17/2017

Problem 327

Let $A$ be the matrix for a linear transformation $T:\R^n \to \R^n$ with respect to the standard basis of $\R^n$.
We assume that $A$ is idempotent, that is, $A^2=A$.
Then prove that
\[\R^n=\im(T) \oplus \ker(T).\]

Add to solve later

Proof.

To prove the equality $\R^n=\im(T) \oplus \ker(T)$, we need to prove
(a) $\R^n=\im(T) + \ker(T)$, and
(b) $\im(T) \cap \ker(T)=\{0\}$.

By definition, the image $\im(T)$ and $\ker(T)$ are subspaces of $\R^n$, hence $\im(T) + \ker(T) \subset \R^n$.
To prove the reverse inclusion, for any $x\in \R^n$, we write
\begin{align*}
x=Ax+(x-Ax).
\end{align*}
Then the first term is in $\im(T)$ since
\[Ax=T(x)\in \im(T).\] The second term $x-Ax$ is in $\ker(T)$ since
\begin{align*}
T(x-Ax)&=A(x-Ax)\\
&=Ax-A^2x\\
&=Ax-Ax && (\text{since $A$ is idempotent})\\
&=0.
\end{align*}

Thus we have
\[x=\underbrace{Ax}_{\in \im(T)}+\underbrace{(x-Ax)}_{\in \ker(T)}\in \im(T) + \ker(T) .\] Since $x$ is arbitrary element in $\R^n$, we have
\[\R^n\subset \im(T) + \ker(T),\] and putting the two inclusions together yields
\[\R^n= \im(T) + \ker(T),\] and we proved (a).

To prove (b), let $x\in \im(T) \cap \ker(T)$. Thus $x\in \im(T)$ and $x\in \ker(T)$.
Since $x\in \im(T)$, there exists $x’\in \R^n$ such that $T(x’)=x$, or equivalently, $Ax’=x$.

Then, we have
\begin{align*}
&0=T(x)=Ax\\
&=A(Ax’)=A^2x’\\
&=Ax’ && (\text{since $A$ is idempotent})\\
&=x.
\end{align*}

Hence we have proved an arbitrary element $x$ in the intersection is $x=0$, and thus we have
\[\im(T) \cap \ker(T)=\{0\}.\] So (b) is proved.

The facts (a), (b) implies that we have
\[\R^n=\im(T) \oplus \ker(T),\] as required.

Add to solve later

More from my site

Idempotent Matrices are Diagonalizable Let $A$ be an $n\times n$ idempotent matrix, that is, $A^2=A$. Then prove that $A$ is diagonalizable. We give three proofs of this problem. The first one proves that $\R^n$ is a direct sum of eigenspaces of $A$, hence $A$ is diagonalizable. The second proof proves […]
Subspace Spanned By Cosine and Sine Functions 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 […]
$Range, Null Space, Rank, and Nullity of a Linear Transformation from $\R^2$ to $\R^3$$ Range, Null Space, Rank, and Nullity of a Linear Transformation from $\R^2$ to $\R^3$ Define the map $T:\R^2 \to \R^3$ by $T \left ( \begin{bmatrix} x_1 \\ x_2 \end{bmatrix}\right )=\begin{bmatrix} x_1-x_2 \\ x_1+x_2 \\ x_2 \end{bmatrix}$. (a) Show that $T$ is a linear transformation. (b) Find a matrix $A$ such that […]
Matrix Representation of a Linear Transformation of Subspace of Sequences Satisfying Recurrence Relation Let $V$ be a real vector space of all real sequences \[(a_i)_{i=1}^{\infty}=(a_1, a_2, \dots).\] Let $U$ be the subspace of $V$ consisting of all real sequences that satisfy the linear recurrence relation $a_{k+2}-5a_{k+1}+3a_{k}=0$ for $k=1, 2, \dots$. (a) […]
Find a Linear Transformation Whose Image (Range) is a Given Subspace Let $V$ be the subspace of $\R^4$ defined by the equation \[x_1-x_2+2x_3+6x_4=0.\] Find a linear transformation $T$ from $\R^3$ to $\R^4$ such that the null space $\calN(T)=\{\mathbf{0}\}$ and the range $\calR(T)=V$. Describe $T$ by its matrix […]
Projection to the subspace spanned by a vector Let $T: \R^3 \to \R^3$ be the linear transformation given by orthogonal projection to the line spanned by $\begin{bmatrix} 1 \\ 2 \\ 2 \end{bmatrix}$. (a) Find a formula for $T(\mathbf{x})$ for $\mathbf{x}\in \R^3$. (b) Find a basis for the image subspace of $T$. (c) Find […]
Linear Transformation to 1-Dimensional Vector Space and Its Kernel Let $n$ be a positive integer. Let $T:\R^n \to \R$ be a non-zero linear transformation. Prove the followings. (a) The nullity of $T$ is $n-1$. That is, the dimension of the nullspace of $T$ is $n-1$. (b) Let $B=\{\mathbf{v}_1, \cdots, \mathbf{v}_{n-1}\}$ be a basis of the […]
Restriction of a Linear Transformation on the x-z Plane is a Linear Transformation Let $T:\R^3 \to \R^3$ be a linear transformation and suppose that its matrix representation with respect to the standard basis is given by the matrix \[A=\begin{bmatrix} 1 & 0 & 2 \\ 0 &3 &0 \\ 4 & 0 & 5 \end{bmatrix}.\] (a) Prove that the linear transformation […]