クロネッカーの定理
クロネッカーの定理は、19世紀の数学者
レオポルト・クロネッカーにちなんで名付けられた重要な数学の定理であり、主に2つの結果に分けられます。それは、拡大体の存在に関するものと、
ディオファントス近似に関するものです。
拡大体の存在
この部分では、体 F の元を係数に持つ
多項式 p(x) E7 F[x] があり、その
多項式が定数ではない場合でも、拡大体 E ⊃ F に根を持つことを述べています。例えば、x^2 + 1 = 0 という
実数係数の
多項式は、
実数の範囲では解を持ちませんが、複素数の世界では2つの解を持ちます。このように、クロネッカーの定理により、さまざまな集合に有用な構成や概念が提供されています。クロネッカー自身は当初有理数以外の数を認めていませんでしたが、この定理は彼の重要な業績とみなされています。
クロネッカーの定理は、
ディオファントス近似においても重要な役割を果たします。具体的には、複数の
実数 x_i (1 ≤ i ≤ N) に対して適用され、これはディリクレの近似定理を多変数に拡張した形と言えます。古典的なクロネッカーの近似定理は、
実数 α_i が与えられたとき、任意の小さな ε > 0 に対し、整数 p_i と q_j が存在することを示します。これにより、与えられた条件を満たす整数の組み合わせが存在することが保証されます。この近似定理は、19世紀の終わりにクロネッカーによって最初に証明され、20世紀後半には多くの新しい解釈がなされるようになりました。
力学系との関連
力学系の視点から見ると、クロネッカーの定理は、惑星が恒星の周りを円軌道で回る際、互いの引力に依存しない特性がある場合、全ての惑星が時間を経て整列することを示唆しています。これは、運動の周期性や秩序性に関する深い洞察を与えるものです。
n次元
トーラスに関する部分では、
トーラス T 上の点 P によって生成される部分群の閉包が有限群であるか、新たな
トーラス T′ に含まれることが述べられています。クロネッカーの定理は、数 x_i と 1 が有理数体上で
線型独立であるという条件を満たす場合、その結果が成立することを示します。また、この条件は必要かつ十分なものであり、群 T の性質にも影響を与えます。具体的には、ポントリャーギン双対性を用いることで、T の自己同型や閉部分群の性質に深くかかわることが明らかになります。これらの結果は、数学のさまざまな分野における重要な構造を形成しています。
結論
クロネッカーの定理は、代数、数論、力学系といった多くの分野で深く関連しており、現代数学における重要な基礎を築いています。これにより、数の性質や構造に対する理解を深めるだけでなく、新しい数学的結果や理論の発展につながっています。クロネッカーの業績は今もなお数学の研究や教育に大きな影響を与えています。