[b][size=150]このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[br][/size][/b][br]前回は、無限集合の要素の個数を特に基数と呼ぶことがあること、[br][b]自然数の個数をℵ0(アレフゼロ）、[/b]実数の個数はℵ（アレフ）と名付け、[br]この２つの無限のレベルがちがうこと[br]を学びました。[br][br]今回は、無限の階層を調べたり、[br]個数、基数も数だから、数と数の演算がどうなるかを見ていきましょう。

[b]・無限集合の大小[br][/b]無限集合X,Yの基数|X|,|Y|の大小関係のルールでは、有限集合と同じものがあります。[br]写像ｆ：X→Yが単射があると|X|≦|Y|で、さらに、|X|≠|Y|なら|X|<|Y|[br]このルールから恒等写像f(x)=xが単射だから、ℵ0≦ℵで、[br]さらに、対角線論法よりℵ0≠ℵだから、ℵ0<ℵだね。[br][br][b]・加算集合の連結[br][/b]ℵ０の集合を∪でいくら連結した集合を作っても、その基数はℵ０のままです。[br]代数的でない数を超越数といいました。[br]だから、実数は、代数的数と超越数でできていますが、代数的数の基数はℵ０でした。[br]その残りの超越数が、実数の基数をℵにしているわけです。[br]だから、代数的数の隙間に超越数があるイメージがあるかもしれませんが、それは逆です。[br][b][color=#0000ff]超越数が実数の個数の大半を占めていて、代数的数が少しある[/color][/b]ということですね。[br][br][b][size=150]＜ベルンシュタインのはさみうち＞[br][/size][/b]ベルンシュタインは基数の関係を明確化してくれました。[br]・[b][color=#0000ff]はさみうちで同等[/color][/b][br]　３つの集合 [math]X\subset Y\subset Z[/math] でXとZが同等なら、X,Y,Zはみな同等。[br]・[b][color=#0000ff]ダブル単射で同等[/color][/b][br]　2集合X,Yに双方向に単射があれば、XとYは同等。[br] ([b]全射[/b]はyに逆に戻るｘがあること、[b]単射[/b]は別ｘは別yに行くことでした。）[br][color=#0000ff]（例）[/color][br]　開区間(0,1)から閉区間[0,1]へ、単射f(x)=xがあり、逆方向に単射g(x)=1/2x+1/3がある。[br]　だから、開区間(0,1)から閉区間[0,1]は同等。[br]　開区間(0,1)でtan(π(x-1/2))とすると、定義域は(-π/2, π/2)となり、値域は-∞から∞までの実数。[br]　だから、1対1対応がつくから、[b][color=#0000ff]開区間(0,1)は実数と同等[/color][/b]。[br]　X＝開区間(0,1)、Y＝閉区間[0,1]、Z＝Rで、 [math]X\subset Y\subset Z[/math] で、XとRは対等だから、X,Y,Rはみな対等。[br]　同じ論法で、半開区間(0,1],[0,1)も実数と同等といえますね。[br][br]この２つから次のような法則も作れます。[br][b]（ダブル≦で同等）[/b]2集合X,Yで双方向に≦ならば、XとYは同等。[br][b]（全射と単射で同等）[/b]　2集合X,Yで全射ｆと単射ｇがるとXとYは同等。[br][b]（ダブル全射で同等）[/b]　2集合X,Yに双方向に全射があれば、XとYは同等。[br][br]また、次の２つも大切です。[br]・推移律[br]　基数A,B,Cの間にA≦B≦Cが成り立つと、A≦C[br]・3種律[br]　２つの基数A,Bの間にはA＜B,A=B,A>Bのどれかが成り立つ。[br][br][color=#9900ff][b][u][size=150]質問：開区間(0,1)と実数が同等であることをgeogebraで視覚化するにはどうしたらよいでしょう。[br][/size][/u][/b][/color][br](0,1)を中心として原点を通る半円と(0,1)を通る直線y=mx+1をかきます。[br]mは開区間(0,1)の要素aに対してtan(πa)としましょう。[br]半円と直線の交点を介して、aはx軸全体に対応しますね。

・自然数と実数の間にある基数はあるか？[br][color=#0000ff]（答）[/color][br]どちらともいえません。決めの問題です。[br]ℵ０とℵの間に中間の基数があるかどうか。[br]これはカントールが中間がないという予想を証明できませんでした。[br]今のところ、ℵ０の次がℵになるかどうかの問題は定理ではなく公理です。[br]ユークリッド幾何学の平行線定理のようなもので、定理ではなく公理だったという解決をみました。[br]他の公理に対して、中間の基数があるという公理は独立しているので、[br][b][color=#0000ff][size=150]どちらともいえないとするのが、連続体仮説です。[br][/size][/color][/b]ゲーデルとコーエンが証明したといわれています。[br][br]・実数より大きいは基数あるか？[br][color=#0000ff]（答）[/color][br]あります。実数値関数の集合の基数Fはℵより大です。[br][br]・実数より多い基数をどうやって作るか？[br][color=#0000ff]（答）[/color][br]基数どうしの演算を調べることで、作れるようになります。それはこれから扱います。

無限大、∞という記号を高校でまなびます。[br]極限を伝えるためには、どうしても使うものです。[br]これは数値がいくらでも大きくなることをあらわしている無限です。[br]一方で、これまで扱ってきた無限は、集合のサイズの無限ですね。[br]だから、漢字で書くと同じ無限ですが、無限大と無限個は意味がちがうので注意が必要です。[br][br]基数はどんな法則が成り立つのでしょうか？[br][b]・加算濃度の場合[br][/b][color=#0000ff][b]ℵ0+ℵ0=ℵ0[br][/b]（例)[/color][br]　偶数の個数＋奇数の個数＝自然数の個数だから、２ℵ0=ℵ０。２をｎにしても同じこと。ｎℵ0＝ℵ0。　[br]　ｎをℵ０に伸ばしても、連結しているだけだから無限のレベルは変わらないね。[br][color=#0000ff][b]ℵ0×[b][b]ℵ0[/b][/b]=[b]ℵ0[/b][br][/b]これは、2乗とみることができるから、ｎ乗しても同様のはず。[br][b]ℵ0[sup]n[/sup]=[/b][b]ℵ0[/b]（例）[/color][br]有理数が自然数と同等の説明をするときに、分数表をつくったね。[br]そのとき、分子が列、分母が行とすると、分数の数はℵ0×ℵ0です。[br]分数は自然数と対等でしたから、ℵ0×ℵ0=ℵ0が成り立つね。[br][b]ℵ0×ℵ0=ℵ0[br][/b][br][b]・連続体濃度の場合[br][/b][color=#0000ff][b]ℵ＋ℵ=ℵ[br][/b]（例）[/color][br]　開区間(0,1)と半開区間[1,2)をあわせた開区間(0,2)は３つとも同等だ。２ℵ＝ℵ。[br]　区間を2個からｎ個にしても同じこと。nℵ=ℵ。ｎをℵに伸ばしても、連結しているだけだから[br]　無限のレベルは変わらない。[br][b][color=#0000ff]ℵ×ℵ＝ℵ[br][/color][/b]これは、2乗とみることができるから、ｎ乗しても同様のはず。[br][color=#0000ff][b]ℵ[sup]n[/sup]=[/b][b]ℵ0[/b][/color][br][color=#0000ff]（例）[br][/color]　平面上の点の個数と直線上の点の個数は同等[br][br][b]・部分集合の濃度は、もとの集合の基数より大きい[br][/b]　3要素の集合の部分集合の個数は2[sup]3[/sup]＞3[br]　n要素の集合の部分集合の個数は2[sup]n[/sup]＞n[br]無限個でも同様にして、[br][b][color=#0000ff]ℵ0＜２[sup]ℵ0[/sup]=ℵ[br]ℵ＜２[sup]ℵ[/sup]=[/color][/b][math]\digamma[/math][b][color=#0000ff](R×Rの部分集合が関数で、その濃度）[br][/color][/b][br]これから、基数の数列が小さい順にできますね。 部分集合をとる操作を無限に繰り返すことができるとしたら、無限のサイズに終わりがないということですね。[br]この無限の操作は完結するという立場を、「[b][color=#0000ff]選択公理[/color][/b]」といいます。[br]選択公理からスタートすれば、基数の数列は無限に続くでしょう。[br]でも、ちょっとイメージがわきにくいですよね。[br][br]０，１，２,....., ℵ0, 2[sup]ℵ0[/sup]=ℵ, 2[sup]ℵ[/sup]=F , G=2[sup]F[/sup], H=2[sup]G[/sup] ,.........[br]ただし、ℵ0が無限の基数の最小値で、これより下は有限サイズです。[br][br][b]・基数の演算法則[br][/b]こうしてみると、正の数である基数a,b,cは一般の数とどうような法則が成り立つことがわかります。[br]イチゼロ a+0=a, a×0=0, a×1=a。[br]交換a+b=b+a、結合a+(b+c)=(a+b)+c、不等式の性質a≦bならa+c≦b+c。[br]交換a×b=b×a、結合a×(b×c)=(a×b)×c、不等式の性質a≦bならa×c≦b×c。[br]分配a×(b+c)=a×b+a×c。[br]指数法則 a [sup]b[/sup]×a [sup]c[/sup]=a[sup]b+c[/sup],(a^b)^c=a^(bc) ,(ab)^c=a^c ×b^c[br][b]・無限の無限乗[/b][br]正の数である基数a,b,cについて、a≦bなら、a[sup]c[/sup]≦b[sup]c[/sup][br]を認めると、ベルンシュタインのはさみうちで、さらに無限のべき乗をひろげられます。[br][color=#0000ff][b]n[sup]ℵ0[/sup]＝ℵ[sup]ℵ0[/sup]＝ℵ[sup]ℵ[/sup][/b][/color][color=#0000ff][b]＝ℵ[br][/b][/color]（理由）[br]ℵ[sup]ℵ[/sup]ℵ≦10[sup]ℵ0　[/sup]どんな数も無限小数で表すことができるからです。[br]10[sup]ℵ0[/sup]≦ℵ[sup]ℵ0[/sup]=(2[sup]ℵ0[/sup])[sup]ℵ0[/sup]=2[sup]ℵ0×ℵ0[/sup]=2[sup]ℵ0[/sup]=ℵ。だから、10[sup]ℵ0[/sup]とℵは同等。同様にしてn[sup]ℵ0[/sup]＝ℵ[br]ℵ＝２[sup]ℵ0[/sup]≦ℵ0[sup]ℵ0[/sup]≦ℵ[sup]ℵ0[/sup]=(2[sup]ℵ0[/sup])[sup]ℵ0[/sup]=2[sup]ℵ0×ℵ0[/sup]=2[sup]ℵ0[/sup]=ℵ。だから、ℵとℵ[sup]ℵ0[/sup]は同等[br]また、ℵ[sup]ℵ[/sup]=(2[sup]ℵ0[/sup])[sup]ℵ[/sup]=2[sup]ℵ0×ℵ[/sup]=2[sup]ℵ[/sup]=ℵ

無限基数の計算は、理屈で納得したり、証明できても[br]実感はわきにくいかもしれません。[br]そこで、同等な基数を視覚化するために、分解合同という操作に取り組んでみましょう。[br][br][b]＜分解合同＞[br][/b]X＝X1∪X2∪....∪XnにXを重なりなく分解でき、[br]Y＝Y1∪Y2∪....∪YnにYを重なりなく分解でき、[br]XiとYiが合同ならば、XとYは分解合同だという。[br][color=#0000ff]（例）[/color][br]線分E1=(0,1] と正方形E2=(0,1]×(0,1]は同等だ。[br]E1の点を表す小数をe=0.a[sub]1x[/sub]a[sub]1y[/sub]a[sub]2x[/sub]a[sub]2y[/sub]a[sub]3x[/sub]a[sub]3y[/sub]............とx用、y用に組み分けします。[br]各数字列は0でない1桁の数字か、0が1個以上連続して1桁の数字で終わるものとします。[br]eに対して、E2のｘ座標は0.a[sub]1x[/sub]a[sub]2x[/sub]a[sub]3x[/sub]....、ｙ座標は0.a[sub]1y[/sub]a[sub]2y[/sub]a[sub]3y[/sub]....[br]とすると、単射です。この逆も単射になるので、対等です。