Bolzano-Weierstrass sats

Bolzano-Weierstrass sats är en sats inom matematisk analys som berör konvergensen av talföljder i euklidiska rum. Mer formellt säger satsen att varje begränsad talföljd i Rⁿ har en konvergent delföljd.

Formulering och bevis

Sats: Låt (x_n) vara en begränsad talföljd i Rⁿ. Då finns det en delföljd $x_{n_{i}}$ som är konvergent.

Vi bevisar denna i flera steg. Först visar vi ett lemma:

Lemma: Varje talföljd, $(x_{n})$ i Rⁿ har en monoton delföljd.

Bevis: Vi kallar ett positivt heltal n för en "topp" om $m>n$ medför att $x_{n} > x_{m}$, dvs om $x_{n}$ är större än alla följande element i talföljden. Anta först att det finns oändligt många toppar, $n_{1} <n_{2} < \ldots < n_{j} < \ldots.$. Då är följden $x_{n_{1}}, x_{n_{2}}$ osv en monoton delföljd. Anta nu att det bara finns ändligt många toppar, låt N vara den sista toppen (om inga toppar finns sätt N=0) och sätt n₁ = N+1. Då är n₁ ingen topp så det finns ett n₂ med $x_{n_{2}} \geq x_{n_{1}}$. Inte heller n₂ är en topp så vi kan upprepa proceduren och hitta ett n₃ med $x_{n_{3}} \geq x_{n_{2}}$. Om vi fortsätter så får vi en monoton talföljd $x_{n_{i}}$.

Bevis av satsen: Anta nu att vi har en begränsad talföljd i R. Då finns en monoton delföljd som också måste vara begränsad. Varje monoton begränsad talföljd konvergerar så det gör även delföljden.

Vi kan använda resultatet i en dimension för att bevisa det allämnna resultatet. För varje begränsad talföljd, $(y_{n})$ i Rⁿ är följden av dess första koordinater en begränsad talföljd i R. Alltså innehåller den en konvergent delföljd. Detta innebär att $(y_{n})$ innehåller en delföljd vars första koordinat konvergerar. Från denna delföljd kan vi sedan extrahera en ytterligare delföljd där andra koordinaten konvergerar osv tills vi hittat en delföljd där alla koordinater konvergerar och således även själva delföljden.

Kompakthet

Bolzano-Weierstrass sats kan också formuleras som att en mängd är följdkompakt i Rⁿ om och endast om den är sluten och begränsad. Följdkompakthet innebär att varje följd i mängden innehåller en konvergent delföljd. Om mängden är obegränsad kan man visa att man kan hitta en följd som inte konvergerar. Likadant med icke-slutna mängder. Omvänt så måste varje följd i en begränsad mängd ha en konvergent delföljd enligt Bolzano-Weierstrass. Att mängden är sluten innebär alla gränsvärden av konvergenta följder i mängden ligger i mängden, vilket visar att det är fråga om en ekvivalent formulering.

Se även

• Heine-Borels sats
• Cauchy-följd

Referenser

• Bridges, Douglas S (1997). "Foundations of Real and Abstract Analysis", Springer Verlag.

Denna artikel är helt eller delvis baserad på material från engelskspråkiga Wikipedia