Half-open Interval Topology
   HOME

TheInfoList



OR:

In mathematics, the lower limit topology or right half-open interval topology is a
topology In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing ho ...
defined on the set \mathbb of
real numbers In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every ...
; it is different from the standard topology on \mathbb (generated by the open intervals) and has a number of interesting properties. It is the topology generated by the basis of all half-open intervals /nowiki>''a'',''b''), where ''a'' and ''b'' are real numbers. The resulting topological space is called the Sorgenfrey line after Robert Sorgenfrey">topological space">/nowiki>''a'',''b''), where ''a'' and ''b'' are real numbers. The resulting topological space is called the Sorgenfrey line after Robert Sorgenfrey or the arrow and is sometimes written \mathbb_l. Like the Cantor set and the long line (topology), long line, the Sorgenfrey line often serves as a useful counterexample to many otherwise plausible-sounding conjectures in general topology. The product space, product of \mathbb_l with itself is also a useful counterexample, known as the Sorgenfrey plane. In complete analogy, one can also define the upper limit topology, or left half-open interval topology.


Properties

* The lower limit topology is finer (has more open sets) than the standard topology on the real numbers (which is generated by the open intervals). The reason is that every open interval can be written as a (countably infinite) union of half-open intervals. * For any real a and b, the interval clopen in \mathbb_l (i.e., both open set">open Open or OPEN may refer to: Music * Open (band), Australian pop/rock band * The Open (band), English indie rock band * ''Open'' (Blues Image album), 1969 * ''Open'' (Gotthard album), 1999 * ''Open'' (Cowboy Junkies album), 2001 * ''Open'' (Y ...
and closed). Furthermore, for all real a, the sets \ and \ are also clopen. This shows that the Sorgenfrey line is
closed set">closed). Furthermore, for all real a, the sets \ and \ are also clopen. This shows that the Sorgenfrey line is totally disconnected. * Any compact space">compact subset In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i ...
of \mathbb_l must be an at most countable set. To see this, consider a non-empty compact subset C\subseteq\mathbb_l. Fix an x \in C, consider the following open cover of C: :: \bigl\ \cup \Bigl\. :Since C is compact, this cover has a finite subcover, and hence there exists a real number a(x) such that the interval (a(x), x] contains no point of C apart from x. This is true for all x\in C. Now choose a rational number q(x) \in (a(x), x]\cap\mathbb. Since the intervals (a(x), x], parametrized by x \in C, are pairwise disjoint, the function q: C \to \mathbb is injective, and so C is at most countable. * The name "lower limit topology" comes from the following fact: a sequence (or net (topology), net) (x_\alpha) in \mathbb_l converges to the limit L
if and only if In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false. The connective is bi ...
it "approaches L from the right", meaning for every \epsilon>0 there exists an index \alpha_0 such that \forall\alpha \geq \alpha_0 : L \leq x_\alpha < L+\epsilon. The Sorgenfrey line can thus be used to study right-sided limits: if f: \mathbb \to \mathbb is a function, then the ordinary right-sided limit of f at x (when the codomain carries the standard topology) is the same as the usual limit of f at x when the domain is equipped with the lower limit topology and the codomain carries the standard topology. * In terms of
separation axioms In topology and related fields of mathematics, there are several restrictions that one often makes on the kinds of topological spaces that one wishes to consider. Some of these restrictions are given by the separation axioms. These are sometimes ...
, \mathbb_l is a perfectly normal Hausdorff space. * In terms of countability axioms, \mathbb_l is
first-countable In topology, a branch of mathematics, a first-countable space is a topological space satisfying the "first axiom of countability". Specifically, a space X is said to be first-countable if each point has a countable neighbourhood basis (local bas ...
and separable, but not
second-countable In topology, a second-countable space, also called a completely separable space, is a topological space whose topology has a countable base. More explicitly, a topological space T is second-countable if there exists some countable collection \mat ...
. * In terms of compactness properties, \mathbb_l is Lindelöf and
paracompact In mathematics, a paracompact space is a topological space in which every open cover has an open refinement that is locally finite. These spaces were introduced by . Every compact space is paracompact. Every paracompact Hausdorff space is norm ...
, but not σ-compact nor
locally compact In topology and related branches of mathematics, a topological space is called locally compact if, roughly speaking, each small portion of the space looks like a small portion of a compact space. More precisely, it is a topological space in which e ...
. * \mathbb_l is not
metrizable In topology and related areas of mathematics, a metrizable space is a topological space that is homeomorphic to a metric space. That is, a topological space (X, \mathcal) is said to be metrizable if there is a metric d : X \times X \to , \inf ...
, since separable metric spaces are second-countable. However, the topology of a Sorgenfrey line is generated by a
quasimetric In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general setti ...
. * \mathbb_l is a
Baire space In mathematics, a topological space X is said to be a Baire space if countable unions of closed sets with empty interior also have empty interior. According to the Baire category theorem, compact Hausdorff spaces and complete metric spaces are ...
. * \mathbb_l does not have any connected compactifications.Adam Emeryk, Władysław Kulpa. The Sorgenfrey line has no connected compactification. ''Comm. Math. Univ. Carolinae'' 18 (1977), 483–487.


See also

*
List of topologies The following is a list of named topologies or topological spaces, many of which are counterexamples in topology and related branches of mathematics. This is not a list of properties that a topology or topological space might possess; for that ...


References

* {{Citation , last1=Steen , first1=Lynn Arthur , author1-link=Lynn Arthur Steen , last2=Seebach , first2=J. Arthur Jr. , author2-link=J. Arthur Seebach, Jr. , title=
Counterexamples in Topology ''Counterexamples in Topology'' (1970, 2nd ed. 1978) is a book on mathematics by topologists Lynn Steen and J. Arthur Seebach, Jr. In the process of working on problems like the metrization problem, topologists (including Steen and Seebach) ...
, orig-year=1978 , publisher=
Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 ...
, location=Berlin, New York , edition=
Dover Dover () is a town and major ferry port in Kent, South East England. It faces France across the Strait of Dover, the narrowest part of the English Channel at from Cap Gris Nez in France. It lies south-east of Canterbury and east of Maidstone ...
reprint of 1978 , isbn=978-0-486-68735-3 , mr=507446 , year=1995 Topological spaces