Math 2.0

Functional analysis Object

Calkin algebra

Builds on Hilbert spaceAlgebra of bounded operators on a Hilbert spaceIdeal of compact operatorsCompact operatorQuotient of a normed space

Description

Let HH be an infinite-dimensional separable complex Hilbert space. Let B(H)B(H) be the algebra of bounded operators on HH, and let K(H)K(H) be the ideal of compact operators in it. The Calkin algebra of HH is the quotient Q(H)=B(H)/K(H)Q(H) = B(H) / K(H). It carries the quotient norm and the induced product. Its involution is π(T)∗=π(T∗)\pi(T)^* = \pi(T^*), where π ⁣:B(H)→Q(H)\pi \colon B(H) \to Q(H) is the quotient map.

Remarks

Since K(H)K(H) is a closed two-sided ideal of B(H)B(H) that is closed under adjoints, Q(H)Q(H) is a unital C*-algebra. Calkin showed that for separable HH, K(H)K(H) is the only closed two-sided ideal of B(H)B(H) other than {0}\set{0} and B(H)B(H), so Q(H)Q(H) is a simple C*-algebra. An operator T∈B(H)T \in B(H) is Fredholm exactly when π(T)\pi(T) is invertible in Q(H)Q(H). The spectrum of π(T)\pi(T) in Q(H)Q(H) is the essential spectrum of TT. The algebra Q(H)Q(H) is infinite-dimensional and not separable as a normed space. The construction makes sense for any Hilbert space, but for non-separable HH the ideal K(H)K(H) is no longer the only nontrivial closed ideal.

Reading path

To understand this page from the ground up, read these 8 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Compact operator concept
  2. Hilbert space concept
  3. Hilbert space adjoint concept
  4. Ideal of compact operators concept
  5. Operator norm concept
  6. Quotient of a normed space concept
  7. Algebra of bounded operators on a Hilbert space object
  8. Calkin algebra object

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Calkin_algebra
About this page
Tag6FE7JZ2VF1
URIm2://6FE7JZ2VF1
Kindobject
WritingW0 stub
MSC46L05, 47L30, 47A53
UsesHilbert space, Algebra of bounded operators on a Hilbert space, Ideal of compact operators, Compact operator, Quotient of a normed space
Same as
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by