Arens square

From The Right Wiki
Jump to navigationJump to search

In mathematics, the Arens square is a topological space, named for Richard Friederich Arens. Its role is mainly to serve as a counterexample.

Definition

The Arens square is the topological space (X,τ), where

X=((0,1)22){(0,0)}{(1,0)}{(1/2,r2)|r,0<r2<1}

The topology τ is defined from the following basis. Every point of (0,1)22 is given the local basis of relatively open sets inherited from the Euclidean topology on (0,1)2. The remaining points of X are given the local bases

  • Un(0,0)={(0,0)}{(x,y)|0<x<1/4,0<y<1/n}
  • Un(1,0)={(1,0)}{(x,y)|3/4<x<1,0<y<1/n}
  • Un(1/2,r2)={(x,y)|1/4<x<3/4,|yr2|<1/n}

Properties

The space (X,τ) is:

  1. T, since neither points of (0,1)22, nor (0,0), nor (0,1) can have the same second coordinate as a point of the form (1/2,r2), for r.
  2. not T3 or T, since for (0,0)Un(0,0) there is no open set U such that (0,0)UUUn(0,0) since U must include a point whose first coordinate is 1/4, but no such point exists in Un(0,0) for any n.
  3. not Urysohn, since the existence of a continuous function f:X[0,1] such that f(0,0)=0 and f(1,0)=1 implies that the inverse images of the open sets [0,1/4) and (3/4,1] of [0,1] with the Euclidean topology, would have to be open. Hence, those inverse images would have to contain Un(0,0) and Um(1,0) for some m,n. Then if r2<min{1/n,1/m}, it would occur that f(1/2,r2) is not in [0,1/4)(3/4,1]=. Assuming that f(1/2,r2)[0,1/4), then there exists an open interval Uf(1/2,r2) such that U[0,1/4)=. But then the inverse images of U and [0,1/4) under f would be disjoint closed sets containing open sets which contain (1/2,r2) and (0,0), respectively. Since r2<min{1/n,1/m}, these closed sets containing Un(0,0) and Uk(1/2,r2) for some k cannot be disjoint. Similar contradiction arises when assuming f(1/2,r2)(3/4,1].
  4. semiregular, since the basis of neighbourhood that defined the topology consists of regular open sets.
  5. second countable, since X is countable and each point has a countable local basis. On the other hand (X,τ) is neither weakly countably compact, nor locally compact.
  6. totally disconnected but not totally separated, since each of its connected components, and its quasi-components are all single points, except for the set {(0,0),(1,0)} which is a two-point quasi-component.
  7. not scattered (every nonempty subset A of X contains a point isolated in A), since each basis set is dense-in-itself.
  8. not zero-dimensional, since (0,0) doesn't have a local basis consisting of open and closed sets. This is because for x[0,1] small enough, the points (x,1/4) would be limit points but not interior points of each basis set.

References

  • Lynn Arthur Steen and J. Arthur Seebach, Jr., Counterexamples in Topology. Springer-Verlag, New York, 1978. Reprinted by Dover Publications, New York, 1995. ISBN 0-486-68735-X (Dover edition).