Bolzano–Weierstrass-tétel

A MathWikiből
A lap korábbi változatát látod, amilyen Mozo (vitalap | szerkesztései) 2008. május 22., 09:43-kor történt szerkesztése után volt.

Bolzano–Weierstrass-tételnek több, de egymáshoz szorsan kapcsolódó tételt neveznek az analízisben. Egyfelől az RN-beli sorozatok elméletében rámutathatunk, hogy minden korlátos sorozatnak van konvergens részsorozata, ezt néha Bolzano–Weierstrass-féle kiválasztási tételnek nevezik. Másrészt zárt és korlátos RN-beli halmazban haladó sorozatnak van a halmazbeli határértékkel rendelkező részsorozata. Harmadrészt RN-beli végtelen, korlátos sorozatnak van torlódási pontja.

Tartalomjegyzék

Bolzano–Weierstrass-féle kiválasztási tétel

RN-ben korlátos sorozatnak van konvergens részsorozata.

Az egyváltozós eset

R-ben ehhez a tételhez még a következő kommentárt fűzhetjük. Egy valós számsorozatnak, ha nem korlátos, biztosan van sűrűsögési pontja, azaz olyan pont, melynek minden kipontozott környezetében végtelen sok elem van. Ez amiatt van, hogy az egydimeniós esetben értelmezhető az, hogy a +∞ és –∞ értékek sűrűsödési helyek legyenek, éspedig a +∞ gömbi környezetei az

\left(\frac{1}{r},+\infty\right)

alakú intervallumok, ahol r pozitív szám (melyet a környezet sugarának nevezünk). Világos, hogy nem-korlátos sorozatra a két végtelen érték valamelyike sűrűsödési hely lesz.

Ennél érdekesebb kérdés, hogy van-e sűrűsödési pontja egy korlátos sorozatnak. Erre majdnem triviális indoklást a lenti Borel–Lebesgue-tétel szerinti bizonyítás ad. Jobban rávilágít azonban az indokra a csúcselemes vagy a felső és alső határértékeket felhasználó igazolási mód.

Bizonyítás csúcselemmel

Belátjuk, hogy minden valós sorozatból kiválasztható monoton részsorozat.

Ehhez először vezessük be a csúcselem fogalmát. ak-t csúcselemnek nevezzük, ha minden n \geq k esetén a_n \leq a_k. (Vagyis azokat az elemeket nevezzük így, amelyeknél a nagyobb indexű elemek között nincs nagyobb.)

Ekkor két eset lehetséges:

  1. Végtelen sok csúcselem van a sorozatban. Ha n_1 < n_2 < n_3 < \ldots indexek, melyekre a_{n_1}, a_{n_2}, a_{n_3}, \ldots csúcselemek, akkor ez utóbbi sorozat nyilvánvalóan monoton csökkenő.
  2. Véges sok csúcselem van a sorozatban. Vagyis létezik n0, hogy minden n > n0 esetén an nem csúcselem.
  • De a_{n_0} nem csúcselem, vagyis létezik n1 > n0, hogy a_{n_1} > a_{n_0}.
  • De a_{n_1} nem csúcselem, vagyis létezik n2 > n1, hogy a_{n_2} > a_{n_1} stb.

Ekkor viszont a_{n_1}, a_{n_2}, a_{n_3}, \ldots nyilván szigorúan monoton növő sorozat.

Vagyis minden sorozatnak van monoton részsorozata. De a mi sorozatunk egyben korlátos is, márpedig korlátos monoton sorozat konvergens.

Bizonyítás Borel–Lebesgue-tétellel

Azt fogjuk belátni, hogy a sorozatnak van sűrűsödési pontja, azaz olyan pont, melynek minden nyílt környezetében van végtelen sok sorozatbeli elem. Ekkor ugyanis már kiválasztható az u sűrűsödési helyhez konvergáló részsorozat: minden n-re:

b_n = \min\{ i > n \mid |a_i-u| < \delta_n\}

ahol (δn) egy szigorúan monoton csökkenő nullsorozat.

Legyen [a,b] olyan korlátos és zárt intervallum, mely lefedi a sorozatot. Tegyük fel indirekt módon, hogy an-nek nincs sűrűsödési helye. Ekkor minden x[a,b]-nek létezik olyan nyílt környezete, melyben csak véges sok sorozatbeli elem van. Az [a,b] intervallum ezen halmazokból álló nyílt lefedéséből kiválasztható véges sok, mely még mindig lefedés, éspedig a Borel–Lebesgue-tétel miatt. Tehát a sorozatnak összesen véges sok szor véges sok, azaz véges sok eleme eshet [a,b]-be, ami ellentmond annak, hogy a sorozatnak végtelen sok tagja van és ez mind [a,b]-ben van.

Többváltozós eset

Itt a csúcselemes bizonyítás nem működik abban az értelmeben, hogy közvetlenül nem hivatkozhatunk rájuk, mert nincs RN-ben a műveletekkel kompatibilis rendezés. Gondolhatnók arra is, hogy komponensenként használjuk az egydimenziós B–W-tételt. Ezzel a következő a probléma. Világos, hogy létezik minden projekciósorozatra egy-egy részsorozat, mely konvergens. Ám ebből egyáltalán nem következtethetünk arra, hogy ezek metszetéből kiválasztható részsorozat. Ellenpéldaként vegyünk egy R2-ben haladó sorozatot. Tegyük fel, hogy (szerencsétlen módon) az egydimenziós B–W-tétel az első komponensek sorozatából a páros indexűeket, a második komponensek közül a páratéan indexűeket választja ki. Ekkor a kétdimenziós sorozatnak nincs olyan részsosozata, mely a komponensorozatok közös indexeikből válaszható ki, tekintve, hogy a közös indexen halmaza üres.

A fentiek miatt olyan módon kell konvergens részsorozatokat kiválasztanunk, mely bizonyosan végtelen sok közös indexel rendelkeznek. A konstrukció a következő.

Bizonyítás

Legyen

(a_n)=(a_n^{(1)}, a_n^{(2)}, ..., a_n^{(N)})\in (\mathbf{R}^N)^{\mathbf{Z}^+}

egy N komponensű sorozat, mely korlátos RN-ben. Ekkor a komponenssorozatok is korlátosak. Az egydimenziós B–W-tétel szerint az

(a_n^{(1)})

sorozathoz létezik σ1 indexsorozat úgy, hogy az

(a_n^{(1)})\circ\sigma_1

konvergens részsorozat. Hasonlóképpen, de a

(a_n^{(2)})\circ\sigma_1

sorozatnak is van

(a_n^{(2)})\circ\sigma_1\circ\sigma_2

konvergens részsorozata. Megállapíthatjuk, hogy a

(a_n^{(1)})\circ\sigma_1\circ\sigma_2

sorozat szintén konvergens, mert konvergens sorozat részsorozata. Ugyanígy léteznek σ1, σ2, ..., σN indexsorozatok, hogy a

(a_n^{(1)})\circ\sigma_1
(a_n^{(2)})\circ\sigma_1\circ\sigma_2
\vdots
(a_n^{(N)})\circ\sigma_1\circ\sigma_2\circ...\circ\sigma_N

sorozatok mind konvergensek és így tetszőleges k=1...N-re

(a_n^{(k)})\circ\sigma_1\circ\sigma_2\circ...\circ\sigma_N

is az, ami pontosan azt jelenti, hogy az

(a_n)\circ\sigma_1\circ\sigma_2\circ...\circ\sigma_N

sorozat komponensenként konvergens, azaz konvergens. A

\sigma_1\circ\sigma_2\circ...\circ\sigma_N

tehát olyan indexsorozat, mely konvergens részsorozatot választ ki (an)-ből.

B–W-tétel mint a B–W-féle kiválasztási tétel következménye

Az előbbi tétel múlhatatlan fontosságú következménye az amit sokhelyütt szintén Bolzano–Weierstrass-tételnek neveznek vagyis, hogy egy R-beli halmaz pontosan akkor korlátos és zárt, ha kompakt. Itt egészen pontosan sorozatkompaktságról van szó, azaz arról, amikor egy tetszőleges H ⊆ R halmazra teljesül, hogy minden H-beli értékeket felvevő sorozatnak van H-beli határértékű konvergens részsorozata. Az alábbi tételt néha szintén Bolzano–Weierstrass-tételnek nevezik (csak ekkor nem mondják oda a „kiválasztási” jelzőt).

B–W-tétel – Egy H ⊆ R halmaz akkor és csak akkor korlátos és zárt, ha sorozatkompakt.

Bizonyítás. Először tegyük fel, hogy H korlátos és zárt. Ekkor a Bolzano–Weierstrass-féle kiválasztási tételből következik, hogy minden H-ban haladó sorozatnak – minthogy ezeket lefedi a korlátos H – létezik konvergens rélszsorozata. H zártságából pedig az következik, hogy minden H-beli értékeket felvevő konvergens sorozat határértéke szintén H-beli, amivel az állítás első fele bebizonyosodott.

Másrészt legyen H sorozatkompakt. Ha nem lenne korlátos, akkor tetszőleges n természetes számra

H_n:=\{x\in H\mid |x|>n\}\ne \emptyset

lenne, és így a kiválasztási axióma segítségével definiálhatunk egy (sn) sorozatot, melynek elemei rendre Hn-beliek. Ekkor minden n természetes számra sn > n, és így tetszőleges (kn) indexsorozatra (szig. mon. növekvő) |s(kn)| > kn > n, ami azt jeleni, hogy (sn)-nek nincs konvergens részsorozata.

A zártsághoz tekintsük H lezártjának egy h elemét. Ekkor létezik h határértékkel H-beli elemekből konvergens sorozat, melyből a sorozatkompaktság miatt szükségképpen h ∈ H következik. QED

A tétel párja a Borel–Lebesgue-féle lefedési tétel, mely szerint korlátos és zárt R-beli halmaz minden nyílt lefedéséből kiválasztható véges részlefedés (korlátos és zárt R-beli halmaz kompakt).

Megjegyezzük, hogy a tételek Rn-ben is érvényesek.

Személyes eszközök