Sierpiński space: Difference between revisions

Revision as of 02:28, 27 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}$ .

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.
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
Discreteness
discrete space	No
door space	Yes		satisfies: submaximal space, irresolvable space, hereditarily irresolvable space

@@ Line 31: / Line 31: @@
 | [[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-connceted space]], [[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]]
 |-
 ! Discreteness
@@ Line 37: / Line 37: @@
 | [[dissatisfies property::discrete space]] || No || ||
 |-
-| [[satisfies property::door space]] || Yes || || satisfies: [[satisfies property::submaximal space]], [[satisfies property::irresolvable space]]
+| [[satisfies property::door space]] || Yes || || satisfies: [[satisfies property::submaximal space]], [[satisfies property::irresolvable space]], [[satisfies property::hereditarily irresolvable space]]
 |}