現在２０１９年５月３０日１７時３９分である。
色々、検討したけど、この『整数環』という連載での、自然数の掛け算の定義（定義３５ 乗法）が、もっと楽な方法で、できることに気付いたので、一気に、自然数の掛け算の新しい定義も含めて、『有理数体』という新しい連載を、始めようと思う。定義や公理や定理の番号は、全部通しで付けてるので、過去のものを、他のものに置き換える時、どうやるか？ というのも、やって見せようと思う。
「『整数環』は、なくしちゃうの？」
いや、全部、温存する。
相対性理論のブログで、『「やっほー」の効果（その２）』の中で、（有理数体 なんてのも、書いたけど、これがどんなものか、説明するよ。
そして、一番やりたいのは、実数体 を構成することなんだけど、これを、普通にやる場合、『デーデキントの切断』を、用いるか、『有界コーシー列を同値関係で割ること』を、用いるんだけど、私達は、『超有理数体の有限部分環を無限小超有理数の作るイデアルで、割る』という方法で、やってみようと思う。
「どうして、その方法を？」
『真理のカメさん』を、早く、麻友さんに会わせたいからだよ。
「あっ、実数作るのに、『真理のカメさん』使えるんだ」
そう。この方法で、実数を作ると、無限小の数や無限大の数が、あって当たり前のように、思える。
「難しそう」
それは、確かに難しい。大学の数学科で、３年生くらいで習うことだ。
「それは、私には、無理よ」
挑戦する前から無理だと言うなんて、特待生の称号、剥奪するぞ。
「剥奪されてもいい。そんな難しいもの、説明されても、分からない。眠くなっちゃう」
分からない本を、読むとき、私がどうやっているか、教えてあげよう。
まず、小説を読むように、日本語だけ、読むんだよ。数式は、無視して。
それで、読んだ感じで、
『これを、精読するには、これと、これを、片付けておかなければ、ならないな』
と、見通しを立てて、準備ができてから、数式も追いながら、丁寧に読むんだ。
私が、本当に、数式も追いながら、丁寧に読めた本なんて、数えるほどだよ。
「ボロボロにした『数学基礎概説』？」
『現代論理学』もね。
「『数Ⅲ方式ガロアの理論』は？」
第２９章まであるうちの、第１７章までだよ。
「なんだ、太郎さんって、たいしたことないのね」
おお、さすが、特待生。
「それで、この後に書いてあるのは？」
『整数環』での定義や公理や定理の一覧だよ。
「つまり、復習ね」
定義 ２３ だけ、まだ必要ないのに、環の定義なんか、長々と書いてるから、分からなければ、飛ばしていいよ。
「分かった。太郎さんが、ちょっと、言葉を、補ってくれてるのね」
もちろんだよ。
じゃあ、始めるよ。
『整数環』～『整数環（その８）』
から、定義、公理、定理を引用する。
『整数環（その２）』より
定義 １８
ものの集まりである『集合』という言葉を定義する。
集合は、今は説明できないが、２２個ほどの公理（約束事）を満たすものとして、定義される。
まだ、証明できないが、あるものの集まりが、集合であることが分かっているとき、そのものの集まりのうちの集まっているものの一部だけを集めた集まりは、やっぱり集合になるということが、後に証明される。
だから、集合の一部分は、集合だと知っていると役に立つ。
この集合の一部分は、元の集合の部分集合という。
こういう、集合という言葉を使うことを、認める。
定義 １８ 終わり
定義 １９
自然数を、袋に入れたものを想像して、それを、
と、表す。
これが、集合だと認める。
これを、を要素とする集合と呼ぶ。
定義 １９ 終わり
定義 ２０
自然数と
があったとき、
と
を袋に入れたところを想像し、それを、
と表す。
これが、集合だと、認める。
これを、と
を要素とする集合と呼ぶ。
定義 ２０ 終わり
例 ２１
以下のものは、集合である。
例 ２１ 終わり
公理 ２２（Ｉ．集合になるための十分条件）
何かの要素になれば、集合である。
公理 ２２ 終わり
定義 ２３ は、分からなくても良いです。
定義 ２３
集合が、空集合でないとする。
このとき、の２つの要素、
に対し、
の新しい要素を決める約束事が決まっていて、その新しい要素を、
と、表すことになっていたとしよう。
次に、の２つの要素、
に対し、
の新しい要素を決める先ほどとは違う約束事が決まっていて、その新しい要素を、今回は、
と、表すことになっていたとしよう。
さて、上のような約束事を演算（えんざん）といい、の方の演算を、加法（かほう）といい、もう一方を、乗法（じょうほう）とよぶ。
そして、演算が、次の３条件を満たすような集合を、環（かん）であるという。環をつくる。環をなす。ともいう。
（１）は、加法に関し、可換群（かかんぐん）である。
可換群とは、次のＡ，Ｂ，Ｃ，Ｄが成り立つもののことである。
Ａ．（加法の結合法則）
Ｂ．
（零元の存在）
Ｃ．
（加法の逆元の存在）
Ｄ．（加法の交換法則）
（２）乗法に関する結合法則が、成り立つ。すなわち、
が成り立つ。
（３）加法と乗法の間に分配法則が、成り立つ。すなわち、
が成り立つ。
以上です。
定義 ２３ 終わり
『手加減しないで！』より
定義 ２４ 秒
私達は、後に改めて定めるまで、時間を計る基準として、渡辺麻友のスマホの時計に表示される時間を用いる。
基本的に、単位は、秒であり、分
や、時間
も、用いる。
定義 ２４ 終わり
『整数環（その３）』より
定理 ２５ 足し算の結合法則
自然数 について、
が成り立つ。
証明
今、３つの自然数を、次のようなものとしよう。
この時、
として、
を結果として与えることに定義すると、これは、
と、同じであり、
とも同じである。
ここで、同じであるとは、つまり、１の並んでいる絵が、模様として同じであるということである。
ただし、括弧『（）』は、見る人のためにつけてあるだけで、自然数の絵としては、そんなものはないとする。
そうすると、
であり、足し算の結合法則が、成り立つ。
そこで、以後、
を、の定義とする。
定理 ２５ 証明終わり
証明できているのだろうかと、余り悩まないで。
『整数環（その５）』より
定義 ２６ 座標
を自然数とするとき、
のように、括弧（かっこ）でくくって、２つの自然数を書いたものを、自然数に値（あたい）をとる座標（ざひょう）という。
の時には、
が成り立っているものと、約束する。
定義 ２６ 終わり
公理 ２７
自然数全部の集まり、
は、集合である。
公理 ２７ 終わり
１が入っていて、Ｚが入ってれば、Ｚ＋１も入っていて、そういうものだけなのは、自然数の集合だけ。
そして、その自然数が、集合になると、公理で定める。
ただし、私達の自然数というとき、 と表したときは、０は含まないとする。自然数を、
（オメガ）と表したときは、
を含むとしよう（正確には、集合論では空集合
を
と定義し、
に入っていると、する）。集合論では、自然数の集合を、
と表すのは、一般的です。私達は、このように、使い分けよう。
定義 ２８ 正の整数
を、自然数とするとき、集合、
を、整数の と呼び、混乱の恐れのないときは、これも、
と書く。
定義 ２８ 終わり
定義 ２９ の直積（ちょくせき）
と、定義して、左辺を、自然数 の直積（ちょくせき）という。
とも書く。
定義 ２９ 終わり
『:=』という記号は、右辺によって、左辺を定義します。という記号。
今後は、これらは、同じものとするよ、という意味だと思って下さい。
定義 ３０ 整数のゼロ
以下の集合を、整数のゼロと呼ぶ。
定義 ３０ 終わり
定義 ３１ 負の整数
を、自然数とするとき、集合、
を、整数のマイナスエヌと呼び、混乱の恐れのないときは、これを、 と書く。
定義 ３１ 終わり
混乱の恐れのないとき、というのは、私達の自然数は、 みたいなものだけでしたね。
ところで、ここで定義した、マイナスさんというのは、
というような、集合なんですよ。これが、整数のマイナスさんなのです。
ところで、混乱の恐れがないときは、これを、 と、表しますよ。という注意なんです。
は、
の省略記号ですから、
と、書くことも許されます。念のため。
定義 ３２ 整数の加法
２つの整数、 と
に対し、それらの和を、
によって、定義する。これを求める算法を、加法という。
定義 ３２ 終わり
定義 ３３ マイナス
整数、 に対し、
によって、マイナスエヌを定義する。
定義 ３３ 終わり
定義 ３４ 減法
整数 に対し、
を、エム引くエヌといい、この演算を減法という。引き算ともいう。
定義 ３４ 終わり
『整数環（その６）』より
この定義を、もっと分かり易いものに、そのうち変えるね。
定義 ３５ 乗法
を、自然数とする。
のとき、
と、定める。
次に、自然数、 を用いて、
と、表されるとき、
と、定める。
自然数は、 をいくつかつなぎ合わせたものであったから、
は、どちらかに分類される。
そして、 の個数は有限個であるから、ある回数下の場合が起こった後は、
は、
になり、
は、ある個数、
の並んだものとなる。
これを、 の積という。
そして、積を求める算法を、かけ算、または、乗法という。
定義 ３５ 終わり
定理 ３６
を、自然数とするとき、
が、成り立つ。
証明
小数点を実際に動かすことで分かる。
定理 ３６ 証明終わり
とか、やったね。
以上で、『整数環』の連載の中の、定義、公理、定理は、終わりである。
次なる、『有理数体』に、乞うご期待。
「分かったわ。楽しみにしてる。それにしても、太郎さんの話は、物理学よりも、分子生物学よりも、音楽よりも、数学の話が多いわね」
やっぱり、一番数学が好きなんだね。
あっ、もちろん、麻友さんの方が、好きだけど。
「そんな、とってつけたようなこと、言わなくていいわよ」
じゃあ、もう眠いから寝るね。
「おやすみ」
おやすみ。
現在２０１９年５月３０日２２時０６分である。おしまい。
