11/02/13 01:49:42
>>373じゃないけど、下界の集合に属さない数xを仮定した後に、
x<b<sなる数bの存在に言及した理由が分らん。そもそもx<sなる値
存在することが、sが上集合Bの最小値となることに矛盾してるんだから、
ここでsは最大下界すなわち下限で良いんじゃないかと思った。
11/02/13 01:49:42
>>373じゃないけど、下界の集合に属さない数xを仮定した後に、
x<b<sなる数bの存在に言及した理由が分らん。そもそもx<sなる値
存在することが、sが上集合Bの最小値となることに矛盾してるんだから、
ここでsは最大下界すなわち下限で良いんじゃないかと思った。