nLab uniform convergence space

Uniform convergence spaces

Uniform convergence spaces

Idea

Uniform convergence spaces are simultaneously a generalisation of uniform spaces and a specialisation with extra structure of convergence spaces. That is, we have functors

UnifUnifConvConv, Unif \to Unif Conv \to Conv ,

both faithful and with UnifUnifConvUnif \to Unif Conv also full. (Here we take the morphisms of UnifConvUnif Conv and UnifUnif to be the uniformly continuous maps, while ConvConv must use the continuous maps.)

Motivation

The uniform properties of a metric space XX are determined entirely by the equivalence relation between infinite sequences through which sequences aa and bb are related iff the distance between them tends to zero:

lim na nb n=0. \lim_{n \to \infty} {\|a_n - b_n\|} = 0 .

An analogous result holds for a uniform space XX if one generalises from sequences to nets, as well as for metric spaces in constructive mathematics without weak countable choice. However, the relevant equivalence relation is not (directly) between two arbitrary nets but rather between two nets with the same directed set as domain. (This is because the limit above refers to a single index nn; if we changed this to the limit as m,nm, n \to \infty of a mb n{\|a_m - b_n\|}, then we would get a partial equivalence relation that applies only to Cauchy sequences, and this would recover only the Cauchy structure and not the entire uniform structure.)

Rather than speak of two nets with the same domain, let us speak equivalently of a single net in the cartesian square X×XX \times X. Then for a more manifestly small definition, let us speak of a filter on X×XX \times X. So a uniform convergence structure on a set XX will be a collection of filters on X×XX \times X. We will require this collection to satisfy certain properties; if we imposed enough properties, we could recover a definition of uniform space (or even of metrizable uniform space?), but some less stringent requirements yield the definition of uniform convergence space below.

Definitions

Let XX be an abstract set, and let UU be a collection of filters on the cartesian square X×XX \times X, called the asymptotic filters. We will consider various properties of such a structure below.

A collection that satisfies all of (1–6) below is a uniform convergence structure. If it satisfies at least (2–6), then it is is a base for a uniform convergence structure; if it satisfies at least (4–6), then it is a subbase for a uniform convergence structure. That said, we could start with a perfectly arbitrary collection and generate a subbase, then a base, then an entire structure.

If we use (6′) instead of (6), then this is a pointwise uniform convergence structure. If we drop (4), then we have a quasiuniform convergence structure. These also can have bases and subbases and be generated from an arbitrary collection of asymptotic filters.

A (pointwise) (quasi)-uniform convergence space is a set XX equipped with such a structure.

Here are the relevant properties:

  1. Isotone: If FGF \subseteq G (as filters on X×XX \times X) and FF is asymptotic, then GG is asymptotic.

  2. Proper: There is an asymptotic filter. If (1) also holds, then we may equivalently say that the improper filter on X×XX \times X is asymptotic. This is automatic if (6) holds but is independent of the other conditions; it almost follows from (6′), but only if XX is inhabited.

  3. Filtered: If FF and GG are asymptotic filters, then there is an asymptotic filter contained in both FF and GG. If (1) also holds, then we may equivalently say that the intersection FGF \cap G is asymptotic.

  4. Symmetric: If FF is an asymptotic filter, then there is an asymptotic filter GG with the property that, whenever RGR \in G, its inverse (as a binary relation on XX) R 1R^{-1} belongs to FF. If (1) also holds, then we may equivalently say that the filter {R 1|RF}\{ R^{-1} \;|\; R \in F \} is asymptotic.

  5. Transitive: If FF and GG are asymptotic filters, then there is an asymptotic filter HH with the property that, whenever RHR \in H, there are a natural number nn, an nn-tuple (S 1,,S n)F n(S_1, \ldots, S_n) \in F^n, and an nn-tuple (T 1,,T n)G n(T_1, \ldots, T_n) \in G^n such that R(S 1T 1)(S nT n)R \supseteq (S_1 \circ T_1) \cap \cdots \cap (S_n \circ T_n) (where \circ indicates composition of binary relations on XX). If (1) also holds, then we may equivalently say that the filter generated by {ST|SF,TG}\{ S \circ T \;|\; S \in F,\; T \in G \} is asymptotic.

  6. Reflexive: There is an asymptotic filter FF with the property that each RFR \in F is reflexive as a binary relation on XX. If (1) also holds, then we may equivalently say that the collection of all reflexive relations (which is a filter) is asymptotic.

Although (6) as given here is in the original definition and is the proper nullary analogue of the binary (5), a weaker version is now more popular:

  • (6′). Pointwise reflexive: For every point aa of XX, there is an asymptotic filter FF with the property that each RFR \in F satisfies (a,a)R(a,a) \in R (so that RR is reflexive at aa). If (1) also holds, then we may equivalently say that the collection of all relations reflexive at aa (which is a filter, indeed the principal ultrafilter at (a,a)(a,a)) is asymptotic.

One reason for this is apparently to render the category of uniform convergence spaces cartesian closed. So presumably there are uniform convergence spaces XX and YY satisfying (6) such that the set of uniformly continuous maps from XX to YY can be given only a pointwise uniform convergence structure.

For the purposes of constructive mathematics, we can also consider another condition:

  • (7). Comparison: If FF is an asymptotic filter, then there is an asymptotic filter GG with the property that, whenever RGR \in G, there is some SFS \in F such that ¬RS=X×X\neg{R} \cup S = X \times X. Assuming excluded middle, we may take GG to be FF itself (and take SS to be RR), rendering this condition trivial in classical mathematics.

A (pointwise) (quasi)-uniform convergence structure/space that satisfies (7) may be called (quasi)-uniformly regular space|uniformly regular (although ‘(quasi)-uniformly locally decomposable’ would be more proper, since there is no reason why such a space should be regular, even in the symmetric case).

It is traditional to consider only proper asymptotic filters (or equivalently to consider only asymptotic nets), which allows one to leave out (2); but in that case (5) and (6) must be modified to apply only when the generated filters are proper: (5) applies only when each element of FF meets each element of GG, and (6), if used, applies only when XX is inhabited. So really, it is simpler to include the improper filter among the asymptotic filters.

The conditions (1,2,3,4,5,6,7) correspond respectively to the conditions (6,4,5,2,3,1,0) at uniform space (as of 2013-02-22, in case the latter are ever renumbered). However, (6′) has no direct analogue.

Terminology warning

Among the terms defined (in boldface) above, I (Toby Bartels) invented ‘asymptotic filter’ and those involving ‘pointwise’ and ‘quasi‑’, because no appropriate terms appeared in the reference that I used. Possibly other terms appear in the literature (besides the fact that ‘pointwise’ may simply be left out). That said, my use of ‘quasi‑’ follows quasimetric and quasiuniform space, so it at least is probably correct. On the other hand, ‘asymptotic’ conflicts with the meaning of asymptotic function? in complexity theory (which is weaker, and in fact says that functions are asymptotic when their logarithms are asymptotic in our sense), although it matches the meaning of asymptote? in elementary analytic geometry. Finally, ‘pointwise’ was ‘weak’ in earlier versions of this page, until I changed it to have a more transparent meaning and avoid potential conflicts. (People say ‘weak uniform convergence’ in various contexts, but nobody ever says ‘pointwise uniform convergence’.)

Subsidiary concepts

Let XX and YY be pointwise uniform convergence spaces. A function ff from XX to YY is uniformly continuous if f×f:XYf \times f\colon X \to Y takes asymptotic filters only to asymptotic filters. Then ff is a uniform homeomorphism if ff is a bijection whose inverse is also uniformly continuous. We take the uniformly continuous functions to be the morphisms of a category UnifConvUnif Conv whose objects are the uniform convergence spaces; then the uniform homeomorphisms are the isomorphisms of this category.

Now let XX and YY be pointwise quasiuniform spaces. The definitions above may be repeated with ‘quasiuniform’ instead of ‘uniform’. If we ever use ‘uniform’ with pointwise quasiuniform convergence spaces, this means to use the pointwise uniform convergence structure generated by the given pointwise quasiuniform convergence structure. (The pointwise uniform convergence structure generated by a quasiuniform convergence structure will be a uniform convergence structure, so we may leave ‘pointwise’ out of this paragraph entirely if so desired.)

Let XX be a pointwise uniform convergence space. A filter FF on XX is Cauchy if it is proper and F×FF \times F (which is a filter on X×XX \times X) is asymptotic. Then the Cauchy filters on XX form a Cauchy structure that makes XX into a Cauchy space. If XX is a pointwise quasiuniform convergence space, then we may use the same definition. In any case, the result depends only on the generated uniform convergence structure.

Let XX be a pointwise uniform convergence space. A filter FF on XX converges to a point aa in XX if F×U aF \times U_a, where U aU_a is the principal ultrafilter at aa (the collection of all subsets of XX to which aa belongs), is asymptotic; we may use U a×FU_a \times F instead and get the same result. Then this relation of convergence is a convergence structure that makes XX into a convergence space, and this convergence space will be reciprocal (R 1R_1). If XX is a pointwise quasiuniform convergence space, then we may use the same definition, but the result may no longer be reciprocal, and using U a×FU_a \times F instead will give a different convergence structure (and where U aU_a converges to bb one way, U bU_b converges to aa the other way). Nevertheless, the result depends only on the generated quasiuniform convergence structure.

The convergence space structure induced by the Cauchy structure induced by a pointwise uniform convergence space is the same as the convergence structure induced directly by the pointwise uniform convergence space. This fails for (pointwise) quasiuniform convergence spaces, but it remains true that every convergent filter is Cauchy. A pointwise qausiuniform convergence space is complete if, conversely, every Cauchy filter converges to at least one point. Also, the space is Hausdorff if every Cauchy filter (and hence every filter) converges to at most one point. The complete Hausdorff uniform convergence spaces form a reflective subcategory of UnifConvUnif Conv, so every uniform convergence space has a Hausdorff completion?.

Examples

Let XX be a metric space and call an infinite sequence in X×XX \times X asymptotic if, when viewed as a pair (a,b)(a,b) of infinite sequences in XX, these sequences satisfy the relation given in the Motivation above:

lim na nb n=0. \lim_{n \to \infty} {\|a_n - b_n\|} = 0 .

The eventuality filters of the asymptotic sequences in X×XX \times X form a base for a uniform convergence structure. The same holds even if XX is only a pseudometric space or an extended metric space; but if XX is only a quasimetric space, then we get only a base for a quasiuniform convergence structure.

Now let XX be a uniform space and let a filter be asymptotic if every entourage belongs to it. Indeed, if EE is the collection of entourages, then EE is itself a filter on X×XX \times X and {E}\{E\} is already a base for this uniform convergence structure. If XX is the underlying uniform space of a metric space, then this is the same uniform convergence structure as in the previous paragraph. If XX is only a quasiuniform space, then we get only a quasiuniform convergence structure.

Now let XX be a Cauchy space and let a filter FF on X×XX \times X be subbasic asymptotic if F=G×GF = G \times G for some Cauchy filter GG on XX. Then the subbasic asymptotic filters form a subbase for a uniform convergence structure, and the Cauchy structure induced by this uniform convergence structure agrees with the original Cauchy structure on XX.

Now let XX be a convergence space and let a filter FF on X×XX \times X be subbasic asymptotic if F=G×GF = G \times G for some convergent filter GG on XX. Then the subbasic asymptotic filters form a subbase for a quasiuniform convergence structure, which is a (pointwise) uniform convergence structure iff XX is reciprocal (R 1R_1). In any case, the convergence structure induced by this quasiuniform convergence structure agrees with the original convergence structure on XX.

If XX is a group object in the category ConvConv of convergence spaces (that is, XX is both a convergence space and a group such the group operations are continuous), then there are two other ways to make XX into a uniform convergence space (left and right, which agree if XX is an abelian group), analogous to the ways in which a topological group becomes a uniform space. Specifically, let a net in X×XX \times X be asymptotic if, when viewed as a pair (a,b)(a,b) of nets (with common domain) in XX, these nets satisfy a relation analogous to that for asymptotic sequences in a metric space above:

lim na nb n 1=1 \lim_{n \to \infty} a_n b_n^{-1} = 1

(on one side) or

lim na n 1b n=1 \lim_{n \to \infty} a_n^{-1} b_n = 1

(on the other side). The eventuality filters of the asymptotic nets in X×XX \times X form a base for a uniform convergence structure; indeed, they are precisely the proper asymptotic filters. The convergence structure induced by this uniform convergence structure agrees with the original convergence structure on XX (which must be reciprocal, for essentially the same reason that the topology of a topological group must be). Probably one can get a quasiuniform convergence structure or four out of a monoid object in ConvConv, but I haven't thought that through.

References

Pages 72–76 (in Part I) in

  • Jan Harm van der Walt (2009); Generalized solutions of systems of nonlinear partial differential equations (PhD thesis); web.

(This dissertation is not really about uniform convergence spaces, but it has the advantage of being free online.)

Last revised on November 16, 2022 at 21:59:52. See the history of this page for a list of all contributions to it.