In the branch of
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
known as
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 ...
, the topologist's sine curve or Warsaw sine curve is a
topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called poin ...
with several interesting properties that make it an important textbook example.
It can be defined as the
graph of the function sin(1/''x'') on the
half-open interval
In mathematics, a (real) interval is a set of real numbers that contains all real numbers lying between any two numbers of the set. For example, the set of numbers satisfying is an interval which contains , , and all numbers in between. Othe ...
(0, 1], together with the origin, under the topology
subspace topology, induced from the
Euclidean plane
In mathematics, the Euclidean plane is a Euclidean space of dimension two. That is, a geometric setting in which two real quantities are required to determine the position of each point ( element of the plane), which includes affine notions ...
:
:
Properties
The topologist's sine curve ''T'' is
connected but neither
locally connected nor
path connected
In topology and related branches of mathematics, a connected space is a topological space that cannot be represented as the union of two or more disjoint non-empty open subsets. Connectedness is one of the principal topological properties ...
. This is because it includes the point (0,0) but there is no way to link the function to the origin so as to make a
path.
The space ''T'' is the continuous image of a
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 ev ...
space (namely, let ''V'' be the space ∪ (0, 1
], and use the map ''f'' from ''V'' to ''T'' defined by
''f''(−1) = (0,0) and
''f''(''x'') =
(''x'', sin(1/''x'')) for ''x'' > 0), but ''T'' is not locally compact itself.
The
topological dimension
In mathematics, the Lebesgue covering dimension or topological dimension of a topological space is one of several different ways of defining the dimension of the space in a
topologically invariant way.
Informal discussion
For ordinary Euclidean ...
of ''T'' is 1.
Variants
Two variants of the topologist's sine curve have other interesting properties.
The closed topologist's sine curve can be defined by taking the topologist's sine curve and adding its set of
limit points,
; some texts define the topologist's sine curve itself as this closed version, as they prefer to use the term 'closed topologist's sine curve' to refer to another curve.
This space is closed and bounded and so
compact
Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to:
* Interstate compact
* Blood compact, an ancient ritual of the Philippines
* Compact government, a type of colonial rule utilized in Britis ...
by the
Heine–Borel theorem, but has similar properties to the topologist's sine curve—it too is connected but neither locally connected nor path-connected.
The extended topologist's sine curve can be defined by taking the closed topologist's sine curve and adding to it the set
. It is
arc connected but not
locally connected.
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, ...
*
Warsaw circle
Shape theory is a branch of topology that provides a more global view of the topological spaces than homotopy theory. The two coincide on compacta dominated homotopically by finite polyhedra. Shape theory associates with the Čech homology theo ...
References
*
*{{mathworld, urlname=TopologistsSineCurve, title=Topologist's Sine Curve
Topological spaces