• ベストアンサー
※ ChatGPTを利用し、要約された質問です(原文:無限集合の連続体濃度のよりも大きな濃度?)

無限集合の濃度とは?連続体濃度よりも大きな濃度とは?

alice_44の回答

  • alice_44
  • ベストアンサー率44% (2109/4759)
回答No.13

基本的なことについては、また間違いを やらかすといけないから、ひとことだけ。 AからBへの単射が存在する ⇔ AはB以上の濃度 は、これ自体が「濃度」の定義です。 府に落ちるとか、理解するとかいう話ではない。 ただ、知っておくだけのことです。 R''→R の全単射は、 No.10 と似たような感じに x→x/p (xが素数pの累乗のとき) x→x (それ以外のとき) でもよいし、 更に穴を増やして、ハサミウチする手もあります。 R''' を R から自然数を除いた集合とすると、 R⊇R''⊇R''' より ♯R≧♯R''≧♯R''' ですが、 R'''→R の全単射 x→(1-x)/2 (xが奇数のとき) x→x/2 (xが偶数のとき) x→x (xが整数ではないとき) が存在して、♯R=♯R''' です。 他にも、やり方はいくやでもあります。 いつでも濃度の比較ができるマニュアル式の やり方はないので、厄介というか楽しいですが。

Mokuzo100nenn
質問者

お礼

再三のご教授ありがとうございます。 そうですか。MとNがおなじ濃度である場合には、必ず全単射ができるはずなんですね。 最後に一つだけおしえてください。 実数からなる集合をRとする。 Rにリンゴを加えた集合をXとする。 この場合、XはRよりも濃度が高い集合ってことになりますか? もし、これがYESなら、原質問の 「直観的に理解できそうな実例を一個・二個、お示し頂けると、、、」 がクローズできそうです。

関連するQ&A

  • アレフ0より小さな濃度をもつ無限集合

      アレフ0(可算集合の濃度)より小さな濃度をもつ無限集合はありますか。  

  • 集合の濃度に関する質問です

    可算無限集合Aの濃度をα_0(アレフ0) R^nの濃度をα_1(アレフ1) (nは自然数) Aの冪集合の濃度を2^α_0(2のアレフ0乗?) ※ヘブライ語のアレフの代わりに、αを使って記述してます。 なので以下αはアレフと読むことにします。 このとき (1)α_0よりα_1のほうが"大きい"こと (2)α_0より2^α_0のほうが"大きい"こと の2つはわかったのですが、α_1と2^α_0ではどちらが大きいのですか? それとも2^α_0=α_1なのでしょうか? 私の記憶では、α_1はα_0の次に"大きい"濃度と定義されていたような気がしますが・・それだとα_0より大きくα_1より小さい濃度は存在してはいけないことになりませんか?(つまり、α_1>2^α_0の可能性はない) 来年度に数学科2年となる身なので、あまり高度な知識は持ち合わせていないです・・。すいません。 どなたか詳しい方がいらっしゃいましたら回答よろしくお願いします。 [補足] (1)については Aが可算(自然数全体の集合Nとの間に1対1かつontoな写像ができる)である一方で、Rは対角線論法により非可算なので、α_0よりα_1のほうが"大きい"としました。(RとR^nの濃度が等しいことの証明は省略します) (2)については Aの冪集合の濃度、つまり元の個数を、Aの各元を含むか含まないかを1と2に対応させることで、小数0.122111222121122・・・・・の総数へと帰着し、あとはこの小数全体に対して対角線論法を用いることで、α_0より2^α_0のほうが"大きい"としました。 「Aの各元を含むか含まないかを1と2に対応させる」とは、 たとえば、A={1,2}であればAの冪集合の濃度(個数)は2^2=4個ですが、これを 0,22⇔Φ(空集合) 0,12⇔{1} 0,21⇔{2} 0,22⇔{1,2} というように小数に対応させるということです。 "大きい"という言葉の定義をしてないのでこの表現が曖昧かもしれませんが、上記のようにして"大きい"かどうかを判断しました。

  • 濃度についてーその2

      任意の集合はそのべき集合を作り続けることによって、無限に増大する濃度を持つ集合列が生成できることは証明されています。 例えばこれを可算集合から開始した場合、 可算集合の濃度=アレフ0 可算集合のべき集合の濃度=アレフ1 可算集合のべき集合のべき集合の濃度=アレフ2 可算集合のべき集合のべき集合のべき集合の濃度=アレフ3         ・         ・         ・         ・ 以下無限に続く。 このように無限に増大する濃度を持つ集合列アレフ0、アレフ1、アレフ2、・・・・が生成されます。 また同様にして連続体から開始した場合、 連続体の濃度=ベート0 連続体のべき集合の濃度=ベート1 連続体のべき集合のべき集合の濃度=ベート2 連続体のべき集合のべき集合のべき集合の濃度=ベート3         ・         ・         ・         ・ 以下無限に続く。 このように無限に増大する濃度を持つ集合列ベート0、ベート1、ベート2、・・・・が生成されます。 さて質問です。 1. 任意の自然数nに対して適当な自然数mを取ることにより、ベートn=アレフmを成立させることが出来ますか。 2. 任意の集合に対しその濃度をAとするとき、適当な自然数mやnを取ることによりA=アレフm、A=ベートnを成立させることが出来ますか。  

  • 集合は有限集合と無限集合だけですか?

    有限集合の元の数を考えるとき、 「いかなる有限集合よりも元の数が多い有限集合は存在しない」------(A) ことがわかります。一番大きな基数の有限集合が存在しないと言い換えても良いですね。 ところがここに無限集合の概念を導入すると 「いかなる基数の有限集合よりも大きい集合として無限集合がある」---(A’) ここで「大きい」とは二つの集合の元を対応させて行くと、「大きい」方の元が余ることを言います。 ここでは、“超有限集合”=無限集合という関係が成り立ちます。 さて、公理的集合論の公理により、無限集合Rから常にPower(R)が作れるので、 「いかなる無限集合よりも濃度の数が多い無限集合は存在しない」------(B) が成立しました。 一番大きな濃度の無限集合が存在しないと言い換えても良いですね。 ここで、有限、無限に続く第三の概念として、“超無限集合”=寿限無集合(仮名)という概念を導入します。 すると、(A)に対して(A’)が成り立ったように、(B)に対して(B’)が成り立ちます。 「いかなる濃度の無限集合よりも大きい集合として寿限無集合がある」---(B’) 質問1:このような寿限無集合はZFC公理系で無矛盾に定義できますか? 質問2:集合の種類は有限と無限の二種類でしたが、第三の概念を導入すると、無限集合では成り立たないが寿限無集合の世界だけで成り立つ定理も発見できると思うのですが、このような概念の拡張をした数学者はいましたか? 質問3:有限と無限以外に第三の概念を導入することが無意味であると立証できますか?

  • 濃度について。

    無限集合の濃度をアレフ(n)と書きます。 (1) アレフ(0)<アレフ(1)<アレフ(2)< ・・・ (2) アレフ(n)<アレフ(k)<アレフ(n+1) kの存在はZFでは肯定も否定もできない。 数学基礎論はおろか対角線論法も1度理解出来たと思った瞬間があっただけで今は図を見ていても頭痛するだけで全く理解できません。 質問です。 ○不等号(<)の使用法は普通の演算3<4とは相違していると思いますがどうなのでしょうか。 ○アレフ(0)は代表として自然数の濃度なのでアレフ(-1)は考慮しなくて良い、集合そのものが存在しないという事で良いでしょうか。 ○有限集合の濃度=アレフ0とやると何か変なので濃度という用語は無限集合だけに適用されるということでしょうか。 みっつも質問がありますが知っている人は知っていて知らない人は覚えたいので宜しく御願い致します。

  • 和集合と濃度の関係について

    こんにちは。 集合論の本を読んでいて、わからないところがあります。お力をお貸しください。 わからないところは、ベキ集合のベキを無限にとることによって、無限濃度の可算増加列が得られるが、その可算列の先のさらに大きな濃度の集合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)より大きくなるとは言えないんじゃないか?と思うからです。 この論理の根拠は(すなわち和集合と濃度の関係についての上述の論証の根拠は)どのようなものなのでしょうか? アドバイスお願いします。

  • アレフ0とアレフ1の和集合、、、

    無限集合における確率に関して疑問が生じましたので、質問させてください。 集合Aをアレフ0の無限集合とする。 集合Bをアレフ1の無限集合とする。 集合Aと集合Bの積集合は空集合である。 集合Cを集合Aと集合Bの和集合とする。 質問1:任意に選んだ「集合Cの要素」が、集合Bの要素である確率を求めることができますか? 質問2:求めることが出来る場合、その確率は1ですか、1/2ですか、それともその他の確率ですか? (蛇足) 質問3:上記の定義を変更し、集合A、集合Bの濃度が同じだった場合、集合Cから選んだ任意の要素が集合Bの要素である確率は1/2と考えてよいでしょうか?

  • 非可算無限なグラフ

    単に興味本位からの疑問なのですが・・・ グラフGは、頂点集合Vと辺集合Eを用いて、定義するのが普通ですよね。(もちろん、定義の仕方は色々ありますが) このとき、頂点集合Vと辺集合Eは、無限にする場合でも、暗黙のうちに可算集合と考えるのが普通ですよね。そうしないと、i,jのような添え字を用いた操作ができませんから。 このV,Eを非可算集合、例えば、実数濃度と考えた場合のグラフの理論は、研究されているのでしょうか?そのような理論の、応用はあるのでしょうか?

  • ∞の定義とは何なのでしょうか?

    ∞の定義がよく分かりません。 拡張された複素数C∪{∞} (但し,∞はCの元ではない)を考えてふと疑問なのですが ∞はただの記号という説明を見かけた事もありますがそれなら∞は無定義語なのでしょうか? でも{ }という集合を表す中括弧で括ってあるから∞はある集合なのでしょうか? 無限集合の濃度はアレフ_0,アレフ_1,アレフ_2,… とありますが アレフ_0以上の濃度を∞という記号で表すと解釈したのですがこれで正しいでしょうか? そして-∞と+∞という記号は極限の概念で限りなく大きくなる場合,例えば lim_{x→0}1/x=+∞ と表す事にし, 負の方向に限りなく大きくなる極限を lim_{x→0}-1/x=-∞ と表す事にしようと誰かが決めたのでしょうか? すいません。質問が多くて。。

  • 無限集合の濃度

    無限集合の濃度について解説してもらえません?