- 691 名前：１３２人目の素数さん mailto:sage [2012/09/17(月) 04:44:10.72 ]
- 命題: 空でない任意の集合 A が与えられた場合、func(A) ∈ A なる(選択)関数 func を選ぶ事が可能である。
これって明らかのように思えますが、もしかして選択公理が必要なんでしょうか？
要は添字集合の濃度が 1 の場合ってことです。
A={2,4,6,8,...} みたいに具体的に示された場合は、最小値を採るといった感じで示せますが、
捉えどころの無い未知の集合についても、全てそう主張できるのか言えるのでしょうか。
