Kuratowski convergence
   HOME

TheInfoList



OR:

In
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 ...
, Kuratowski convergence or Painlevé-Kuratowski convergence is a notion of convergence for
subset In mathematics, set ''A'' is a subset of a set ''B'' if all elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they are unequal, then ''A'' is a proper subset of ...
s of a
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 ...
. First introduced by
Paul Painlevé Paul Painlevé (; 5 December 1863 – 29 October 1933) was a French mathematician and statesman. He served twice as Prime Minister of the Third Republic: 12 September – 13 November 1917 and 17 April – 22 November 1925. His entry into politic ...
in lectures on
mathematical analysis Analysis is the branch of mathematics dealing with continuous functions, limits, and related theories, such as differentiation, integration, measure, infinite sequences, series, and analytic functions. These theories are usually studied ...
in 1902,This is reported in the Commentary section of Chapter 4 of Rockafellar and Wets' text. the concept was popularized in texts by Felix Hausdorff and Kazimierz Kuratowski. Intuitively, the Kuratowski limit of a sequence of sets is where the sets " accumulate".


Definitions

For a given sequence \_^ of points in a space X, a
limit point In mathematics, a limit point, accumulation point, or cluster point of a set S in a topological space X is a point x that can be "approximated" by points of S in the sense that every neighbourhood of x with respect to the topology on X also contai ...
of the sequence can be understood as any point x \in X where the sequence ''eventually'' becomes arbitrarily close to x. On the other hand, a cluster point of the sequence can be thought of as a point x \in X where the sequence ''frequently'' becomes arbitrarily close to x. The Kuratowski limits inferior and superior generalize this intuition of limit and cluster points to subsets of the given space X.


Metric Spaces

Let (X,d) be a
metric space In mathematics, a metric space is a set together with a notion of '' distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general setti ...
, where X is a given set. For any point x and any non-empty subset A \subset X, define the distance between the point and the subset: :d(x, A) := \inf_ d(x, y), \qquad x \in X. For any sequence of subsets \_^ of X, the ''Kuratowski limit inferior'' (or ''lower closed limit'') of A_n as n \to \infty; is\begin \mathop A_ :=& \left\ \\ =&\left\; \endthe ''Kuratowski limit superior'' (or ''upper closed limit'') of A_n as n \to \infty; is\begin \mathop A_ :=& \left\ \\ =&\left\; \endIf the Kuratowski limits inferior and superior agree, then the common set is called the ''Kuratowski limit'' of A_n and is denoted \mathop_ A_n.


Topological Spaces

If (X, \tau) is a
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 ...
, and \_ are a net of subsets of X, the limits inferior and superior follow a similar construction. For a given point x \in X denote \mathcal(x) the collection of open neighbhorhoods of x. The ''Kuratowski limit inferior'' of \_ is the set\mathop A_i := \left\,and the ''Kuratowski limit superior'' is the set\mathop A_i := \left\.Elements of \mathop A_i are called ''limit points'' of \_ and elements of \mathop A_i are called ''cluster points'' of \_. In other words, x is a limit point of \_ if each of its neighborhoods intersects A_i for all i in a "residual" subset of I, while x is a cluster point of \_ if each of its neighborhoods intersects A_i for all i in a cofinal subset of I. When these sets agree, the common set is the ''Kuratowski limit'' of \_, denoted \mathop A_i.


Examples

* Suppose (X, d) is separable where X is a perfect set, and let D = \ be an enumeration of a
countable In mathematics, a set is countable if either it is finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is ''countable'' if there exists an injective function from it into the natural numbers ...
dense subset of X. Then the sequence \_^ defined by A_n := \ has \mathop A_n = X. * Given two closed subsets B, C \subset X, defining A_ := B and A_ := C for each n=1,2,\dots yields \mathop A_n = B \cap C and \mathop A_n = B \cup C. * The sequence of closed balls A_n := \converges in the sense of Kuratowski when x_n \to x in X and r_n \to r in [0, +\infty), and in particular, \mathop(A_n) = \. If r_n \to +\infty, then \mathop A_n = X while \mathop(X \setminus A_n) = \emptyset. * Let A_ := \. Then A_n converges in the Kuratowski sense to the entire line. * In a topological vector space, if \_^ is a sequence of Convex cone, cones, then so are the Kuratowski limits superior and inferior. For example, the sets A_n := \ converge to \.


Properties

The following properties hold for the limits inferior and superior in both the metric and topological contexts, but are stated in the metric formulation for ease of reading. * Both \mathop A_n and \mathop A_n are closed subsets of X, and \mathop A_n \subset \mathop A_n always holds. * The upper and lower limits do not distinguish between sets and their closures: \mathop A_n = \mathop \mathop(A_n) and \mathop A_n = \mathop \mathop(A_n). * If A_n := A is a constant sequence, then \mathop A_n = \mathop A. * If A_n := \ is a sequence of singletons, then \mathop A_n and \mathop A_n consist of the limit points and cluster points, respectively, of the sequence \_^ \subset X . * If A_n \subset B_n \subset C_n and B := \mathop A_n = \mathop C_n, then \mathop B_n = B. * (''Hit and miss criteria'') For a closed subset A \subset X, one has ** A \subset \mathop A_n, if and only if for every open set U \subset X with A \cap U \ne \emptyset there exists n_0 such that A_n \cap U \ne \emptyset for all n_0 \leq n, ** \mathop A_n \subset A, if and only if for every compact set K \subset X with A \cap K \ne \emptyset there exists n_0 such that A_n \cap K \ne \emptyset for all n_0 \leq n. *If A_1 \subset A_2 \subset A_3 \subset \cdots then the Kuratowski limit exists, and \mathop A_n = \mathop \left( \bigcup_^ A_n \right). Conversely, if A_1 \supset A_2 \supset A_3 \supset \cdots then the Kuratowski limit exists, and \mathop A_n = \bigcap_^ \mathop(A_n). *If d_H denotes Hausdorff metric, then d_H(A_n, A) \to 0 implies \mathopA = \mathop A_n. However, noncompact closed sets may converge in the sense of Kuratowski while d_H(A_n, \mathop A_n) = +\infty for each n=1,2,\dots *Convergence in the sense of Kuratowski is weaker than convergence in the sense of Vietoris but equivalent to convergence in the sense of Fell. If X is compact, then these are all equivalent and agree with convergence in Hausdorff metric.


Kuratowski Continuity of Set-Valued Functions

Let S : X \rightrightarrows Y be a set-valued function between the spaces X and Y; namely, S(x) \subset Y for all x \in X. Denote S^(y) = \. We can define the operators\begin \mathop_ S(x') :=& \bigcap_ \mathop S(x'), \qquad x \in X \\ \mathop_ S(x') :=& \bigcup_ \mathop S(x'), \qquad x \in X\\ \endwhere x' \to x means convergence in sequences when X is metrizable and convergence in nets otherwise. Then, * S is ''inner semi-continuous'' at x \in X if S(x) \subset \mathop_ S(x'); * S is ''outer semi-continuous'' at x \in X if \mathop_ S(x') \subset S(x). When S is both inner and outer semi-continuous at x \in X, we say that S is ''continuous'' (or continuous ''in the sense of Kuratowski''). Continuity of set-valued functions is commonly defined in terms of lower- and upper-hemicontinuity popularized by Berge.Rockafellar and Wets write in the Commentary to Chapter 6 of their text: "The terminology of 'inner' and 'outer' semicontinuity, instead of 'lower' and 'upper', has been foorced on us by the fact that the prevailing definition of 'upper semicontinuity' in the literature is out of step with developments in set convergence and the scope of applications that must be handled, now that mappings S with unbounded range and even unbounded value sets S(x) are so important... Despite the historical justification, the tide can no longer be turned in the meaning of 'upper semicontinuity', yet the concept of 'continuity' is too crucial for applications to be left in the poorly usable form that rests on such an unfortunately restrictive property f upper semicontinuity; see pages 192-193. Note also that authors differ on whether "semi-continuity" or "hemi-continuity" is the preferred language for Vietoris-Berge continuity concepts. In this sense, a set-valued function is continuous if and only if the function f_S : X \to 2^Y defined by f(x) = S(x) is continuous with respect to the Vietoris hyperspace topology of 2^Y. For set-valued functions with closed values, continuity in the sense of Vietoris-Berge is stronger than continuity in the sense of Kuratowski.


Examples

* The set-valued function B(x,r) = \ is continuous X \times ,+\infty)_\rightrightarrows_X. *_Given_a_function_f_:_X_\to_[-\infty,_+\infty/math>,_the_superlevel_set_mapping_S_f(x)_:=_\_is_outer_semi-continuous_at_x,_if_and_only_if_f_is_lower_semi-continuous_at_x._Similarly,_S_f_is_inner_semi-continuous_at_x,_if_and_only_if_f_is_upper_semi-continuous_at_x.


__Properties_

*_If_S_is_continuous_at_x,_then_S(x)_is_closed. *_S_is_outer_semi-continuous_at_x,_if_and_only_if_for_every_y_\notin_S(x)_there_are_neighborhoods_V_\in_\mathcal(y)_and_U_\in_\mathcal(x)_such_that_U_\cap_S^(V)_=_\emptyset. *_S_is_inner_semi-continuous_at_x,_if_and_only_if_for_every_y_\in_S(x)_and_neighborhood_V_\in_\mathcal(y)_there_is_a_neighborhood_U_\in_\mathcal(x)_such_that_V_\cap_S(x')_\ne_\emptyset_for_all_x'_\in_U. *_S_is_(globally)_outer_semi-continuous,_if_and_only_if_its_graph_\_is_closed. *_(''Relations_to_Vietoris-Berge_continuity'')._Suppose_S(x)_is_closed. **_S_is_inner_semi-continuous_at_x,_if_and_only_if_S_is_Lower_hemicontinuous.html" ;"title="\infty,_+\infty.html" ;"title=",+\infty) \rightrightarrows X. * Given a function f : X \to ,+\infty)_\rightrightarrows_X. *_Given_a_function_f_:_X_\to_[-\infty,_+\infty/math>,_the_superlevel_set_mapping_S_f(x)_:=_\_is_outer_semi-continuous_at_x,_if_and_only_if_f_is_lower_semi-continuous_at_x._Similarly,_S_f_is_inner_semi-continuous_at_x,_if_and_only_if_f_is_upper_semi-continuous_at_x.


__Properties_

*_If_S_is_continuous_at_x,_then_S(x)_is_closed. *_S_is_outer_semi-continuous_at_x,_if_and_only_if_for_every_y_\notin_S(x)_there_are_neighborhoods_V_\in_\mathcal(y)_and_U_\in_\mathcal(x)_such_that_U_\cap_S^(V)_=_\emptyset. *_S_is_inner_semi-continuous_at_x,_if_and_only_if_for_every_y_\in_S(x)_and_neighborhood_V_\in_\mathcal(y)_there_is_a_neighborhood_U_\in_\mathcal(x)_such_that_V_\cap_S(x')_\ne_\emptyset_for_all_x'_\in_U. *_S_is_(globally)_outer_semi-continuous,_if_and_only_if_its_graph_\_is_closed. *_(''Relations_to_Vietoris-Berge_continuity'')._Suppose_S(x)_is_closed. **_S_is_inner_semi-continuous_at_x,_if_and_only_if_S_is_Lower_hemicontinuous">lower_hemi-continuous_at_x_in_the_sense_of_Vietoris-Berge. **_If_S_is_Upper_hemicontinuous.html" ;"title="\infty, +\infty">,+\infty) \rightrightarrows X. * Given a function f : X \to [-\infty, +\infty/math>, the superlevel set mapping S_f(x) := \ is outer semi-continuous at x, if and only if f is lower semi-continuous at x. Similarly, S_f is inner semi-continuous at x, if and only if f is upper semi-continuous at x.


Properties

* If S is continuous at x, then S(x) is closed. * S is outer semi-continuous at x, if and only if for every y \notin S(x) there are neighborhoods V \in \mathcal(y) and U \in \mathcal(x) such that U \cap S^(V) = \emptyset. * S is inner semi-continuous at x, if and only if for every y \in S(x) and neighborhood V \in \mathcal(y) there is a neighborhood U \in \mathcal(x) such that V \cap S(x') \ne \emptyset for all x' \in U. * S is (globally) outer semi-continuous, if and only if its graph \ is closed. * (''Relations to Vietoris-Berge continuity''). Suppose S(x) is closed. ** S is inner semi-continuous at x, if and only if S is Lower hemicontinuous">lower hemi-continuous at x in the sense of Vietoris-Berge. ** If S is Upper hemicontinuous">upper hemi-continuous at x, then S is outer semi-continuous at x. The converse is false in general, but holds when Y is a compact space. * If S : \mathbb^n \to \mathbb^mhas a convex graph, then S is inner semi-continuous at each point of the interior of the domain of S. Conversely, given any inner semi-continuous set-valued function S, the convex hull mapping T(x) := \mathop S(x) is also inner semi-continuous.


Epi-convergence and Γ-convergence

For the metric space (X, d) a sequence of functions f_n : X \to [-\infty, +\infty], the ''epi-limit inferior'' (or ''lower epi-limit'') is the function \mathop f_n defined by the Epigraph (mathematics), epigraph equation \mathop \left( \mathop f_n\right) := \mathop \left(\mathop f_n\right), and similarly the ''epi-limit superior'' (or ''upper epi-limit'') is the function \mathop f_n defined by the epigraph equation \mathop \left( \mathop f_n\right) := \mathop \left(\mathop f_n\right). Since Kuratowski upper and lower limits are closed sets, it follows that both \mathop f_n and \mathop f_n are
lower semi-continuous In mathematical analysis, semicontinuity (or semi-continuity) is a property of extended real-valued functions that is weaker than continuity. An extended real-valued function f is upper (respectively, lower) semicontinuous at a point x_0 if, ro ...
functions. Similarly, since \mathop \mathop f_n \subset \mathop \mathop f_n, it follows that \mathop f_n \leq \mathop f_n uniformly. These functions agree, if and only if \mathop \mathop f_n exists, and the associated function is called the ''epi-limit'' of \_^. When (X, \tau) is a topological space, epi-convergence of the sequence \_^ is called Γ-convergence. From the perspective of Kuratowski convergence there is no distinction between epi-limits and Γ-limits. The concepts are usually studied separately, because epi-convergence admits special characterizations that rely on the metric space structure of X, which does not hold in topological spaces generally.


See also

* Set-theoretic limit * Borel–Cantelli lemma, but note that set-theoretic limits and Kuratowski limits do not agree. * Wijsman convergence *
Hausdorff distance In mathematics, the Hausdorff distance, or Hausdorff metric, also called Pompeiu–Hausdorff distance, measures how far two subsets of a metric space are from each other. It turns the set of non-empty compact subsets of a metric space into a met ...
*
Hemicontinuity 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 s ...
*
Vietoris topology 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 poi ...
* Epi-convergence * Gamma convergence


Notes


References

* * * {{cite book , last1=Rockafellar , first1=R. Tyrrell , url=https://www.worldcat.org/oclc/883392544 , title=Variational analysis , last2=Wets , first2=Roger J.-B. , date=1998 , isbn=978-3-642-02431-3 , edition= , location=Berlin , oclc=883392544 Metric geometry