- ベストアンサー
アレフ0より小さな濃度をもつ無限集合
- みんなの回答 （4）
- 専門家の回答
質問者が選んだベストアンサー
> 可算選択公理（英語版）（選択公理の弱いバージョン）を仮定すれば、\aleph_0 は他のどんな無限基数よりも小さい。 # http://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AC%E3%83%95%E6%95%B0 上記から少なくとも可算選択公理が成り立たない体系を想定しないと、質問の無限集合は存在しません。 アレフ0より小さい無限濃度の無限集合が存在するなら自然数全体Nの中への単射が存在するわけです。 その像が最大値を持つと有限になるので、その像は最大値を持たない。 自然数の部分集合は最小値を持つので、小さい方から順に対応付けすると自然数から仮定した無限集合の中への単射が作れそうな気がしますが、可算選択公理がないからこれが関数にならないのかな。 何にせよ、アレフ0と比較不可能というくらいならともかく、より小さな無限濃度の存在はかなり不自然ということは認識頂けると思います。
その他の回答 (3)
- tmpname
- ベストアンサー率67% (195/287)
ちょっとだけコメントしておくと： > 何にせよ、アレフ0と比較不可能というくらいならともかく、より小さな無限濃度の存在はかなり不自然ということは認識頂けると思います。 ZFでも可算基数と比較可能でより小さな基数は有限基数なので、無限基数でかつ可算基数より「小さい」ものはZFでも存在しません（可算基数は無限基数の中で「極小」）。ZFCなら可算基数は無限基数の中で最小であることが言えます。
お礼
ありがとうございました。
- tmpname
- ベストアンサー率67% (195/287)
ZFCでの通常の濃度の定義で考えているものとすると、無限集合は常に可算無限集合を含むので、そのようなものはありません。
お礼
ありがとうございました。
- FEX2053
- ベストアンサー率37% (7987/21354)
見つかってはいない・・・が答えではないかと。 ただ、少なくとも「自然数全体の集合」より小さい連続体というのが 「考えにくい」からこそ「可算濃度」がアレフ=ゼロになったんだと 思いますよ。「連続体仮説は証明も反証もできない命題である」 ということと、表裏一体の話ではないかと・・・。 http://ja.wikipedia.org/wiki/%E9%80%A3%E7%B6%9A%E4%BD%93%E4%BB%AE%E8%AA%AC
お礼
アレフ=ゼロより1段小さい濃度はアレフ-1になるんではないかと思いますが、アレフ-1は定義不可能ってことですか。 ２＾アレフ0＝アレフ1 なら、普通に考えて ２＾アレフ-1＝アレフ0ではないでしょうか。 で、両辺の対数をとって アレフ-1＝logアレフ0 ではないでしょうか。 アレフ0の対数はとれませんか。
関連するQ&A
- 濃度についてーその２
任意の集合はそのべき集合を作り続けることによって、無限に増大する濃度を持つ集合列が生成できることは証明されています。 例えばこれを可算集合から開始した場合、 可算集合の濃度＝アレフ0 可算集合のべき集合の濃度＝アレフ１ 可算集合のべき集合のべき集合の濃度＝アレフ2 可算集合のべき集合のべき集合のべき集合の濃度＝アレフ３ ・ ・ ・ ・ 以下無限に続く。 このように無限に増大する濃度を持つ集合列アレフ0、アレフ１、アレフ２、・・・・が生成されます。 また同様にして連続体から開始した場合、 連続体の濃度＝ベート0 連続体のべき集合の濃度＝ベート１ 連続体のべき集合のべき集合の濃度＝ベート2 連続体のべき集合のべき集合のべき集合の濃度＝ベート３ ・ ・ ・ ・ 以下無限に続く。 このように無限に増大する濃度を持つ集合列ベート0、ベート1、ベート2、・・・・が生成されます。 さて質問です。 １． 任意の自然数ｎに対して適当な自然数ｍを取ることにより、ベートｎ＝アレフｍを成立させることが出来ますか。 ２． 任意の集合に対しその濃度をAとするとき、適当な自然数ｍやｎを取ることによりA=アレフｍ、A=ベートｎを成立させることが出来ますか。
- ベストアンサー
- 数学・算数
- 集合の濃度に関する質問です
可算無限集合Ａの濃度をα_0(アレフ０) Ｒ^nの濃度をα_1(アレフ1) (nは自然数) Ａの冪集合の濃度を2^α_0(2のアレフ0乗?) ※ヘブライ語のアレフの代わりに、αを使って記述してます。 なので以下αはアレフと読むことにします。 このとき (1)α_0よりα_1のほうが"大きい"こと (2)α_0より2^α_0のほうが"大きい"こと の２つはわかったのですが、α_1と2^α_0ではどちらが大きいのですか？ それとも2^α_0=α_1なのでしょうか？ 私の記憶では、α_1はα_0の次に"大きい"濃度と定義されていたような気がしますが・・それだとα_0より大きくα_1より小さい濃度は存在してはいけないことになりませんか？(つまり、α_1＞2^α_0の可能性はない) 来年度に数学科２年となる身なので、あまり高度な知識は持ち合わせていないです・・。すいません。 どなたか詳しい方がいらっしゃいましたら回答よろしくお願いします。 [補足] (1)については Ａが可算（自然数全体の集合Ｎとの間に１対１かつontoな写像ができる）である一方で、Ｒは対角線論法により非可算なので、α_0よりα_1のほうが"大きい"としました。（ＲとＲ^nの濃度が等しいことの証明は省略します） (2)については Ａの冪集合の濃度、つまり元の個数を、Ａの各元を含むか含まないかを1と２に対応させることで、小数0.122111222121122・・・・・の総数へと帰着し、あとはこの小数全体に対して対角線論法を用いることで、α_0より2^α_0のほうが"大きい"としました。 「Ａの各元を含むか含まないかを1と２に対応させる」とは、 たとえば、Ａ＝｛1,2｝であればＡの冪集合の濃度（個数）は2^2=4個ですが、これを 0,22⇔Φ(空集合) 0,12⇔｛1｝ 0,21⇔｛2｝ 0,22⇔｛1,2｝ というように小数に対応させるということです。 "大きい"という言葉の定義をしてないのでこの表現が曖昧かもしれませんが、上記のようにして"大きい"かどうかを判断しました。
- ベストアンサー
- 数学・算数
- 和集合と濃度の関係について
こんにちは。 集合論の本を読んでいて、わからないところがあります。お力をお貸しください。 わからないところは、ベキ集合のベキを無限にとることによって、無限濃度の可算増加列が得られるが、その可算列の先のさらに大きな濃度の集合Mをとることができるというところです。 自然数の集合Nのベキ集合をB^1（N）とし、そのベキ集合のベキ集合をB^2（N）とすれば、上述の無限濃度の増加列が、「|N|＜|B^1（N）|＜|B^2（N）|＜…＜|B^n（N）|＜…」として得られます。 このとき、M=⋃（n=1から∞）B^n（N）とおけば、「|B^n（N）|＜|M|」が導かれるというのです。 私の疑問は、「n=1から∞」までのB^n（N）の和集合の濃度が、本当に|B^n（N）|を超えるのか？というところです。 といいますのも、アレフにアレフゼロを足してもアレフのままであるように、和集合が単純にB^n（N）より大きくなるとは言えないんじゃないか？と思うからです。 この論理の根拠は（すなわち和集合と濃度の関係についての上述の論証の根拠は）どのようなものなのでしょうか？ アドバイスお願いします。
- ベストアンサー
- 数学・算数
- アレフ０とアレフ１の和集合、、、
無限集合における確率に関して疑問が生じましたので、質問させてください。 集合Ａをアレフ０の無限集合とする。 集合Ｂをアレフ１の無限集合とする。 集合Ａと集合Ｂの積集合は空集合である。 集合Ｃを集合Ａと集合Ｂの和集合とする。 質問１：任意に選んだ「集合Ｃの要素」が、集合Ｂの要素である確率を求めることができますか？ 質問２：求めることが出来る場合、その確率は１ですか、1/2ですか、それともその他の確率ですか？ （蛇足） 質問３：上記の定義を変更し、集合Ａ、集合Ｂの濃度が同じだった場合、集合Ｃから選んだ任意の要素が集合Ｂの要素である確率は1/2と考えてよいでしょうか？
- ベストアンサー
- 数学・算数
- 有理数集合の濃度は非可算？！
有理数集合の濃度は非可算？！ 有理数集合Qの濃度は可算ですが、以下のように考えたところQ（の部分集合）が非可算無限集合になってしまいました。 どこが誤りかご教授願います。 正の有理数は素数のベキを用いて 2^α×3^β×…（α,β,…∈Z） で一意的に表される。 素数の個数は可算無限個なので Q+とZの可算無限個の直積が一対一対応する。 このときZも可算無限集合なので、可算無限集合の可算無限直積で非可算無限集合になる。 よってQ+は非可算無限集合である。
- ベストアンサー
- 数学・算数
- 無限集合の連続体濃度のよりも大きな濃度？
http://ufcpp.net/study/set/cardinality.html#carginality 上記のサイトを眺めておりましたところ、下記の記述に出会いました。 ＝＝＝引用＝＝＝ 余談になりますが、 この記号 א は、 ヘブライ文字の1文字目で、ギリシャ文字のα、ローマンアルファベットの a の元になった文字です。 無限基数の中で小さいものから順に、 א0 , א1 , א2 , ・・・ と表します。 昔は、 無限基数を小さいものから順に、 ヘブライ文字の第 n 文字目で表していました （aleph, beth, gimel, daleth, ・・・）が、 読めないし、写植の上でもなかなか表示できないので、 アレフの右下に添字を付ける今の表記法になりました。 ＝＝＝引用終わり＝＝＝ 恥ずかしながら、無限集合の濃度の事を聞いて以来、無限集合の濃度は下限が א0で上限がא1なのかと勝手に思っておりました。 ところが、上述のように、 א0 , א1 , א2 , ・・・ ということでありますと、俄然 א2の濃度を持つ無限集合に興味が湧いてまいりました。 連続体濃度よりも濃度が大きい無限集合とはどのような集合でしょうか？ 数学の素人なものですから、直観的に理解できそうな実例を一個・二個、お示し頂けるとありがたいです。
- ベストアンサー
- 数学・算数
- 無限集合に関することです。
無限集合に関することです。 自然数全体を可算無限個の互いに交わらない集合Ａ1,Ａ2,Ａ3・・・（どのＡkも可算無限集合）の和として表わされることを示したいのですがどうすれば良いですか？ 可算無限集合は自然数全体の集合との間に1対1対応の関係がある集合のことなのに、自然数全体を互いに交わらない集合で示せるのでしょうか？
- ベストアンサー
- 数学・算数
- 濃度について。
無限集合の濃度をアレフ（ｎ）と書きます。 （１） アレフ（０）＜アレフ（１）＜アレフ（２）＜ ・・・ （２） アレフ（ｎ）＜アレフ（ｋ）＜アレフ（ｎ＋１） ｋの存在はＺＦでは肯定も否定もできない。 数学基礎論はおろか対角線論法も１度理解出来たと思った瞬間があっただけで今は図を見ていても頭痛するだけで全く理解できません。 質問です。 ○不等号（＜）の使用法は普通の演算３＜４とは相違していると思いますがどうなのでしょうか。 ○アレフ（０）は代表として自然数の濃度なのでアレフ（－１）は考慮しなくて良い、集合そのものが存在しないという事で良いでしょうか。 ○有限集合の濃度＝アレフ０とやると何か変なので濃度という用語は無限集合だけに適用されるということでしょうか。 みっつも質問がありますが知っている人は知っていて知らない人は覚えたいので宜しく御願い致します。
- ベストアンサー
- 数学・算数
お礼
ありがとうございました。