# Spectrum (functional analysis)

In mathematics, particularly in functional analysis, the **spectrum** of a bounded operator is a generalisation of the set of eigenvalues of a matrix. Specifically, a complex number λ is said to be in the spectrum of a bounded linear operator *T* if λ*I* − *T* is not invertible, where *I* is the identity operator. The study of spectra and related properties is known as spectral theory, which has numerous applications, most notably the mathematical formulation of quantum mechanics.

The spectrum of an operator on a finite-dimensional vector space is precisely the set of eigenvalues, however an operator on an infinite-dimensional space may have additional elements in its spectrum, and may have no eigenvalues. For example, consider the right shift operator *R* on the Hilbert space ℓ^{2},

This has no eigenvalues, since if *Rx*=λ*x* then by expanding this expression we see that *x*_{1}=0, *x*_{2}=0, etc. On the other hand, 0 is in the spectrum because the operator *R* − 0 (i.e. *R* itself) is not invertible: it is not surjective since any vector with non-zero first component is not in its range. In fact *every* bounded linear operator on a complex Banach space must have a non-empty spectrum.

The notion of spectrum extends to densely defined unbounded operators; in this case a complex number λ is said to be in the spectrum of such an operator *T*:*D*→*X* (where *D* is dense in *X*) if there is no bounded inverse (λ*I* − *T*)^{−1}:*X*→*D*. If *T* is a closed operator (which includes the case that *T* is a bounded operator), boundedness of such inverses follows automatically if the inverse exists at all.

The space of bounded linear operators *B*(*X*) on a Banach space *X* is an example of a unital Banach algebra. Since the definition of the spectrum does not mention any properties of *B*(*X*) except those that any such algebra has, the notion of a spectrum may be generalised to this context by using the same definition verbatim.

## Contents

## Spectrum of a bounded operator[edit]

### Definition[edit]

Let be a bounded linear operator acting on a Banach space over the scalar field , and be the identity operator on . The **spectrum** of is the set of all for which the operator does not have an inverse that is a bounded linear operator.

Since is a linear operator, the inverse is linear if it exists; and, by the bounded inverse theorem, it is bounded. Therefore, the spectrum consists precisely of those scalars for which is not bijective.

The spectrum of a given operator is often denoted , and its complement, the resolvent set, is denoted . ( is sometimes used to denote the spectral radius of )

### Spectrum and eigenvalues[edit]

If is an eigenvalue of , then the operator is not one-to-one, and therefore its inverse is not defined. However, the inverse statement is not true: the operator may not have an inverse, even if is not an eigenvalue. Thus the spectrum of an operator always contains all its eigenvalues, but is not limited to them.

For example, consider the Hilbert space , that consists of all bi-infinite sequences of real numbers

that have a finite sum of squares . The bilateral shift operator simply displaces every element of the sequence by one position; namely if then for every integer . The eigenvalue equation has no solution in this space, since it implies that all the values have the same absolute value (if ) or are a geometric progression (if ); either way, the sum of their squares would not be finite. However, the operator is not invertible if . For example, the sequence such that is in ; but there is no sequence in such that (that is, for all ).

### Basic properties[edit]

The spectrum of a bounded operator *T* is always a closed, bounded and non-empty subset of the complex plane.

If the spectrum were empty, then the *resolvent function*

would be defined everywhere on the complex plane and bounded. But it can be shown that the resolvent function *R* is holomorphic on its domain. By the vector-valued version of Liouville's theorem, this function is constant, thus everywhere zero as it is zero at infinity, this would be a contradiction.

The boundedness of the spectrum follows from the Neumann series expansion in *λ*; the spectrum *σ*(*T*) is bounded by ||*T*||. A similar result shows the closedness of the spectrum.

The bound ||*T*|| on the spectrum can be refined somewhat, the *spectral radius*, *r*(*T*), of *T* is the radius of the smallest circle in the complex plane which is centered at the origin and contains the spectrum σ(*T*) inside of it, i.e.

The **spectral radius formula** says^{[1]} that for any element of a Banach algebra,

## Classification of points in the spectrum of an operator[edit]

A bounded operator *T* on a Banach space is invertible, i.e. has a bounded inverse, if and only if *T* is bounded below and has dense range. Accordingly, the spectrum of *T* can be divided into the following parts:

- λ ∈ σ(
*T*), if λ*I*-*T*is not bounded below. In particular, this is the case if λ*I*-*T*is not injective, that is, λ is an eigenvalue. The set of eigenvalues is called the**point spectrum**of*T*and denoted by σ_{p}(*T*). Alternatively, λ*I*-*T*could be one-to-one but still not be bounded below. Such λ is not an eigenvalue but still an*approximate eigenvalue*of*T*(eigenvalues themselves are also approximate eigenvalues), the set of approximate eigenvalues (which includes the point spectrum) is called the**approximate point spectrum**of*T*, denoted by σ_{ap}(*T*). - λ ∈ σ(
*T*), if λ*I*-*T*does not have dense range. The set of such λ is called the**compression spectrum**of*T*, denoted by σ_{cp}(*T*). For a subset: If λ*I*-*T*does not have dense range but is injective, λ is said to be in the**residual spectrum**of*T*, denoted by σ_{r}(*T*).

Note that the approximate point spectrum and residual spectrum are not necessarily disjoint (however, the point spectrum and the residual spectrum are).

The following subsections provide more details on the three parts of σ(*T*) sketched above.

### Point spectrum[edit]

If an operator is not injective (so there is some nonzero *x* with *T*(*x*) = 0), then it is clearly not invertible. So if λ is an eigenvalue of *T*, one necessarily has λ ∈ σ(*T*). The set of eigenvalues of *T* is also called the **point spectrum** of *T*, denoted by σ_{p}(*T*).

### Approximate point spectrum[edit]

More generally, *T* is not invertible if it is not bounded below; that is, if there is no *c* > 0 such that ||*Tx*|| ≥ *c*||*x*|| for all *x* ∈ *X*. So the spectrum includes the set of **approximate eigenvalues**, which are those λ such that *T* -λ*I* is not bounded below; equivalently, it is the set of λ for which there is a sequence of unit vectors *x*_{1}, *x*_{2}, ... for which

- .

The set of approximate eigenvalues is known as the **approximate point spectrum**, denoted by **σ _{ap}(T)**.

It is easy to see that the eigenvalues lie in the approximate point spectrum.

**Example** Consider the bilateral shift *T* on *l*^{2}(**Z**) defined by

where the ˆ denotes the zero-th position. Direct calculation shows *T* has no eigenvalues, but every λ with |λ| = 1 is an approximate eigenvalue; letting *x*_{n} be the vector

then ||*x*_{n}|| = 1 for all *n*, but

Since *T* is a unitary operator, its spectrum lies on the unit circle. Therefore, the approximate point spectrum of T is its entire spectrum, this is true for a more general class of operators.

A unitary operator is normal. By spectral theorem, a bounded operator on a Hilbert space H is normal if and only if it is equivalent (after identification of H with an L^2 space) to a multiplication operator, it can be shown that the approximate point spectrum of a bounded multiplication operator equals its spectrum.

### Residual spectrum[edit]

An operator may be injective, even bounded below, but not invertible, the unilateral shift on *l* ^{2}(**N**) is such an example. This shift operator is an isometry, therefore bounded below by 1, but it is not invertible as it is not surjective. The set of λ for which λ*I* - *T* is injective but does not have dense range is known as the **residual spectrum** or **compression spectrum** of *T* and is denoted by **σ _{r}(T)**.

### Continuous spectrum[edit]

The set of all λ for which λ*I* - *T* is injective and has dense range, but is not surjective, is called the **continuous spectrum** of *T*, denoted by **σ _{c}(T)** . The continuous spectrum therefore consists of those approximate eigenvalues which are not eigenvalues and do not lie in the residual spectrum, that is,

- .

### Peripheral spectrum[edit]

The peripheral spectrum of an operator is defined as the set of points in its spectrum which have modulus equal to its spectral radius.^{[2]}

### Example[edit]

The hydrogen atom provides an example of this decomposition, the eigenfunctions of the hydrogen atom Hamiltonian are called **eigenstates** and are grouped into two categories. The bound states of the hydrogen atom correspond to the discrete part of the spectrum (they have a discrete set of eigenvalues that can be computed by the Rydberg formula), whereas the end result of the ionization process is described by the continuous part (the energy of the collision/ionization is not "quantized").

## Further results[edit]

If *T* is a compact operator, then it can be shown that any nonzero λ in the spectrum is an eigenvalue; in other words, the spectrum of such an operator, which was defined as a generalization of the concept of eigenvalues, consists in this case only of the usual eigenvalues, plus possibly 0.

If *X* is a Hilbert space and *T* is a normal operator, then a remarkable result known as the spectral theorem gives an analogue of the diagonalisation theorem for normal finite-dimensional operators (Hermitian matrices, for example).

## Spectrum of an unbounded operator[edit]

One can extend the definition of spectrum for unbounded operators on a Banach space *X*, operators which are no longer elements in the Banach algebra *B*(*X*). One proceeds in a manner similar to the bounded case. A complex number λ is said to be in the **resolvent set**, that is, the complement of the spectrum of a linear operator

if the operator

has a bounded inverse, i.e. if there exists a bounded operator

such that

A complex number λ is then in the **spectrum** if this property fails to hold. One can classify the spectrum in exactly the same way as in the bounded case.

The spectrum of an unbounded operator is in general a closed, possibly empty, subset of the complex plane.

For *λ* to be in the resolvent (i.e. not in the spectrum), as in the bounded case λ*I* − *T* must be bijective, since it must have a two-sided inverse. As before if an inverse exists then its linearity is immediate, but in general it may not be bounded, so this condition must be checked separately.

However, boundedness of the inverse *does* follow directly from its existence if one introduces the additional assumption that *T* is closed; this follows from the closed graph theorem. Therefore, as in the bounded case, a complex number *λ* lies in the spectrum of a closed operator *T* if and only if λ*I* − *T* is not bijective. Note that the class of closed operators includes all bounded operators.

Via its spectral measures, one can define a decomposition of the spectrum of any self adjoint operator, bounded or otherwise into absolutely continuous, pure point, and singular parts.

## Spectrum of a unital Banach algebra[edit]

Let *B* be a complex Banach algebra containing a unit *e*. Then we define the spectrum σ(*x*) (or more explicitly σ_{B}(*x*)) of an element *x* of *B* to be the set of those complex numbers λ for which λ*e* − *x* is not invertible in *B*. This extends the definition for bounded linear operators *B*(*X*) on a Banach space *X*, since *B*(*X*) is a Banach algebra.

## See also[edit]

## References[edit]

**^**Theorem 3.3.3 of Kadison & Ringrose, 1983,*Fundamentals of the Theory of Operator Algebras, Vol. I: Elementary Theory*, New York: Academic Press, Inc.**^**Zaanen, Adriaan C. (2012).*Introduction to Operator Theory in Riesz Spaces*. Springer Science & Business Media. p. 304. ISBN 9783642606373. Retrieved 8 September 2017.

- Dales et al.,
*Introduction to Banach Algebras, Operators, and Harmonic Analysis*, ISBN 0-521-53584-0 - Hazewinkel, Michiel, ed. (2001) [1994], "Spectrum of an operator",
*Encyclopedia of Mathematics*, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4