3
$\begingroup$

Let $P$ be a linear operator on a Hilbert space $H$. If $\operatorname{range} P=(\ker P)^\perp$, is $P$ necessarily a projection, i.e., $P^2=P$?

  • 0
    I think my answer may give _all_ counterexamples. Did I miss any?2012-09-25

6 Answers 6

1

No, for example, this is true for every continous self-adjoint opeator. In fact, you have a more general formula when the operator T isnt self adjoint. $\operatorname{ran} T^\top=(\ker T)^{\bot}$ You can see on the fomurla what happens if T is self adjoint.

1

This property is invariant under scaling, whereas being a projection isn't. For any non-zero projection $P$ with this property (e.g. the identity), $2P$ also has this property but $(2P)^2=4P^2=4P\ne2P$.

1

It neither holds the other way around, for orthogonality, self-adjointness ($P^*=P$) is also needed.

1

Neither of the conditions of being a projection ($P^2=P$) and having $\operatorname{range} P=(\ker P)^\perp$ imply the other. The former condition implies $H=\operatorname{range} P\oplus\ker P$ but not $\operatorname{range} P\perp\ker P$. For the other direction (which the question is about) note that you can compose an othogonal projection (which satisfies both conditions) on the left with any automorphism of $\operatorname{range} P$, which will not perturb the condition $\operatorname{range} P=(\ker P)^\perp$, but will in general destroy the condition $P^2=P$.

0

This is the Rank–nullity theorem.

  • 0
    Neither rank nor nullity of a linear operator of a Hilbert space is defined in general.2012-09-25
0

Consider $ \begin{bmatrix} a & b & 0 \\ c & d & 0 \\ 0 & 0 & 0 \end{bmatrix},\qquad ad-bc\ne0. $ The range is two-dimensional. The kernel is orthogonal to the range. The upper left $2\times2$ matrix need not be the identity; it could be anything.

Similarly in Hilbert spaces of higher dimensions. Decompose the Hilbert space as an internal direct sum of two subspaces orthogonal to each other: $H= V+W$. Let $T:V\to V$ be any operator you want whose kernel in $V$ is trivial. For $v\in V,w\in W$, consider $v+w\mapsto Tv$. So there are plenty of counterexamples to the proposed proposition.