0
$\begingroup$

Suppose $A$ and $B$ are operators on a (separable) Hilbert space $H$ and $A \leq B$. Is it true that if $B$ is compact then $A$ is compact too? If not, could you please show a counterexample?

$\endgroup$
2
  • $\begingroup$ have a look at the FAQ "how to ask" $\endgroup$ Commented Mar 6, 2014 at 18:52
  • 2
    $\begingroup$ Did you mean to also add the assumption that $0\leq A$? $\endgroup$
    – Yemon Choi
    Commented Mar 6, 2014 at 19:41

2 Answers 2

2
$\begingroup$

What you need to assume is that $|A|\leqslant B$.

Assume first that for all $x$ one has $\Vert A x \Vert \leqslant \Vert B x \Vert$ and $B$ is compact. Then choose any net $P_i$ of finite rank projections which converge weakly to the identity, one has $\Vert A x - A P_i x\Vert \leqslant \Vert B x - B P_i x\Vert$ which converge to $0$ uniformly in $x$ because $B$ is compact. hence $ AP_i $ converge in norm to $A$ which proves that $A$ is compact.

Now if you have just $|A|\leqslant B$ with $B$ compact then you have $0 \leqslant (x , |A|x) \leqslant (x,Bx)$ which imply that $0 \leqslant \Vert A' x \Vert \leqslant \Vert B' x \Vert$ where $A'$ and $B'$ denote respectively $|A|^{1/2}$ and $B^{1/2}$. $B'$ is also compact, hence by the previous argument $A'$ is compact and hence $|A|$ is compact. Finally, for all $x$, one has $\Vert A x \Vert = \Vert |A|x \Vert$ the previous argument allow to deduce the compactity of $A$ from the compacity of $|A|$.

$\endgroup$
0
$\begingroup$

No, counterexample (where H infinite dimensional) : B = 0, A = - I, where I identity operator.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged .