- Source: Perfect set
In general topology, a subset of a topological space is perfect if it is closed and has no isolated points. Equivalently: the set
S
{\displaystyle S}
is perfect if
S
=
S
′
{\displaystyle S=S'}
, where
S
′
{\displaystyle S'}
denotes the set of all limit points of
S
{\displaystyle S}
, also known as the derived set of
S
{\displaystyle S}
.
In a perfect set, every point can be approximated arbitrarily well by other points from the set: given any point of
S
{\displaystyle S}
and any neighborhood of the point, there is another point of
S
{\displaystyle S}
that lies within the neighborhood. Furthermore, any point of the space that can be so approximated by points of
S
{\displaystyle S}
belongs to
S
{\displaystyle S}
.
Note that the term perfect space is also used, incompatibly, to refer to other properties of a topological space, such as being a Gδ space. As another possible source of confusion, also note that having the perfect set property is not the same as being a perfect set.
Examples
Examples of perfect subsets of the real line
R
{\displaystyle \mathbb {R} }
are the empty set, all closed intervals, the real line itself, and the Cantor set. The latter is noteworthy in that it is totally disconnected.
Whether a set is perfect or not (and whether it is closed or not) depends on the surrounding space. For instance, the set
S
=
[
0
,
1
]
∩
Q
{\displaystyle S=[0,1]\cap \mathbb {Q} }
is perfect as a subset of the space
Q
{\displaystyle \mathbb {Q} }
but not perfect as a subset of the space
R
{\displaystyle \mathbb {R} }
, since it fails to be closed in the latter.
Connection with other topological properties
Every topological space can be written in a unique way as the disjoint union of a perfect set and a scattered set.
Cantor proved that every closed subset of the real line can be uniquely written as the disjoint union of a perfect set and a countable set. This is also true more generally for all closed subsets of Polish spaces, in which case the theorem is known as the Cantor–Bendixson theorem.
Cantor also showed that every non-empty perfect subset of the real line has cardinality
2
ℵ
0
{\displaystyle 2^{\aleph _{0}}}
, the cardinality of the continuum. These results are extended in descriptive set theory as follows:
If X is a complete metric space with no isolated points, then the Cantor space 2ω can be continuously embedded into X. Thus X has cardinality at least
2
ℵ
0
{\displaystyle 2^{\aleph _{0}}}
. If X is a separable, complete metric space with no isolated points, the cardinality of X is exactly
2
ℵ
0
{\displaystyle 2^{\aleph _{0}}}
.
If X is a locally compact Hausdorff space with no isolated points, there is an injective function (not necessarily continuous) from Cantor space to X, and so X has cardinality at least
2
ℵ
0
{\displaystyle 2^{\aleph _{0}}}
.
See also
Dense-in-itself
Finite intersection property
Subspace topology
Notes
References
Engelking, Ryszard (1989). General Topology. Berlin: Heldermann Verlag. ISBN 3-88538-006-4.
Kechris, A. S. (1995), Classical Descriptive Set Theory, Berlin, New York: Springer-Verlag, ISBN 3540943749
Levy, A. (1979), Basic Set Theory, Berlin, New York: Springer-Verlag
Pearl, Elliott, ed. (2007), Open problems in topology. II, Elsevier, ISBN 978-0-444-52208-5, MR 2367385
Kata Kunci Pencarian:
- Perfect Strangers (film 2022)
- A World Without
- Hailee Steinfeld
- Bahasa Inggris
- IKon 2018 Continue Tour
- The Perfect Match (film tahun 2016)
- Globalisasi
- Bruno Mars
- Garin Nugroho
- Jaane Jaan (film 2023)
- Perfect set
- Perfect set property
- Dude Perfect
- Cantor set
- The Perfect Couple (TV series)
- Perfect
- Set theory
- Perfect graph
- Subgame perfect equilibrium
- Descriptive set theory
Eastern Bandits (2012)
2001: A Space Odyssey (1968)
Reign of the Supermen (2019)
The Son (2022)
Se7en (1995)
The Crow: Salvation (2000)
Justice League: Throne of Atlantis (2015)
No More Posts Available.
No more pages to load.