A 回答 (2件)
- 最新から表示
- 回答順に表示
No.2
- 回答日時:
格子を使って説明する方法はたとえば「無限と連続」遠山啓著の分数が,可算無限個である証明で出てきます.
m/n(n,mは自然数)という分数の場合,
横軸にmを縦軸にnを配置します.
任意の分数j/kは横軸j縦軸kの交点という格子点で
表せます.あとは,この格子点をたとえば
1/1 1/2 2/1 1/3 2/3 3/3 ・・・1/n 2/n ・・・ n-1/n ・・・
のようにたどると,自然数と全単射が作れるので(但し,1/2=2/4=3/6・・・のように同じ数のときは飛ばすようにする必要がある.)この分数と自然数の濃度は同じといえます.
直積の場合も同じ(分数の時のように飛ばして数えることがないので分かりやすいと思います.)考えで,全単射を作れます.
∀(n,m)∈N×N(記号がなかったのでかけるで代用)
に対して, k∈Nを
k(n,m)=n+Σ(j=1 to m-1)j
とすれば,全単射となります.
No.1
- 回答日時:
可算無限集合であることを証明するためには、(i,j)と1,2,3,....の間に一対一の対応があることを証明すればいいのです。
そして、この問題では、ご親切に、具体的にf(i,j)=1/2(i+j-1)(i+j-2)+jという対応を与えてくれています。つまり、この関数自身が、(i,j)と1,2,3,....の間の一対一対応になっているのです。
それを証明しましょう。
まず、(i+j-1)か(i+j-2)のどちらかが偶数になるので、f(i,j)は自然数です。ここで、f(i,j)=f(k,l)かつ、i≠k,j≠lと仮定して、矛盾を導くのが一番簡単なやり方です。
つまり、f(i,j)が自然数で、値が重ならないことを示してやればいいのです。
背理法使わなくても出来ます。
f(i,j)<f(i+1,j)<f(i,j+1)<f(i+1,j+1)
という関係が成り立つ(i,j)→Zへの写像fを作れば帰納的に証明できます。実際にこの関数fはそうなっています。
f(i,j+1)<f(i+1,j+1)
f(i,j)<f(i+1,j)
は、ほとんど自明ですね。
f(i+1,j)-1=f(i,j+1)は、すぐにわかります。よって、
f(i+1,j)<f(i,j+1)
です。
以上より、
f(i,j)<f(i+1,j)<f(i,j+1)<f(i+1,j+1)
が成立。また、
f(1,1)=1<f(2,1)=2<f(1,2)=3<f(2,2)=5
より、帰納法を用いて証明できた。
となります。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 代数学でわからない問題があるので教えてください。 X:濃度nの有限集合 X上の演算を持つ代数系は何個 2 2022/11/13 06:03
- 数学 『数は実在するのか』 6 2023/06/04 15:15
- 数学 『無限回の計算』 4 2023/06/07 17:49
- 数学 実数全体の集合Rの可算部分集合は可測であることを示せ。 示せる方いましたらよろしくお願いします。実解 1 2023/04/27 19:48
- Excel(エクセル) 【Excel質問】別シートにある複数の同型の表から、同じ行項目にある数字を集計する 4 2023/02/16 00:14
- 飛行機・空港 航空マイレージで、有効期間延長の裏技とか、貯まりやすいテクニックなどがあったら教えてください!ちなみ 2 2022/11/30 22:29
- Excel(エクセル) 関数を教えてください 2 2022/12/29 21:01
- 統計学 工程能力指数CPkから不良率を計算する際に 1 2022/11/29 01:56
- Excel(エクセル) 別シートに毎回異なるデータをコピーする 7 2022/06/24 09:02
- 数学 都市経済学の問題です。わかる方教えてください。 地主が得る地代を増やすために、都市の端までの距離 x 2 2023/07/18 17:41
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
「証明証」と「証明書」はどう...
-
(4^n)-1が3の倍数であることの...
-
0.9999…=1がわからない
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
証明終了の記号。
-
どっちと思いますか
-
三角形の合同条件
-
じゃらんで旅行予約をしたので...
-
夫が亡くなった後の義理家族と...
-
素数の性質
-
なぜ独身だと養子が持てないの...
-
コラッツ予想が証明できた
-
素数の平方根は無理数である。
-
直角三角形の性質
-
3の倍数であることの証明
-
素数の積に1を加算すると素数で...
-
姻族関係終了届で継子とも縁切...
-
有理数が可算無限であることの証明
-
数学の等周定理、等周問題と呼...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
証明終了の記号。
-
図形の証明は、日常で役立ちま...
-
数学の証明問題で、「証明終了」...
-
直角三角形の性質
-
大学の二次試験で・・・
-
3,4,7,8を使って10を作る
-
素数の性質
-
円周率=∞の証明
-
「証明証」と「証明書」はどう...
-
(4^n)-1が3の倍数であることの...
-
なぜ独身だと養子が持てないの...
-
群論に関して, 明らかとしか思...
-
よって・ゆえに・したがって・∴...
-
Wikipedia って便利ですね。 よ...
-
素数の積に1を加算すると素数で...
-
夫が亡くなった後の義理家族と...
-
再婚、奨学金
-
婿養子です、妻と離婚して妻の...
-
正解が一つとは限らない数学の...
おすすめ情報