Definition
Closed linear operator
A possibly unbounded linear operator whose graph is closed in the product space.
Definition
Let and be normed vector spaces, and let be linear on the linear subspace . The operator is closed if its graph
is a closed set in . Equivalently, whenever , in , and in , one has and . Closedness constrains simultaneous convergence of inputs and outputs; it neither says that is closed in nor implies that is bounded on with the norm inherited from .
Closed versus bounded
The closed graph theorem says that a closed linear operator defined on all of a Banach space , with Banach, is bounded. Properly defined closed operators can be unbounded. Differential operators on - or Hilbert spaces are principal examples: their domains encode the regularity and boundary conditions needed for the graph to be closed.
Closure and closability
An operator is closable if the closure of is itself the graph of an operator. This happens exactly when
The operator whose graph is is the closure , the smallest closed extension of . Hence “closed” and “closable” are not synonyms.
Domain-sensitive operations
For unbounded operators, algebraic expressions have domain conditions. The product is defined only on those for which , and a sum requires a common domain. Closed operators are therefore not automatically preserved by sums or products. Statements about adjoints, resolvents, or self-adjointness must likewise include density and domain hypotheses.
References
- Tosio Kato, Perturbation Theory for Linear Operators, Springer, 1995 reprint of the 2nd ed. Springer DOI record. Relevant: Chapter III.
- Michael Reed and Barry Simon, Methods of Modern Mathematical Physics, Volume I: Functional Analysis, Academic Press, 1980. Elsevier book record. Relevant: Chapter VIII.