sigma-Algebra |
05.03.2011, 11:59 | Gast11022013 | Auf diesen Beitrag antworten » | ||||||
sigma-Algebra Hallo, ich würde gerne an einem Beispiel mal nachweisen, dass es sich um eine -Algebra handelt, denn ich denke, so ein Nachweis könnte gut in einer Klausur verlangt werden. Zeigen möchte ich, dass , wobei gilt: oder ist höchstens abzählbar eine -Algebra ist. Meine Ideen: Zunächst zu unserer Notation und Definition: sei eine beliebige nicht leere Menge und die Potenzmenge von , d.h. die Menge aller Teilmengen von . heißt -Algebra (präziser: -Algebra auf der Menge ), falls (i) , (ii) , (iii) . Und für mein Beispiel muss ich ja jetzt (i)-(iii) nachweisen. Wer kann mir dabei helfen? Zu (i): , da die leere Menge in jeder Menge enthalten ist. Mehr bekomme ich leider auch schon nicht hin. |
||||||||
05.03.2011, 12:10 | system-agent | Auf diesen Beitrag antworten » | ||||||
RE: sigma-Algebra
Soso. Ich habe eine Menge die die leere Menge nicht enthält, zb . Falls die leere Menge in jeder Menge enthalten wäre, dann müsste man das ja auch nicht fordern . Die Elemente von sind Teilmengen von so, dass entweder sie selbst oder deren Komplement höchstens abzählbar ist. Damit gilt, muss also abzählbar sein oder abzählbar sein. Stimmt [mindestens] eines von beiden? |
||||||||
05.03.2011, 12:11 | Gast11022013 | Auf diesen Beitrag antworten » | ||||||
RE: sigma-Algebra Ja, die leere Menge ist abzählbar. |
||||||||
05.03.2011, 12:14 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||
RE: sigma-Algebra
Wieso ist das genau die richtige Begründung? Guck Dir doch einfach die Mägchtigkeit der leeren Menge an. Ich schreibe im folgenden mal gemäß Konvention . Zu (ii): Nimm an , d.h. oder ist abzählbar. Wie kannst Du schließen, dass nun folgt und sind abzählbar? Zu (iii): Unterscheide die Fälle, dass entweder alle abzählbar sind, oder eines nicht. Edit: Etwas zu spät. |
||||||||
05.03.2011, 12:15 | Gast11022013 | Auf diesen Beitrag antworten » | ||||||
RE: sigma-Algebra Wieso kann man das "höchstens" weglassen? Okay, die leere Menge hat ja gar keine Elemente, also ist sie ja abzählbar. Wie erklärt man, dass S in M enthalten ist? |
||||||||
05.03.2011, 12:25 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||
RE: sigma-Algebra
Es gibt verschiedene Konventionen, was abzählbar bedeutet: "gleichmächtig zu " oder aber "endlich oder gleichmächtig zu ". Am besten Du schreibst bei Deinem Beweis immer "höchstens abzählbar".
Es ist . Im übrigen wundert es mich etwas, dass Ihr in eurer Definition beides fordert. Wegen (ii) genügt es ja, in der Definition entweder oder aber zu fordern. Edit:
Ja, sie hat Mächtigkeit 0, ist also endlich. |
||||||||
Anzeige | ||||||||
|
||||||||
05.03.2011, 12:37 | Gast11022013 | Auf diesen Beitrag antworten » | ||||||
RE: sigma-Algebra
Ich habe keine Ahnung, ohje! Edit: Wenn A abzählbar ist, dann also . Wenn abzählbar ist, ist es in M.
|
||||||||
05.03.2011, 12:40 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||
RE: sigma-Algebra
Was ist denn ? |
||||||||
05.03.2011, 12:41 | Gast11022013 | Auf diesen Beitrag antworten » | ||||||
RE: sigma-Algebra Achso, ja! Ich habe es eben als Edit in die letzte Antwort gepackt. |
||||||||
05.03.2011, 12:45 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||
RE: sigma-Algebra
Was genau meinst Du in der ersten Zeile? Es gilt einfach . Daher ist auch die Aussage " oder ist abzählbar" dieselbe wie " oder ist abzählbar". Edit: TeX korrigiert. |
||||||||
05.03.2011, 12:51 | Gast11022013 | Auf diesen Beitrag antworten » | ||||||
RE: sigma-Algebra Ich meinte einfach: Sei . D.h. A abzählbar oder abzählbar. Zeigen will man, dass . Das bedeutet ja: oder abzählbar. Und das ist ja eben erfüllt. |
||||||||
05.03.2011, 13:03 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||
Ja, genau. |
||||||||
05.03.2011, 13:06 | Gast11022013 | Auf diesen Beitrag antworten » | ||||||
RE: sigma-Algebra Danke, jetzt fehlt mir nur noch
1. Fall: Alle sind abzählbar. Dann ist auch die Vereinigung abzählbar, liegt also in M. 2. Fall: Ein ist nicht abzählbar. Dann... |
||||||||
05.03.2011, 13:12 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||
RE: sigma-Algebra
Richtig.
Ja, dann...? Hinweis: Was gilt für ? Was wollen wir insgesamt folgern, wenn wir schon wissen, dass nicht abzählbar ist? |
||||||||
05.03.2011, 13:23 | Gast11022013 | Auf diesen Beitrag antworten » | ||||||
RE: sigma-Algebra
Für das eine , das nicht abzählbar ist, ist dann abzählbar, da das ansonsten ja nicht in M enthalten wäre, was man hier ja aber annimmt. Wenn wir wissen, dass nicht abzählbar ist, dann möchte man vermutlich zeigen, dass abzählbar ist. |
||||||||
05.03.2011, 13:25 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||
Genau. Wie kann man nun alternativ schreiben und was hat diese Menge mit zu tun? |
||||||||
05.03.2011, 13:31 | Gast11022013 | Auf diesen Beitrag antworten » | ||||||
Was diese Menge nun mit zu tun hat, sehe ich nicht. |
||||||||
05.03.2011, 13:34 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||
Nein. Denk' mal an De Morgan. |
||||||||
05.03.2011, 13:38 | Gast11022013 | Auf diesen Beitrag antworten » | ||||||
|
||||||||
05.03.2011, 13:46 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||
Ja. Und welche Relation besteht zwischen dieser Menge und ? Edit: Nein, das stimmt immer noch nicht. |
||||||||
05.03.2011, 13:50 | Gast11022013 | Auf diesen Beitrag antworten » | ||||||
Hm. Es ist ja der Schnitt über alle , also enthält die Menge die Elemente, die in allen enthalten sind. Aber ich erkenne da keinen weiteren Zusammenhang, tut mir leid.. |
||||||||
05.03.2011, 13:56 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||
Nein, es ist , sondern...? |
||||||||
05.03.2011, 13:59 | Gast11022013 | Auf diesen Beitrag antworten » | ||||||
. Vielleicht mache ich an dieser Stelle mal Stopp. Ich möchte auch nicht nur Müll produzieren. |
||||||||
05.03.2011, 14:05 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||
Diese Aussage stimmt wiederum. Davon abgesehen, überleg' Dir elementar mal, was ist. Danach hast Du's eigentlich schon. |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|