■積分可能な数（その３）
「周期」は数の体系に関する話なので，幾分哲学的な内容になっています．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
［１］数概念の深化
数の世界は，自然数から負の数へ，有理数から無理数へ，実数から複素数へと拡大してきました．如何にしてその数が発見されたのか，あるいは，数の概念を拡張するのにどれだけ長くかかったかなどは大変興味深いテーマです．
自然数に０と負の数を加えて整数を得て，次に分数が加わって有理数となり，虚数単位ｉを加えることによって，複素数に達したわけですが，１８世紀末になって，ガウスは数学に本格的に複素数を導入し「実数あるいは複素数を係数にもつ代数方程式ｆ（ｘ）＝ａ0ｘ^n＋ａ1ｘ^n-1＋・・・＋ａn＝０は複素数の範囲に解をもつ」，「ｎ次方程式は複素数の範囲にｎ個の解をもつ」という代数学の基本定理（fundamental theorem of algebra）を証明しました（１７９９年）．
数を実数から複素数に広げると大小の順序はまずくなりますが，平方根を常にとれるし，だから２次方程式は必ず解けるし，もっと一般に代数方程式は常に根をもつことになり，現象がずっと単純になって見通しよくなります．その意味で複素数は究極の数です．交流理論や相対論など物理学の進展の多くは複素数なしには成し遂げられなかったでしょう．
複素数では加法，減法，乗法と０を除く除法が定義され，かつ，交換，結合，分配法則が適用できる数の集合＝体と呼ばれる代数的構造をなしています．実数は体を構成しますが，有理数は最小の体を，複素数は最大の体を構成します．
したがって，複素数以上に数の世界を広げようとすると，われわれがなじんでいる四則演算の法則のどれかが壊れてしまいます．超複素数の世界ではある規則が犠牲にされなければなりませんが，四元数ではかけ算の交換法則は成り立ちません（ａｂ≠ｂａ）．また，八元数では，乗法の結合法則も破れています（ａ（ｂｃ）≠（ａｂ）ｃ）．四則演算の法則に変更を加えない限り，超複素数の世界への拡張はできなかったのです．
さらに，１６個の基底元をもつ同様の代数を構成しようと試みられましたが，それは成功するはずはありませんでした．｜ａ｜・｜ｂ｜＝｜ｃ｜，すなわち
（ａ1^2＋ａ2^2＋・・・＋ａn^2）（ｂ1^2＋ｂ2^2＋・・・＋ｂn^2）＝（ｃ1^2＋ｃ2^2＋・・・＋ｃn^2）
の恒等式はｎ＝１，２，４，８に対してだけ満たされるという驚くべき結果が１９世紀末，フルヴィッツにより証明されています（１８９８年）．
したがって，ある条件のもとで，数の体系は八元数までですべてであることが知られていて，数の系列は実数（一元数）→複素数（二元数：ガウス）→四元数（ハミルトン）→八元数（ケイリー）というようになっているのです．
Ｎ ＜ Ｚ ＜ Ｑ ＜ Ｒ ＜ Ｃ ＜ Ｈ ＜ Ｏ
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
［２］無理数・代数的数・超越数
有理数Ｑまでは可算集合ですが，実数Ｒは非可算集合です．実数Ｒあるいは複素数Ｃの実部と虚部といっても同じことですが，ここでは，それらを別の観点から細分類することにします．
１次方程式を解くために有理数（分数）を考え，２次方程式を解くために無理数（と複素数）を考え，３次方程式を解くために実数から複素数へと数の世界は拡大されたのですが，代数学の基本定理によって，ｎ次方程式はｎがどんな値のときでも，複素数の範囲でなら必ず根の存在は保証されているわけです．
説明するまでもないかもしれませんが，整数の比で表せない数を無理数（例：√２）と呼びます．いい換えれば，整数係数の１次式の根にはならない数が無理数なのです．
無理数の中でも，整数係数多項式
ｆ（ｘ）＝ａ0ｘ^n＋ａ1ｘ^n-1＋・・・＋ａn＝０
の根となる数が代数的数（例：3√５はｘ^3－５＝０の根）です．有理数でない代数的数の最も簡単な例は√２であり，これが無理数であることはギリシア数学のなかでも有名な定理で，ピタゴラスが背理法を用いて証明しています．
それに対して，超越数とは代数的数でない数，すなわち，整数係数のどのような代数方程式の根にもならない数（例：π，ｅ）のことです．超越数は無理数であり，無理数のほとんどは超越数であることが証明されているのですが，これは代数的数は可算集合，超越数は非可算集合であることを意味しています．そのため，超越数を有限の情報で述べることはできません．無理数は超越数の候補ではありますが，超越数とは別の由来をもち，次元の異なる数なのです．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
［３］周期（代数的数と複素数の間にある新しい数の世界）
エンクウィスト，シュミット編「数学の最先端・２１世紀への挑戦」シュプリンガー・フェアラーク東京
に基づいて，［１］［２］の分類には欠けている数の概念《周期》の定義から紹介することにしましょう．
ある数が周期であるとは「代数的係数多項式で与えられる領域ｃ上で，代数係数の代数的関数の積分として表される」ことをいいます．
周期という用語は，２次ないし３次曲線の弧の長さを表す周期積分に由来をもつと思われるのですが，周期はふつう超越数からなり，周期積分∮によって超越数の細分類を考えることであるといっても差し支えありません．
周期の例を掲げていきましょう．たとえば，代数的数√２は領域ｃ：２ｘ^2≦１上で，定数関数１の積分
√２＝∫(c)ｄｘ
と表すことができますから，周期になります．
代数的でない周期の最も簡単な例は円周率πです．πは領域ｃ：ｘ^2＋ｙ^2≦１上で，定数関数１の積分
π＝∫(c)ｄｘｄｙ
ですが，円の面積として
π＝２∫(-1,1)√(1-x^2)ｄｘ
円周の長さとして，
π＝∫(-1,1)１／√(1-x^2)ｄｘ
また，ローレンツ関数のグラフの下の面積に等しいという事実から
π＝∫(-∞,∞)１／（１＋ｘ^2）ｄｘ
など，様々な形の積分を用いて周期として表現できます．さらにまた，代数的数２ｉをかけると，複素数平面内のｚ＝０の周りの複素積分
２πｉ＝∮ｄｚ／ｚ
で表すことも可能です．
楕円：x2/a2+y2/b2=1の全周は，完全楕円積分4aE(e)となり，代数的には表すことができない超越数ですが，楕円積分は定義からして周期そのものです．
∫(-b,b)(1+(dy/dx)^2)^(1/2)dx
=∫(-b,b)(a^2-k^2x^2)/{(a^2-x^2)(a^2-e^2x^2)}^(1/2)dx
e＝{(a^2-b^2)/a^2}^(1/2)は離心率
また，リンデマンの定理より代数的数βの対数ｌｏｇβは超越数ですが，たとえば，
ｌｏｇ２＝∫(1,2)ｄｘ／ｘ
より，周期になることがわかります．
これらに対して，自然体数の底
ｅ＝ｌｉｍ（１＋１／ｎ）^n
やオイラーの定数
γ＝ｌｉｍ（Σ１／ｋ－ｌｎｎ）
は周期ではないと思われています．前者は超越数（エルミート，１８７３年）であることがわかっていますが，後者は有理数とも無理数ともわかっていません．おそらく超越数なのでしょう．また，周期πの逆数１／πは周期に属しません．なかなか一筋縄ではいかないものです．
ここで，代数的数の集合をＱ~，周期の集合をＰと書くことにしますが，
Ｑ ＜ Ｑ~ ＜ Ｐ ＜ Ｃ
周期の集合Ｐは可算集合であることがわかっています．周期も超越数の候補ではありますが，超越数とは別の由来をもち，次元の異なる数なのです．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
