0
$\begingroup$

Is the set $Q$ of all operators that have the property that the image is orthogonal to the kernel, and the kernel isn't the null space, only a subset of the set $T$ of the selfadjoint operators or equal to it ? (would this hold in an infinite dimensional space (modulo some closures of the image or kernel) as well ?)

I know that $Q\subseteq T$, but does equality also hold ?

  • 0
    Identity is self-adjoint but has null kernel, so it is in $T$ but not $Q$.2012-08-18

1 Answers 1

1

Take any non-symmetric invertible real matrix. Its image is the whole space, its kernel is zero and these are orthogonal. Yet the operator is not self-adjoint for the standard inner product.

[Added] Your edit does not make much difference, just othogonally project onto a proper finite-dimensional subspace and then apply a non-self-adjoint invertible operator of that subspace to itself; now the kernel is nonzero and orthogonal to the image (the space projected onto) but the operator is not self-adjoint. In spite of your "knowing" it, the claim $Q\subseteq T$ is just false.

  • 0
    Sorry, I meant o$p$erators whose ker$n$el is$n$'t just the nulls$p$ace. I edited my question to hopefully make it more reada$b$le.2012-08-18