Math 2.0

Operator theory Definition

Discrete spectrum

Builds on Spectrum of an operatorRiesz projectorEssential spectrumCompact operator

Definition

Let XX be a complex Banach space, and let T ⁣:X→XT \colon X \to X be a bounded operator with spectrum σ(T)\sigma(T). A point λ∈σ(T)\lambda \in \sigma(T) is a normal eigenvalue of TT if:

  1. λ\lambda is an isolated point of σ(T)\sigma(T), and
  2. the Riesz projector P{λ}P_{\set{\lambda}} of TT for {λ}\set{\lambda} has finite rank.

The discrete spectrum σdisc(T)\sigma_{disc}(T) is the set of normal eigenvalues of TT.

Remarks

A normal eigenvalue is an eigenvalue, and its algebraic multiplicity, the rank of P{λ}P_{\set{\lambda}}, is finite.

Example: if TT is a compact operator, then every nonzero point of σ(T)\sigma(T) is a normal eigenvalue. For D(xn)=(xn/n)D(x_n) = (x_n / n) on ℓ2\ell^2, each 1/n1/n is isolated in σ(D)\sigma(D), and P{1/n}P_{\set{1/n}} is the projection onto the span of ene_n, of rank 11.

Non-example: if XX is infinite-dimensional, then σ(I)={1}\sigma(I) = \set{1} and 11 is isolated, but P{1}=IP_{\set{1}} = I has infinite rank, so clause 2 fails. For DD above, 00 fails clause 1, since 1/n→01/n \to 0.

For a self-adjoint operator TT on a Hilbert space, σdisc(T)\sigma_{disc}(T) is the set of isolated eigenvalues of finite multiplicity. Then σ(T)\sigma(T) is the disjoint union of σdisc(T)\sigma_{disc}(T) and the essential spectrum.

Reading path

To understand this page from the ground up, read these 5 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. Essential spectrum concept
  3. Riesz projector concept
  4. Spectrum of an operator concept
  5. Discrete spectrum definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Discrete_spectrum_(mathematics)
About this page
TagPBSMWBFFZH
URIm2://PBSMWBFFZH
Kinddefinition
WritingW0 stub
MSC47A10
DefinesDiscrete spectrum
UsesSpectrum of an operator, Riesz projector, Essential spectrum, Compact operator
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • 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

No page links to this page yet.