Lexicographic order topology on the unit square

In general topology, the lexicographic ordering on the unit square is a topology on the unit square S, i.e. on the set of points (x,y) in the plane such that 0 ≤ x ≤ 1 and 0 ≤ y ≤ 1.[1]

Construction

As the name suggests, we use the lexicographical ordering on the square to define a topology. Given two points in the square, say (x,y) and (u,v), we say that (x,y) \scriptstyle \prec (u,v) if and only if either x < u or both x = u and y < v. Given the lexicographical ordering on the square, we use the order topology to define the topology on S.

Properties

The order topology makes S into a completely normal Hausdorff space. [1] It is an example of an order topology in which there are uncountably many pairwise-disjoint homeomorphic copies of the real line. Since the lexicographical order on S can be proven to be complete, then this topology makes S into a compact set. At the same time, S is not separable, since the set of all points of the form (x,1/2) is discrete but is uncountable. Hence S is not metrizable (since any compact metric space is separable); however, it is first countable. [1]

See also

References

  1. 1 2 3 Steen, L. A.; Seebach, J. A. (1995), Counterexamples in Topology, Dover, p. 73, ISBN 0-486-68735-X
This article is issued from Wikipedia - version of the Saturday, September 20, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.