Ich möchte zeigen, dass jede reelle Zahl, die die Zahl 2 in ihrer Dezimalschreibweise enthält, messbar ist.
Ich weiß, dass jedes Singleton messbar ist und jede zählbare Vereinigung davon messbar ist, aber es gibt eine unzählbare Anzahl reeller Zahlen mit einer 2 darin. Ich bin mir nicht sicher, wie ich es zeigen soll. Ein Satz ist Borel messbar, wenn der Borel Algebra. Kann man die Definition von a beweisen? Algebra das ist abgeschlossen unter Komplement und abgeschlossen unter zählbaren Vereinigungen?
Ansonsten dachte ich daran, das Problem auf die rationalen Zahlen zu reduzieren, die zählbar sind. Könnte damit funktionieren sind eine dichte Untergruppe von . Vielleicht, dass das Komplement jedes Singletons (das abgeschlossen und messbar ist) offen ist und in jeder offenen Menge mit einer reellen Zahl auch eine rationale Zahl ist und ich daher eine abzählbare Menge von Mengen bekomme?
Ich möchte zeigen, dass jede reelle Zahl, die die Zahl 2 in ihrer Dezimalschreibweise enthält, messbar ist.
Reelle Zahlen können nicht messbar sein. Es sind Mengen reeller Zahlen, die messbar sind oder nicht. Die richtige Aussage wäre also: die Menge aller reellen Zahlen, die die Zahl enthalten in ihrer Dezimalschreibweise (nennen wir es ) ist Borel-messbar.
Ein Satz ist Borel messbar, wenn der Borel Algebra. Kann man die Definition von a beweisen? Algebra das ist abgeschlossen unter Komplement und abgeschlossen unter zählbaren Vereinigungen?
Absolut nicht. Unter Komplementierung und abzählbaren Vereinigungen abgeschlossen zu sein, ist eine Eigenschaft einer Mengenfamilie haben können; dann nennen wir diese Familie a -Algebra. Aber eine Menge reeller Zahlen ist, also macht es keinen Sinn zu fragen, ob sie unter Komplement oder zählbaren Vereinigungen abgeschlossen ist.
Die Familie von Borel-Mengen ist a -Algebra und eine Menge ist Borel, wenn . Unser Ziel ist es also nicht, das zu zeigen ist ein -Algebra (was keinen Sinn ergibt), aber das . Normalerweise tun wir das, indem wir explizit konstruieren aus offenen Mengen unter Verwendung von Komplementen und zählbaren Vereinigungen.
Nun zur Frage: Beachten Sie das kann geschrieben werden als
Wo ist die Menge aller reellen Zahlen mit a in ihrer Dezimalschreibweise genau an der Stelle , dh
Wo 's sind die Ziffern der Erweiterung, also . Versuchen Sie, das jeweils zu beweisen Borel ist, was den Beweis abschließen wird, da eine abzählbare Vereinigung von Borel-Mengen Borel ist.
Dave L. Renfro