# Diagonal operator

An operator $D$ defined on the (closed) linear span of a basis $\{ e _ {k} \} _ {k \geq 1 }$ in a normed (or only locally convex) space $X$ by the equations $De _ {k} = \lambda _ {k} e _ {k}$, where $k \geq 1$ and where $\lambda _ {k}$ are complex numbers. If $D$ is a continuous operator, one has

$$\sup _ {k \geq 1 } | \lambda _ {k} | < + \infty .$$

If $X$ is a Banach space, this condition is equivalent to the continuity of $D$ if and only if $\{ e _ {k} \} _ {k \geq 1 }$ is an unconditional basis in $X$. If $\{ e _ {k} \} _ {k \geq 1 }$ is an orthonormal basis in a Hilbert space $H$, then $D$ is a normal operator, and $\| D \| = \sup _ {k \geq 1 } | \lambda _ {k} |$, while the spectrum of $D$ coincides with the closure of the set $\{ {\lambda _ {k} } : {k = 1 , 2 , . . . } \}$. A normal and completely-continuous operator $N$ is a diagonal operator in the basis of its own eigen vectors; the restriction of a diagonal operator (even if it is normal) to its invariant subspace need not be a diagonal operator; given an $\epsilon > 0$, any normal operator $N$ on a separable space $H$ can be represented as $N = D + C$, where $D$ is a diagonal operator, $C$ is a completely-continuous operator and $\| C \| < \epsilon$.

A diagonal operator in the broad sense of the word is an operator $D$ of multiplication by a complex function $\lambda$ in the direct integral of Hilbert spaces

$$H = \int\limits _ { M } \oplus H ( t) d \mu ( t) ,$$

i.e.

$$( D f )( t) = \lambda ( t) f ( t) ,\ t \in M ,\ f \in H .$$

How to Cite This Entry:
Diagonal operator. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Diagonal_operator&oldid=51667
This article was adapted from an original article by N.K. Nikol'skiiB.S. Pavlov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article