A 回答 (8件)
- 最新から表示
- 回答順に表示
No.8
- 回答日時:
すみません。
超準解析云々の話は忘れてください(^^;。余計な話で、かえって混乱してしまいますね。No.3さんの
>それとももっとたくさんあるのか。。。
は、濃度全体の集まり、はあまりに大きすぎて集合とはみなせないので、加算無限個どころではなかったと思います。
>#そもそも「無限集合」全体の集合は集合なのか?
これも、大きすぎて集合とは言えません。
No.7
- 回答日時:
べき集合を作るだけが高濃度集合をつくる方法ではありません。
X∪P(X)∪P(P(X))∪P(P(P(X)))∪・・・という和集合はさらに大きな集合になります。さらに、もっと先も。ところで、これらは集合の濃度の話ですね。べき集合というのが作れることで、無限は沢山あることがすぐ証明されますが、無限は濃度だけではありません。
超準解析という方法を使えば、無限の大きさの(超)実数というのが沢山出てきて、加減乗除できます。これは濃度とは別の意味の無限ですね。
今、思いつきましたが、公理的集合論の公理自身も一階述語論理で現せますから、超準解析の方法が使えるかな?そうすると、P^n(X) のnが無限大超自然数のような超集合もできるのかな?
No.6
- 回答日時:
ojisan7> そんなことを考えることが数学的に価値のあることのようには思えません。
数学的価値は非常に高いと思います。むしろ数学の真髄に近いと。
実用上の価値は現段階ではなさそうですが,将来はわかりません。
No.5
- 回答日時:
既に多くの回答が寄せられていますが、ひとことだけ、述べさせて下さい。
Takosanさんの回答にもあるように、連続体仮説は、ZFCとは独立であることが証明されています。このことは、極論すれば、公理系によっては、無限は、アレフ0、アレフ1、アレフ2…のように可算無限だけではなく、連続体の濃度をもたせることも可能だと言うことになります。何事も公理系次第だということです。でも、そんなことを考えることが数学的に価値のあることのようには思えません。No.4
- 回答日時:
そもそも「アレフ」は無限なのか? という疑問を持ちつつ.
既に回答はでてますが, 自然数の集合 N に対し「ベキ集合を作る」という操作を繰り返せば P(N), P(P(N)), ... と加算無限個の無限集合が得られ, これらは対角線論法により全て異なる濃度を持ちます. 対角線論法で示すのは N と P(N) (= R: 実数の濃度) の違いが多いけど, その他も全て同じ議論.
で P(N) と P(P(N)) との間の濃度を持つ集合が存在するかどうかは結局 N と P(N) = R との間の濃度を持つ集合が存在するかどうか, つまり R の濃度がアレフ1 かどうかと同じ問題になって, ZFC においては決定不能. 実際, 「R の濃度がアレフ1」というのが連続体仮説 (CH) なんだけど ZFC + CH と ZFC + (not CH) のいずれも無矛盾な公理系であることが証明されています. ちなみに not CH の場合に R の濃度がどこにあるかという問題ですが, 実はどこにあると仮定してもよかったはず.
ただ, それだけではわけわからんので「えいっ」とばかりに beth を使うようですね. こっちの定義は単純で beth_0 = aleph_0 かつ beth_(i+1) = 2^beth_i, つまり N の濃度を beth_0 として, あとは S の濃度が beth_i ならそのベキ集合 P(S) の濃度は beth_(i+1). よって P(N) = R の濃度は beth_1.
ん~, gimel とか daled ってどこで使うんだろ....
No.3
- 回答日時:
>そんな、雑談みたいな答えではなくて、証明してもらえますか
証明も何も。。。アレフを知ってれば
すぐ構築できませんか
(1)任意の無限集合Aに対して
そのベキ集合P(A)の濃度はAより真に大きい
(2)任意の集合(有限でも無限でもよい)に対して
そのベキ集合は必ず存在する
この二つから,自然数全体の集合Nあたりを
スタートにして
P(N) P(P(N)) P(P(P(N)))・・・
とすれば
真に濃度が増大する無限列が
帰納的に構築できます.
これだけで
無限は少なくとも自然数と同等の無限個あると
いうことは分かります.
問題は・・・自然数個だけなのか
それとももっとたくさんあるのか。。。
濃度がP(N)とP(P(N))の濃度の間にあるような
別種の無限があるのか・・・
#そもそも「無限集合」全体の集合は集合なのか?
#という疑問もありますが,集合論での
#「集合の定義」を覚えてないのでわかりません
No.2
- 回答日時:
無限集合 X の部分集合の全体 P(X) の濃度は X の濃度より大きくなります。
X_0,0=N(自然数全体)
X_m,{n+1}=P(X_m,n)
X_{m+1},0=X_m,0+X_m,1+… (+は和集合)
のようにして続けられます
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 哲学 1,2,3,・・・無限大 の無限大は 有限の数である 2 2022/07/04 03:31
- 数学 無理数の数字の組み合わせ。無限の意味について 5 2022/05/28 22:53
- 数学 p²+q²=1を満たす有限小数 10 2023/03/11 13:35
- 物理学 ABC予想によって、宇宙が現実に存在している事が証明されましたね? 1 2022/05/13 09:31
- 数学 ガブリエルのホルンと呼ばれる漏斗状の回転面があります。このホルンは体積は有限であるにもかかわらず、面 2 2023/02/03 15:24
- 哲学 死後は転生できることの証明 6 2023/06/06 11:19
- その他(自然科学) 宇宙の過去は有限無限? 5 2022/04/08 02:37
- 数学 有界な無限数列は収束する部分列をもつ a(n)=ー1^n みたいな振動する有界な無限数列の部分列って 2 2022/06/20 09:24
- 数学 これって正しいんじゃないの? 「無理数を小数で表現すると、小数点以下に数字が無限に続きますが、それら 5 2022/05/29 23:56
- 哲学 死を乗り越える方法 6 2023/05/29 18:54
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
無限は実在しますか?
-
「無限の一つ前の数字は何?」...
-
可能無限と実無限
-
実数の無限と自然数の無限の違い
-
アレフ0より小さな濃度をもつ無...
-
実無限と可能無限の違いを教え...
-
合成関数の定義域につきまして
-
無限等比級数の和→理屈で納得し...
-
自然数の無限数列は連続体濃度...
-
二次関数での定義域と値域の違...
-
高校数学の関数について 値域や...
-
数学Ⅰの一次関数について。
-
アキレスと亀。
-
集合の濃度の問題です
-
合成関数について
-
「集合Sの真部分集合S'からSへ...
-
数学において「無限」はどのよ...
-
逆関数 高校数学にて y=x^2+2x+...
-
イプシロンエヌ論法についてで...
-
lim[n→∞](1-1/n)^n=1/e について
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
「無限の一つ前の数字は何?」...
-
無限より大きい何か
-
無限に1を引くとどうなりますか?
-
無限は実在しますか?
-
アレフツーってありますか?
-
アレフ0より小さな濃度をもつ無...
-
無限順列に対して無限組合せを...
-
複素数 実数 集合 濃度
-
メルセンヌ素数でない素数は無...
-
数学Ⅰの一次関数について。
-
数学において「無限」はどのよ...
-
NとRとℵ1とℵ2の関係
-
開集合がコンパクトでない理由
-
『[無限ホテル]』
-
分数関数についての質問です。...
-
0から1の間の数は0から10の間の...
-
逆関数 高校数学にて y=x^2+2x+...
-
合成関数の定義域につきまして
-
実無限と可能無限の違いを教え...
-
連続体仮説に懐疑的な理由?
おすすめ情報