レス数が1スレッドの最大レス数(1000件)を超えています。残念ながら投稿することができません。
「集合・位相入門」輪読会
-
もしAが全順序集合であるならば、bがaの直後の元であることは、bがaよりも
大きいAの元の集合X={x|x∈A,a<x}の最小元であることと同等である。
bがaの直後の元⇔a∈A,b∈A,a<b,a<y<bとなるようなAの元yが存在しない⇒
b∈X,(任意のx∈Xに対してb≦x)
()を背理法で示す。Aは全順序集合だからその部分集合であるXも全順序集合
だから∀x∈X(b≦x)でないと仮定すれば∃x∈X(b≧x)であるが、これは∃x∈X(a<x≦b)
うまく書けないorz
掲示板管理者へ連絡
無料レンタル掲示板
