ファイル置き場

2022年4月25日月曜日

第3回すうがく徒のつどい@オンライン講演の下書き先行公開

タイトルの通りです。下のリンクは2022/04/30から開催予定の第3回すうがく徒のつどい@オンラインにて田尻が講演に使用するスライドを作成するために書いた下書きです。

当日聴講する講演の選択の参考にしてください。下記の内容について、全て十分に把握済みで目新しい内容が無い場合、私の講演はあまり有意義なものとは言えないでしょう。

また、当日の講演はYouTubeでの配信及びアーカイブも予定しています。

https://drive.google.com/file/d/1CD7n2u3d34pwraL8mGxgHShCqky0obll/view?usp=sharing

2021年10月21日木曜日

Baumgartner の Iterated forcing ゼミ企画その2

第2回です。chain condition と closure condition が iteration で保存されるための条件に関して論じた節です。ちょっと読み下しが難しい部分がいくつかありましたね……。結果的になんとかできましたが。

他にすべきことがあるので今後の投稿ペースは悪くなると思われます。

https://drive.google.com/file/d/1FkQhMnVbfXuglJQiC_IY-4AQM54tW7Wt/view?usp=sharing

2021年9月30日木曜日

Baumgartner の Iterated forcing ゼミ企画その1

久しぶりの記事投稿です。Baumgartner の Iterated forcing を精読し、初学者向けを想定して内容を日本語で解説したゼミ資料を作っていく企画です。

チャレンジ企画なので完遂できるかまだ現時点では分かりません。私自身の理解と並行してやっているので。不定期更新で原著のセクション分けに基づき全9回を予定しています。

初回は反復強制の定義と基本性質まで。まだなんら面白いところに入っていないので、反復強制初見の方でない限り流し読みで問題ないと思います。

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

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

2020年1月11日土曜日

集合論の文脈で 0-1 law を使うことがあるのだが、確率論に触れずに処理する方法を探していたが見つけられなかったので、こんな感じでどうでしょうという提案。

https://drive.google.com/open?id=1jITlkc-Yql6g0AUjg0QvttdWJRVFWmkA

私にはどうも独立事象とかいう言葉が tail event の本質を表しているようには思えなくて、測度が1に膨れ上がってしまう様をヴィジュアルにしたかったという話。

2020年1月10日金曜日

weakly selectiveの定義にultra filterの仮定は不要

寡聞故か、なんか「ultra filter が weakly selective であるとは～」みたいな文言しか見つけられなかったので、「いや、勝手にultra filterになるから」とツッコミを入れる資料です。

https://drive.google.com/open?id=1dSXhhT7cG7yzfj0Ot3cGTqKAE0YPYHqR