23/06/22 07:59:03.19 N+YFk357.net
>>700
ガロア第一論文と乗数イデアル他関連資料スレ4
ｽﾚﾘﾝｸ(math板:664番)
664 名前：１３２人目の素数さん[] 投稿日：2023/06/21(水) 23:44:26.16 ID:+0cLjl9U [7/7]
>>663
つづき
歴史
集合論の創始者ゲオルク・カントールは、選択公理を自明なものとみなしていた。 実際、有限個の集合からなる集合族であれば、そのそれぞれの集合の中から順に1つずつ元を選び出し、それらを併せて集合とすればよいのであるから、このような操作ができることは自明である。
しかし、ツェルメロによる整列可能定理の証明に反論する過程で、エミーユ・ボレル、ルネ＝ルイ・ベール、アンリ・ルベーグ、バートランド・ラッセルなどが選択公理の存在に気付き、新たな公理であることが認識されるようになった。確かに、無限個の集合からなる集合族の場合、上のような操作を想定しても「順に選び出す」操作は有限回で終了することはないのだから、このような操作を行えるかどうかは必ずしも明らかではない。
選択公理は、それ自身もまたその否定もほかの公理からは証明できないものであること、すなわち独立であることが示された（クルト・ゲーデル、ポール・コーエン）
バナッハ＝タルスキーのパラドックスと選択公理
選択公理を仮定することによって導かれる、一見、奇怪で非直観的な結果の中でも、バナッハ＝タルスキーのパラドックスは有名なもの
選択公理の変種
(引用終り)
以上