Nastavte G δ
V matematiky a, zejména, v topologii , je množina G δ (číst „G delta“) je spočetná průnik z otevřených souborů .
Zápis zavedený Felixem Hausdorffem pochází z němčiny , G označuje otevřený ( Gebiet ) a δ označuje křižovatku ( Durchschnitt ). Zápis G δ je ekvivalentní zápisu použitému v hierarchii Borel .
Π20{\ displaystyle \ Pi _ {2} ^ {0}}
Vlastnosti
Příklady
- Sada z irrationals je množina G δ v souboru všech reálných čísel obdařených jeho obvyklým topologie . Ve skutečnosti sada irrationals lze zapsat jako počitatelné křižovatky z otvorů , kde je racionální . Na druhé straně, množina z racionálních není soubor G delta v souboru všech reálných čísel poskytnutých s obvyklou topologii . Pokud by tomu tak bylo, všechny otvory, jejichž průsečík je, by byly husté (protože obsahují vše, co je husté ). je sama o sobě počítatelnou křižovatkou hustých otvorů, takže prázdná křižovatka by byla také počítatelnou křižovatkou hustých otvorů. Rádi bychom si rozpor s Baire v majetku města .R∖Q{\ displaystyle \ mathbb {R} \ setminus \ mathbb {Q}}R{\ displaystyle \ mathbb {R}} R∖{r}{\ displaystyle \ mathbb {R} \ setminus \ {r \}}r{\ displaystyle r}Q{\ displaystyle \ mathbb {Q}}R{\ displaystyle \ mathbb {R}}Q{\ displaystyle \ mathbb {Q}}R{\ displaystyle \ mathbb {R}}Q{\ displaystyle \ mathbb {Q}}R{\ displaystyle \ mathbb {R}}R∖Q{\ displaystyle \ mathbb {R} \ setminus \ mathbb {Q}}(R∖Q)∩Q{\ displaystyle (\ mathbb {R} \ setminus \ mathbb {Q}) \ cap \ mathbb {Q}}R{\ displaystyle \ mathbb {R}}
- V měřitelném prostoru je každá uzavřená množina množinou G δ .
Podívejte se také
Reference
-
(in) Elias M. Stein a Rami Shakarchi, Real Analysis: Measure Theory, Integration, and Hilbert Spaces , Princeton University Press ,2009, 424 s. ( ISBN 978-1-4008-3556-0 , číst online ) , s. 23
-
(in) Charalambos D. Aliprantis a Kim Border Nekonečná dimenzionální analýza: Stopařův průvodce , Berlín, Heidelberg, Springer Verlag ,2006( ISBN 978-3-540-29587-7 , číst online ) , s. 138
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">