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 Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

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
Dt. Schulen im Ausland: Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenMaßtheorieBorelsche- \sigma  Algebra
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Informatik • Physik • Technik • Biologie • Chemie
Forum "Maßtheorie" - Borelsche- \sigma Algebra
Borelsche- \sigma Algebra < Maßtheorie < Maß/Integrat-Theorie < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Maßtheorie"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Borelsche- \sigma Algebra: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 23:17 Mo 22.10.2007
Autor: roadrunnerms

Es sei (X, d) ein metrischer Raum. Wir bezeichnen die Familie der offenen Teilmengen
mit O(X) und die Familie der abgeschlossenen Teilmengen mit A(X). Zeigen Sie, dass
für die (von O(X) erzeugten) Borelsche - [mm] \sigma [/mm] Algebra B(X) := [mm] U_\sigma(O(X)) [/mm] gilt:
B(X) = [mm] U_\sigma [/mm] (A(X)).

        
Bezug
Borelsche- \sigma Algebra: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 23:22 Mo 22.10.2007
Autor: roadrunnerms

Sorry ich hab jetzt erstmal den Aufgabentext hingeschrieben.
Also mein Problem ist, dass ich nicht weiß wie ich mit dem Beweis anfangen soll.
ich weiß wie eine [mm] \sigma [/mm] Algebra definiert ist.
damit hört es aber leider auch schon auf.
ich hoffe mir kann jemand weiterhelfen.
danke

Bezug
                
Bezug
Borelsche- \sigma Algebra: Antwort
Status: (Antwort) fertig Status 
Datum: 00:16 Di 23.10.2007
Autor: Blech


> Sorry ich hab jetzt erstmal den Aufgabentext
> hingeschrieben.
>  Also mein Problem ist, dass ich nicht weiß wie ich mit dem
> Beweis anfangen soll.
>  ich weiß wie eine [mm]\sigma[/mm] Algebra definiert ist.
>  damit hört es aber leider auch schon auf.
>  ich hoffe mir kann jemand weiterhelfen.
>  danke

Wenn Ihr das ohne weitere Hinweise so machen sollt, dann ist das eine ziemlich fiese Aufgabe.

Der Trick ist zu zeigen, daß Du mit unendlichen Vereinigungen (Schnittmengen) geschlossener (offener) Mengen offene (geschlossene) erzeugen kannst.

Bsp.:
[mm] $\bigcup_{n=1}^\infty [\tfrac{1}{n}, 1-\tfrac{1}{n}]=(0,1)$ [/mm]
Als erstes beweist Du, daß diese Gleichung gilt (über die Definition offener bzw. abgeschlossener Mengen), dann folgerst Du, daß Du jedes Element aus O(X) mit Elementen aus [mm] $\sigma(A(X))$ [/mm] erzeugen kannst und damit dann [mm] $\sigma(O)\subseteq\sigma(A)$. [/mm]
Und dann das ganze umgekehrt.

Bezug
                        
Bezug
Borelsche- \sigma Algebra: Frage (reagiert)
Status: (Frage) reagiert/warte auf Reaktion Status 
Datum: 21:27 Di 23.10.2007
Autor: roadrunnerms

ok,
also das Beispiel das du angegeben hast, hatten wir im letzten semester.
da haben wir es nicht bewiesen sondern einfach gesagt, dass dies zeigt dass die unendlichen Durchschnitte offener Mengen nicht unbedingt offen sind.

wie beweise ich das denn?
tut mir leid aber ich komme bei dem Beweis einfach nicht voran.
hab schon in einigen Büchern mal nachgelesen, aber da wird die borelsche Algebra immer als Definition angegeben und somit ohne Beweis.
Ich muss denn Beweis leider morgen schon abgeben,
ich hoff mir kann jemand weiterhelfen.

danke

Bezug
                        
Bezug
Borelsche- \sigma Algebra: Komplementbildung?
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 12:09 Mi 24.10.2007
Autor: Gnometech

Grüße zusammen!

Eine vielleicht dumme Frage: Ist das Ausschöpfungsargument wirklich notwendig? Es ist doch so, dass jede offene Menge genau das Komplement einer abgeschlossenen Menge ist und umgekehrt (per Definition) und daher folgt doch $O(X) [mm] \subseteq U_\sigma \big( [/mm] A(X) [mm] \big)$ [/mm] und umgekehrt, denn ich kann jede offene Menge als Komplement einer abgeschlossenen schreiben.

Insofern ist die Aufgabe gar nicht so fies... zumal sie ursprünglich nicht für [mm] $\IR$, [/mm] sondern für einen beliebigen metrischen Raum gestellt war und das Argument ohnehin etwas abgewandelt werden müsste... es gilt aber natürlich genauso. (Übung)

Also, man korrigiere mich bitte, wenn ich etwas offensichtliches übersehen habe, aber ich denke, dass es einfacher ist als gedacht.

Gruß,
Lars

Bezug
                                
Bezug
Borelsche- \sigma Algebra: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 15:40 Mi 24.10.2007
Autor: SEcki


> Eine vielleicht dumme Frage: Ist das Ausschöpfungsargument
> wirklich notwendig? Es ist doch so, dass jede offene Menge
> genau das Komplement einer abgeschlossenen Menge ist und
> umgekehrt (per Definition) und daher folgt doch [mm]O(X) \subseteq U_\sigma \big( A(X) \big)[/mm]
> und umgekehrt, denn ich kann jede offene Menge als
> Komplement einer abgeschlossenen schreiben.

Ganz genau - man muss imo hier noch ein bisschen mit "kleinste Sigma Algebra" argumentieren, aber das ist schon alles. Die ist überhaupt nicht fies so, die Aufgabe.

SEcki

Bezug
                                
Bezug
Borelsche- \sigma Algebra: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 22:29 Fr 26.10.2007
Autor: Blech


> Grüße zusammen!
>  
> Eine vielleicht dumme Frage: Ist das Ausschöpfungsargument
> wirklich notwendig?

Nein, das war Schwachsinn. Was soll ich sagen, es war spät und ich war anscheinend nicht mehr zurechnungsfähig...

/me stellt sich in die Ecke und schämt sich =(



Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Maßtheorie"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


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