diagonalizable operator
The expression ”diagonalizable operator” has several meanings in operator theory. The purpose of this entry is to present some commonly used concepts where this terminology appears.
0.1 Definition 1
Let $H$ be a finite dimensional Hilbert space^{}. A linear operator^{} $T:H\u27f6H$ is said to be diagonalizable if the corresponding matrix (in a given basis) is a diagonalizable matrix (http://planetmath.org/Diagonalizable2).
The above definition is equivalent^{} to: There exists a basis of $H$ consisting of eigenvectors^{} of $T$.
Remark  This is a common definition in linear algebra.
0.2 Definition 2
Let $H$ be a finite dimensional Hilbert space. A linear operator $T:H\u27f6H$ is said to be diagonalizable if there is an orthonormal basis^{} of $H$ in which $T$ is represented by a diagonal matrix^{}.
The above definition is equivalent to: There exists an orthonormal basis of $H$ consisting of eigenvectors of $T$.
Another equivalent definition is: There exists an orthonormal basis $\{{e}_{1},\mathrm{\dots},{e}_{n}\}$ of $H$ and values ${\lambda}_{1},\mathrm{\dots},{\lambda}_{2}\in \u2102$ such that
$$T(x)=\sum _{i=1}^{n}{\lambda}_{i}\u27e8x,{e}_{i}\u27e9{e}_{i}$$ 
Remarks 

•
In linear algebra (http://planetmath.org/LinearAlgebra) such operators^{} are also called unitarily diagonalizable.

•
Diagonalizable operators (in this sense) are always normal operators. The Spectral theorem^{} for normal operators (http://planetmath.org/SpectralTheoremForHermitianMatrices) assures that the converse^{} is also true.
0.3 Definition 3
Let $H$ be a Hilbert space. A bounded linear operator $T:H\u27f6H$ is said to be diagonalizable if there exists an orthonormal basis consisting of eigenvectors of $T$.
An equivalent definition is: There exists an orthonormal basis ${\{{e}_{i}\}}_{i\in J}$ of $H$ and values ${\{{\lambda}_{i}\}}_{i\in J}$ such that
$$T(x)=\sum _{i\in J}{\lambda}_{i}\u27e8x,{e}_{i}\u27e9{e}_{i}$$ 
Remarks 

•
If $H$ is finite dimensional this is the same as definition 2.

•
Diagonalizable operators (in this sense) are always normal operators. For compact operators^{} the converse is assured by an appropriate version of the spectral theorem for compact normal operators.
0.4 Definition 4
Let $H$ be a Hilbert space. A linear operator $T:H\u27f6H$ is said to be diagonalizable if it is to a multiplication operator (http://planetmath.org/MultiplicationOperatorOnMathbbL22) in some ${L}^{2}$space (http://planetmath.org/L2SpacesAreHilbertSpaces), i.e. if there exists

•
a measure space^{} $(X,\mathcal{B},\mu )$,

•
a unitary operator $U:{L}^{2}(X)\u27f6H$ and

•
a function $f\in $ ${L}^{\mathrm{\infty}}(X)$ (http://planetmath.org/LpSpace) such that
$$T=U{M}_{f}{U}^{*}$$ 
where ${M}_{f}:{L}^{2}(X)\u27f6{L}^{2}(X)$ is the operator of multiplication (http://planetmath.org/MultiplicationOperator) by $f$
$${M}_{f}(\psi )=f.\psi .$$ 
Remarks 

•
If $H={\u2102}^{n}$ the above definition is equivalent to say that $T$ is unitarily diagonalizable (Definition 2). Indeed, we can think of ${\u2102}^{n}$ as ${L}^{2}(\{1,\mathrm{\dots},n\})$ with the counting measure. In this case, multiplication operators correspond to diagonal matrices.

•
Diagonalizable operators (in this sense) are necessarily normal operators (since multiplication operators are so). The discussion about the converse result is the content of general versions of the spectral theorem.
Title  diagonalizable operator 

Canonical name  DiagonalizableOperator 
Date of creation  20130322 17:33:47 
Last modified on  20130322 17:33:47 
Owner  asteroid (17536) 
Last modified by  asteroid (17536) 
Numerical id  6 
Author  asteroid (17536) 
Entry type  Definition 
Classification  msc 46C05 
Classification  msc 47A05 
Related topic  SpectralTheoremForHermitianMatrices 
Defines  unitarily diagonalizable 