In mathematics, particularly in functional analysis, the **spectrum** of a bounded linear operator (or, more generally, an unbounded linear 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 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.

- Spectrum of a bounded operator
- Definition
- Relation to eigenvalues
- Basic properties
- Spectrum of an unbounded operator
- Definition 2
- Basic properties 2
- Classification of points in the spectrum
- Point spectrum
- Approximate point spectrum
- Continuous spectrum
- Compression spectrum
- Residual spectrum
- Peripheral spectrum
- Discrete spectrum
- Essential spectrum
- Example: Hydrogen atom
- Spectrum of the adjoint operator
- Spectra of particular classes of operators
- Compact operators
- Quasinilpotent operators
- Self-adjoint operators
- Spectrum of a real operator
- Real spectrum
- Spectrum of a unital Banach algebra
- See also
- References

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 unbounded operators. In this case a complex number λ is said to be in the spectrum of an operator defined on domain if there is no bounded inverse . 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.

Let be a bounded linear operator acting on a Banach space over the complex 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 )

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 ).

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,

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.

Let *X* be a Banach space and be a linear operator on *X* defined on domain . 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.

For *λ* to be in the resolvent (i.e. not in the spectrum), just like in the bounded case, 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. Then, just like in the bounded case, a complex number *λ* lies in the spectrum of a closed operator *T* if and only if is not bijective. Note that the class of closed operators includes all bounded operators.

The spectrum of an unbounded operator is in general a closed, possibly empty, subset of the complex plane. If the operator *T* is not closed, then .

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:

- if is not bounded below. In particular, this is the case if 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, could be one-to-one but still not 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*). - if does not have dense range. The set of such λ is called the
**compression spectrum**of*T*, denoted by . If does not have dense range but is injective, λ is said to be in the**residual spectrum**of*T*, denoted by .

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.

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*).

More generally, by the bounded inverse theorem, *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 .

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

For example, consider the right shift *R* on defined by

where is the standard orthonormal basis in . Direct calculation shows *R* has no eigenvalues, but every λ with |λ| = 1 is an approximate eigenvalue; letting *x*_{n} be the vector

one can see that ||*x*_{n}|| = 1 for all *n*, but

Since *R* is a unitary operator, its spectrum lies on the unit circle. Therefore, the approximate point spectrum of *R* is its entire spectrum.

This conclusion is also true for a more general class of operators. A unitary operator is normal. By the 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.

The set of all λ for which is injective and has dense range, but is not surjective, is called the **continuous spectrum** of *T*, denoted by . The continuous spectrum therefore consists of those approximate eigenvalues which are not eigenvalues and do not lie in the residual spectrum. That is,

- .

For example, , , , is injective and has a dense range, yet . Indeed, if with such that , one does not necessarily have , and then .

The set of for which does not have dense range is known as the **compression spectrum** of *T* and is denoted by .

The set of for which is injective but does not have dense range is known as the **residual spectrum** of *T* and is denoted by :

An operator may be injective, even bounded below, but still not invertible. The right shift on , , , 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 (), and moreover is not dense in ().

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] }

The discrete spectrum is defined as the set of normal eigenvalues. Equivalently, it can be characterized as the set of isolated points of the spectrum such that the corresponding Riesz projector is of finite rank.

There are five similar definitions of the essential spectrum of closed densely defined linear operator which satisfy

All these spectra , coincide in the case of self-adjoint operators.

- The essential spectrum is defined as the set of points of the spectrum such that is not semi-Fredholm. (The operator is
*semi-Fredholm*if its range is closed and either its kernel or cokernel (or both) is finite-dimensional.)**Example 1:**for the operator , (because the range of this operator is not closed: the range does not include all of although its closure does).**Example 2:**for , for any (because both kernel and cokernel of this operator are infinite-dimensional). - The essential spectrum is defined as the set of points of the spectrum such that the operator either has infinite-dimensional kernel or has a range which is not closed. It can also be characterized in terms of
*Weyl's criterion*: there exists a sequence in the space*X*such that , and such that contains no convergent subsequence. Such a sequence is called a*singular sequence*(or a*singular Weyl sequence*).**Example:**for the operator , if*j*is even and when*j*is odd (kernel is infinite-dimensional; cokernel is zero-dimensional). Note that . - The essential spectrum is defined as the set of points of the spectrum such that is not Fredholm. (The operator is
*Fredholm*if its range is closed and both its kernel and cokernel are finite-dimensional.)**Example:**for the operator , (kernel is zero-dimensional, cokernel is infinite-dimensional). Note that . - The essential spectrum is defined as the set of points of the spectrum such that is not Fredholm of index zero. It could also be characterized as the largest part of the spectrum of
*A*which is preserved by compact perturbations. In other words, ; here denotes the set of all compact operators on*X*.**Example:**where is the right shift operator, , for (its kernel is zero, its cokernel is one-dimensional). Note that . - The essential spectrum is the union of with all components of that do not intersect with the resolvent set . It can also be characterized as .
**Example:**consider the operator , for , . Since , one has . For any with , the range of is dense but not closed, hence the boundary of the unit disc is in the first type of the essential spectrum: . For any with , has a closed range, one-dimensional kernel, and one-dimensional cokernel, so although for ; thus, for . There are two components of : and . The component has no intersection with the resolvent set; by definition, .

The hydrogen atom provides an example of different types of the spectra. The hydrogen atom Hamiltonian operator , , with domain has a discrete set of eigenvalues (the discrete spectrum , which in this case coincides with the point spectrum since there are no eigenvalues embedded into the continuous spectrum) that can be computed by the Rydberg formula. Their corresponding eigenfunctions are called **eigenstates**, or the bound states. The end result of the ionization process is described by the continuous part of the spectrum (the energy of the collision/ionization is not "quantized"), represented by (it also coincides with the essential spectrum, ). ^{[ citation needed ]}

Let *X* be a Banach space and a closed linear operator with dense domain . If *X** is the dual space of *X*, and is the hermitian adjoint of *T*, then

**Theorem** For a bounded (or, more generally, closed and densely defined) operator *T*, .

Let . So is not dense in *X*. By the Hahn–Banach theorem, there exists a non-zero that vanishes on . For all *x* ∈ *X*,

Therefore, and is an eigenvalue of *T**. This shows the former inclusion.

Next suppose that with , , i.e.

If is dense in *X*, then *φ* must be the zero functional, a contradiction. The claim is proved.

We also get by the following argument: *X* embeds isometrically into *X***. Therefore, for every non-zero element in the kernel of there exists a non-zero element in *X*** which vanishes on . Thus can not be dense.

Furthermore, if *X* is reflexive, we have .

If *T* is a compact operator, or, more generally, an inessential operator, then it can be shown that the spectrum is countable, that zero is the only possible accumulation point, and that any nonzero λ in the spectrum is an eigenvalue.

A bounded operator is **quasinilpotent** if as (in other words, if the spectral radius of *A* equals zero). Such operators could equivalently be characterized by the condition

- .

An example of such an operator is , for .

If *X* is a Hilbert space and *T* is a self-adjoint operator (or, more generally, 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).

For self-adjoint operators, one can use spectral measures to define a decomposition of the spectrum into absolutely continuous, pure point, and singular parts.

The definitions of the resolvent and spectrum can be extended to any continuous linear operator acting on a Banach space over the real field (instead of the complex field ) via its complexification . In this case we define the resolvent set as the set of all such that is invertible as an operator acting on the complexified space ; then we define .

The *real spectrum* of a continuous linear operator acting on a real Banach space , denoted , is defined as the set of all for which fails to be invertible in the real algebra of bounded linear operators acting on . In this case we have . Note that the real spectrum may or may not coincide with the complex spectrum. In particular, the real spectrum could be empty.

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.

In mathematics, particularly linear algebra and functional analysis, a **spectral theorem** is a result about when a linear operator or matrix can be diagonalized. This is extremely useful because computations involving a diagonalizable matrix can often be reduced to much simpler computations involving the corresponding diagonal matrix. The concept of diagonalization is relatively straightforward for operators on finite-dimensional vector spaces but requires some modification for operators on infinite-dimensional spaces. In general, the spectral theorem identifies a class of linear operators that can be modeled by multiplication operators, which are as simple as one can hope to find. In more abstract language, the spectral theorem is a statement about commutative C*-algebras. See also spectral theory for a historical perspective.

In linear algebra, a **Jordan normal form**, also known as a **Jordan canonical form** or **JCF**, is an upper triangular matrix of a particular form called a Jordan matrix representing a linear operator on a finite-dimensional vector space with respect to some basis. Such a matrix has each non-zero off-diagonal entry equal to 1, immediately above the main diagonal, and with identical diagonal entries to the left and below them.

In functional analysis, a branch of mathematics, a **compact operator** is a linear operator *L* from a Banach space *X* to another Banach space *Y*, such that the image under *L* of any bounded subset of *X* is a relatively compact subset of *Y*. Such an operator is necessarily a bounded operator, and so continuous.

In linear algebra and functional analysis, the **min-max theorem**, or **variational theorem**, or **Courant–Fischer–Weyl min-max principle**, is a result that gives a variational characterization of eigenvalues of compact Hermitian operators on Hilbert spaces. It can be viewed as the starting point of many results of similar nature.

In mathematics, in particular functional analysis, the **singular values**, or ** s-numbers** of a compact operator

The spectrum of a linear operator that operates on a Banach space consists of all scalars such that the operator does not have a bounded inverse on . The spectrum has a standard **decomposition** into three parts:

In mathematics, the **essential spectrum** of a bounded operator is a certain subset of its spectrum, defined by a condition of the type that says, roughly speaking, "fails badly to be invertible".

In mathematics, the **resolvent formalism** is a technique for applying concepts from complex analysis to the study of the spectrum of operators on Banach spaces and more general spaces. Formal justification for the manipulations can be found in the framework of holomorphic functional calculus.

In the mathematical discipline of matrix theory, a **Jordan block** over a ring R is a matrix composed of zeroes everywhere except for the diagonal, which is filled with a fixed element , and for the superdiagonal, which is composed of ones. The concept is named after Camille Jordan.

In functional analysis, the concept of a **compact operator on Hilbert space** is an extension of the concept of a matrix acting on a finite-dimensional vector space; in Hilbert space, compact operators are precisely the closure of finite-rank operators in the topology induced by the operator norm. As such, results from matrix theory can sometimes be extended to compact operators using similar arguments. By contrast, the study of general operators on infinite-dimensional spaces often requires a genuinely different approach.

In linear algebra and operator theory, the **resolvent set** of a linear operator is a set of complex numbers for which the operator is in some sense "well-behaved". The resolvent set plays an important role in the resolvent formalism.

In mathematics, in the field of control theory, a **Sylvester equation** is a matrix equation of the form:

In mathematics, the **spectral theory of ordinary differential equations** is the part of spectral theory concerned with the determination of the spectrum and eigenfunction expansion associated with a linear ordinary differential equation. In his dissertation Hermann Weyl generalized the classical Sturm–Liouville theory on a finite closed interval to second order differential operators with singularities at the endpoints of the interval, possibly semi-infinite or infinite. Unlike the classical case, the spectrum may no longer consist of just a countable set of eigenvalues, but may also contain a continuous part. In this case the eigenfunction expansion involves an integral over the continuous part with respect to a spectral measure, given by the Titchmarsh–Kodaira formula. The theory was put in its final simplified form for singular differential equations of even degree by Kodaira and others, using von Neumann's spectral theorem. It has had important applications in quantum mechanics, operator theory and harmonic analysis on semisimple Lie groups.

In quantum mechanics, and especially quantum information theory, the **purity** of a normalized quantum state is a scalar defined as

Given a Hilbert space with a tensor product structure a **product numerical range** is defined as a numerical range with respect to the subset of product vectors. In some situations, especially in the context of quantum mechanics product numerical range is known as **local numerical range**

In physics, particularly in quantum field theory, the **Weyl equation** is a relativistic wave equation for describing massless spin-1/2 particles called **Weyl fermions**. The equation is named after Hermann Weyl. The Weyl fermions are one of the three possible types of elementary fermions, the other two being the Dirac and the Majorana fermions.

In mathematics, especially spectral theory, **Weyl's law** describes the asymptotic behavior of eigenvalues of the Laplace–Beltrami operator. This description was discovered in 1911 by Hermann Weyl for eigenvalues for the Laplace–Beltrami operator acting on functions that vanish at the boundary of a bounded domain . In particular, he proved that the number, , of Dirichlet eigenvalues less than or equal to satisfies

**Arithmetic Fuchsian groups** are a special class of Fuchsian groups constructed using orders in quaternion algebras. They are particular instances of arithmetic groups. The prototypical example of an arithmetic Fuchsian group is the modular group . They, and the hyperbolic surface associated to their action on the hyperbolic plane often exhibit particularly regular behaviour among Fuchsian groups and hyperbolic surfaces.

In mathematics, specifically in spectral theory, an eigenvalue of a closed linear operator is called **normal** if the space admits a decomposition into a direct sum of a finite-dimensional generalized eigenspace and an invariant subspace where has a bounded inverse. The set of normal eigenvalues coincides with the discrete spectrum.

In mathematics, specifically in spectral theory, a **discrete spectrum** of a closed linear operator is defined as the set of isolated points of its spectrum such that the rank of the corresponding Riesz projector is finite.

- ↑ 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 - "Spectrum of an operator",
*Encyclopedia of Mathematics*, EMS Press, 2001 [1994]

This page is based on this Wikipedia article

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.