Books by Independent Authors

Chapter II. Compact Self-Adjoint Operators

Full-text: Open access

Abstract

This chapter proves a first version of the Spectral Theorem and shows how it applies to complete the analysis in Sturm’s Theorem of Section I.3.

Section 1 introduces compact linear operators from a Hilbert space into itself and characterizes them as the limits in the operator norm topology of the linear operators of finite rank. The adjoint of a compact operator is compact.

Section 2 proves the Spectral Theorem for compact self-adjoint operators on a Hilbert space, showing that such operators have orthonormal bases of eigenvectors with eigenvalues tending to 0.

Section 3 establishes two versions of the Hilbert–Schmidt Theorem concerning self-adjoint integral operators with a square-integrable kernel. The abstract version gives an $L^{2}$ expansion of the members of the image of the operator in terms of eigenfunctions, and the concrete version, valid when the kernel is continuous and the space is compact metric, proves that the eigenfunctions are continuous and the expansion in terms of eigenfunctions is uniformly convergent.

Section 4 introduces unitary operators on a Hilbert space, establishing the equivalence of three conditions that may be used to define them.

Section 5 studies compact linear operators on an abstract Hilbert space, with special attention to two kinds—the Hilbert–Schmidt operators and the operators of trace class. All three sets of operators—compact, Hilbert–Schmidt, and trace-class—are ideals in the algebra of all bounded linear operators and are closed under the operation of adjoint. Trace-class implies Hilbert–Schmidt, which implies compact. The product of two Hilbert–Schmidt operators is of trace class.

Chapter information

Source
Anthony W. Knapp, Advanced Real Analysis, Digital Second Edition, Corrected version (East Setauket, NY: Anthony W. Knapp, 2017), 34-53

Dates
First available in Project Euclid: 21 May 2018

Permanent link to this document
https://projecteuclid.org/euclid.bia/1526871316

Digital Object Identifier
doi:10.3792/euclid/9781429799911-2

Rights
Copyright © 2017, Anthony W. Knapp

Citation

Knapp, Anthony W. Chapter II. Compact Self-Adjoint Operators. Advanced Real Analysis, 34--53, Anthony W. Knapp, East Setauket, New York, 2017. doi:10.3792/euclid/9781429799911-2. https://projecteuclid.org/euclid.bia/1526871316


Export citation