In
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 ...
, the Sierpiński space (or the connected two-point set) is a
finite topological space
In mathematics, a finite topological space is a topological space for which the underlying point set is finite. That is, it is a topological space which has only finitely many elements.
Finite topological spaces are often used to provide example ...
with two points, only one of which is
closed.
It is the smallest example of 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 points ...
which is neither
trivial
Trivia is information and data that are considered to be of little value. It can be contrasted with general knowledge and common sense.
Latin Etymology
The ancient Romans used the word ''triviae'' to describe where one road split or forked ...
nor
discrete
Discrete may refer to:
*Discrete particle or quantum in physics, for example in quantum theory
* Discrete device, an electronic component with just one circuit element, either passive or active, other than an integrated circuit
*Discrete group, a ...
. It is named after
Wacław Sierpiński
Wacław Franciszek Sierpiński (; 14 March 1882 – 21 October 1969) was a Polish mathematician. He was known for contributions to set theory (research on the axiom of choice and the continuum hypothesis), number theory, theory of functions, and t ...
.
The Sierpiński space has important relations to the
theory of computation
In theoretical computer science and mathematics, the theory of computation is the branch that deals with what problems can be solved on a model of computation, using an algorithm, how efficiently they can be solved or to what degree (e.g., a ...
and
semantics
Semantics (from grc, σημαντικός ''sēmantikós'', "significant") is the study of reference, meaning, or truth. The term can be used to refer to subfields of several distinct disciplines, including philosophy
Philosophy (f ...
, because it is the
classifying space
In mathematics, specifically in homotopy theory, a classifying space ''BG'' of a topological group ''G'' is the quotient of a weakly contractible space ''EG'' (i.e. a topological space all of whose homotopy groups are trivial) by a proper free acti ...
for
open sets
In mathematics, open sets are a generalization of open intervals in the real line.
In a metric space (a set along with a distance defined between any two points), open sets are the sets that, with every point , contain all points that are suff ...
in the
Scott topology
Scott may refer to:
Places Canada
* Scott, Quebec, municipality in the Nouvelle-Beauce regional municipality in Quebec
* Scott, Saskatchewan, a town in the Rural Municipality of Tramping Lake No. 380
* Rural Municipality of Scott No. 98, Saskat ...
.
Definition and fundamental properties
Explicitly, the Sierpiński space 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 points ...
''S'' whose underlying
point set is
and whose
open set
In mathematics, open sets are a generalization of open intervals in the real line.
In a metric space (a set along with a distance defined between any two points), open sets are the sets that, with every point , contain all points that are suf ...
s are
The
closed set
In geometry, topology, and related branches of mathematics, a closed set is a set whose complement is an open set. In a topological space, a closed set can be defined as a set which contains all its limit points. In a complete metric space, a cl ...
s are
So the
singleton set
In mathematics, a singleton, also known as a unit set or one-point set, is a set with exactly one element. For example, the set \ is a singleton whose single element is 0.
Properties
Within the framework of Zermelo–Fraenkel set theory, the ...
is closed and the set
is open (
is the
empty set
In mathematics, the empty set is the unique set having no elements; its size or cardinality (count of elements in a set) is zero. Some axiomatic set theories ensure that the empty set exists by including an axiom of empty set, while in other ...
).
The
closure operator In mathematics, a closure operator on a set ''S'' is a function \operatorname: \mathcal(S)\rightarrow \mathcal(S) from the power set of ''S'' to itself that satisfies the following conditions for all sets X,Y\subseteq S
:
Closure operators are de ...
on ''S'' is determined by
A finite topological space is also uniquely determined by its
specialization preorder. For the Sierpiński space this
preorder
In mathematics, especially in order theory, a preorder or quasiorder is a binary relation that is reflexive and transitive. Preorders are more general than equivalence relations and (non-strict) partial orders, both of which are special c ...
is actually a
partial order
In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a set. A poset consists of a set together with a binary ...
and given by
Topological properties
The Sierpiński space
is a special case of both the finite
particular point topology In mathematics, the particular point topology (or included point topology) is a topology where a set is open if it contains a particular point of the topological space. Formally, let ''X'' be any non-empty set and ''p'' ∈ ''X''. The collec ...
(with particular point 1) and the finite
excluded point topology In mathematics, the excluded point topology is a topology where exclusion of a particular point defines openness. Formally, let ''X'' be any non-empty set and ''p'' ∈ ''X''. The collection
:T = \ \cup \
of subsets of ''X'' is then the excluded ...
(with excluded point 0). Therefore,
has many properties in common with one or both of these families.
Separation
*The points 0 and 1 are
topologically distinguishable
In topology, two points of a topological space ''X'' are topologically indistinguishable if they have exactly the same neighborhoods. That is, if ''x'' and ''y'' are points in ''X'', and ''Nx'' is the set of all neighborhoods that contain ''x'', ...
in ''S'' since
is an open set which contains only one of these points. Therefore, ''S'' is a
Kolmogorov (T0) space.
*However, ''S'' is not
T1 since the point 1 is not closed. It follows that ''S'' is not
Hausdorff, or T
''n'' for any
*''S'' is not
regular (or
completely regular
In topology and related branches of mathematics, Tychonoff spaces and completely regular spaces are kinds of topological spaces. These conditions are examples of separation axioms. A Tychonoff space refers to any completely regular space that is ...
) since the point 1 and the disjoint closed set
cannot be
separated by neighborhoods. (Also regularity in the presence of T
0 would imply Hausdorff.)
*''S'' is
vacuously normal Normal(s) or The Normal(s) may refer to:
Film and television
* ''Normal'' (2003 film), starring Jessica Lange and Tom Wilkinson
* ''Normal'' (2007 film), starring Carrie-Anne Moss, Kevin Zegers, Callum Keith Rennie, and Andrew Airlie
* ''Norma ...
and
completely normal
In topology and related branches of mathematics, a normal space is a topological space ''X'' that satisfies Axiom T4: every two disjoint closed sets of ''X'' have disjoint open neighborhoods. A normal Hausdorff space is also called a T4 space. T ...
since there are no nonempty
separated sets.
*''S'' is not
perfectly normal
''Perfectly Normal'' is a Canadian comedy film directed by Yves Simoneau, which premiered at the 1990 Festival of Festivals, before going into general theatrical release in 1991. Simoneau's first English-language film, it was written by Eugene Lip ...
since the disjoint closed sets
and
cannot be precisely separated by a function. Indeed,
cannot be the
zero set
In mathematics, a zero (also sometimes called a root) of a real-, complex-, or generally vector-valued function f, is a member x of the domain of f such that f(x) ''vanishes'' at x; that is, the function f attains the value of 0 at x, or equi ...
of any
continuous function
In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in value ...
since every such function is
constant.
Connectedness
*The Sierpiński space ''S'' is both
hyperconnected
In the mathematical field of topology, a hyperconnected space or irreducible space is a topological space ''X'' that cannot be written as the union of two proper closed sets (whether disjoint or non-disjoint). The name ''irreducible space'' is pre ...
(since every nonempty open set contains 1) and
ultraconnected
In mathematics, a topological space is said to be ultraconnected if no two nonempty closed sets are disjoint.PlanetMath Equivalently, a space is ultraconnected if and only if the closures of two distinct points always have non trivial intersecti ...
(since every nonempty closed set contains 0).
*It follows that ''S'' is both
connected
Connected may refer to:
Film and television
* ''Connected'' (2008 film), a Hong Kong remake of the American movie ''Cellular''
* '' Connected: An Autoblogography About Love, Death & Technology'', a 2011 documentary film
* ''Connected'' (2015 TV ...
and
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 that ...
.
*A
path
A path is a route for physical travel – see Trail.
Path or PATH may also refer to:
Physical paths of different types
* Bicycle path
* Bridle path, used by people on horseback
* Course (navigation), the intended path of a vehicle
* Desire p ...
from 0 to 1 in ''S'' is given by the function:
and
for
The function
is continuous since
which is open in ''I''.
*Like all finite topological spaces, ''S'' is
locally path connected.
*The Sierpiński space is
contractible
In mathematics, a topological space ''X'' is contractible if the identity map on ''X'' is null-homotopic, i.e. if it is homotopic to some constant map. Intuitively, a contractible space is one that can be continuously shrunk to a point within that ...
, so the
fundamental group
In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of ...
of ''S'' is
trivial
Trivia is information and data that are considered to be of little value. It can be contrasted with general knowledge and common sense.
Latin Etymology
The ancient Romans used the word ''triviae'' to describe where one road split or forked ...
(as are all the
higher homotopy groups).
Compactness
*Like all finite topological spaces, the Sierpiński space is both
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 British ...
and
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 ...
.
*The compact subset
of ''S'' is not closed showing that compact subsets of T
0 spaces need not be closed.
*Every
open cover
In mathematics, and more particularly in set theory, a cover (or covering) of a set X is a collection of subsets of X whose union is all of X. More formally, if C = \lbrace U_\alpha : \alpha \in A \rbrace is an indexed family of subsets U_\alpha\s ...
of ''S'' must contain ''S'' itself since ''S'' is the only open neighborhood of 0. Therefore, every open cover of ''S'' has an open
subcover
In mathematics, and more particularly in set theory, a cover (or covering) of a set X is a collection of subsets of X whose union is all of X. More formally, if C = \lbrace U_\alpha : \alpha \in A \rbrace is an indexed family of subsets U_\alpha\s ...
consisting of a single set:
*It follows that ''S'' is
fully normal.
Convergence
*Every
sequence
In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is calle ...
in ''S''
converges to the point 0. This is because the only neighborhood of 0 is ''S'' itself.
*A sequence in ''S'' converges to 1 if and only if the sequence contains only finitely many terms equal to 0 (i.e. the sequence is eventually just 1's).
*The point 1 is a
cluster point
In mathematics, a limit point, accumulation point, or cluster point of a set S in a topological space X is a point x that can be "approximated" by points of S in the sense that every neighbourhood of x with respect to the topology on X also contai ...
of a sequence in ''S'' if and only if the sequence contains infinitely many 1's.
*''Examples'':
**1 is not a cluster point of
**1 is a cluster point (but not a limit) of
**The sequence
converges to both 0 and 1.
Metrizability
*The Sierpiński space ''S'' 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 , \infty) ...
or even
pseudometrizable since every pseudometric space is
completely regular
In topology and related branches of mathematics, Tychonoff spaces and completely regular spaces are kinds of topological spaces. These conditions are examples of separation axioms. A Tychonoff space refers to any completely regular space that is ...
but the Sierpiński space is not even
regular.
* ''S'' is generated by the
hemimetric (or
pseudo
The prefix pseudo- (from Greek ψευδής, ''pseudes'', "false") is used to mark something that superficially appears to be (or behaves like) one thing, but is something else. Subject to context, ''pseudo'' may connote coincidence, imitation, ...
-
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 settin ...
)
and
Other properties
*There are only three
continuous maps
In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in va ...
from ''S'' to itself: the
identity map
Graph of the identity function on the real numbers
In mathematics, an identity function, also called an identity relation, identity map or identity transformation, is a function that always returns the value that was used as its argument, un ...
and the
constant map
In mathematics, a constant function is a function whose (output) value is the same for every input value. For example, the function is a constant function because the value of is 4 regardless of the input value (see image).
Basic propertie ...
s to 0 and 1.
*It follows that the
homeomorphism group In mathematics, particularly topology, the homeomorphism group of a topological space is the group consisting of all homeomorphisms from the space to itself with function composition as the group operation. Homeomorphism groups are very important in ...
of ''S'' is
trivial
Trivia is information and data that are considered to be of little value. It can be contrasted with general knowledge and common sense.
Latin Etymology
The ancient Romans used the word ''triviae'' to describe where one road split or forked ...
.
Continuous functions to the Sierpiński space
Let ''X'' be an arbitrary set. The
set of all functions from ''X'' to the set
is typically denoted
These functions are precisely the
characteristic function In mathematics, the term "characteristic function" can refer to any of several distinct concepts:
* The indicator function of a subset, that is the function
::\mathbf_A\colon X \to \,
:which for a given subset ''A'' of ''X'', has value 1 at points ...
s of ''X''. Each such function is of the form
where ''U'' is a
subset
In mathematics, Set (mathematics), set ''A'' is a subset of a set ''B'' if all Element (mathematics), elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they are ...
of ''X''. In other words, the set of functions
is in
bijective
In mathematics, a bijection, also known as a bijective function, one-to-one correspondence, or invertible function, is a function between the elements of two sets, where each element of one set is paired with exactly one element of the other s ...
correspondence with
the
power set
In mathematics, the power set (or powerset) of a set is the set of all subsets of , including the empty set and itself. In axiomatic set theory (as developed, for example, in the ZFC axioms), the existence of the power set of any set is po ...
of ''X''. Every subset ''U'' of ''X'' has its characteristic function
and every function from ''X'' to
is of this form.
Now suppose ''X'' is a topological space and let
have the Sierpiński topology. Then a function
is
continuous
Continuity or continuous may refer to:
Mathematics
* Continuity (mathematics), the opposing concept to discreteness; common examples include
** Continuous probability distribution or random variable in probability and statistics
** Continuous ...
if and only if
is open in ''X''. But, by definition
So
is continuous if and only if ''U'' is open in ''X''. Let
denote the set of all continuous maps from ''X'' to ''S'' and let
denote the topology of ''X'' (that is, the family of all open sets). Then we have a bijection from
to
which sends the open set
to
That is, if we identify
with
the subset of continuous maps
is precisely the topology of
A particularly notable example of this is the
Scott topology
Scott may refer to:
Places Canada
* Scott, Quebec, municipality in the Nouvelle-Beauce regional municipality in Quebec
* Scott, Saskatchewan, a town in the Rural Municipality of Tramping Lake No. 380
* Rural Municipality of Scott No. 98, Saskat ...
for
partially ordered set
In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a Set (mathematics), set. A poset consists of a set toget ...
s, in which the Sierpiński space becomes the
classifying space
In mathematics, specifically in homotopy theory, a classifying space ''BG'' of a topological group ''G'' is the quotient of a weakly contractible space ''EG'' (i.e. a topological space all of whose homotopy groups are trivial) by a proper free acti ...
for open sets when the characteristic function preserves
directed joins.
Categorical description
The above construction can be described nicely using the language of
category theory
Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, cate ...
. There is a
contravariant functor
In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) are associated to topological spaces, and ...
from the
category of topological spaces In mathematics, the category of topological spaces, often denoted Top, is the category whose objects are topological spaces and whose morphisms are continuous maps. This is a category because the composition of two continuous maps is again contin ...
to the
category of sets
In the mathematical field of category theory, the category of sets, denoted as Set, is the category whose objects are sets. The arrows or morphisms between sets ''A'' and ''B'' are the total functions from ''A'' to ''B'', and the composition of m ...
which assigns each topological space
its set of open sets
and each continuous function
the
preimage
In mathematics, the image of a function is the set of all output values it may produce.
More generally, evaluating a given function f at each element of a given subset A of its domain produces a set, called the "image of A under (or through) ...
map
The statement then becomes: the functor
is
represented by
where
is the Sierpiński space. That is,
is
naturally isomorphic
In category theory, a branch of mathematics, a natural transformation provides a way of transforming one functor into another while respecting the internal structure (i.e., the composition of morphisms) of the categories involved. Hence, a natur ...
to the
Hom functor
In mathematics, specifically in category theory, hom-sets (i.e. sets of morphisms between objects) give rise to important functors to the category of sets. These functors are called hom-functors and have numerous applications in category theory and ...
with the natural isomorphism determined by the
universal element This is generalized by the notion of a
presheaf
In mathematics, a sheaf is a tool for systematically tracking data (such as sets, abelian groups, rings) attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the data could ...
.
[Saunders MacLane, Ieke Moerdijk, ''Sheaves in Geometry and Logic: A First Introduction to Topos Theory'', (1992) Springer-Verlag Universitext ]
The initial topology
Any topological space ''X'' has the
initial topology
In general topology and related areas of mathematics, the initial topology (or induced topology or weak topology or limit topology or projective topology) on a set X, with respect to a family of functions on X, is the coarsest topology on ''X'' tha ...
induced by the family
of continuous functions to Sierpiński space. Indeed, in order to
coarsen the topology on ''X'' one must remove open sets. But removing the open set ''U'' would render
discontinuous. So ''X'' has the coarsest topology for which each function in
is continuous.
The family of functions
separates points
''Separates'' is the second album by English punk rock band 999, released in 1978. ''Separates'' was released in the United States under the title ''High Energy Plan'', with a different cover and slightly altered track listing; on ''High Energ ...
in ''X'' if and only if ''X'' is a
T0 space. Two points
and
will be separated by the function
if and only if the open set ''U'' contains precisely one of the two points. This is exactly what it means for
and
to be
topologically distinguishable
In topology, two points of a topological space ''X'' are topologically indistinguishable if they have exactly the same neighborhoods. That is, if ''x'' and ''y'' are points in ''X'', and ''Nx'' is the set of all neighborhoods that contain ''x'', ...
.
Therefore, if ''X'' is T
0, we can embed ''X'' as a
subspace of a
product
Product may refer to:
Business
* Product (business), an item that serves as a solution to a specific consumer problem.
* Product (project management), a deliverable or set of deliverables that contribute to a business solution
Mathematics
* Produ ...
of Sierpiński spaces, where there is one copy of ''S'' for each open set ''U'' in ''X''. The embedding map
is given by
Since subspaces and products of T
0 spaces are T
0, it follows that a topological space is T
0 if and only if it is
homeomorphic
In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphi ...
to a subspace of a power of ''S''.
In algebraic geometry
In
algebraic geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...
the Sierpiński space arises as the
spectrum
A spectrum (plural ''spectra'' or ''spectrums'') is a condition that is not limited to a specific set of values but can vary, without gaps, across a continuum. The word was first used scientifically in optics to describe the rainbow of colors i ...
,
of a
discrete valuation ring
In abstract algebra, a discrete valuation ring (DVR) is a principal ideal domain (PID) with exactly one non-zero maximal ideal.
This means a DVR is an integral domain ''R'' which satisfies any one of the following equivalent conditions:
# ''R'' ...
such as
(the
localization
Localization or localisation may refer to:
Biology
* Localization of function, locating psychological functions in the brain or nervous system; see Linguistic intelligence
* Localization of sensation, ability to tell what part of the body is a ...
of the
integer
An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign (−1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language ...
s at the
prime ideal
In algebra, a prime ideal is a subset of a ring that shares many important properties of a prime number in the ring of integers. The prime ideals for the integers are the sets that contain all the multiples of a given prime number, together with ...
generated by the prime number
). The
generic point
In algebraic geometry, a generic point ''P'' of an algebraic variety ''X'' is, roughly speaking, a point at which all generic properties are true, a generic property being a property which is true for almost every point.
In classical algebraic g ...
of
coming from the
zero ideal
In mathematics, a zero element is one of several generalizations of the number zero to other algebraic structures. These alternate meanings may or may not reduce to the same thing, depending on the context.
Additive identities
An additive identi ...
, corresponds to the open point 1, while the
special point of
coming from the unique
maximal ideal
In mathematics, more specifically in ring theory, a maximal ideal is an ideal that is maximal (with respect to set inclusion) amongst all ''proper'' ideals. In other words, ''I'' is a maximal ideal of a ring ''R'' if there are no other ideals cont ...
, corresponds to the closed point 0.
See also
*
*
*
Notes
References
*
* Michael Tiefenback (1977) "Topological Genealogy",
Mathematics Magazine
''Mathematics Magazine'' is a refereed bimonthly publication of the Mathematical Association of America. Its intended audience is teachers of collegiate mathematics, especially at the junior/senior level, and their students. It is explicitly a j ...
50(3): 158–60
{{DEFAULTSORT:Sierpinski space
General topology
Topological spaces