- 大学学部レベル質問スレ 12単位目
975 :132人目の素数さん[]:2019/12/14(土) 14:19:41.87 ID:mHXx5gWj - コンパクト化を使って証明する定理とかないんですか?
コンパクト化するだけで満足ですか?
| - 選択公理証明したwwwwwwwwwwwwwwwww
8 :132人目の素数さん[]:2019/12/14(土) 18:16:27.43 ID:mHXx5gWj - {U_i}_{i∈I}を空でない集合からなる集合族とする。
i∈Iを任意の元とする。 U_iは空ではないから元が存在する。これをa(i)とする。 この関数aが条件を満たすから、選択公理が証明された。
|
|