Question
Consider the linear operator $P$ defined on $M_{n}(\mathbb{R})$ by
$P(A)$ = $\frac{1}{2}(A+A^{T})$
Show that $P$ is a projection, and describe its image and kernel.
I have shown that $P$ is a projection, but I'm a bit unsure about what is meant by "describe its image and kernel". The image and kernel of P are given by the sets:
$Im(P)$ = {$P(A)$ $∣$ A $\in$ $M_{n}(\mathbb{R})$}
$Ker(P)$ = {$A$ $\in$ $M_{n}(\mathbb{R})$ $∣$ $P(A)$ = $0$}
Is there some sort of relationship between these sets that I'm supposed to describe?
Thanks in advance.
Projection:$P^2(A) = P(P(A)) = P(\frac{1}{2}(A + A^T)) = \frac{1}{2}(\frac{1}{2}(A + A^T) + \frac{1}{2}(A + A^T)^T) = \frac{1}{4}(A + A^T + A^T + A) = \frac{1}{2}(A + A^T) = P(A)$
Kernel: $P(A) = 0 \implies \frac{1}{2}(A + A^T) = 0 \implies A = -A^T$ i.e. anti-symmetric matrices
Kernel($P$) = {$A\in M_n(\mathbb{R}) : A=-A^T$}
Image: $\frac{1}{2}(A + A^T)$ is a symmetric matrix (since $(\frac{1}{2}(A + A^T))^T = \frac{1}{2}(A^T + A)$)
Image($P$) = {$A\in M_n(\mathbb{R}) : A=A^T$}