Английская Википедия:Closed graph theorem

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Short description Шаблон:About Шаблон:Multiple image 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 maps with closed graphs

Шаблон:Main

If <math>f : X \to Y</math> is a map between topological spaces 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 subset of <math>X \times Y</math> (with the 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, 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

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 In particular, if <math>X</math> is not Hausdorff then <math>\operatorname{Id} : X \to X</math> is continuous but does Шаблон:Em 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 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 closed in <math>X \times Y</math>.Шаблон:Sfn

Closed graph theorem in point-set topology

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

Шаблон:Math theorem

Шаблон:Math proofNon-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

In functional analysis

Шаблон:Main

If <math>T : X \to Y</math> is a linear operator between topological vector spaces (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

See also

Notes

Шаблон:Reflist Шаблон:Reflist

References

Шаблон:Reflist

Bibliography

Шаблон:Functional Analysis Шаблон:TopologicalVectorSpaces

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

Источник — http://wikihandbk.com/ruwiki/index.php?title=Английская_Википедия:Closed_graph_theorem&oldid=13995898