nLab pretopological space

Redirected from "preinterior".
Pretopological spaces

Pretopological spaces

Idea

A pretopological space is a slight generalisation of a topological space where the concept of neighbourhood is taken as primary. The extra structure on the underlying set of a pretopological space is called its pretopology, but this should not be confused with a Grothendieck pretopology (which is not even analogous).

Definitions

Given a set SS, let a point in SS be an element of SS, and let a set in SS be a subset of SS. Given a relation \stackrel{\circ}\in between points in SS and sets in SS, say that the set UU is a neighbourhood (or \stackrel{\circ}\in-neighbourhood to be precise) of xx if xUx \stackrel{\circ}\in U (which may also be written xUx \in \stackrel{\circ}U).

A pretopology (or pretopological structure) on SS is such a relation \stackrel{\circ}\in that satisfies these properties:

  1. Centred: If UU is a neighbourhood of xx, then xx belongs to UU:
    xUxU. x \stackrel{\circ}\in U \;\Rightarrow\; x \in U .
  2. Nontrivial: Every point xx has a neighbourhood. In light of (4), the entire space is a neighbourhood of xx:
    xS. x \stackrel{\circ}\in S .

    (Some references leave this out, but that seems to be an error.)

  3. Directed: If UU and VV are neighbourhoods of xx, then so is some set contained in their intersection. In the light of (4), it follows that their intersection is itself a neighbourhood:
    xUxVxUV. x \stackrel{\circ}\in U \;\Rightarrow\; x \stackrel{\circ}\in V \;\Rightarrow\; x \stackrel{\circ}\in U \cap V .

    (Strictly speaking, the relation should not be called directed unless it is also nontrivial.)

  4. Isotone: If UU is a neighbourhood of xx and UU is contained in VV, then VV is a neighbourhood of xx:
    xUUVxV. x \stackrel{\circ}\in U \;\Rightarrow\; U \subseteq V \;\Rightarrow\; x \stackrel{\circ}\in V .

In other words, the collection of neighbourhoods of xx must be a filter that is refined by the free ultrafilter at xx. This filter is called the neighbourhood filter of xx.

A pretopology can also be given by a base or subbase. A base for a pretopology is any relation that satisfies (1–3), using the first version for each of (2,3); a subbase is any relation that satisfies (1). (It would not really be appropriate to use the symbol ‘\stackrel{\circ}\in’ for a mere base or subbase; you'd probably want to think of it as a family of sets indexed by the points, and use the term ‘basic neighourhood’ or ‘subbasic neighbourhood’.) You get a base (in fact one satisfying the stronger versions of 2,3) from a subbase by closing under finitary intersections; you get a pretopology from a base by taking supsersets. (Really, this is just a special case of considering a base or subbase of a filter.)

A pretopological space is a set equipped with a pretopological structure.

A continuous map from a pretopological space SS to a pretopological space TT is a function ff from SS to TT such that:

  • For every point xx in SS, if UU is a neighbourhood of f(x)f(x) in TT, then the preimage f *(U)f^*(U) is a neighbourhood of xx in SS.

In this way, pretopological spaces and continuous maps form a category PreTopPre Top.

Convergence structure

If FF is a filter on a pretopological space SS, then FF converges to a point xx (written FxF \to x) if FF refines (contains) the neighbourhood filter of xx.

This relation satisfies the following properties:

  • Centred: The free ultrafilter at xx (the collection of all sets that xx belongs to) converges to xx:
    {A|xA}x. \{ A \;|\; x \in A \} \to x .
  • Isotone: If FF converges to xx and GG refines FF, then GG converges to xx:
    FxFGGx. F \to x \;\Rightarrow\; F \subseteq G \;\Rightarrow\; G \to x .
  • Infinitely directed: The intersection of all filters that converge to xx itself converges to xx:
    {F|Fx}x. \bigcap \{ F \;|\; F \to x \} \to x .

In this way, every pretopological space becomes a convergence space.

In fact, we can recover the pretopological structure from the convergence structure as follows: xUx \stackrel{\circ}\in U if and only if UU belongs to every filter that converges to xx. In other words, that intersection that appears in the infinite filtration condition is the neighbourhood filter of xx. Furthermore, this definition assigns a pretopological structure to any convergence space satsifying the conditions above, and a map between pretopological spaces is continuous if and only if it is continuous as a map between convergence spaces. Thus, we can define a pretopological space as an infinitely directed convergence space, making PreTopPre Top a full subcategory of the category ConvConv of convergence spaces.

Actually, we can do more. The definition of U\stackrel{\circ}U from the convergence structure assigns a pretopological structure to any convergence space, although in general this pretopology defines a weaker notion of convergence (more filters converge to more points). Thus, PreTopPre Top is also a reflective subcategory of ConvConv.

Every pretopological convergence satisfies the star property, so that PreTopPre Top is a full reflective subcategory of the category PsTopPs Top of pseudotopological spaces.

Examples

Every topological space is a pretopological space, using the usual definition of (not necessarily open) neighbourhood: xUx \stackrel{\circ}\in U if there exists some open set GG such that xGx \in G and GUG \subseteq U. Also, a map between topological spaces is continuous if and only if it's continuous as a map between pretopological spaces. In this way, the category Top of topological spaces becomes a full subcategory of PreTopPre Top.

In fact, we can easily characterise the topological pretopologies, allowing us to define a topological space as a pretopological space satisfying this axiom:

  • If UU is a set, then let U\stackrel{\circ}U be the set of all points that UU is a neighbourhood of. Then U\stackrel{\circ}U is a neighbourhood of each of its members. That is,
    xUx{y|yU}. x \stackrel{\circ}\in U \;\Rightarrow\; x \stackrel{\circ}\in \{ y \;|\; y \stackrel{\circ}\in U \} .

In the terms defined below, a topological space is a pretopological space in which every preinterior is open.

Here is an example of a nontopological pretopological space, although admittedly it is a bit artificial. (This is based on Section 15.6 of HAF.) Consider a metric space SS; according to the usual pretopology on SS, UU is a neighbourhood of xx if there is a positive number ϵ\epsilon such that UU contains the ball {y|d(x,y)<ϵ} \{ y \;|\; d(x,y) \lt \epsilon \} . Now given a natural number nn, we will give S nS^n the plus pretopology: UU is a neighbourhood of x=(x 1,,x n)\vec{x} = (x_1,\ldots,x_n) if there is a positive number ϵ\epsilon such that UU contains the l 0l^0-ball {y|inf id(x i,y i)<ϵ} \{ \vec{y} \;|\; \inf_i d(x_i,y_i) \lt \epsilon \} . (If SS is a line and n=2n = 2, then this neighbourhood is a plus sign ‘+’ with (x 1,x 2)(x_1,x_2) at the centre and cross bars of length 2ϵ2 \epsilon.) Then S nS^n is a pretopological space, but it is topological only if n1n \leq 1 or SS is a subsingleton.

This example can probably be generalised to a uniform space SS. Possibly there is some interesting universal property of this ‘plus product’, although it seems to go from Unif×UnifUnif \times Unif to PreTopPre Top, so maybe we need to work in a different category. (There is a notion of uniform convergence space that generalises uniform spaces much like convergence spaces generalise topological spaces; perhaps the plus product takes place there.)

Topological structure

Fix a pretopological space SS.

The preinterior of a set AA is the set A\stackrel{\circ}A or A A^\circ of all points that AA is a neighbourhood of:

A={x|xA}. \stackrel{\circ}A = \{ x \;|\; x \stackrel{\circ}\in A \} .

A set AA is open if it equals its preinterior. The interior Int(A)Int(A) of AA is the union of all of the open sets contained in AA. Note that we can immediately recover the pretopological structure from the preinterior operation (but not from the interior operation nor from the class of all open sets).

Similarly, the preclosure of AA is the set A¯\bar{A} of all points that AA meets every neighbourhood of:

{x|U,xUAU}. \{ x \;|\; \forall{U},\; x \stackrel{\circ}\in U \;\Rightarrow\; A \cap U \neq \empty \} .

A set AA is closed if it equals its preclosure. The closure Cl(A)Cl(A) of AA is the intersection of all of the closed sets containing AA. Again, we can recover the pretopological structure from the preclosure operation; xUx \stackrel{\circ}\in U iff UU meets every set AA such that xA¯x \in \bar{A}. (This result seems to require excluded middle.)

(Warning: not all references use these terms in the same way. This terminology is based on the premise that a closure should be closed.)

The duality between (pre)interiors and open sets on the one hand and (pre)closures and closed sets on the other hand is (at least if you assume excluded middle) just what you would expect: the (pre)interior of a complement is the complement of the (pre)closure, and a set is open if and only if its complement is closed. However, a preinterior is generally not open but larger than an interior; similarly, a preclosure is generally not closed but smaller than a closure. The situation looks like this:

AA(A) Int(A), A \supseteq \stackrel{\circ}A \supseteq (\stackrel{\circ}A)^{\circ} \supseteq \cdots \supseteq Int(A) ,

and

AA¯A¯¯Cl(A). A \subseteq \bar{A} \subseteq \overline{\bar{A}} \subseteq \cdots \subseteq Cl(A) .

In many cases this iteration stabilizes after finitely many terms. The plus power S nS^n seems to stabilise after nn iterations. And in a topological space, of course, it only takes one step.

In general, however, there can be transfinitely many terms in these sequences. For example, let Ω\Omega be any ordinal number (thought of as the well-ordered set of all smaller ordinal numbers) with the following pretopology:

  • 0U0 \stackrel{\circ}\in U iff U=ΩU = \Omega.
  • αU\alpha \stackrel{\circ}\in U, where α<Ω\alpha \lt \Omega is a nonzero ordinal, iff [β,Ω)U[\beta,\Omega) \subseteq U for some β<α\beta \lt \alpha.

Let A=[1,Ω)A=[1,\Omega). Then A=[2,Ω)\stackrel{\circ}A = [2,\Omega), (A) =[3,Ω)(\stackrel{\circ}A)^\circ = [3,\Omega), and so on, the process taking Ω\Omega steps to stabilize at Int(A)=Int(A)=\emptyset.

Note that an interior is open, and a closure is closed. Indeed, the open sets in SS form a topological structure on SS, giving the usual meanings of interior, closure, and closed set. This topological structure does not (in general) give the original pretopology on SS; instead, this makes TopTop a reflective subcategory of PreTopPre Top.

In the definition of pretopology, the neighbourhoods of each point may be given completely independently of any other point. So the notion of topological space may also be seen as requiring some coherence between the neighbourhoods of nearby points.

Last revised on October 2, 2016 at 07:25:05. See the history of this page for a list of all contributions to it.