• 締切済み
  • すぐに回答を!

濃度の厳密な定義はもはや不可能なのですか?

識者の皆様宜しくお願い致します。 最近,集合位相入門(松坂和夫)を購入し拝読しておりますがこの本のp65にて 『濃度は"集合全体の集まり"を対等関係によって類別したときの各"同値類"である。実は集合全体の集まりというのは、我々が今まで考えていた意味での集合ではないが、"類別"の考えを少し広めて用いることは当然認めてもよいだろう』 という記述がありますが,これは正確に解釈すると 『濃度は"集合全体の集まり"を対等関係によって類別したときの各"同値類"である。実は集合全体の集まりというのは、我々が今まで考えていた意味での集合ではないが、"類別"の考えを少し広めて用いることは当然認めてもよいだろうが万一ダメだったとしても当方は一切責任持ちません』 と見て取れ,何とも歯切れの悪い定義だなぁと感じました。 結局,濃度(という同値類)はφと有限集合{1,2,…,n}と可算集合N(=:アレフ_0)とアレフ_0の非可算集合Rとアレフ_1の非可算集合2^R,アレフ_3の非可算集合3^R,… と可算個に類別できるのだと思います。 濃度の厳密な定義を知りたいのですがこの "実は集合全体の集ま…ことは当然認めてもよいだろう" の箇所の曖昧さをすっきり解消させるにはどう記述すればいいのでしょうか? 公理的集合論の書籍でさえも濃度の定義の際に「集合全体の集まりを類別する」という表現をさり気なく記述せずに類別によって濃度の定義をしているようです。 濃度を厳密に定義する場合,どういう手順で類別を定義すればいいのでしょうか? また, 歯切れのいい濃度の定義をしてある書籍やサイトがあれば是非ご紹介下さい。

共感・応援の気持ちを伝えよう!

  • 回答数1
  • 閲覧数336
  • ありがとう数0

みんなの回答

  • 回答No.1

かなり混乱されているようですね。 通常のZFC集合論では以下の手順で厳密に濃度を定義しています。しかし、そのハートの部分は『集合全体を等濃という同値関係で類別したもの』なので、実用的にそちらで説明しているのでしょう。実際それで十分ですし。また、順序数より濃度のハートによる感覚的理解の方がわかりやすいというのがあり、先に濃度論を展開したいというのもあるでしょう。 (1)順序数論を展開 これは濃度の概念抜きで行えます。 (2)整列可能定理を証明 これにより任意の集合に対し等濃な順序数が少なくともひとつ存在します。ちなみに等濃という概念は単射だけで定義できています。 (3)基数を定義 順序数の中に自分より順序数の意味で小さい順序数とは等濃にならない順序数、つまり、自分自身と等濃な最小の順序数が自分自身となる順序数があります。これが等濃な順序数同士の中で最小なものになります。このような順序数を基数と定義します。 以上の準備をした上で、集合Aの濃度とはAと等濃な最小の順序数、つまり、Aと等濃な基数であるとして定義します。 田中尚夫氏の公理的集合論とか、ゲーデルと20世紀の論理学シリーズの集合あたりではちゃんと書いてあったと思います。

共感・感謝の気持ちを伝えよう!

関連するQ&A

  • 濃度に関するかなり初歩的な質問です

    集合位相入門(松坂和夫)のp69に次のような定理と証明が書いてありました。 [定理] 濃度m,nについて、 m≦n,n≦mならばm=n [証明] CardA=m,Card=nでなる集合AとBをとれば、 m≦nであるから("≦"の定義より)、AからBへの単射が存在し、 n≦mよりBからAへの単射が存在する。よって、ベルンシュタインの定理より、AとBは対等(A~B)である。ゆえにm=nである。 また、 濃度は"集合全体の集まり"を対等関係によって類別したときの各"同値類"である。実は集合全体の集まりというのは、我々が今まで考えていた意味での集合ではないが、"類別"の考えを少し広めて用いることは当然認めてもよいだろう。 みたいな記述もあったのですが、 それなら(p56の(6.2)にもあるように) 同値類n、mの代表元A、Bをとってきて、 それらが対等関係ならば同値類も等しいから、m=nとできると思いました。 [質問1]証明中の"ゆえにm=n"というのはこうゆうことでしょうか? [質問2]"同値類"という言葉は、"類別"という用語と違って、"集合全体の集まり"を集合と見るか見ないかにかかわらず使用できる言葉ですよね? どなたか詳しい方がいらっしゃいましたら回答よろしくお願いいたしますm(_ _)m

  • 濃度についてーその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の濃度をα_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} というように小数に対応させるということです。 "大きい"という言葉の定義をしてないのでこの表現が曖昧かもしれませんが、上記のようにして"大きい"かどうかを判断しました。

  • 濃度を求める問題

    次の集合 A = {S⊂R | Sは高々可算 } の濃度を求めよ、という問題の解き方が分からず困っています。 以下、Nを連続濃度(アレフ)とします。 (アレフが入力できないので…すいません。) 写像 f :R→A , x ↦ {x} は単射なので、N≦ |A| である事が分かります。 さらにA⊂2^Rなので、|A|≦2^Nである事も分かります。 この後、どうしたらよいのかが分かりません。 Sが有限の場合なら解けるのですが、可算となると写像をどのように作ればいいかがピンときません。 濃度はNか2^Nになるのだと思いますが… 分かる方がいましたら回答よろしくお願いします。

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

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

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

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

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

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

  • 非可算無限なグラフ

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

  • "無理数全体の集合から実数全体への全単射が存在する"の証明の説明をお願いします。

    次の問題の解答で分からないところがあるので説明をしてもらいたいです。 問: 無理数全体の集合からRへの全単射が存在することを証明せよ 解: R-Q から R への全単射の存在を示せばよい R-Q は無限集合であるから、可算部分集合 A が存在する ここで Q は可算集合なので、A∪Q は可算集合 よって全単射 f: A→A∪Q が存在するので 関数 g:R-Q →Rを     g(x)= { x (x∈R-A)         〔 f(x) (x∈A) と定義すると g は全単射である ■ 最後のところで、なぜgを上のように定義すると全単射になるのかがわかりません。 よろしくおねがいします。

  • 濃度の基礎的な問題について

    集合の濃度を勉強しているのですが、理解できなくて困っています。 数日中の課題提出なのでもう一度一からやり直しているのですが、特に証明問題がわかりません… おそらく基礎的な問題だと思うんですが、わかる方いましたら教えてください!;; 1.A,Bが集合であるとき、A~Bは同値関係であることを示せ。ただし、AとBの間には全単射があるとする。 2.集合X,Yの濃度が同じである、すなわちX~Yは同値関係であることを示せ。 3.ベルンシュタインの定理を用いて、次を示せ。 (1){x|0<x≦1}~{x|0≦x≦1} (2){(x,y)|0<x≦1,0<y≦1}~{x|0≦x≦1,0≦y≦1} (3)a<bであるとき、[a,b]~R^2 (4)a<bであるとき、[a,b]~D 但し、D⊂R^2でDは少なくとも1つの内点をもつ。 (1)(2)は、反射律・対称律・推移律を示して証明すればいいのはわかるのですが、記述の仕方というか方法がわかりません。これは何か具体例をあげて書くのでしょうか…?