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.
bizonyíték
|
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.
bizonyíték
|
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.
bizonyíték
|
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.