Sorgenfrey plane

Sorgenfrey plane

In topology, the Sorgenfrey plane is a frequently-cited counterexample to many otherwise plausible-sounding conjectures. It consists of the product of two copies of the Sorgenfrey line, which is the real line R under the half-open interval topology. The Sorgenfrey line and plane are named for the American mathematician Robert Sorgenfrey.

A basis for the Sorgenfrey plane, denoted X from now on, is therefore the set of rectangles that include the west edge, southwest corner, and south edge, and omit the southeast corner, east edge, northeast corner, north edge, and northwest corner. Open sets in X are unions of such rectangles.

X is an example of a space that is a product of Lindelöf spaces that is not itself a Lindelöf space. It is also an example of a space that is a product of normal spaces that is not itself normal. The so-called anti-diagonal ={ ("x", −"x") | "x" ∈ R } is a
discrete subset of this space, and this is a non-separable subsetof the separable space X. It shows that separability does not inheritto subspaces. Note that K={ ("x", −"x") | "x" ∈ Q } andK are closed sets that cannot be separated by open sets, showing that X is not normal.

References

* John L. Kelley, "General topology", van Nostrand, 1955. Pp.133-134.
* Robert Sorgenfrey, "On the topological product of paracompact spaces", "Bull. Amer. Math. Soc." 53 (1947) 631-632.
* | year=1995


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Moore plane — In mathematics, the Moore plane, also sometimes called Niemytzki plane (or Nemytskii plane, Nemytskii s tangent disk topology) is a topological space. It is a completely regular Hausdorff space (also called Tychonoff space) which is not normal.… …   Wikipedia

  • Lower limit topology — In mathematics, the lower limit topology or right half open interval topology is a topology defined on the set R of real numbers; it is different from the standard topology on R and has a number of interesting properties. It is the topology… …   Wikipedia

  • Espace totalement discontinu — En mathématiques, plus précisément en topologie, un espace totalement discontinu est un espace topologique qui est « le moins connexe possible » au sens où il n a pas de partie connexe non triviale. Dans tout espace topologique, l… …   Wikipédia en Français

  • Normal space — Separation Axioms in Topological Spaces Kolmogorov (T0) version T0 | T1 | T2 | T2½ | completely T2 T3 | T3½ | T4 | T5 | T6 In topology and related branches of mathematics, a no …   Wikipedia

  • Lindelöf space — In mathematics, a Lindelöf space is a topological space in which every open cover has a countable subcover. A Lindelöf space is a weakening of the more commonly used notion of compactness , which requires the existence of a finite subcover.A… …   Wikipedia

  • List of examples in general topology — This is a list of useful examples in general topology, a field of mathematics.* Alexandrov topology * Cantor space * Co kappa topology ** Cocountable topology ** Cofinite topology * Compact open topology * Compactification * Discrete topology *… …   Wikipedia

  • Moore space (topology) — In mathematics, more specifically point set topology, a Moore space is a developable regular Hausdorff space. Equivalently, a topological space X is a Moore space if the following conditions hold: Any two distinct points can be separated by… …   Wikipedia

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • Separable space — In mathematics a topological space is called separable if it contains a countable dense subset; that is, there exists a sequence { x n } {n=1}^{infty} of elements of the space such that every nonempty open subset of the space contains at least… …   Wikipedia

  • List of mathematical examples — This page will attempt to list examples in mathematics. To qualify for inclusion, an article should be about a mathematical object with a fair amount of concreteness. Usually a definition of an abstract concept, a theorem, or a proof would not be …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”