Closed graph theorem

The graph of the cubic function f(x) = x³ − 9x on the interval [-4,4] is closed because the function is continuous. The graph of the Heaviside function from [-2,2] is not closed, because the function is not continuous.

In mathematics, the closed graph theorem is a basic result which characterizes continuous functions in terms of their graphs. There are several versions of the theorem.

The closed graph theorem

In mathematics, there are several results known as the "closed graph theorem".

For any function T : X → Y, we define the graph of T to be the set

\lbrace (x,y) \in X\times Y \mid Tx=y\rbrace.

In point-set topology, the closed graph theorem states the following: If X is a topological space and Y is a compact Hausdorff space, then the graph of T is closed if and only if T is continuous.^[1]

The rest of the section concerns functional analysis, where the closed graph theorem states the following: If X and Y are Banach spaces, and T : X → Y is a linear operator, then T is continuous if and only if its graph is closed in X × Y (with the product topology).

In the latter case we say that T is a closed operator. Note that the operator is required to be everywhere-defined, i.e., the domain D(T) of T is X. This condition is necessary, as there exist closed linear operators that are unbounded (not continuous); a prototypical example is provided by the derivative operator on C([0,1]) (whose domain is a strict subset of C([0,1])).

The usual proof of the closed graph theorem employs the open mapping theorem. In fact, the closed graph theorem, the open mapping theorem and the bounded inverse theorem are all equivalent. This equivalence also serves to demonstrate the necessity of X and Y being Banach; one can construct linear maps that have unbounded inverses in this setting, for example, by using either continuous functions with compact support or by using sequences with finitely many non-zero terms along with the supremum norm.

The closed graph theorem can be reformulated as follows. If T : X → Y is a linear operator between Banach spaces, then the following are equivalent:

For every sequence {x_n} in X, if the sequence {x_n} converges in X to some element x, then the sequence {T(x_n)} in Y also converges, and its limit is T(x).
For every sequence {x_n} in X, if the sequence {x_n} converges in X to some element x and the sequence {T(x_n)} in Y converges to some element y, then y = T(x).

Generalization

The closed graph theorem can be generalized to more abstract topological vector spaces in the following ways:

A linear operator from a barrelled space X to a Fréchet space Y is continuous if and only if its graph is closed in the space X×Y equipped with the product topology.

and there is a version that does not require Y to be locally convex:^[2]

If the graph of a linear map between two F-spaces is closed then the map is continuous.

and an even more general version of the closed graph theorem is^[3]

Suppose that X and Y are two topological vector spaces (they need not be Hausdorff nor locally convex) with the following property: If G is any closed subspace of

X \times Y

and u is any continuous map of G onto X, then u is an open mapping. Under this condition, if

f : X \to Y

is a linear map whose graph is closed then f is continuous.

The Borel Graph Theorem

The Borel graph theorem, proved by L. Schwartz, shows that the closed graph theorem is valid for linear maps defined on and valued in most spaces encountered in Analysis.^[4] Recall that a topological space is called a Polish space if it is a separable complete metrizable space and that a Souslin space is the continuous image of a Polish space. The weak dual of a separable Fréchet space and the strong dual of a separable Fréchet-Montel space are Souslin spaces. Also, the space of distributions and all Lp-spaces over open subsets of Euclidean space as well as many other spaces that occur in analysis are Souslin spaces. The Borel graph theorem sates:^[5]

Let X and Y be locally convex Hausdorff spaces and let

u : X \to Y

be linear. If X is the inductive limit of an arbitrary family of Banach spaces, if Y is a Souslin space, and if the graph of u is a Borel set in

X \times Y

, then u is continuous.

An improvement upon this theorem, proved by A. Martineau, uses K-analytic spaces. A topological space X is called a $K_{\sigma \delta}$ if it is the countable intersection of countable unions of compact sets. A Hausdorff topological space Y is called K-analytic if it is the continuous image of a $K_{\sigma \delta}$ space (that is, if there is a $K_{\sigma \delta}$ space X and a continuous map of X onto Y). Every compact set is K-analytic so that there are non-separable K-analytic spaces. Also, every Polish, Souslin, and reflexive Frechet space is K-analytic as is the weak dual of a Frechet space. The generalized theorems states:^[6]

Let X and Y be locally convex Hausdorff spaces and let

u : X \to Y

be linear. If X is the inductive limit of an arbitrary family of Banach spaces, if Y is a K-analytic space, and if the graph of u is closed in

X \times Y

, then u is continuous.

Notes

↑ Munkres (2000), p. 171
↑ Trèves (1995), p. 173
↑ Treves p. 169
↑ Treves p. 549
↑ Treves p. 549
↑ Treves pp. 557-558

References

Munkres, James (2000), Topology (2nd ed.), Upper Saddle River: Prentice Hall, pp. 163–172, ISBN 0-13-181629-2
Trèves, François (1995), Topological Vector Spaces, Distributions and Kernels, Academic Press, Inc., pp. 169–173, 549–557, ISBN 0-486-45352-9
Folland, Gerald B. (1984), Real Analysis: Modern Techniques and Their Applications (1st ed.), John Wiley & Sons, ISBN 978-0-471-80958-6
Rudin, Walter (1973), Functional analysis, Tata MacGraw-Hill .
Proof of closed graph theorem at PlanetMath.org.

Functional analysis

Set / subset types	Absolutely convex Absorbing Balanced Bounded Convex Radial Star-shaped Symmetric Linear cone (subset) Convex cone (subset)

TVS types	Banach Barrelled Bornological Brauner F-space Finite-dimensional Fréchet (tame) Hilbert LF-space Locally convex Mackey Montel Nuclear Normed (norm) Quasinormed Reflexive Riesz Smith Stereotype Webbed Topological tensor product (of Hilbert spaces)

Mapping topologies	Dual Dual space Operator Strong (polar operator) Ultrastrong Weak (operator) Ultraweak Uniform convergence

Linear operators	Adjoint Bilinear (form) Bounded / Unbounded Closed Continuous / Discontinuous Compact Fredholm Hilbert–Schmidt Functionals (positive) Normal Nuclear Self-adjoint Strictly singular Trace class Transpose Unitary

Set operations	Algebraic interior (core) Interior Minkowski addition Polar

Banach algebras	C-algebras Spectrum (C-algebra radius) Spectral theory

Theorems	Banach–Alaoglu Banach–Saks Banach–Mazur Bessel's inequality Cauchy–Schwarz inequality Closed range Closed graph Eberlein–Šmulian Freudenthal spectral Gelfand–Mazur Goldstine Hahn–Banach (hyperplane separation) Kakutani fixed-point Lomonosov's invariant subspace Mackey–Arens Mazur's lemma M. Riesz extension Open mapping Parseval's identity Schauder fixed-point

Analysis	Bochner space Differentiation in Fréchet spaces Derivatives (Fréchet Gâteaux functional holomorphic) Integrals (Bochner Dunford Gelfand–Pettis regulated weak) Functional calculus (Borel continuous holomorphic) Inverse function theorem (Nash–Moser theorem) Vector measure

This article is issued from Wikipedia - version of the Friday, April 22, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.