現代数学の系譜11 ガロア理論を読む12

現代数学の系譜11 ガロア理論を読む12at MATH

現代数学の系譜11 ガロア理論を読む12 - 暇つぶし2ch430:line{\mathbb{Q}} と表す。 \overline{\mathbb{Q}} の性質 \overline{\mathbb{Q}} は、有理数体の無限次元の代数拡大体である。また、代数的数を係数とする 0 ではない多項式の根は代数的数であるので、\overline{\mathbb{Q}} は、代数的閉体である。さらに、有理数体を含む任意の代数的閉体は、\overline{\mathbb{Q}} を含むので、有理数体の代数的閉包でもある。集合論的性質カントール (G. Cantor) は、1874 年に、\overline{\mathbb{Q}} が可算集合であることを証明した。その後、彼は複素数全体の集合が非可算集合であることを証明し、ほとんど全ての複素数は、代数的数ではない、つまり超越数であることが判明した。しかしながら、代数的でない式によって与えられた数が代数的数であるか否かを判定することは大変難しく、オイラーの定数のように古くから知られていながら、代数的数かどうかどころか、有理数かどうかかすら分かっていない数もある。

次ページ

続きを表示

1を表示