Closed graph theorem

Short description: Theorem relating continuity to graphs

The graph of the cubic function [math]\displaystyle{ f(x) = x^3 - 9x }[/math] on the interval [math]\displaystyle{ [-4, 4] }[/math] is closed because the function is continuous. The graph of the Heaviside function on [math]\displaystyle{ [-2, 2] }[/math] is not closed, because the function is not continuous.

In mathematics, the closed graph theorem may refer to one of several basic results characterizing continuous functions in terms of their graphs. Each gives conditions when functions with closed graphs are necessarily continuous.

## Contents

* 1 Graphs and maps with closed graphs
* 1.1 Examples of continuous maps that do not have a closed graph
* 2 Closed graph theorem in point-set topology
* 2.1 For set-valued functions
* 3 In functional analysis
* 4 See also
* 5 Notes
* 6 References
* 7 Bibliography

## Graphs and maps with closed graphs

Main page: Closed graph

If [math]\displaystyle{ f : X \to Y }[/math] is a map between topological spaces then the graph of [math]\displaystyle{ f }[/math] is the set [math]\displaystyle{ \operatorname{Gr} f := \\{ (x, f(x)) : x \in X \\} }[/math] or equivalently, [math]\displaystyle{ \operatorname{Gr} f := \\{ (x, y) \in X \times Y : y = f(x) \\} }[/math] It is said that the graph of [math]\displaystyle{ f }[/math] is closed if [math]\displaystyle{ \operatorname{Gr} f }[/math] is a closed subset of [math]\displaystyle{ X \times Y }[/math] (with the product topology).

Any continuous function into a Hausdorff space has a closed graph.

Any linear map, [math]\displaystyle{ L : X \to Y, }[/math] between two topological vector spaces whose topologies are (Cauchy) complete with respect to translation invariant metrics, and if in addition (1a) [math]\displaystyle{ L }[/math] is sequentially continuous in the sense of the product topology, then the map [math]\displaystyle{ L }[/math] is continuous and its graph, Gr L, is necessarily closed. Conversely, if [math]\displaystyle{ L }[/math] is such a linear map with, in place of (1a), the graph of [math]\displaystyle{ L }[/math] is (1b) known to be closed in the Cartesian product space [math]\displaystyle{ X \times Y }[/math], then [math]\displaystyle{ L }[/math] is continuous and therefore necessarily sequentially continuous.[1]

### Examples of continuous maps that do not have a closed graph

If [math]\displaystyle{ X }[/math] is any space then the identity map [math]\displaystyle{ \operatorname{Id} : X \to X }[/math] is continuous but its graph, which is the diagonal [math]\displaystyle{ \operatorname{Gr} \operatorname{Id} := \\{ (x, x) : x \in X \\}, }[/math], is closed in [math]\displaystyle{ X \times X }[/math] if and only if [math]\displaystyle{ X }[/math] is Hausdorff.[2] In particular, if [math]\displaystyle{ X }[/math] is not Hausdorff then [math]\displaystyle{ \operatorname{Id} : X \to X }[/math] is continuous but does not have a closed graph.

Let [math]\displaystyle{ X }[/math] denote the real numbers [math]\displaystyle{ \R }[/math] with the usual Euclidean topology and let [math]\displaystyle{ Y }[/math] denote [math]\displaystyle{ \R }[/math] with the indiscrete topology (where note that [math]\displaystyle{ Y }[/math] is not Hausdorff and that every function valued in [math]\displaystyle{ Y }[/math] is continuous). Let [math]\displaystyle{ f : X \to Y }[/math] be defined by [math]\displaystyle{ f(0) = 1 }[/math] and [math]\displaystyle{ f(x) = 0 }[/math] for all [math]\displaystyle{ x \neq 0 }[/math]. Then [math]\displaystyle{ f : X \to Y }[/math] is continuous but its graph is not closed in [math]\displaystyle{ X \times Y }[/math].[3]

## Closed graph theorem in point-set topology

In point-set topology, the closed graph theorem states the following:

Closed graph theorem[4] -- If [math]\displaystyle{ f : X \to Y }[/math] is a map from a topological space [math]\displaystyle{ X }[/math] into a Hausdorff space [math]\displaystyle{ Y, }[/math] then the graph of [math]\displaystyle{ f }[/math] is closed if [math]\displaystyle{ f : X \to Y }[/math] is continuous. The converse is true when [math]\displaystyle{ Y }[/math] is compact. (Note that compactness and Hausdorffness do not imply each other.)

Proof

First part is essentially by definition.

Second part:

For any open [math]\displaystyle{ V\subset Y }[/math] , we check [math]\displaystyle{ f^{-1}(V) }[/math] is open. So take any [math]\displaystyle{ x\in f^{-1}(V) }[/math] , we construct some open neighborhood [math]\displaystyle{ U }[/math] of [math]\displaystyle{ x }[/math] , such that [math]\displaystyle{ f(U)\subset V }[/math] .

Since the graph of [math]\displaystyle{ f }[/math] is closed, for every point [math]\displaystyle{ (x, y') }[/math] on the "vertical line at x", with [math]\displaystyle{ y'\neq f(x) }[/math] , draw an open rectangle [math]\displaystyle{ U_{y'}\times V_{y'} }[/math] disjoint from the graph of [math]\displaystyle{ f }[/math] . These open rectangles, when projected to the y-axis, cover the y-axis except at [math]\displaystyle{ f(x) }[/math] , so add one more set [math]\displaystyle{ V }[/math].

Naively attempting to take [math]\displaystyle{ U:= \bigcap_{y'\neq f(x)} U_{y'} }[/math] would construct a set containing [math]\displaystyle{ x }[/math], but it is not guaranteed to be open, so we use compactness here.

Since [math]\displaystyle{ Y }[/math] is compact, we can take a finite open covering of [math]\displaystyle{ Y }[/math] as [math]\displaystyle{ \\{V, V_{y'_1}, ..., V_{y'_n}\\} }[/math].

Now take [math]\displaystyle{ U:= \bigcap_{i=1}^n U_{y'_i} }[/math]. It is an open neighborhood of [math]\displaystyle{ x }[/math], since it is merely a finite intersection. We claim this is the open neighborhood of [math]\displaystyle{ U }[/math] that we want.

Suppose not, then there is some unruly [math]\displaystyle{ x'\in U }[/math] such that [math]\displaystyle{ f(x') \not\in V }[/math] , then that would imply [math]\displaystyle{ f(x')\in V_{y'_i} }[/math] for some [math]\displaystyle{ i }[/math] by open covering, but then [math]\displaystyle{ (x', f(x'))\in U\times V_{y'_i} \subset U_{y'_i}\times V_{y'_i} }[/math] , a contradiction since it is supposed to be disjoint from the graph of [math]\displaystyle{ f }[/math] .

Non-Hausdorff spaces are rarely seen, but non-compact spaces are common. An example of non-compact [math]\displaystyle{ Y }[/math] is the real line, which allows the discontinuous function with closed graph [math]\displaystyle{ f(x) = \begin{cases} \frac 1 x \text{ if }x\neq 0,\\\ 0\text{ else} \end{cases} }[/math].

### For set-valued functions

Closed graph theorem for set-valued functions[5] -- For a Hausdorff compact range space [math]\displaystyle{ Y }[/math], a set-valued function [math]\displaystyle{ F : X \to 2^Y }[/math] has a closed graph if and only if it is upper hemicontinuous and F(x) is a closed set for all [math]\displaystyle{ x \in X }[/math].

## In functional analysis

Main page: Closed graph theorem (functional analysis)

If [math]\displaystyle{ T : X \to Y }[/math] is a linear operator between topological vector spaces (TVSs) then we say that [math]\displaystyle{ T }[/math] is a closed operator if the graph of [math]\displaystyle{ T }[/math] is closed in [math]\displaystyle{ X \times Y }[/math] when [math]\displaystyle{ X \times Y }[/math] is endowed with the product topology.

The closed graph theorem is an important result in functional analysis that guarantees that a closed linear operator is continuous under certain conditions. The original result has been generalized many times. A well known version of the closed graph theorems is the following.

Theorem[6][7] -- A linear map between two F-spaces (e.g. Banach spaces) is continuous if and only if its graph is closed.

## See also

* Almost open linear map
* Barrelled space - Type of topological vector space
* Closed graph - Graph of a map closed in the product space
* Discontinuous linear map
* Kakutani fixed-point theorem - Fixed-point theorem for set-valued functions
* Open mapping theorem (functional analysis) - Condition for a linear operator to be open
* Ursescu theorem - Generalization of closed graph, open mapping, and uniform boundedness theorem
* Webbed space - Space where open mapping and closed graph theorems hold
* Zariski's main theorem - Theorem of algebraic geometry and commutative algebra

## Notes

## References

1. ↑ Rudin 1991, p. 51-52.
2. ↑ Rudin 1991, p. 50.
3. ↑ Narici & Beckenstein 2011, pp. 459-483.
4. ↑ Munkres 2000, pp. 163–172.
5. ↑ Aliprantis, Charlambos; Kim C. Border (1999). "Chapter 17". Infinite Dimensional Analysis: A Hitchhiker's Guide (3rd ed.). Springer.
6. ↑ Schaefer & Wolff 1999, p. 78.
7. ↑ (Trèves 2006), p. 173

## Bibliography

* Bourbaki, Nicolas (1987). Topological Vector Spaces: Chapters 1–5. Éléments de mathématique. 2. Berlin New York: Springer-Verlag. ISBN 978-3-540-42338-6. OCLC 17499190. http://www.numdam.org/item?id=AIF_1950__2__5_0.
* Folland, Gerald B. (1984), Real Analysis: Modern Techniques and Their Applications (1st ed.), John Wiley & Sons, ISBN 978-0-471-80958-6
* Jarchow, Hans (1981). Locally convex spaces. Stuttgart: B.G. Teubner. ISBN 978-3-519-02224-4. OCLC 8210342.
* Köthe, Gottfried (1969). Topological Vector Spaces I. Grundlehren der mathematischen Wissenschaften. 159. New York: Springer Science & Business Media. ISBN 978-3-642-64988-2. OCLC 840293704.
* Munkres, James R. (2000). Topology (Second ed.). Upper Saddle River, NJ: Prentice Hall, Inc. ISBN 978-0-13-181629-9. OCLC 42683260.
* Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
* Rudin, Walter (January 1, 1991). Functional Analysis. International Series in Pure and Applied Mathematics. 8 (Second ed.). New York, NY: McGraw-Hill Science/Engineering/Math. ISBN 978-0-07-054236-5. OCLC 21163277. https://archive.org/details/functionalanalys00rudi.
* Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
* Trèves, François (August 6, 2006). Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.
* Wilansky, Albert (2013). Modern Methods in Topological Vector Spaces. Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.
* Template:Zălinescu Convex Analysis in General Vector Spaces 2002
* "Proof of closed graph theorem". http://planetmath.org/?op=getobj&from=objects&id={{{id}}}.

* v
* t
* e

Functional analysis (topics)

Topological vector spaces|

* Asplund
* Banach (list)
* Banach lattice
* Barrelled
* Bornological
* Brauner
* F-space
* Fréchet (tame)
* Hilbert (Inner product space
* Polarization identity)
* LF-space
* Locally convex (Seminorms/Minkowski functionals)
* Mackey
* Montel
* Nuclear
* Normed (norm)
* Quasinormed
* Reflexive
* Riesz
* Smith
* Stereotype
* Strictly convex
* Webbed
* Topological tensor product (of Hilbert spaces)

Topologies of function spaces|

* Dual
* Dual space (Dual norm)
* Operator
* Ultraweak
* Weak (polar
* operator)
* Mackey
* Strong (polar
* operator)
* Ultrastrong
* Uniform convergence

Linear operators|

* Adjoint
* Bilinear (form
* operator
* sesquilinear)
* (Un)Bounded
* Closed
* Compact (on Hilbert spaces)
* (Dis)Continuous
* Densely defined
* Fredholm
* Hilbert–Schmidt
* Functionals (positive)
* Normal
* Nuclear
* Self-adjoint
* Strictly singular
* Trace class
* Transpose
* Unitary

Operator theory|

* Banach algebras
* C*-algebras
* Spectrum (C*-algebra
* radius)
* Spectral theory (of ODEs
* Spectral theorem)
* Polar decomposition
* Singular value decomposition

Theorems|

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

Analysis|

* Abstract Wiener space
* Bochner space
* Differentiation in Fréchet spaces
* Derivatives (Fréchet
* Gateaux
* functional
* holomorphic)
* Integrals (Bochner
* Dunford
* Gelfand–Pettis
* regulated
* Paley–Wiener
* weak)
* Functional calculus (Borel
* continuous
* holomorphic)
* Inverse function theorem (Nash–Moser theorem)
* Measures (Lebesgue
* Projection-valued
* Vector)
* Weakly measurable function

Types of sets|

* Absolutely convex
* Absorbing
* Balanced
* Bounded
* Convex
* Convex cone (subset)
* Linear cone (subset)
* Radial
* Star-shaped
* Symmetric
* Zonotope

Subsets / set operations|

* Algebraic interior (core)
* Bounding points
* Convex hull
* Extreme point
* Interior
* Minkowski addition
* Polar

* v
* t
* e

Topological vector spaces (TVSs)

Basic concepts|

* Banach space
* Continuous linear operator
* Functionals
* Hilbert space
* Linear operators
* Locally convex space
* Homomorphism
* Topological vector space
* Vector space

Main results|

* Closed graph theorem
* F. Riesz's theorem
* Hahn–Banach (hyperplane separation
* Vector-Valued Hahn-Banach)
* Open mapping (Banach–Schauder) (Bounded inverse)
* Uniform boundedness (Banach–Steinhaus)

Maps|

* Almost open
* Bilinear (form
* operator) and Sesquilinear forms
* Closed
* Compact operator
* Continuous and Discontinuous Linear maps
* Densely defined
* Homomorphism
* Functionals
* Norm
* Operator
* Seminorm
* Sublinear
* Transpose

Types of sets|

* Absolutely convex/disk
* Absorbing/Radial
* Affine
* Balanced/Circled
* Banach disks
* Bounding points
* Bounded
* Complemented subspace
* Convex
* Convex cone (subset)
* Linear cone (subset)
* Extreme point
* Pre-compact/Totally bounded
* Radial
* Radially convex/Star-shaped
* Symmetric

Set operations|

* Affine hull
* (Relative) Algebraic interior (core)
* Convex hull
* Linear span
* Minkowski addition
* Polar
* (Quasi) Relative interior

Types of TVSs|

* Asplund
* B-complete/Ptak
* Banach
* (Countably) Barrelled
* (Ultra-) Bornological
* Brauner
* Complete
* (DF)-space
* Distinguished
* F-space
* Fréchet (tame Fréchet)
* Grothendieck
* Hilbert
* Infrabarreled
* Interpolation space
* LB-space
* LF-space
* Locally convex space
* Mackey
* (Pseudo)Metrizable
* Montel
* Quasibarrelled
* Quasi-complete
* Quasinormed
* (Polynomially
* Semi-) Reflexive
* Riesz
* Schwartz
* Semi-complete
* Smith
* Stereotype
* (B
* Strictly
* Uniformly convex
* (Quasi-) Ultrabarrelled
* Uniformly smooth
* Webbed
* With the Approximation property

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Closed graph theorem. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Closed_graph_theorem&oldid=2648898"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template