In mathematics, particularly in

functional analysis Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (e.g. inner product, norm, topology, etc.) and the linear functions defined o ...

and

topology In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing ...

, closed graph is a property of functions. A function between

topological space In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called po ...

s has a closed graph if its

graph Graph may refer to: Mathematics *Graph (discrete mathematics), a structure made of vertices and edges **Graph theory, the study of such graphs and their properties *Graph (topology), a topological space resembling a graph in the sense of discre ...

is a closed subset of the

product space In topology and related areas of mathematics, a product space is the Cartesian product of a family of topological spaces equipped with a natural topology called the product topology. This topology differs from another, perhaps more natural-seemi ...

. A related property is open graph. This property is studied because there are many theorems, known as

closed graph theorem 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. Graphs and m ...

s, giving conditions under which a function with a closed graph is necessarily

continuous Continuity or continuous may refer to: Mathematics * Continuity (mathematics), the opposing concept to discreteness; common examples include ** Continuous probability distribution or random variable in probability and statistics ** 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

of a

function Function or functionality may refer to: Computing * Function key, a type of key on computer keyboards * Function model, a structured representation of processes in a system * Function object or functor or functionoid, a concept of object-oriente ...

is the set ::. :Notation: If is a set then the

power set In mathematics, the power set (or powerset) of a set is the set of all subsets of , including the empty set and itself. In axiomatic set theory (as developed, for example, in the ZFC axioms), the existence of the power set of any set is post ...

of , which is the set of all subsets of , is denoted by or . :Definition: If and are sets, a

set-valued function A set-valued function (or correspondence) is a mathematical function that maps elements from one set, the domain of the function, to subsets of another set. Set-valued functions are used in a variety of mathematical fields, including optimizatio ...

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 In mathematics, a topological vector space (also called a linear topological space and commonly abbreviated TVS or t.v.s.) is one of the basic structures investigated in functional analysis. A topological vector space is a vector space that is als ...

(and not necessarily defined on all of ). This particular case is one of the main reasons why functions with closed graphs are studied in

. :Assumptions: Throughout, and are

s, , and is a -valued function or set-valued function on (i.e. or ). will always be endowed with the

product topology In topology and related areas of mathematics, a product space is the Cartesian product of a family of topological spaces equipped with a natural topology called the product topology. This topology differs from another, perhaps more natural-s ...

. :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 Open or OPEN may refer to: Music * Open (band), Australian pop/rock band * The Open (band), English indie rock band * ''Open'' (Blues Image album), 1969 * ''Open'' (Gotthard album), 1999 * ''Open'' (Cowboy Junkies album), 2001 * ''Open'' ( ...

sequentially closed In topology and related fields of mathematics, a sequential space is a topological space whose topology can be completely characterized by its convergent/divergent sequences. They can be thought of as spaces that satisfy a very weak axiom of counta ...

sequentially open In topology and related fields of mathematics, a sequential space is a topological space whose topology can be completely characterized by its convergent/divergent sequences. They can be thought of as spaces that satisfy a very weak axiom of counta ...

) subset of when is endowed with the

. 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

s and is a

linear map In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pr ...

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

, if is a

between

s (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

whose graph is closed. Otherwise, especially in literature about

point-set topology In mathematics, general topology is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geomet ...

, " is closed" may instead mean the following: :Definition: A map between topological spaces is called a

closed map In mathematics, more specifically in topology, an open map is a function between two topological spaces that maps open sets to open sets. That is, a function f : X \to Y is open if for any open set U in X, the image f(U) is open in Y. Likewise, ...

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 Net or net may refer to: Mathematics and physics * Net (mathematics), a filter-like topological generalization of a sequence * Net, a linear system of divisors of dimension 2 * Net (polyhedron), an arrangement of polygons that can be folded up ...

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 In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", ...

then we may add to this list: #

is continuous;

and if both and are

first-countable In topology, a branch of mathematics, a first-countable space is a topological space satisfying the "first axiom of countability". Specifically, a space X is said to be first-countable if each point has a countable neighbourhood basis (local base) ...

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 mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is calle ...

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 Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to: * Interstate compact * Blood compact, an ancient ritual of the Philippines * Compact government, a type of colonial rule utilized in British ...

and Hausdorff then we may add to this list: #

upper hemicontinuous In mathematics, the notion of the continuity of functions is not immediately extensible to multivalued mappings or correspondences between two sets ''A'' and ''B''. The dual concepts of upper hemicontinuity and lower hemicontinuity facilitate su ...

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

s. Closed graph theorems are of particular interest in

where there are many theorems giving conditions under which a

with a closed graph is necessarily continuous. * If is a function between topological spaces whose graph is closed in and if is a

then is continuous.

Examples

Continuous but ''not'' closed maps

* Let denote the real numbers with the usual

Euclidean topology In mathematics, and especially general topology, the Euclidean topology is the natural topology induced on n-dimensional Euclidean space \R^n by the Euclidean metric. Definition The Euclidean norm on \R^n is the non-negative function \, \cdot\, ...

and let denote with the

indiscrete topology In topology, a topological space with the trivial topology is one where the only open sets are the empty set and the entire space. Such spaces are commonly called indiscrete, anti-discrete, concrete or codiscrete. Intuitively, this has the conseque ...

(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

. 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

, let denote with the

discrete topology In topology, a discrete space is a particularly simple example of a topological space or similar structure, one in which the points form a , meaning they are ''isolated'' from each other in a certain sense. The discrete topology is the finest top ...

, and let be the

identity map Graph of the identity function on the real numbers In mathematics, an identity function, also called an identity relation, identity map or identity transformation, is a function that always returns the value that was used as its argument, un ...

(i.e. for every ). Then is a

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

(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

s (TVSs) then we call a

a closed linear operator if its graph is closed in .

Closed graph theorem

The

states that any closed linear operator between two

F-space In functional analysis, an F-space is a vector space X over the real or complex numbers together with a metric d : X \times X \to \R such that # Scalar multiplication in X is continuous with respect to d and the standard metric on \R or \Complex ...

s (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 Graph of the identity function on the real numbers In mathematics, an identity function, also called an identity relation, identity map or identity transformation, is a function that always returns the value that was used as its argument, un ...

; * If is closed, then its

kernel Kernel may refer to: Computing * Kernel (operating system), the central component of most operating systems * Kernel (image processing), a matrix used for image convolution * Compute kernel, in GPGPU programming * Kernel method, in machine learn ...

(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 In mathematics, the derivative of a function of a real variable measures the sensitivity to change of the function value (output value) with respect to a change in its argument (input value). Derivatives are a fundamental tool of calculus. ...

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 .

References

* * * * * * * * * * Functional analysis {{mathanalysis-stub