Sierpiński space: Difference between revisions

Revision as of 00:39, 28 January 2012

This article is about a particular topological space (uniquely determined up to homeomorphism)|View a complete list of particular topological spaces

The Sierpiński space is a topological space defined as follows (up to homeomorphism):

The underlying set is a two-point set $X = {a, b}$ .
The open subsets are: ${}, {a}, {a, b}$ . Thus, the closed subsets are ${}, {b}, {a, b}$ .

The Sierpiński space can be defined as the topological space arising by taking the left order topology on a totally ordered set of size two.

Property	Satisfied?	Explanation	Corollary properties satisfied/dissatisfied
Separation
Kolmogorov space (the $T_{0}$ axiom)	Yes
T1 space	No	The subset ${a}$ is not closed.	dissatisfies: Hausdorff space
Cardinality
finite space	Yes		satisfies: compact space and all corollaries thereof satisfies: second-countable space and all corollaries thereof
Connectedness
connected space	Yes
path-connected space	Yes	the function $f : [0, 1] \to X$ that sends all elements to $a$ except 1 which is sent to $b$ is a continuous function.	satisfies: connected space
irreducible space	Yes	the only proper non-empty closed subset is ${b}$ , so the space cannot be expressed as a union of two such subsets.	satisfies: connected space
ultraconnected space	Yes	the only proper non-empty closed subset is ${b}$ , so the condition is vacuously satisfied.	satisfies: path-connected space, connected space
locally path-connected space	Yes		satisfies: locally connected space
Homotopy-invariant properties
contractible space	Yes		satisfies: weakly contractible space, simply connected space, acyclic space
Discreteness
discrete space	No
door space	Yes		satisfies: submaximal space, irresolvable space, hereditarily irresolvable space

@@ Line 33: / Line 33: @@
 | [[satisfies property::connected space]] || Yes || ||
 |-
-| [[satisfies property::path-connected space]] || Yes || the function <math>f:[0,1] \to X</math> that sends all elements to <math>a</math> except 1 which is sent to <math>b</math> is a continuous function. ||
+| [[satisfies property::path-connected space]] || Yes || the function <math>f:[0,1] \to X</math> that sends all elements to <math>a</math> except 1 which is sent to <math>b</math> is a continuous function. || satisfies: [[satisfies property::connected space]]
 |-
 | [[satisfies property::irreducible space]] || Yes || the only proper non-empty closed subset is <math>\{ b \}</math>, so the space cannot be expressed as a union of two such subsets. || satisfies: [[satisfies property::connected space]]
 |-
 | [[satisfies property::ultraconnected space]] || Yes || the only proper non-empty closed subset is <math>\{ b \}</math>, so the condition is vacuously satisfied. || satisfies: [[satisfies property::path-connected space]], [[satisfies property::connected space]]
+|-
+| [[satisfies property::locally path-connected space]] || Yes || || satisfies: [[satisfies property::locally connected space]]
 |-
 ! Homotopy-invariant properties