Idempotent Linear Transformation and Direct Sum of Image and Kernel

Linear Algebra Problems and Solutions

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).\]

LoadingAdd to solve later

Sponsored Links


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
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
&=Ax-Ax && (\text{since $A$ is idempotent})\\

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
&=Ax’ && (\text{since $A$ is idempotent})\\

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.

LoadingAdd 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 *

This site uses Akismet to reduce spam. Learn how your comment data is processed.

More in Linear Algebra
Linear Transformation problems and solutions
Determine linear transformation using matrix representation

Let $T$ be the linear transformation from the $3$-dimensional vector space $\R^3$ to $\R^3$ itself satisfying the following relations. \begin{align*}...