Wenn , wir definieren
Vermuten ein Borel-Set ist, dann müssen wir
Beweise das ist eine Borel-Menge, wenn
- ist zählbar.
- ist offen.
Borel-Mengen sind die Mengen, die ausgehend von den offenen und geschlossenen Mengen konstruiert werden können, indem wiederholt zählbare Vereinigungen und Schnittmengen genommen werden.
Aber wie wendet man die zählbare Schnittmenge/Vereinigung auf dieses Problem an? Hier nehmen wir die Summe von zwei Sätzen.
Da jeder Homomorphismus die erhält -Algebra von Borel-Mengen, dachte ich daran, die Übersetzungskarte in Betracht zu ziehen Wo . Reicht das oder muss ich genauer argumentieren?
Die Tatsache, dass die Differenz zweier Borel-Mengen eine Borel-Menge ist, kann ich nicht anwenden, da ich nicht weiß, ob ein Borel-Set ist oder nicht.
Der Fall wann offen ist, ist schwer, weil die Leute vermissen, wie einfach es ist.
Lassen willkürlich sein. Seit ist offen, es gibt welche so dass .
Dann
Wenn ist dann zählbar ist eine abzählbare Vereinigung von Borel-Mengen.
Andrés E. Caicedo
Andrés E. Caicedo
BAYMAX
Danny Pak-Keung Chan