Bolzano–Weierstrass-tételkör

A MathWikiből
A lap korábbi változatát látod, amilyen Mozo (vitalap | szerkesztései) 2008. május 20., 21:06-kor történt szerkesztése után volt.
(eltér) ←Régebbi változat | Aktuális változat (eltér) | Újabb változat→ (elté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
\Leftrightarrow_{\mathrm{def}}
\forall(a_n)\in K^{\mathbf{Z}^+}\;\;\exists(n_k)\in (\mathbf{Z}^+)^{\mathbf{Z}^+}\quad (n_k)\mbox{ indexsorozat} \;\;\wedge\;\; \exists\lim(a_{n_k})\in K

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 \mbox{ }_{\ell_{\infty}(\mathbf{R})} a korlátos sorozatok tere. A téren a norma a suprémum:

||s||_{\infty}=\sup\{|s_n|\mid n\in\mathbf{N}\}

Ekkor a

H:=\{s\in\ell^{\infty}(\mathbf{R})\mid ||s||\leq 1\}

"gömb" nem kompakt. Hasonló furcsaságokat jelentkeznek a p-edik hatványon szummálható sorozatok \mbox{ }_{\ell_{p}(\mathbf{R})} terében is. Számunkra esetleg a véges sorösszeggel rendelkező \mbox{ }_{\ell_{1}(\mathbf{R})} tér bír jelentőséggel.

Személyes eszközök