View source for Closed graph theorem

{{Short description|Theorem relating continuity to graphs}}
{{multiple image
| footer = The graph of the [[Cubic function|cubic function]] <math>f(x) = x^3 - 9x</math> on the interval <math>[-4, 4]</math> is closed because the function is [[Continuous function|continuous]]. The graph of the Heaviside function on <math>[-2, 2]</math> is not closed, because the function is not continuous.
| width     = 200
| image1    = cubicpoly.png
| alt1      = A cubic function
| image2    = Dirac distribution CDF.svg
| alt2      = The Heaviside function
}}
In [[Mathematics|mathematics]], the '''closed graph theorem''' may refer to one of several basic results characterizing [[Continuous function|continuous function]]s in terms of their [[Graph of a function|graph]]s. 
Each gives conditions when functions with [[Closed graph|closed graph]]s are necessarily continuous.

== Graphs and maps with closed graphs ==
{{Main|Closed graph}}

If <math>f : X \to Y</math> is a map between [[Topological space|topological space]]s then the '''graph''' of <math>f</math> is the set <math>\operatorname{Gr} f := \{ (x, f(x)) : x \in X \}</math> or equivalently,
<math display=block>\operatorname{Gr} f := \{ (x, y) \in X \times Y : y = f(x) \}</math>
It is said that '''the graph of <math>f</math> is closed''' if <math>\operatorname{Gr} f</math> is a [[Closed set|closed subset]] of <math>X \times Y</math> (with the [[Product topology|product topology]]).

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

Any linear map, <math>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>L</math> is sequentially continuous in the sense of the product topology, then the map <math>L</math> is continuous and its graph, {{math|Gr ''L''}}, is necessarily closed. Conversely, if <math>L</math> is such a linear map with, in place of (1a), the graph of <math>L</math> is (1b) known to be closed in the Cartesian product space <math>X \times Y</math>, then <math>L</math> is continuous and therefore necessarily sequentially continuous.{{sfn|Rudin|1991|p=51-52}} 

=== Examples of continuous maps that do ''not'' have a closed graph ===

If <math>X</math> is any space then the identity map <math>\operatorname{Id} : X \to X</math> is continuous but its graph, which is the diagonal <math>\operatorname{Gr} \operatorname{Id} := \{ (x, x) : x \in X \},</math>, is closed in <math>X \times X</math> if and only if <math>X</math> is Hausdorff.{{sfn|Rudin|1991|p=50}} In particular, if <math>X</math> is not Hausdorff then <math>\operatorname{Id} : X \to X</math> is continuous but does {{em|not}} have a closed graph. 

Let <math>X</math> denote the real numbers <math>\R</math> with the usual [[Euclidean topology]] and let <math>Y</math> denote <math>\R</math> with the indiscrete topology (where note that <math>Y</math> is {{em|not}} Hausdorff and that every function valued in <math>Y</math> is continuous). Let <math>f : X \to Y</math> be defined by <math>f(0) = 1</math> and <math>f(x) = 0</math> for all <math>x \neq 0</math>. Then <math>f : X \to Y</math> is continuous but its graph is {{em|not}} closed in <math>X \times Y</math>.{{sfn|Narici|Beckenstein|2011|pp=459-483}}

== Closed graph theorem in point-set topology ==

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

{{Math theorem
| name = Closed graph theorem{{sfn|Munkres|2000|pp=163–172}}
| math_statement = If <math>f : X \to Y</math> is a map from a [[Topological space|topological space]] <math>X</math> into a [[Hausdorff space]] <math>Y,</math> then the graph of <math>f</math> is closed if <math>f : X \to Y</math> is continuous. The converse is true when <math>Y</math> is [[Compact space|compact]]. (Note that compactness and Hausdorffness do not imply each other.)
}}

{{Math proof|title=Proof|drop=hidden|proof=

First part is essentially by definition.

Second part: 

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

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

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

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

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

Suppose not, then there is some unruly <math>x'\in U</math> such that <math>f(x') \not\in V</math> , then that would imply <math>f(x')\in V_{y'_i}</math> for some <math>i</math> by open covering, but then <math>(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>f</math> .
}}Non-Hausdorff spaces are rarely seen, but non-compact spaces are common. An example of non-compact <math>Y</math> is the real line, which allows the discontinuous function with closed graph <math>f(x) = \begin{cases}
\frac 1 x \text{ if }x\neq 0,\\
0\text{ else}
\end{cases}</math>.

=== For set-valued functions ===

{{Math theorem
| name = Closed graph theorem for set-valued functions<ref name="aliprantis">{{cite book|title=Infinite Dimensional Analysis: A Hitchhiker's Guide|last=Aliprantis|first=Charlambos|author2=Kim C. Border|publisher=Springer|year=1999|edition=3rd|chapter=Chapter 17}}</ref>
| math_statement = For a [[Hausdorff space|Hausdorff]] [[Compact space|compact]] range space <math>Y</math>, a set-valued function <math>F : X \to 2^Y</math> has a closed graph if and only if it is upper hemicontinuous and {{math|''F''(''x'')}} is a closed set for all <math>x \in X</math>.
}}

== In functional analysis ==
{{Main|Closed graph theorem (functional analysis)}}

If <math>T : X \to Y</math> is a linear operator between [[Topological vector space|topological vector space]]s (TVSs) then we say that <math>T</math> is a '''closed operator''' if the graph of <math>T</math> is closed in <math>X \times Y</math> when <math>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.

{{Math theorem|name=Theorem{{sfn|Schaefer|Wolff|1999|p=78}}<ref>{{harvtxt|Trèves|2006}}, p. 173</ref>|math_statement=
A linear map between two [[F-space]]s (e.g. [[Banach space]]s) is continuous if and only if its graph is closed.
}}

== See also ==

* {{annotated link|Almost open linear map}}
* {{annotated link|Barrelled space}}
* {{annotated link|Closed graph}}
* {{annotated link|Discontinuous linear map}}
* {{annotated link|Kakutani fixed-point theorem}}
* {{annotated link|Open mapping theorem (functional analysis)}}
* {{annotated link|Ursescu theorem}}
* {{annotated link|Webbed space}}
* {{annotated link|Zariski's main theorem}}

== Notes ==

{{reflist|group=note}}
{{reflist|group=proof}}

== References ==

{{reflist}}

== Bibliography ==

* {{Bourbaki Topological Vector Spaces}} <!-- {{sfn|Bourbaki|1987|p=}} -->
* {{citation|last=Folland|first = Gerald B.|title=Real Analysis: Modern Techniques and Their Applications|edition=1st|publisher={{wipe|John Wiley & Sons}}|year=1984|isbn=978-0-471-80958-6}}
* {{Jarchow Locally Convex Spaces}} <!-- {{sfn|Jarchow|1981|p=}} -->
* {{Köthe Topological Vector Spaces I}} <!-- {{sfn|Köthe|1983|p=}} -->
* {{Munkres Topology|edition=2}} <!-- {{sfn|Munkres|2000|p=}} -->
* {{Narici Beckenstein Topological Vector Spaces|edition=2}} <!-- {{sfn|Narici|Beckenstein|2011|pp=}} -->
* {{Rudin Walter Functional Analysis|edition=2}} <!-- {{sfn|Rudin|1991|p=}} -->
* {{Schaefer Wolff Topological Vector Spaces}}
* {{Trèves François Topological vector spaces, distributions and kernels}} <!-- {{sfn|Trèves|2006|p=}} -->
* {{Wilansky Modern Methods in Topological Vector Spaces}} <!-- {{sfn|Wilansky|2013|p=}} -->
* {{Zălinescu Convex Analysis in General Vector Spaces 2002}} <!-- {{sfn|Zălinescu|2002|pp=}} -->
* {{planetmath reference|urlname=ProofOfClosedGraphTheorem|title=Proof of closed graph theorem }}

{{Functional Analysis}}
{{TopologicalVectorSpaces}}

[[Category:Theorems in functional analysis]]

{{Sourceattribution|Closed graph theorem}}