- 93 名前：Kummer ◆SgHZJkrsn08e [2012/03/06(火) 23:00:57.35 ]
- 命題
M を整列集合（>>84）とする。
N を M の部分集合とする。
x を M の任意の元とする。
{ y ∈ M； y ＜ x } ⊂ N なら x ∈ N とする。
このとき M = N である。
証明
M ≠ N と仮定する。
M - N は空でないから最小限 a を持つ。
{ y ∈ M； y ＜ a } ⊂ N であるから a ∈ N となって矛盾。
証明終
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
ガロア生誕200周年記念スレ part 6
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef