Adjoint of a Bounded Operator
Suppose that and are Hilbert spaces and . The adjoint of is the unique operator satisfying
for every and .
Adjoint Exists and is Unique
Self-Adjoint Operator
Suppose that is a Hilbert space. An operator is self-adjoint if .
Normal Operator
Suppose that is a Hilbert space. An operator is normal if .
Unitary Operator
Suppose that and are Hilbert spaces. A surjective linear map is unitary if
for every .
Projection Operator
Suppose that is a Hilbert space. An operator is a projection if . It is an orthogonal projection if also .
Spectrum of an Operator
Suppose that . The spectrum of is
Spectrum of a Bounded Operator is Compact
Suppose that . Then is a nonempty compact subset of .
Spectral Radius Formula
Suppose that . Then
Spectral Theorem for Compact Self-Adjoint Operators
Suppose that is a Hilbert space and is compact and self-adjoint. Then has an orthonormal basis consisting of eigenvectors of .