matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Hochschulmathe
  Status Uni-Analysis
    Status Reelle Analysis
    Status UKomplx
    Status Uni-Kompl. Analysis
    Status Differentialgl.
    Status Maß/Integrat-Theorie
    Status Funktionalanalysis
    Status Transformationen
    Status UAnaSon
  Status Uni-Lin. Algebra
    Status Abbildungen
    Status ULinAGS
    Status Matrizen
    Status Determinanten
    Status Eigenwerte
    Status Skalarprodukte
    Status Moduln/Vektorraum
    Status Sonstiges
  Status Algebra+Zahlentheo.
    Status Algebra
    Status Zahlentheorie
  Status Diskrete Mathematik
    Status Diskrete Optimierung
    Status Graphentheorie
    Status Operations Research
    Status Relationen
  Status Fachdidaktik
  Status Finanz+Versicherung
    Status Uni-Finanzmathematik
    Status Uni-Versicherungsmat
  Status Logik+Mengenlehre
    Status Logik
    Status Mengenlehre
  Status Numerik
    Status Lin. Gleich.-systeme
    Status Nichtlineare Gleich.
    Status Interpol.+Approx.
    Status Integr.+Differenz.
    Status Eigenwertprobleme
    Status DGL
  Status Uni-Stochastik
    Status Kombinatorik
    Status math. Statistik
    Status Statistik (Anwend.)
    Status stoch. Analysis
    Status stoch. Prozesse
    Status Wahrscheinlichkeitstheorie
  Status Topologie+Geometrie
  Status Uni-Sonstiges

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenUni-Analysis-Sonstigeskompakte Teilmengen
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Informatik • Physik • Technik • Biologie • Chemie
Forum "Uni-Analysis-Sonstiges" - kompakte Teilmengen
kompakte Teilmengen < Sonstiges < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Analysis-Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

kompakte Teilmengen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 00:20 Di 03.06.2008
Autor: xMariex

Aufgabe
Sei X ein metrischer Raum und [mm](A_k)_{k\in \IN_0}[/mm] eine Folge nichtleerer kompakter Teilmengen von X mit [mm]A_0\supset A_1 \supset A_2 \supset ...[/mm]
Zeigen Sie, dass auch [mm]A:= \bigcap_{k=0}^{\infty} A_k[/mm] nichtleer und kompakt ist.

Ich habe diese Frage auf keiner anderen Internetseite gestellt.

Hi,
ich denke das sie nicht leer ist hab ich:
Und zwar hab ich mir eine beschränkte Folge [mm](a_k)[/mm] genommen und mit dem Satz von Bolzano-Weierstraß argumentiert. Und dann den limes der konvergenten Teilfolgen gebildet.

zur Kompaktheit:
-Ist das Ding Kompakt wenn jede Teilmenge abgeschlossen ist?
Dann könnte ich ja zeigen das eine der Teilmengen (genauer [mm] A_0) [/mm] abgeschlossen ist und eine Induktion machen.
-Oder kann mit der Überdeckung argumentieren.
Eine Teilmenge A eines metrischen Raumes X heißt kompakt, wenn es zu jeder offenen Überdeckung [mm](U_i)_{i\in I}[/mm] von A endlich viele Indizies [mm]i_l,...,i_k\in I[/mm] gibt, so dass [mm]A \subset U_i_1 \cup U_i_2 \cup ... \cup U_i_k[/mm]
Aber ich hab doch hier unendlich viele Teilmengen.
Gruße,
Marie

        
Bezug
kompakte Teilmengen: Antwort
Status: (Antwort) fertig Status 
Datum: 00:30 Di 03.06.2008
Autor: Merle23


> Sei X ein metrischer Raum und [mm](A_k)_{k\in \IN_0}[/mm] eine Folge
> nichtleerer kompakter Teilmengen von X mit [mm]A_0\supset A_1 \supset A_2 \supset ...[/mm]
>  
> Zeigen Sie, dass auch [mm]A:= \bigcap_{k=0}^{\infty} A_k[/mm]
> nichtleer und kompakt ist.
>  Ich habe diese Frage auf keiner anderen Internetseite
> gestellt.
>  
> Hi,
>  ich denke das sie nicht leer ist hab ich:
>  Und zwar hab ich mir eine beschränkte Folge [mm](a_k)[/mm] genommen
> und mit dem Satz von Bolzano-Weierstraß argumentiert. Und
> dann den limes der konvergenten Teilfolgen gebildet.
>  

Wie hast du diese Folge genau gewählt? Und wie hast du weiter argumentiert (nur ganz kurz - sollst nicht den Beweis hinschreiben)?

> zur Kompaktheit:
>  -Ist das Ding Kompakt wenn jede Teilmenge abgeschlossen
> ist?
>  Dann könnte ich ja zeigen das eine der Teilmengen (genauer
> [mm]A_0)[/mm] abgeschlossen ist und eine Induktion machen.

Hä? Haben kompakte Mengen keine offenen Teilmengen bei dir?

>  -Oder kann mit der Überdeckung argumentieren.
>  Eine Teilmenge A eines metrischen Raumes X heißt kompakt,
> wenn es zu jeder offenen Überdeckung [mm](U_i)_{i\in I}[/mm] von A
> endlich viele Indizies [mm]i_l,...,i_k\in I[/mm] gibt, so dass [mm]A \subset U_i_1 \cup U_i_2 \cup ... \cup U_i_k[/mm]
>  
> Aber ich hab doch hier unendlich viele Teilmengen.

Ich würd es mit der Folgenkompaktheit versuchen, denn du hast ja einen metrischen Raum (also sind Folgenkompaktheit und Überdeckungskompaktheit äquivalent).

>  Gruße,
>  Marie

Bezug
                
Bezug
kompakte Teilmengen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 00:02 Mi 04.06.2008
Autor: xMariex

Hi,
erstemal danke, das mit der Folge ist eine gute Frage, weil eigentlich ist die Aufgabe doch zu allgemein um eine expliziete Folge angeben zu können, allerdings kann ich ohne Folge keinen Grenzwert berechnen.
Zum Ende der Argumentation muss noch gehören dass wenn der Grenzwert wieder in der Menge liegt, kann diese nicht leer sein, da sie zumindestens ihren Grenzwert enthält.

Bei der Folgenkonvergenz muss nun jede konvergente Teilfolge einen Grenzwert in der Teilmenge haben.
Ich denke ich sollte ich dieselbe Folge wie oben nehmen, und dort dann die konvergenten Teilfolgen rausschreiben und einzelnt überprüfer. Muss ich dann nicht auch noch überprüfen ob die einzelnen Teilfolgen konvergent sind?

Grüße,
Marie

Bezug
                        
Bezug
kompakte Teilmengen: Antwort
Status: (Antwort) fertig Status 
Datum: 00:16 Mi 04.06.2008
Autor: Merle23

Wenn du ne Folge in dem [mm] A_{\infty} [/mm] hast, dann liegen alle Glieder in den [mm] A_k's, [/mm] die ja kompakt sind, also ne konvergente Teilfolge haben. Dieser Grenzwert muss auch in [mm] A_{\infty} [/mm] liegen.

Das war die kurze Version. Musst vll hie und da n bissl genauer ausarbeiten.

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Analysis-Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.unimatheforum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]