Half-open Interval Topology on:  
[Wikipedia]  
[Google]  
[Amazon]
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
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
(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
''a'',''b''), where ''a'' and ''b'' are real numbers.
The resulting /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 . 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 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 and , the interval 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