23/07/01 11:56:58.21 uNBgRQTB.net
>>806
ｽﾚﾘﾝｸ(math板:33番)
A⊂B⊂C
として、
・Aには最大元が存在する
・Cにも最大元が存在する
から
・Bにも最大元が存在する
とかいえるわけないし
反例
A＝[0,1/2]
B＝[0,1)
C＝[0,1]
Aの最大元は1/2
Cの最大元は1
じゃ、Bの最大元は？
そんなもんあったら実数論が根底からひっくり返るわ！
23/07/01 11:56:58.21 uNBgRQTB.net
>>806
ｽﾚﾘﾝｸ(math板:33番)
A⊂B⊂C
として、
・Aには最大元が存在する
・Cにも最大元が存在する
から
・Bにも最大元が存在する
とかいえるわけないし
反例
A＝[0,1/2]
B＝[0,1)
C＝[0,1]
Aの最大元は1/2
Cの最大元は1
じゃ、Bの最大元は？
そんなもんあったら実数論が根底からひっくり返るわ！