Bolzano–Weierstrass-tételkör
A Bolzano--Weierstrass-tétel és a hozzá kapcsolódó állítások Rn jellegzetes topologiai tulajdonságaira mutatnak rá. Lényegében a korlátos és zárt halmazok kompaktságáról szólnak.
Sorozatkompaktság és B--W-tétel
Egy K halmaz sorozatkompakt Rn-ben, ha minden benne a K-ban haladó sorozatból kiválasztható K-beli határértékű konvergens részsorozat. Jelekben:
- K sorozatkompakt
Az egyváltozós esetből adódik a tétel maga:
Bolzano-Weierstrass-féle kiválasztási tétel. Korlátos sorozatnak van konvergens részsorozata.
Bizonyítás. Direktben a csúcselemes bizonyítás nem működik (nincs rendezés). Komponensenként sem működik! De egymás után komponensről komponensre haladva, egyre szűkebb részsorozatokat kiválasztva már tud működni.
Kompakt egy K halmaz, ha minden nyílt halmazrendszerből, melynek uniója lefedi K-t kiválasztható véges sok nyílt halmaz is, melyek véges uniója még mindig lefedi K-t.
Heine-Borel-tétel. Korlátos és zárt halmaz kompakt.
Rn-ben tehát a kompaktság ugyanaz, mint a sorozatkompaktság.
Rn véges dimenziószáma nagyon lényegesen hozzájárul a fenti tételek fennállásához. Általában (Haussdorf-térben) kompakt halmaz korlátos és zárt. Ám, van olyan végtelen dimenziós normált tér, melyben zárt és korlátos halmaz nem kompakt. Legyen ugyanis a korlátos sorozatok tere. A téren a norma a suprémum:
Ekkor a
"gömb" nem kompakt. Hasonló furcsaságokat jelentkeznek a p-edik hatványon szummálható sorozatok terében is. Számunkra esetleg a véges sorösszeggel rendelkező tér bír jelentőséggel.