Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I want to show that the set of all compact operators $K(H)$ is the unique ideal in $B(H)$. Is there any relation between invertibility and compactness of an operator?

share|cite|improve this question
1. Assuming $H$ is separable, it's the unique proper closed ideal. (the operators of finite rank are also an ideal, as well as the Schatten $p$-ideals, for instance) 2. An invertible operator is compact if and only if $H$ is finite-dimensional. – t.b. Jun 25 '11 at 6:28
Since this is a standard result explained in textbooks on operator algebras, is it homework? What have you tried, where are you stuck, what hints did you get, what auxilliary results are you allowed to use? – Tim van Beek Jun 25 '11 at 9:14

If you are interested in closed ideals, then

  • for separable $H$ the only ideal is $K(H)$

  • for non-separable $H$ complete characterization may be read here

If you are inrested in all ideals, then they are between $F(H)$ and $K(H)$ and consisist of operators whose singular values belong to some order ideal in $c_0^+$.

For details see section I.8.7 here.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.