2015-01-13から1日間の記事一覧

選択公理からZornの補題を導く

前エントリでも参照した縫田さんによる証明をもとに自分なりに書き直したもの。途中で一か所、超限帰納法を使っているが、これは最小原理を用いて書き直すことができる。\( (X, \(X\)の元\(x\)と\(X\)の鎖\(C\)について、「\(x\notin C\)かつ\(x\)は\(X\)に…