Algebra erzeugen |
12.06.2006, 09:10 | Susanne | Auf diesen Beitrag antworten » | ||||||
Algebra erzeugen Zu einer Menge X definieren wir B = { A Teilmenge X \ A endlich } Vereinigung { A Teilmenge X \ X - A endlich}. Zeige, dass B eine Algebra ist. Weiter definieren wir C = { A Teilmenge X \ A abzählbar } Vereinigung { A Teilmenge X \ X - A abzählbar }. Zeige, dass C die von B erzeugte Sigma-Algebra ist. |
||||||||
12.06.2006, 10:35 | Anirahtak | Auf diesen Beitrag antworten » | ||||||
Hallo Susanne, im ersten Teil der Aufgabe musst du zeigen, dass die drei definierenden Eigenschaften einer Mengen-Algebra erfüllt sind. Und für den zweiten teil zeige, dass * C eine Sigma-Algebra ist * B in C liegt * sich jedes Element aus C als Kompliment und abzb. Vereinigung von Mengen aus B darstellen lässt. Wie weit kommst du? Gruß Anirahtak PS: Verschoben nach HöMa |
||||||||
12.06.2006, 11:46 | Susanne | Auf diesen Beitrag antworten » | ||||||
Hi, hier erstmal die Def. einer Algebra! Also: 1.{},X ist Element der Algebra 2. für A,B Element Algebra ist A-B und AuB in Algebra So: ... Die leere Menge ist ja immer eine Teilmenge von der Algebra, also folgt, dass sie drinne sein muss! Aber wie beweise ich das ??? ... wie sieht das mit der 2. Eigenschaft überhaupt aus ??? ... ich hab da keinen Ansatz! 2. Teilaufgabe Sigma-Algebra heißt ja, falls für A(j)Element Algebra(j=1,2,...)gilt: [atex] \infty (\bigcup) j=1[/latex] a(j) Element von Algebra Wenn C abzählbar ist bedeutet das doch, dass c auch endlich ist! Und wenn C endlich ist, muss X auch endlich, da Teilmenge und X-A abzählbar und damit auch endlich! ... richtig? wie siehtdas konkrete Beweis aus? B liegt in C, weil A=endlich=abzählbar und X-A=endlich=abzählbar ist und somit B in C liegt! ... oder? Beweis ??? Zum dritten Punkt weiß ich nichgts! ... Kannst du mir bitte einen Ansatz dau geben? Danke für Deine Hilfe! |
||||||||
12.06.2006, 23:39 | Susanne | Auf diesen Beitrag antworten » | ||||||
Hallo zusammen, kann mir denn niemand bei dieser Aufgabe helfen? ... |
||||||||
13.06.2006, 18:21 | Abakus | Auf diesen Beitrag antworten » | ||||||
Die leere Menge ist endlich. Nun schau in die Definition deiner Mengensysteme. Für die zweite Eigenschaft nimm dir A und B her und untersuche die Vereinigung bzw. Differenz.
Nein, aus abzählbar folgt nicht endlich. Die Abzählbarkeit von C ist nicht vorausgesetzt. C ist ein Mengensystem und enthält als Elemente demnach Mengen. Die Anzahl der Elemente (bzw. Mächtigkeit) von C sagt nichts über die Mächtigkeit der Elemente selbst aus. Eine Idee ist hier, Vereinigungen über Singletons {x} zu betrachten, um etwa abzählbare Mengen durch eine abzählbare Vereinigung endlicher Mengen darzustellen. Grüße Abakus |
||||||||
13.06.2006, 20:18 | Susanne | Auf diesen Beitrag antworten » | ||||||
Hi, und wie soll das Ganze aussehen? ... ich kann damir nichts anfangen! ... dankedanke!!! |
||||||||
Anzeige | ||||||||
|
||||||||
13.06.2006, 20:31 | Abakus | Auf diesen Beitrag antworten » | ||||||
Was genau ist dir unklar ? Du hast eine Reihe von Hinweisen zum Loslegen und es gibt bereits eine Struktur der Lösung (also du weißt, was du zuerst zeigen musst). Dazu könntest du dir zB über die Bordsuche einige Dinge über Beweistechnik anschauen (Kernpunkt: wie wird in ähnlichen Fällen argumentiert ?). Grüße Abakus |
||||||||
13.06.2006, 20:38 | Susanne | Auf diesen Beitrag antworten » | ||||||
Wie soll ich die Vereinigung und die Differenz zeigen ??? ... wie muss ich vorgehen? |
||||||||
13.06.2006, 20:39 | Susanne | Auf diesen Beitrag antworten » | ||||||
"Eine Idee ist hier, Vereinigungen über Singletons {x} zu betrachten, um etwa abzählbare Mengen durch eine abzählbare Vereinigung endlicher Mengen darzustellen." Was bedeutet das ??? |
||||||||
13.06.2006, 21:22 | Abakus | Auf diesen Beitrag antworten » | ||||||
Seien . Wir machen nun eine Fallunterscheidung. Möglich sind genau 4 Fälle: (1) E und F sind endlich: dann sind auch endlich (denn wenn zu endlich vielen Elementen endlich viele dazu kommen, bleibt es endlich; wenn endlich viele weggenommen werden, erst recht) und daher folgt (2) E ist endlich und F ist co-endlich (d.h. das Komplement ist endlich): dann ist ebenfalls co-endlich (...) und daher . Die Differenz ist dagegen endlich (...), daher gilt . (3) E ist co-endlich und F endlich: ... (4) E und F sind co-endlich: ...
Du sollst zeigen, dass jedes Element von C durch abzählbare Vereinigung von Elementen aus B dargestellt werden kann. Betrachte dazu nun die 2 möglichen Fälle: (1) Sei G eine abzählbare Menge mit . Dann ist . Sicher ist , denn ist für alle eine einelementige und damit endliche Menge. Somit ist G als abzählbare Vereinigung von Mengen aus B dargestellt. (2) Sei H eine co-abzählbare Menge mit . Dann ... Das Prinzip ist also, die math. Begriffe bis in jede Kleinigkeit auseinander zu nehmen und darauf die einzelnen Beweisschritte aufzubauen. Grüße Abakus EDIT: Text + Latex |
||||||||
13.06.2006, 21:45 | Susanne | Auf diesen Beitrag antworten » | ||||||
Also zu den ersten 4 Fällen! Die ersten beiden Fälle hast du ja schon bewiesen! ... jetzt zu 3.: E ist co-endlich und F ist endlich. Dann ist FuE ebenfalls co-endlich und somit FuE Element von B. Die differenz F\E ist endlich und daher F\E Element von B ... ist das richtig so ??? 4. Da weiß ich ehrlich gesagt nicht, wie ich rangehen soll! Jetzt zum zweiten Teil die 2. Sei H ... Dann ist H=U (index x Element H x. Somit ist x Element H. Das ist eine endliche Menge und sei b das Komplement von x, dann ist H co-abzählbare Menge aus B ... ich glaub das ist falsch! ... oder ??? |
||||||||
13.06.2006, 22:25 | Abakus | Auf diesen Beitrag antworten » | ||||||
Erster Teil richtig. Bei der Differenz: wenn du von (abzählbar-) unendlich vielen Elementen endlich viele wegnimmst, wieviel bleiben über ?
Bei einer co-endlichen Menge fehlen nur endlich viele Elemente. Wenn du zwei solche Mengen vereinigst, wieviele fehlen dann ? Wenn du die Differenz bildest: du nimmst alle bis auf endlich viele Elemente weg. Wieviele bleiben über ?
Das ist etwas kniffliger. Es soll eine co-abzählbare Menge H dargestellt werden, d.h. der Menge fehlen abzählbar viele Elemente. Jetzt betrachte 2 Dinge: - ein verallgemeinertes De-Morgan-Rechengesetz: , siehe hier. - die "co-singletons Wenn nun , so gilt: . Damit ist H als Verknüpfung von Elementen aus B mit den Operationen abz. Vereinigung und Komplement dargestellt. Grüße Abakus |
||||||||
13.06.2006, 22:40 | Susanne | Auf diesen Beitrag antworten » | ||||||
"Erster Teil richtig. Bei der Differenz: wenn du von (abzählbar-) unendlich vielen Elementen endlich viele wegnimmst, wieviel bleiben über ?" ... wie erstes Teil richtig? ... Es müsste wieder unendlich viele über bleiben. ... Was muss ich jetzt da aufschreiben? "Bei einer co-endlichen Menge fehlen nur endlich viele Elemente. Wenn du zwei solche Mengen vereinigst, wieviele fehlen dann ? Wenn du die Differenz bildest: du nimmst alle bis auf endlich viele Elemente weg. Wieviele bleiben über ?" Differenz: es müssten endlich viele Elemente über sein! ... oder ? Wie schreibe ich das alles auf ??? ... ich komm nicht wirklich damit klar, mein Problem ist, dass ich das nicht beweisen kann! |
||||||||
13.06.2006, 23:03 | Abakus | Auf diesen Beitrag antworten » | ||||||
Schreibe es einfach so exakt auf, wie du kannst. Übung macht die Meisterin.
Richtig, ja. Zur klareren Vorstellung kannst du dir zB eine Zeichnung machen (zwei Mengen mit endlich vielen Lücken o.ä.). Beim Aufschreiben ist zunächst die Grobstruktur wichtig: du brauchst eine klare Gliederung, das könnten zB deine einzelnen Behauptungen sein, die du dann beweist. Elementare Schlüsse brauchst du nicht mehr beweisen. Ansonsten schau dir andere Beweise hier im Bord oder in deinem Skript oder in Büchern an. Und: das Aufschreiben braucht einige Zeit. Grüße Abakus |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|