[b][size=150]このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[br][/size][/b][br]無限の数のあつまりを数えるにはどうしたらよいでしょうか。[br]数えるための道具は[b]自然数[/b]です。[br]数えるための技術は[b]写像[/b]です。[br][br]たとえば、整数全体と自然数は[color=#0000ff][b]同等[/b][/color]な[b][color=#0000ff]個数（基数、濃度）[/color][/b]とわかります。[br][color=#0000ff][b]同等（対等）[/b][/color]は、（等号、合同、同値、同型）と同じ構造の概念なので、[br]自同律、反射律、推移律を満たします。（A=A。A=BならB＝A。A=B,B=CならA=C。）[br][br]また、[b]自然数の個数をℵ0(アレフゼロ）[/b]というラベルをはることが多いので、[br]これからその習慣に従いましょう。[br]N=[1,2,3,4,5,6,7,......]に対して、[br]Z=[0,1,-1,2,-2,3,-3,.....]というリストを作るとすべての整数はこのリストに出てきます。[br]逆にZ[n]=mとなるようなnをmから逆算することもできますね。[br][br][color=#9900ff][u][b][size=150]質問：自然数n番目の整数Zをm=Z[n] とするとき、関数f:n→mとその逆関数をつくりコード化するにはどうしますか。Zのサイズが100のリストをつくりましょう。[br][/size][/b][/u][/color][br]m=Z[n]はnが偶数ならばm=n/2, nが奇数ならばm=(1-n)/2です。[br]m=Z[n]となるnは、mが正の数ならn=2m, mが0以下ならn=1- 2mです。

[b][size=150]＜有理数は自然数と同等＞[br][/size][/b][br]分数は帯分数を仮分数にすれば、すべて分母と分子の2数組に直せるね。[br]ということは、分母＋分子が決まった数になる。[br]分母＋分子をN+1と決めるとそれに属する分数はN分の１から１分のNまでのN個ある。[br]分母＋分子＝和を2,3,...と決めて並べてみよう。[br]分子、分母の順にならべたタプルで分数を表示すると[br]和がN+1のものがN個だから、和を2,3,4,....と動かすと、個数は1,2,3,....と増えていく。[br][br]和 2：(1,1)[br]和 3：(1,2),(2,1)[br]和 4：(1,3),(2,2),(3,3)[br].................................................[br]これで、[b][color=#0000ff]正の分数Q+はNと同等[/color]になる[/b]ね。[br]Nの順に対応させた、タプルのリストQPは次のようになる。[br]QP=[(1,1),(1,2),(2,1),(1,3),(2,2),(3,1),.........][br][br]順序づけはともかく、分数の居場所が１つに決まるやり方は簡単です。[br]分数は2成分、2次元だから、ｍ分のｎつまり、{n,m}はm行n列にかくとしたら、[br]なんの計算もなく場所が1対1に対応します。[br]これを自然数Nと同等だと確認する方法はm+n=kのグループ化をGkとかくと、[br]G2,G3,G4,.......とグループ順にならべます。そのグループ内で、nの順にならべればよいですね。[br][br][color=#9900ff][b][u][size=150]質問：Nの番号ｎからQPの分数を返したり、その逆をコードで実行するにはどうしたらよいでしょうか。[br][/size][/u][/b][/color][br]グループのサイズを数列の和は|G2|+|G3|+|G4|=1+2+3=6=3(3+1)/2 と、三角数になります。[br]番号ｎが和がｘ+1までグループを過ぎて、和がx+2のグループにあるとすると[br]x(x+1)/2＜ n ≦(x+1)(x+2)/2となるね。[br]x[sup]2[/sup]+x-2n＜0 and x[sup]2[/sup]+3x+2-2n≧0　and ｘは整数。[br]両方を＝０にしてsolveで解をもとめて整数化すれば、はさまれる整数ｘは求められる。[br][b]これを満たすｘ=k[/b]と決まったとする。[br]k+2グループの中の番号は[b]h=n-k(k+1)/2[/b]だ。hは列目を表すから、行はk+2-h。[br]これから、分数は{[b]h, k+2-h[/b]}となるね。[br]逆に、分数{n,m}はグループG(n+m)にあり、グループのn番目。[br]1つ前のG(n+m-1)には分数がn+m-2個ある。[br]そこまでの分数の個数は(n+m-2)(n+m-2+1)/2だから、さらにnをたせばよい。[br]分数[b]{n,m}[/b]の番号は、[b](n+m-2)(n+m-1)/2+n[/b]となるね。[br][br]では、次は[b][color=#0000ff]有理数全体QをNに対応[/color][/b]させます。[br]これは、いつか来た道ですね。[br]そうです。NからZに対応させたとき, [0, 1, -1, 2, -2,3,-3,4,-4,.... ]と並べました。[br]NからQに対応させるには、[(0,1), (1,1),-(1,1),(1,2),-(1,2),(2,1),-(2,1),(1,3),-(1,3),(2,2),-(,22),....][br]同じようにやればいいですね。[br]これで、NとQが同等になりました。[br][br]数の並びは大小関係だけで数直線に並べてイメージするのが簡単です。だから、無意識にそうするでしょう。しかし、個数の同等性を調べるには、[b][color=#0000ff]単純な大小関係だけではない視点[/color][/b]が役立つということだね。[br][br][b][size=150]＜代数的数も自然数と同等＞[br][br][/size][/b]たとえば、ｘ2－２＝０の解であるx=√2など無理数も入れたら自然数、無理数よりも大量にある気がする[br]かもしれません。[br]係数が整数の代数方程式の実数解を代数的数といいます。[br]無理数も入っている代数的数も自然数と同等なのです。[br][br]これも単純な大小関係だけではない視点を使うと説明できます。[br]代数的数は代数方程式に対応させられます。[br]係数の最大公約数が１になるようにすれば、一意的に作れますね。[br]代数方程式の次数に係数の絶対値を加えた合計値を高さと定義しましょう。[br]すると、どの代数方程式にも高さを決めることができます。[br][br][math]f(x)=a_0x^n+a_1x^{n-1}+a_2x^{n-2}+.....+a_n=0[/math] [math]a_0\ne0[/math] の代数方程式に対して高さｈを決めます。[br][math]h=n+|a_0|+|a_1|+|a_2|+.....+|a_n|=0[/math] とします。[br]たとえば、[br]h=0,1はなし。[br]h=2:　x=0の1個[br]h=3:　x+1=0, x-1=0, 2x=0,x[sup]2[/sup]=0の4個。[br]h=4:　x+2=0, x-2=0, 2x+1=0,2x-1=0,3x=0;x[sup]2[/sup]+1=0,x[sup]2[/sup]-1=0,2x[sup]2[/sup]=0;x[sup]2[/sup]-x=0,x[sup]2[/sup]+x=0; x[sup]3[/sup]=0の11個[br]このようにして、高さ順、方程式の順（nの小さい順、係数は正から負の順、などと決めて）で、[br]代数的数をすべて並べることができる。[br]だから、代数的数も自然数と同等だね。

有名な対角線論法を使うとℵ0よりも多い集合があることがわかります。[br][br][b][size=150]＜対角線論法＞[br][/size][/b]対象とする集合が自然数と同じ個数だとして要素に番号をつけて小さい順にならべます。[br]Rで正のものに限ると、Rの要素は0.abcdef.......のようになります。[br]有限小数の場合は99999....と表記する。[br]Rの数列は無限だが、無限列について新たな実数ｘを作る。[br]ｘの小数第ｎ位を決めるときに、Rのｎ番目の数の小数第ｎ位がｐならばｐ以外で０でも9でもないものにする。こうして、ｘを決めるとこれですべてと思われた実数Rのどれともちがう実数ができてしまう。[br]こんな矛盾がおきたのは、集合Rが自然数Nと同等だとする仮定があったからだ。[br][br]つまり、実数は自然数、有理数、代数的数これらの個数（基数）とはレベルがちがう[br]無限さをもつ個数、基数だということだ。これをℵ（アレフ）とかく。[b][color=#0000ff]ℵ0＜ℵ[/color][/b][br]ℵ0の個数の集合を[b]可付番集合[/b]と名付けたりする。[br]だから、実数の基数ℵを[b]連続体濃度[/b]と名付けたりする。[br][br]この論法と同様の論法によって、実数と同じ連続体濃度の集合が他にもあることがわかります。[br]くわしい証明ははぶきます。[br][br][color=#0000ff]（例）[/color]数字０，１だけでできた無限数列全体の集合Xはℵと同等。[br][br][color=#0000ff]（例）[/color]数直線にある両端を含む線分の区間を閉区間といいます。区間の3等分をして真ん中を捨てる。[br]　　　[0,1]からスタートしてこれを無限に繰り返した集合を[b]カントール集合[/b]といいます。[br]　　　これもℵと同等。[br]　　　カントール集合は、[br]　　　　｛[0,1], [br]　　　　[0,1/3]＋[2/3,0],[br]　　　　[0,1/9]＋[2/9,3/9]＋ [6/9, 7/9]＋[8/9,1][br]　　　　,......} [br][br][color=#9900ff][b][u][size=150]質問：カントール集合をgeogebraのツールを活用して視覚化するにはどうしたらよいでしょう。[br][/size][/u][/b][/color][br]コードが複雑になることと帰納的な記述が必要になることから、[b][color=#0000ff]「新規ツール」の作成[/color][/b]を繰り返して[br]まるで、[b]関数のように手続きをかたまりにして扱ってみよう[/b]。[br]カントール集合は３つにわけることがポイントではない。[br]線分の端点の個数が2，4，8，16，32, .........と倍々になることだ。[br]点は数値で表現できるので、数値のリストの長さを倍にしていくプロセスが本質になる。[br]そのためには、点を2個セットにして取り出すという[b]Take[/b]コマンドと、[br][b]flatten[/b]コマンドでリスト群を１つのリストにすることがカギになります。[br]もちろん、線分の3等分によって端点の間に2点が追加されるという手続きが最初に必要になるね。[br]たとえば、次のようなやり方もできるでしょう。[br][b][color=#9900ff]（注意：ツールはツール名で反応するわりには、コマンド群が先読みして別のツール名になって邪魔したりします。だから、数式をエディターとして使うには不安定です。簡単な例を入れて動きをためすには[br]とても便利ですが、複雑なものや1行が長くなるもの、カッコが多重になるものは編集が自由にできません。そこで、メモ帳やテキストアプリなどをたちあげて、それをエディターとして一行書いて、一行単位で、数式に張り付けるという作業をお勧めします。2025現在。geogebraのサポーター、推進メンバーの方々のエディター改善を希望します。）[br][/color][/b][br][b][br]・線分の3等分関数をつくる。[br][/b]数式に次のように3行入れます。[br]M1={0,1}[br]d=((M1(2)-M1(1))/(3))[br]M2={M1(1),M1(1)+d,M1(2)-d,M1(2)} //M1を入力するとなら {0,1/3.2/3,1}を出力します。[br]右上角のメインメニューから「ツール」を選び、「新規ツールの作成」をします。[br]「入力」タブのプルダウンからM1を選び、「出力」タブのプルダウンからM2を選びます。[br]ツールの名前をbaiListなどとします。これで下にある「終了」を押すと、新規ツールできます。[br]M2＝[b][color=#0000ff]baiList[/color][/b](M1)となる関数を作ったことになります。[br][br][b]・偶数個の数値リストから倍の個数の数値リストを作る。[br][/b]L1={1,2,3,4}[br]L2=Flatten(Sequence(baiList(Take(L1,a,a+1)),a,1,Length(L1),2))[br]入力をL1、出力をL2として、L2＝[b][color=#0000ff]pairsbaiList[/color][/b](L1)となる新規ツールを作ります。[br]リストの先頭から2個ずつ取り出し、それをbaiListをして3等分データにしたリスト群をFlatten（）[br]で１つのリストとしてに平らにつぶしたものがL2となります。[br]データがないと作れないのでL1は数値４個ですが、数値が偶数個なら同じ動きをします。[br][br][b]・数値リストから2個単位で線分列にします。[br][/b]h=0[br]L1={1,2,3,4}[br]S=Sequence(Segment((L1(a),h),(L1(a+1),h)),a,1,Length(L1),2)[br]入力をリストL1と数値h、出力をSとして、S=[b][color=#0000ff]segList[/color][/b](L1,h)となる新規ツールを作ります。[br][br]・ここまでが関数群の作成です。ここからが、[b]再帰的なデータ作成[/b]になります。[br]M1という2要素がl1=baiList(M1)//{0,1/3,2/3,1}で４要素になります。[br]l2=baiList(l1)//{0,1/9,2/9,3/9,6/9,7/9,8/9,1}で４要素になります。[br]こうして、８要素のl3,16要素のl4,32要素のl5,64要素のl6,128要素のl7を作ります。[br]hを適当に少しづつ増やしてhiを求め[br]segList(l1,h1)からsegList(l7,hy)を作りましょう。[br][br]描画と画素の限界のために、4段階目あたりからはちがいがわからなくなりますが、[br]拡大すると細かい線分を見ることができるでしょう。[br]intervalという変数に線分の隙間のサイズが入るようにして、スライダーで可変にすると[br]インタラクティブに視覚化を変える体験ができますね。[br]