2020年7月24日金曜日

「逆像がフィルターの元」である集合の集まりがフィルターになる話について

可測基数について勉強していて気になった話題を掘り下げました。といっても、すぐ分かることばかりな気がしますけれども。

https://drive.google.com/file/d/1Fk-dv3iZtleDfq0IGQM1o8pIx3Ud2GW0/view?usp=sharing

2020年7月14日火曜日

ZFだけでポーランド空間上のベールのカテゴリー定理が示せるってホントですか?

ホントです。というブログ。位相空間論をやっていて、実数の集合論に興味を持ち始めて、選択公理を触り始めたぐらいの人たちに捧ぐ……


https://drive.google.com/file/d/1BwEJfSGq-lShUnZOHVNP0IYTf5VNjJxY/view?usp=sharing