• 締切済み

【大至急】数学の濃度について

数学の濃度についてお聞きしたいことがあります。 Aの濃度がアレフであることを示せ、という問題があります。 この問題の解法として、 f:A→R g:A→(0,1) もしくは f:N→A いずれかの全単射写像を構成すればよい、 というふうに言われたのですが、その意味がよくわかりません。 濃度がアレフであるということを示すということはどういうことで、上の解法だとどうして示せるのでしょうか? また、全単射写像はどのように構成するのでしょうか? 基本的なことかもしれませんが、よろしくお願いします。

みんなの回答

  • funoe
  • ベストアンサー率46% (222/475)
回答No.4

>濃度がアレフであるということ きっと、教科書に、「実数全体の集合Rの濃度がアレフ」って書いてあると思う。必ず見つけてほしい。 その前後に「自然数全体の集合Nの濃度はアレフゼロ」って書いてあると思う。それも見つけたうえで暗記するのが必要。 ある集合Aの濃度が**であることを示すには、濃度が**であることが分かっている集合Bとの全単射があることを示す。 というか、それが「濃度が等しいことの定義」になっている。 というわけで、実数全体(R)の濃度はアレフってのは既知なので、出題の集合Aと実数全体の集合Rとの全単射が存在することを 示せば、Aの濃度はアレフであることを示せる。 具体的にAがどのように与えられているかはわからないので、「具体的な全単射の作り方」を聞かれても誰も答えられない。 ちなみに、教科書の上記のことが書いてある次のページ位の演習問題に、実数の区間(0、1)の濃度がアレフであることを示せ、 っていう問題が載っているんじゃないかな? きっと、その演習問題の前後にベルンシュタインの定理って便利な定理が証明されているので、その定理を使えばこの演習問題は容易に解決。 とうわけで、実数の区間(0,1)={x;x∈R、0<x<1}の濃度ってのもアレフだってのは既知として良い。 つまり、区間(0,1)との全単射がある集合の濃度はアレフ。 質問の最後に記載の >f:N→A の全単射写像を構成すればよい は、なにかの間違いかと思われる。

  • hashioogi
  • ベストアンサー率25% (102/404)
回答No.3

質問内容と質問者の数学的なレベルに乖離があるようですが、 全単射写像というのは集合Xと集合Yの要素が1:1で対応する写像です。例えば、男性3人の集合と女性3人の集合を考えて、それぞれの集合のメンバーに1人ずつ握手させると握手できないメンバーが発生しませんから、全単射写像になる訳です。 アレフゼロというのは自然数全体の集合の濃度で、アレフというのは実数全体の濃度です。 今、あなたが考えている集合Aの各要素を実数の全ての要素と1:1に対応させることができたら集合Aの濃度はアレフということになります。対応のさせ方は本に色々書いてありますから自分で勉強してください。

  • ORUKA1951
  • ベストアンサー率45% (5062/11036)
回答No.2

問題の全文、およびその前に書かれている一連の議論を書かないと答えようがない。 数学は何処まで行っても・・国語の問題。・・・基本ですが

noname#199771
noname#199771
回答No.1

A,R,Nという記号が何なのかが書かれていない ので何を言っているのかわかりません。 それと、ここでいう「アレフ」の定義は何でしょう?

関連するQ&A

  • 濃度を求める問題

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

  • 集合、濃度の問題について教えてください。

     (1)は解決できました。(2)、(3)の考え方と解法がつかめません。よろしくお願いします。                                              問題  集合Xの濃度を♯Xであらわす。特に、空集合φに対しては、♯φ=0であり、一元集合{φ}に対しては、♯{φ}=1である。集合Xから集合Yへの写像全体の集合をY^Xと表す。 更に、濃度のべき乗〖(♯Y)〗^(♯X)を♯(Y^X)と定義する。以下の問いに答えよ。 (1)♯X_1=♯X_2かつ♯Y_1=♯Y_2ならば、〖(♯Y₁)〗^(♯X₁)=〖(♯Y₂)〗^(♯X₂)を証明せよ。 (2)0^(♯X)を求めよ。 (3)特に、0⁰を求めよ。 (2)について、0^(♯X)は、問題文の定義より、♯(Φ^X)と書き表せます。 ただ、∮;X→Φという写像の全射かつ単射を示すにはどうすればよいでしょうか? また、どのような答えにいきつくのでしょうか? (3)については、0しか含まない集合Zから0しか含まない集合Wという写像kを考えて、全単射がわかるという形で大丈夫でしょうか? ※(1)は以下のようになりました。  ♯X_1=♯X_2より、fという全単射(f;X₁→X₂)が存在。   ♯Y_1=♯Y_2より、gという全単射(g;Y₁→Y₂)が存在。(仮定より)  ゆえに Φ:(Y₁)^(X₁)→(Y₂)^(X₂) と置き、全単射が存在すればいい。  Φが全単射で示された。

  • 実数の濃度(連続体濃度)についての問題の添削をおねがいします。対角線論法をつかってます。

    問: 任意の写像 f:N→R につき、f は全単射でないことを背理法を使わず証明せよ 添削していただきたいのは上の問です 背理法に引っかかっていないのかどうかが自分には分かりません *のように、並べると――等とすることは可算集合であることを仮定することになってしまいませんか? 解答:  開区間(0,1)をとると 全単射 (0,1)→R x |→tan[π(x-1/2)] がつくれるので、(つくれてますか??) |(0,1)| = |R| よって、g:N→(0,1) が 全単射でないことを示せばよい 各実数 g(n) を10進法によって無限小数に展開して (ただし、有限小数も無限小数で表す) g(n) = 0.a(n1)a(n2)a(n3)… と表すとする ( a(ni)は0から9までの整数 ) 全て並べると……* g(1) = a(11)a(12)a(13)… g(2) = a(21)a(22)a(23)… g(3) = a(31)a(32)a(33)… … ここで a(11)≠b(1), a(22)≠b(2), … となる数列をとれば 0.b(1)b(2)b(3)… という実数は g(1), g(2), … のどれとも異なる 従って g(n) の値域に入らない実数があるため、 gは全射でない  ■ よろしくおねがいします。

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

    可算無限集合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} というように小数に対応させるということです。 "大きい"という言葉の定義をしてないのでこの表現が曖昧かもしれませんが、上記のようにして"大きい"かどうかを判断しました。

  • 同型写像の証明問題

    問題)f:R^n→R^nを同型写像とする。このとき、fの逆写像も同型写像となることを証明せよ。 以上の問題の方針として、Vを集合とした時に写像f:V→V、g:V→Vにおいてf◦g=idv、g◦f=idvならば、f、gは全単射であることを用いるのではないかと思ったのですが、これで正しいでしょうか。間違っていれば正しい方針を教えていただけないでしょうか。

  • 濃度の問についてご教授願います。

    (1)は途中まで解いてみました。(2)(3)はどのように証明してゆけばよいのでしょうか?お願いいたします。                              問題  集合Xの濃度を♯Xであらわす。特に、空集合φに対しては、♯φ=0であり、一元集合{φ}に対しては、♯{φ}=1である。集合Xから集合Yへの写像全体の集合をY^Xと表す。 更に、濃度のべき乗〖(♯Y)〗^(♯X)を♯〖(Y〗^X)と定義する。以下の問いに答えよ。 (1)♯X_1=♯X_2かつ♯Y_1=♯Y_2ならば、〖(♯Y₁)〗^(♯X₁)=〖(♯Y₂)〗^(♯X₂)を証明せよ。 (2)0^(♯X)を求めよ。 (3)特に、0⁰を求めよ。 <解答> (1)♯X_1=♯X_2より、fという全単射が存在。♯Y_1=♯Y_2より、gという全単射が存在。(仮定より) また、〖(♯Y₁)〗^(♯X₁)よりhという写像がおける。〖(♯Y₂)〗^(♯X₂)より、iという写像がおける。(示すべきものより)  これより、 Φ:〖(♯Y₁)〗^(♯X₁)→〖(♯Y₂)〗^(♯X₂)  が全単射であることを言えばよいと分るのですが、「全射をどのようにして、定義にもちこむか、単射をどのようにして、定義にもちこむか」が不明です。お願いします。  (※h=g⁻¹◦i◦f、i=(g)◦h◦f⁻¹と表せますが、何か使えますでしょうか)

  • 数学の濃度の問題

    どなたか、よろしくお願いいたします。 (1),|N*N|=|N| NからN*Nへ全単射の関数を規定したいです。 N*N=(m,n){m,n∈N} (2), N^k={(n1,n2,,nk)|ni∈N,1≦i≦k} |N^k|=|N|(帰納法を用いて) a), K=1 のとき、|N|=|N|であり、明らか。 b), K=m で成り立っているとき、K=m+1でも題意が成り立つことを示す。 T={N^m}S={N} |N^m|=|N| つまりこれは、f:S→T 全単射である。Si=Ti N^(m+1)はN・Ti これは、f:N→N^(m+1) g=N*f 関数gで表わせれる。 もし、Si=Ti であれば gf(si)=N*Si=gf(ti)=N*Tiであり。これは全単射である。 雑すぎて自分でもよくわかっていません。。 (3)S={1,2,3,4.....,10^6} Tを全てのSの部分集合とする。f:T→Sを満たす、 1対1のfが存在しないことを示せ。

  • 濃度について。

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

  • 写像の証明問題を教科書の定理、定義を組み合わせながらやっていたのですが

    写像の証明問題を教科書の定理、定義を組み合わせながらやっていたのですがうまく出来ません。 どなたか次の問題の証明過程を教えてください。 f:A→B, g:B→Aをともに全単射とすれば、g。f (gとfの合成写像): A→Cも全単射である。 このとき、(g。f)^-1 (gとfの合成写像のインバース)=f^-1。g^1(fのインバースとgのインバースの合成写像)であることを示せです。 お願いします。

  • 濃度のべきについて

    濃度のべきについての証明で、わからないことがあるので、教えてください。 0でない任意の濃度p,m,nについて (p^m)^n=p^(mn) が成り立つ。 [証] F(X,Y) をXからYへの写像全体の集合とする。このとき、 F(A×B,C)とF(B,F(A,C))の濃度が等しいことを示す。 fをF(A×B,C)の任意の元とする。Bの元yを一つ固定して、Aの各元xにf(x,y)を対応させる写像をf_yとすると、f_y∊F(A,C)。次にBの各元yに対して、上のように定まるf_yを対応させる写像をf~とかくと、f~∊F(B,F(A,C))。 これらより、任意の(x,y)∊A×Bに対して、f(x,y)=(f~(y))(x)である。 以上のようなF(A×B,C)の各元fからF(B,F(A,C))の元f~を対応させる対応は全単射であるので、F(A×B,C)~F(B,F(A,C))。 とあるのですが、最後の「全単射である」のをどのように示したらよいのかわかりません。 f_yやf~に関しては理解できますが、「f(x,y)=(f~(y))(x)」この関係式からしっかりと理解してないのが原因だと思います。 証明や具体的なアドバイスをいただけると幸いです。よろしくお願いします。