Math 2.0

Functional analysis Definition

Spectrum of an element

Builds on Unit of a ringUnitizationSpectrum of a matrix

Definition

Let 𝕂\mathbb{K} be a field, let AA be an associative algebra over 𝕂\mathbb{K} with unit 11, and let a∈Aa \in A. The spectrum of aa is the set σ(a)={λ∈𝕂:a−λ1 is not invertible in A}.\sigma(a) = \set{\lambda \in \mathbb{K} : a - \lambda 1 \text{ is not invertible in } A}. Here invertible means that a−λ1a - \lambda 1 is a unit of AA. If AA has no unit, the spectrum of aa is its spectrum in the unitization A+A^+.

Remarks

The spectrum depends on the algebra: if aa lies in a subalgebra BB of AA that contains 11, then σA(a)⊆σB(a)\sigma_A(a) \subseteq \sigma_B(a), and the inclusion can be strict. In a non-unital algebra, 00 always lies in the spectrum, because no (0,a)(0, a) is invertible in A+A^+.

Example: for A=Mn(ℂ)A = M_n(\C), a−λ1a - \lambda 1 is invertible exactly when det⁡(a−λ1)≠0\det(a - \lambda 1) \ne 0. So σ(a)\sigma(a) is the set of eigenvalues of aa, the spectrum of the matrix.

Example: for A=C([0,1])A = C([0,1]) with complex values and f∈Af \in A, σ(f)=f([0,1])\sigma(f) = f([0,1]). If λ∉f([0,1])\lambda \notin f([0,1]), then 1/(f−λ)1/(f - \lambda) is continuous and inverts f−λf - \lambda; if λ=f(t0)\lambda = f(t_0), then f−λf - \lambda vanishes at t0t_0 and has no inverse.

For bounded operators on ℓ2\ell^2, the right shift SS has no eigenvalues, but 0∈σ(S)0 \in \sigma(S) because SS is not surjective. So in infinite dimension the spectrum can contain points that are not eigenvalues.

Reading path

To understand this page from the ground up, read these 4 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. Spectrum of a matrix concept
  2. Unit of a ring concept
  3. Unitization concept
  4. Spectrum of an element definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Spectrum_(functional_analysis)
About this page
Tag4KN39NQZ02
URIm2://4KN39NQZ02
Kinddefinition
WritingW0 stub
MSC46H05, 47A10
DefinesSpectrum of an element
UsesUnit of a ring, Unitization, Spectrum of a matrix
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.