Closed Graph Property

In mathematics, particularly in functional analysis and topology, closed graph is a property of functions.
A function between topological spaces has a closed graph if its graph is a closed subset of the product space .
A related property is open graph.

This property is studied because there are many theorems, known as closed graph theorems, giving conditions under which a function with a closed graph is necessarily continuous. One particularly well-known class of closed graph theorems are the closed graph theorems in functional analysis.

Definitions

Graphs and set-valued functions

:Definition and notation: The graph of a function is the set
::.

:Notation: If is a set then the power set of , which is the set of all subsets of , is denoted by or .

:Definition: If and are sets, a set-valued function in on (also called a -valued multifunction on ) is a function with domain that is valued in . That is, is a function on such that for every , is a subset of .
:* Some authors call a function a set-valued function only if it satisfies the additional requirement that is not empty for every ; this article does not require this.

:Definition and notation: If is a set-valued function in a set then the graph of is the set
::.

:Definition: A function can be canonically identified with the set-valued function defined by for every , where is called the canonical set-valued function induced by (or associated with) .
:*Note that in this case, .

Open and closed graph

We give the more general definition of when a -valued function or set-valued function defined on a ''subset'' of has a closed graph since this generality is needed in the study of closed linear operators that are defined on a dense subspace of a topological vector space (and not necessarily defined on all of ).
This particular case is one of the main reasons why functions with closed graphs are studied in functional analysis.

:Assumptions: Throughout, and are topological spaces, , and is a -valued function or set-valued function on (i.e. or ). will always be endowed with the product topology.

:Definition: We say that   has a closed graph (resp. open graph, sequentially closed graph, sequentially open graph) in if the graph of , , is a closed (resp. open, sequentially closed, sequentially open) subset of when is endowed with the product topology. If or if is clear from context then we may omit writing "in "

:Observation: If is a function and is the canonical set-valued function induced by   (i.e. is defined by for every ) then since , has a closed (resp. sequentially closed, open, sequentially open) graph in if and only if the same is true of .

Closable maps and closures

:Definition: We say that the function (resp. set-valued function) is closable in if there exists a subset containing and a function (resp. set-valued function) whose graph is equal to the closure of the set in . Such an is called a closure of in , is denoted by , and necessarily extends .
:*Additional assumptions for linear maps: If in addition, , , and are topological vector spaces and is a linear map then to call closable we also require that the set be a vector subspace of and the closure of be a linear map.

:Definition: If is closable on then a core or essential domain of is a subset such that the closure in of the graph of the restriction of to is equal to the closure of the graph of in (i.e. the closure of in is equal to the closure of in ).

Closed maps and closed linear operators

:Definition and notation: When we write then we mean that is a -valued function with domain where . If we say that is closed (resp. sequentially closed) or has a closed graph (resp. has a sequentially closed graph) then we mean that the graph of is closed (resp. sequentially closed) in (rather than in ).

When reading literature in functional analysis, if is a linear map between topological vector spaces (TVSs) (e.g. Banach spaces) then " is closed" will almost always means the following:

:Definition: A map is called closed if its graph is closed in . In particular, the term "closed linear operator" will almost certainly refer to a linear map whose graph is closed.

Otherwise, especially in literature about point-set topology, " is closed" may instead mean the following:

:Definition: A map between topological spaces is called a closed map if the image of a closed subset of is a closed subset of .

These two definitions of "closed map" are not equivalent.
If it is unclear, then it is recommended that a reader check how "closed map" is defined by the literature they are reading.

Characterizations

Throughout, let and be topological spaces.

;Function with a closed graph

If is a function then the following are equivalent:

#   has a closed graph (in );
# (definition) the graph of , , is a closed subset of ;
# for every and net in such that in , if is such that the net in then ;
#* Compare this to the definition of continuity in terms of nets, which recall is the following: for every and net in such that in , in .
#* Thus to show that the function has a closed graph we ''may'' assume that converges in to some (and then show that ) while to show that is continuous we may ''not'' assume that converges in to some and we must instead prove that this is true (and moreover, we must more specifically prove that converges to in ).

and if is a Hausdorff compact space then we may add to this list:
#

  is continuous;

and if both and are first-countable spaces then we may add to this list:
#

  has a sequentially closed graph (in );

;Function with a sequentially closed graph

If is a function then the following are equivalent:
#   has a sequentially closed graph (in );
# (definition) the graph of is a sequentially closed subset of ;
# for every and sequence in such that in , if is such that the net in then ;

;set-valued function with a closed graph

If is a set-valued function between topological spaces and then the following are equivalent:
#   has a closed graph (in );
# (definition) the graph of is a closed subset of ;

and if is compact and Hausdorff then we may add to this list:

#

is upper hemicontinuous and is a closed subset of for all ;

and if both and are metrizable spaces then we may add to this list:
#

for all , , and sequences in and in such that in and in , and for all , then .

Sufficient conditions for a closed graph

* If is a continuous function between topological spaces and if is Hausdorff then   has a closed graph in .
** Note that if is a function between Hausdorff topological spaces then it is possible for   to have a closed graph in but ''not'' be continuous.

Closed graph theorems: When a closed graph implies continuity

Conditions that guarantee that a function with a closed graph is necessarily continuous are called closed graph theorems.
Closed graph theorems are of particular interest in functional analysis where there are many theorems giving conditions under which a linear map with a closed graph is necessarily continuous.

* If is a function between topological spaces whose graph is closed in and if is a compact space then is continuous.

Examples

Continuous but ''not'' closed maps

* Let denote the real numbers with the usual Euclidean topology and let denote with the indiscrete topology (where note that is ''not'' Hausdorff and that every function valued in is continuous). Let be defined by and for all . Then is continuous but its graph is ''not'' closed in .
* If is any space then the identity map is continuous but its graph, which is the diagonal , is closed in if and only if is Hausdorff. In particular, if is not Hausdorff then is continuous but ''not'' closed.
* If is a continuous map whose graph is not closed then is ''not'' a Hausdorff space.

Closed but ''not'' continuous maps

* Let and both denote the real numbers with the usual Euclidean topology. Let be defined by and for all . Then has a closed graph (and a sequentially closed graph) in but it is ''not'' continuous (since it has a discontinuity at ).
* Let denote the real numbers with the usual Euclidean topology, let denote with the discrete topology, and let be the identity map (i.e. for every ). Then is a linear map whose graph is closed in but it is clearly ''not'' continuous (since singleton sets are open in but not in ).
* Let be a Hausdorff TVS and let be a vector topology on that is strictly finer than . Then the identity map a closed discontinuous linear operator.

Closed linear operators

Every continuous linear operator valued in a Hausdorff topological vector space (TVS) has a closed graph and recall that a linear operator between two normed spaces is continuous if and only if it is bounded.

:Definition: If and are topological vector spaces (TVSs) then we call a linear map a closed linear operator if its graph is closed in .

Closed graph theorem

The closed graph theorem states that any closed linear operator between two F-spaces (such as Banach spaces) is continuous, where recall that if and are Banach spaces then being continuous is equivalent to being bounded.

Basic properties

The following properties are easily checked for a linear operator between Banach spaces:

* If is closed then is closed where is a scalar and is the identity function;
* If is closed, then its kernel (or nullspace) is a closed vector subspace of ;
* If is closed and injective then its inverse is also closed;
* A linear operator admits a closure if and only if for every and every pair of sequences and in both converging to in , such that both and converge in , one has .

Example

Consider the derivative operator where is the Banach space of all continuous functions on an interval .
If one takes its domain to be , then is a closed operator, which is not bounded.
On the other hand if , then will no longer be closed, but it will be closable, with the closure being its extension defined on .

See also

*
*
*
*
*
*

References

*
*
*
*
*
*
*
*
*
*

Functional analysis

{{mathanalysis-stub