18/12/29 19:36:56.03 nqXwmrkU.net
>>627
つづき
この定理は 3次元以上の全ての次元においても成り立つ。
2次元ユークリッド平面においては成り立たないものの、
2次元においても分割に関するパラドックスは存在する: 円を有限個の部分に分割して組替える事で、同じ面積の正方形を作ることが出来るのである。これはタルスキーの円積問題(en:Tarski's circle-squaring problem)として知られている。
2次元ユークリッド平面においては、合同変換ではなく面積を保つ変換に条件をゆるめると、バナッハ＝タルスキーのパラドックスと同様な定理が成立することを、1929年にジョン・フォン・ノイマンが証明した。
URLﾘﾝｸ(ja.wikipedia.org)
ヒルベルトの無限ホテルのパラドックス
URLﾘﾝｸ(ja.wikipedia.org)
無限
(抜粋)
デデキント無限
詳細は「デデキント無限」を参照
ある集合が自身と対等な（すなわち同じ濃度を持つ）真部分集合が存在するとき、その集合はデデキント無限であるという。デデキント無限でない集合はデデキント有限であるという。デデキント無限集合は常に無限集合であるが、その逆を証明するには弱い形の選択公理が必要である。無限集合が、デデキント無限集合であるということと、可算無限部分集合を持つことは同値である。
URLﾘﾝｸ(ja.wikipedia.org)
デデキント無限
(抜粋)
デデキント無限集合であるとは、A と同数（equinumerous）であるようなA の真部分集合B が存在することである。それはつまり、A とA の真部分集合B の間に全単射が存在するということである。
(引用終り)
以上