A second discussion of the dissociation of logic and intuition resulting from the Axiom of Choice: Through the Banach-Tarski theorem in higher dimensions
現代数学において，選択公理は必要不可欠な重要な公理である．しかし，これを仮定することにより，直観的には受け入れ難い数学的な事実が導かれることがある．3次元以上のEuclid空間におけるBanach-Tarskiの定理はその代表的な例である．本稿においては，3次元における議論を前提とし，4次元以上の場合に，選択公理を用いることによってHausdorffの定理が導かれることを中心に，その証明の詳細を解説する．
In modern mathematics, the Axiom of Choice is an indispensable and important axiom. However, this axiom can lead to mathematical facts that are intuitively unacceptable. A typical example is the Banach-Tarski theorem in Euclidean space of three or more dimensions. In this paper, in the case of four or more dimensions, we will explain the details of the proof, focusing on the fact that the Hausdorff theorem is derived using the Axiom of Choice, assuming the argument in three dimensions.
選択公理のもたらす論理と直観の乖離について（その２）―高次元Banach-Tarski の定理を通して―
.png)
選択公理のもたらす論理と直観の乖離について (2)
(1.71MB)
お知らせ一覧
