Bounded Linear Operators

A bounded linear operator is a continuous linear map between normed spaces; the study of such operators, especially the compact ones, is the operational heart of functional analysis.

Definition

A bounded linear operator is a linear map between normed spaces that scales lengths by at most a fixed constant, equivalently a continuous linear map; compact operators are those mapping bounded sets to relatively compact sets, the closest infinite-dimensional analogue of finite-rank maps.

Scope

This topic covers the equivalence of boundedness and continuity for linear maps, the operator norm and the space of bounded operators as a Banach algebra, adjoint operators, invertibility and the resolvent, compact operators as limits of finite-rank maps, and the Fredholm alternative for equations involving compact perturbations of the identity.

Core questions

• Why are boundedness and continuity the same condition for linear maps?
• How is the adjoint of an operator defined, and what does it encode?
• What makes compact operators behave almost like finite matrices?
• When does a linear equation have a solution, as governed by the Fredholm alternative?

Key theories

Boundedness equals continuity

A linear map between normed spaces is continuous if and only if it is bounded, so the operator norm measures continuity and makes the bounded operators into a normed algebra, the basic structural fact of operator theory.

Fredholm alternative for compact operators

For a compact operator, the equation given by the identity minus that operator either has a unique solution for every right-hand side or has a finite-dimensional space of homogeneous solutions, generalizing the solvability theory of finite linear systems.

Clinical relevance

Bounded and compact operators model integral and differential operators arising in physics and engineering; the Fredholm alternative governs the solvability of integral equations and boundary-value problems, and compact-operator spectral theory underlies the eigenfunction expansions used in mathematical physics and numerical analysis.

History

Fredholm's 1903 theory of integral equations introduced the solvability alternative that bears his name, and Hilbert and Riesz abstracted it into the modern theory of compact operators on Hilbert and Banach spaces in the following decades.

Key figures

• Erik Ivar Fredholm
• David Hilbert
• Frigyes Riesz

Seminal works

• conway1985
• kreyszig1989

Frequently asked questions

Why does boundedness mean continuity for linear operators?

Linearity lets continuity at the origin propagate everywhere, and continuity at the origin is exactly the statement that the operator does not stretch vectors by more than a fixed factor, which is boundedness.

What makes compact operators special?

They are approximable by finite-rank operators and their nonzero spectrum consists of eigenvalues accumulating only at zero, so they behave much like matrices, which is why integral operators are tractable.