mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern 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 defi ...

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 poin ...

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 In geometry, topology, and related branches of mathematics, a closed set is a set whose complement is an open set. In a topological space, a closed set can be defined as a set which contains all its limit points. In a complete metric space, a ...

of the product space . 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 g ...

. 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 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 in on (also called a -valued multifunction on ) is a function with

domain Domain may refer to: Mathematics *Domain of a function, the set of input values for which the (total) function is defined ** Domain of definition of a partial function ** Natural domain of a partial function **Domain of holomorphy of a function * ...

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 operator 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 ...

s 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-seem ...

. :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 Closed may refer to: Mathematics * Closure (mathematics), a set, along with operations, for which applying those operations on members always results in a member of the set * Closed set, a set which contains all its limit points * Closed interval, ...

(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), ''Open'' (Blues Image album), 1969 * Open (Gotthard album), ''Open'' (Gotthard album), 1999 * Open (C ...

, sequentially closed, sequentially open) 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 ...

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 space In mathematics, more specifically in functional analysis, a Banach space (pronounced ) is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vector ...

s) 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 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", i ...

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 called ...

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 Britis ...

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 In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in val ...

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 Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, ...

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, unc ...

(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 space In mathematics, a normed vector space or normed space is a vector space over the real or complex numbers, on which a norm is defined. A norm is the formalization and the generalization to real vector spaces of the intuitive notion of "length ...

s 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

s) is continuous, where recall that if and are

s 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 In mathematics, an injective function (also known as injection, or one-to-one function) is a function that maps distinct elements of its domain to distinct elements; that is, implies . (Equivalently, implies in the equivalent contrapositi ...

then its

inverse Inverse or invert may refer to: Science and mathematics * Inverse (logic), a type of conditional sentence which is an immediate inference made from another conditional sentence * Additive inverse (negation), the inverse of a number that, when a ...

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

s 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