じっくり集合論解説05 - ツォルンの補題(の紹介)【ずんだもん解説】

じっくり集合論解説05 - ツォルンの補題(の紹介)【ずんだもん解説】

ツォルンの補題を紹介します!証明は…今後に回させてください。。。かわりに、集合論での適用例を二つ示したので、こんな感じで使うんだなー という感じでご高覧くださいです。ちなみに今回の内容ほぼ全て、ベクトル空間の「基底の濃度の一意性」という主張の証明に使います。結果だけでも覚えて帰ってくだし~■概要・順序集合 ・ツォルンの補題・適用例①:2card(A)=card(A) (Aは無限集合)・適用例②:card(A×A)=card(A) (Aは無限集合)・系①:m+n=m(m≥ℵ_0、n≤m)・系②:mn=m(m≥ℵ_0、0<n≤m)■YouTube版→ https://youtu.be/JQdFx5I-IM8 ■お借りしたもの【合成音声】・VIOCEVOX: ずんだもん・VOICEVOX: 四国めたん【立ち絵】・坂本アヒル様: ずんだもん、四国めたん【音声素材】・OtoLogic様( https://otologic.jp )・DOVA-SYNDROME様( https://dova-s.jp/ )・MusMus様( https://musmus.main.jp )・効果音ラボ様( https://soundeffect-lab.info/ )【画像素材】ニコニ・コモンズ様

http://www.nicovideo.jp/watch/sm43506824