topológia
5.2. Kompakt és tökéletes halmazok
már láttuk, hogy a valós sorban lévő összes nyitott halmaz felírható diszjunkt nyitott intervallumok megszámlálható uniójaként. Most közelebbről megvizsgáljuk a zárt készleteket. A valós sorban a zárt halmazok legfontosabb típusát kompakt halmazoknak nevezzük:
| meghatározás 5.2.1: Kompakt készletek | |
| a valós számok halmazát nevezzük kompakt ha minden szekvencia ban ben S van egy szekvenciája, amely ismét konvergál egy elemhez S. | |
| példák 5.2.2: | |
|
|
itt van a kompakt halmazok jellemzése, amely csak nyitott halmazokon alapul:
| tétel 5.2.6: Heine-Borel-tétel | |
| a valós számok halmaza s csak akkor kompakt, ha minden nyitott fedél C nak, – nek s redukálható véges alfedésre.
|
|
a kompakt halmazok sok tulajdonsággal rendelkeznek a véges halmazokkal. Például, ha A és B két nem üres halmaz, amelyek
B, akkor A
B # 0. Ez valójában véges sok halmazra is igaz, de végtelen sok halmazra nem igaz.
| példák 5.2.7: | |
|
|
a kompakt készletek viszont a következő szép tulajdonsággal rendelkeznek, amelyet a következő fejezetek egy részében használnak:
| 5.2.8. javaslat: beágyazott kompakt készletek metszéspontja | |
tegyük fel, hogy az { Aj } halmazok olyan gyűjteménye, hogy minden Aj nem üres, kompakt, és Aj+1 Aj. Akkor A = Aj nem üres.
|
|
a zárt készletek másik érdekes gyűjteménye a tökéletes készlet:
| meghatározás 5.2.9: tökéletes készlet | |
| egy s halmaz akkor tökéletes, ha zárt, és S minden pontja s felhalmozási pontja. | |
| példa 5.2.10: | |
|
|
a fenti eredmény alkalmazásaként látni fogjuk, hogy a tökéletes halmazok zárt halmazok, amelyek sok pontot tartalmaznak:
| javaslat 5.2.11: a tökéletes készletek megszámlálhatatlanok | |
| minden nem üres tökéletes készletnek megszámlálhatatlannak kell lennie.
|
|
ez gyors, de meglehetősen kifinomult bizonyítékot adhat arra, hogy az intervallum megszámlálhatatlan: az intervallum tökéletes készlet, ezért megszámlálhatatlannak kell lennie.
egy másik, meglehetősen sajátos példa a zárt, kompakt és tökéletes készletre a Cantor készlet.
| meghatározás 5.2.12: Cantor középső harmadik szett | |
Kezdje az egység intervallummal
távolítsa el ebből a készletből a középső harmadot, majd állítsa be
távolítsa el ebből a készletből a két középső harmadot és állítsa be
folytassa így, ahol
akkor a Cantor halmaz meghatározása
|
|
a Cantor készlet jelzi a zárt halmazok bonyolult szerkezetét a valós sorban. A következő tulajdonságokkal rendelkezik:
| 5.2.13. példa: a Cantor-készlet tulajdonságai | |
|
|
gondolj erre a készletre. Meglepőnek tűnik, hogy
- a nulla hosszúságú halmaz megszámlálhatatlanul sok pontot tartalmazhat.
- a tökéletes halmaznak nem kell nyílt halmazt tartalmaznia
ezért a Cantor-halmaz azt mutatja, hogy a valós vonal zárt részhalmazai bonyolultabbak lehetnek, mint azt az intuíció először sugallná. Valójában gyakran használják nehéz, ellen-intuitív objektumok elemzésére.
= { t
R : | t –
| <
és
{0} ?