16/08/22 11:46:21.96 oZuKvURf.net
>>746
>>選択公理から導く
補題1、補題2の証明を読みましたが、選択公理は1か所だけで使われているだけです。
選択公理は全然主役ではありません。
ですので、例えば、
「Zornの補題を証明せよ」という演習問題のヒントとして、
「選択公理から導く」などと書いてあったら、ピントはずれ
という感じがします。
16/08/22 11:46:21.96 oZuKvURf.net
>>746
>>選択公理から導く
補題1、補題2の証明を読みましたが、選択公理は1か所だけで使われているだけです。
選択公理は全然主役ではありません。
ですので、例えば、
「Zornの補題を証明せよ」という演習問題のヒントとして、
「選択公理から導く」などと書いてあったら、ピントはずれ
という感じがします。