Compact operator on Hilbert space

In functional analysis, compact operators on Hilbert spaces are a direct extension of matrices: in the Hilbert spaces, they are the precisely the closure of finite rank operators in the uniform operator topology. For functional analysis as used in psychology see the Functional analysis (psychology article In Functional analysis, a branch of Mathematics, a compact operator is a Linear operator L from a Banach space X to another This article assumes some familiarity with Analytic geometry and the concept of a limit. In Functional analysis, a finite rank operator is a Bounded linear operator between Banach spaces whose range is finite dimensional In Mathematics, the requirements of Functional analysis mean there are several standard topologies which are given to the algebra B ( H) of As such, results from matrix theory can sometimes be extended to compact operators using similar arguments. In contrast, the study of general operators on infinite dimensional spaces often requires a genuinely different approach.

For example, the spectral theory of compact operators on Banach spaces takes a form that is very similar to the Jordan canonical form of matrices. In Functional analysis, Compact operators are linear operators that map bounded sets to precompact ones In Linear algebra, Jordan normal form (often called Jordan canonical form)shows that a given square matrix M over a field K In the context of Hilbert spaces, a square matrix is unitarily diagonalizable if and only if it is normal. In Mathematics, especially Functional analysis, a normal operator on a Hilbert space H (or more generally in a C* algebra) is a A corresponding result holds for normal compact operators on Hilbert spaces. (More generally, the compactness assumption can be dropped. But, as stated above, the techniques used are less routine. )

This article will discuss a few results for compact operators on Hilbert space, starting with general properties before considering subclasses of compact operators.

1 Some general properties
2 Compact self adjoint operator
3 Compact normal operator
4 Unitary operator
5 See also
6 References

Some general properties

Let H be a Hilbert space, L(H) be the bounded operators on H. T ∈ L(H) is a compact operator if the image of a bounded set under T is relatively compact. In Mathematics, a relatively compact subspace (or relatively compact subset) Y of a Topological space X is a subset whose closure We list some general properties of compact operators.

A bounded operator T is compact if and only if T maps weakly convergent sequences to norm convergent ones. Separability is not essential for this to be true.

The family of compact operators is a norm-closed, two-sided, *-ideal in L(H). Consequently, a compact operator T cannot have a bounded inverse. If ST = TS = I, then the identity operator would be compact, a contradiction.

If a sequence of bounded operators S_n → S in the strong operator topology and T is compact, then S_nT converges to ST in norm. In Functional analysis, a branch of Mathematics, the strong operator topology, often abbreviated SOT is the weakest Topology on the set of Bounded For example, consider the Hilbert space l²(N), with standard basis {e_n}. Let P_m be the orthogonal projection on the linear span of {e₁. . . e_m}. The sequence {P_m} converges to the identity operator I strongly but not uniformly. Define T by Te_n = (1/n)² · e_n. T is compact, and, as claimed above, P_mT → I T = T in the uniform operator topology: for all x,

$\| P_m T x - T x \| \leq \left( \frac{1}{m+1}\right)^2 \| x \|.$

Notice each P_m is a finite rank operator. Similar reasoning shows that if T is compact, then T is the uniform limit of some sequence of finite rank operators.

By the norm-closedness of the ideal of compact operators, the converse is also true.

The quotient C*-algebra of L(H) modulo the compact operators is called the Calkin algebra, in which one can consider properties of an operator up to compact perturbation. In Functional analysis, the Calkin algebra is the quotient of B ( H) the ring of Bounded linear operators on a separable

Compact self adjoint operator

The classification result for Hermitian n × n matrices is the spectral theorem: If M = M*, then M is unitarily diagonalizable and the diagonalization of M has real entries. In Mathematics, particularly Linear algebra and Functional analysis, the spectral theorem is any of a number of results about Linear operators Let T be a compact self adjoint operator on a Hilbert space H. We will prove the same statement for T: T can be diagonalized by an orthonormal set of eigenvectors, each of which corresponds to a real eigenvalue.

Spectral theorem

The idea

Proving the spectral theorem for a Hermitian n × n matrix T hinges on showing the existence of one eigenvector x. Once this is done, Hermiticity implies that both the linear span and orthogonal complement of x are invariant subspaces of T. The desired result is then obtained by iteration. The existence of an eigenvector can be shown in at least two ways:

One can argue algebraically: The characteristic polynomial of T has a complex root, therefore T has an eigenvalue with a corresponding eigenvector. Or,
The eigenvalues can be characterized variationally: The largest eigenvalue is the maximum of the following function on the closed unit ball: f: R²ⁿ → R defined by f(x) = x*Tx = <Tx, x>.

Note In the finite dimensional case, the existence of eigenvectors can be taken for granted. Any square matrix, not necessarily Hermitian, has an eigenvector. This is not true for operators on general Hilbert spaces.

The spectral theorem for the compact self adjoint case can be obtained analogously: one finds an eigenvector by extending either finite-dimensional argument above, then apply induction. This section takes the variational approach. We first sketch the argument for matrices.

Since the closed unit ball B in R²ⁿ is compact, and f is continuous, f(B) is compact on the real line, therefore f attains a maximum on B, at some unit vector y. By Lagrange's mutipliers theorem, y satisfies

$\nabla f = \nabla \; y^* T y = \lambda \cdot \nabla \; y^* y$

for some λ. By Hermiticity, Ty = λy.

However, the Lagrange multipliers do not generalize easily to the infinite dimensional case. Alternatively, let z ∈ Cⁿ be any vector. Notice that if y maximizes <Tx, x>, it also maximizes

$g(x) = \frac{\langle Tx, x \rangle}{\|x\|^2} \; ,x \in \mathbb{C}^n.$

Consider the function h: R → R, h(t) = g(y + t z). By calculus, h' (0) = 0, i. e. ,

$h'(0) = \frac{d}{dt} \frac{\langle T (y + t z), y + tz \rangle}{\langle y + tz, y + tz \rangle} (0) = 0.$

Let m = <Ty, y>/<y, y>. After some algebra the above expression becomes (Re denotes the real part of a complex number)

$Re\langle (T - m) y, z \rangle = 0.$

But z is arbitrary, therefore (T - m) (y) = 0. This is the crux of proof for spectral theorem in the matricial case.

Details

Let T be a compact self adjoint operator on a Hilbert space H. As in the case of matrices, we consider the function f: H → R defined by f(x) = <Tx, x>. Restrict f to the closed unit ball B ⊂ H. If we can show f attains a maximum at some unit vector y, then, by the same argument used for matrices, y is an eigenvector with corresponding eigenvalue <Ty, y>.

By Banach-Alaoglu theorem and reflexivity of H, B is weakly compact. In Functional analysis and related branches of Mathematics, the Banach–Alaoglu theorem (also known as Alaoglu's theorem) states that the closed Also, the compactness of T means the image of a weakly convergent sequences under T is norm convergent. This in turn implies f is continuous in the weak topology on H. The image of B under f is therefore compact in the real line and f attains a maximum m at some y ∈ B.

By maximality, ||y|| = 1, which in turn implies y also maximizes g(x) (same g from above). This shows that y is an eigenvector with corresponding eigenvalue <Ty, y>.

Note The compactness of T is crucial here. In general, f need not be continuous in the weak topology. For example, let T be the identity operator, which is not compact. Take any orthnormal sequence {y_n}. Then y_n converges to 0 weakly but lim f(y_n) = 1 ≠ 0 = f(0).

By self adjointness, the orthogonal complement of y, {y}^⊥, and span{y} are invariant subspaces of T. By induction, we obtain an orthonormal family {e_n} consisting of all eigenvectors of T. The set {e_n} form a Hilbert space basis: if (span{e_n})^⊥ is a nontrivial subspace, then applying the same procedure gives an eigenvector y not in {e_n}, contradicting the assumption that {e_n} contains all eigenvectors.

Let {λ_n} be the eigenvalues corresponding to {e_n}. Compactness of T and e_n → 0 means T e_n = λ_n e_n → 0. Therefore λ_n → 0.

The above can be summarized by:

Theorem For all compact self adjoint operator T on a Hilbert space H, there exists an orthonormal basis {e_n} consisting of eigenvectors of T, with corresponding eigenvalues {λ_n} ⊂ R, such that λ_n → 0.

In other words, a compact self adjoint operator can be unitarily diagonalized. This is the spectral theorem.

Functional calculus

The spectral theorem shows σ(T) = {λ_n} ⊂ R, the spectrum of T, consists of only eigenvalues of T, and 0 if 0 is not already an eigenvalue. The set σ(T) inherits a subspace topology from the real line.

Any spectral theorem can be reformulated in terms of a functional calculus. In Mathematics, a functional calculus is a theory allowing one to apply Mathematical functions to Mathematical operators The term was also used previously In the present context we have:

Theorem Let C(σ(T)) denote the C*-algebra of continuous functions on σ(T). C*-algebras (pronounced "C-star" are an important area of research in Functional analysis, a branch of Mathematics. There exists an isometric homomorphism Φ:C(σ(T)) → L(H) such that Φ(1) = I and, if f(λ) = λ, then Φ(f) = T. Moreoever, σ(f(T)) = f(σ(T)).

The functional calculus map Φ is defined in a natural way: for f ∈ C(σ(T)),

$\Phi(f)(e_n) = f(\lambda_n) e_n.\,$

The isometry property comes from diagonalization: By the spectral theorem, the operator norm

$\|T\| = \sup_{\lambda_n \in \sigma(T)} |\lambda_n|.$

Extending to polynomials then invoking the Stone-Weierstrass theorem shows Φ is an isometry.

The other properties of Φ can be readily verified.

Simultaneous diagonalization

It is known from linear algebra that any commuting family {T_α} of Hermitian matrices can be simultaneously (unitarily) diagonalized.

In the present context, the following is true:

Theorem Let {T_α} be a commuting family of self adjoint operators. Suppose one of them, say T_β is compact. Then there exists an orthonormal basis {e_n} consisting of common eigenvectors of {T_α} such that

$T_{\alpha} e_n = \lambda_{\alpha, n} e_n.\,$

The proof extends from the matrix case. Let S₁ be the eigenspace of T_β corresponding to λ₁. Since λ_n → 0, any eigenspace of T_β is finite dimensional. By the assumption that any pair of operators from the family commute, S₁ is an invariant subspace of every T_α. So, according to linear algebra, T_α can be simultaneously diagonalized when restricted to S₁. Induction finishes the argument.

Compact normal operator

The family of Hermitian matrices is a proper subset of matrices that are unitarily diagonalizable. A matrix M is unitarily diagonalizable if and only if it is normal, i. e. M*M = MM*. Similar statements hold for compact normal operators.

Let T be compact and T*T = TT*. Apply the Cartesian decomposition to T: define

$R = \frac{T + T^*}{2}, \; J = \frac{T - T^*}{2}.$

The self adjoint compact operators R and J' = (1/i)J are called the real and imaginary parts of T respectively. T is compact means T*, consequently R and J' , are compact. Furthermore, the normality of T implies R and J' commute. Therefore they can be simultaneously diagonalized, from which follows the claim.

Unitary operator

The spectrum of a unitary operator U lies on the unit circle in the complex plane; it could be the entire unit circle. However, if U is identity plus a compact perturbation, U has only discrete spectrum. More precisely, suppose U = I + C where C is compact. UU* = U*U shows C is normal. Since UC = CU, they can be simultaneously diagonalized, therefore both have only discrete spectrum.

References

J. In Functional analysis, the Calkin algebra is the quotient of B ( H) the ring of Bounded linear operators on a separable Blank, P. Exner, and M. Havlicek, Hilbert Space Operators in Quantum Physics, American Institute of Physics, 1994.
M. Reed and B. Simon, Methods of Modern Mathematical Physics I: Functional Analysis, Academic Press, 1972.

Contents