Wurzelzieher

Inhalt

Satz von Bolzano-Weierstraß

Aussage/ Beweisskizze

Verallgemeinerungen

Folgerungen/ Literatur/ Weblinks

 

 

Satz von Bolzano-Weierstraß

Verallgemeinerungen

Endlichdimensionale Vektorräume

Die komplexen Zahlen werden im Kontext dieses Satzes als zweidimensionaler reeller Vektorraum betrachtet. Für eine Folge von Spaltenvektoren mit n reellen Komponenten wählt man zuerst eine Teilfolge, die in der ersten Komponente konvergiert. Von dieser wählt man wieder eine Teilfolge, die auch in der zweiten Komponente konvergiert. Die Konvergenz in der ersten Komponente bleibt erhalten, da Teilfolgen konvergenter Folgen wieder konvergent mit demselben Grenzwert sind. Und so weiter, bis die n-te Teilfolge auch in der letzten Komponente konvergiert.

Unendlichdimensionale Vektorräume


Der Satz von Bolzano-Weierstraß gilt nicht in unendlichdimensionalen Vektorräumen. So ist z.B. die Folge der Einheitsvektoren (0,0,...,0,1,0,...,0,...) im Folgenraum beschränkt, kann aber keinen Grenzwert haben, da alle Folgenglieder einen Abstand von voneinander haben. Dieses Gegenbeispiel lässt sich auf beliebige unendlichdimensionale normierte Räume verallgemeinern, man kann darin immer eine unendliche Folge von Vektoren der Länge 1 konstruieren, die untereinander paarweise einen Abstand von wenigstens 1/2 besitzen.

Als Ersatz für den Satz von Bolzano-Weierstraß in unendlichdimensionalen Vektorräumen existiert in reflexiven Räumen folgende Aussage: Jede beschränkte Folge eines reflexiven Raumes besitzt eine schwach konvergente Teilfolge. Zusammen mit den sobolevschen Einbettungssätzen liefert die Existenz von schwach konvergenten Teilfolgen beschränkter Folgen häufig Lösungen von Variationsproblemen und damit partiellen Differentialgleichungen.

 

 

 

 

Copyright- und Lizenzinformationen: Diese Seite basiert auf dem Artikel Satz von Bolzano-Weierstraß aus der freien Enzyklοpädιe Wιkιpedιa und steht unter der Lizenz Creative Commons CC-BY-SA 3.0 Unported (Kurzfassung). Liste der Autoren

Anbieterkennzeichnung

 



Load: 8; Render: 0; Total: 8