[論文レビュー] A brief introduction to p-adic numbers

Stephen Semmes|ArXiv.org|Jan 5, 2003

advanced mathematical theories参考文献 9被引用数 3

ひとこと要約

この論文は、古典的解析学の視点からp進数の明快な導入を提供し、その算術、超距離ノルム、および完備化によって得られる体ℚₚの構成に焦点を当てる。主な性質として、超距離三角不等式、ℚₚの完備性、複素解析との類似性（特にべき級数の収束および代数的閉包ℂₚ上の整関数の因数分解定理）を確立する。

ABSTRACT

In this short survey we look at a few basic features of p-adic numbers, somewhat with the point of view of a classical analyst. In particular, with p-adic numbers one has arithmetic operations and a norm, just as for real or complex numbers.

研究の動機と目的

• 古典的解析の背景を持つ読者にp進数およびその算術的構造を紹介すること。
• p進絶対値が非アーベル的距離を導き、ℚₚへの完備化に至ることを説明すること。
• p進解析と複素解析との類似性、特にべき級数の収束および因数分解の観点を探求すること。
• ℂₚ、すなわちℚₚの代数的閉包の距離完備化が代数的に閉じており、整関数の因数分解理論を支えることの証明。

提案手法

• ℚ上のp進絶対値|x|ₚを、x = pᵏ·m/n（m,nがpで割り切れない）のとき|x|ₚ = p⁻ᵏとして定義する。
• 超距離三角不等式：|x + y|ₚ ≤ max(|x|ₚ, |y|ₚ)を確立する。これは|x + y|ₚ ≤ |x|ₚ + |y|ₚを含意する。
• |·|ₚに関するℚの完備化により、完備かつ局所コンパクトな体ℚₚが得られる。
• p進絶対値をℚₚの代数的閉包へ拡張し、その距離完備化によりℂₚが得られる。ℂₚは代数的に閉じており、距離的にも完備である。
• ℚₚおよびℂₚにおけるべき級数∑aₙxⁿの収束を分析し、n → ∞のとき|aₙ|ₚ|x|ₚⁿ → 0であるときかつそのときに限り収束することを示す。
• ℂₚ上の整関数の因数分解定理を確立する：f(x) = c·xᵐ·∏(1 − λⱼx) であり、零点は0およびλⱼの逆数に位置する。

実験結果

リサーチクエスチョン

• RQ1 p進絶対値は標準的絶対値とどのように異なり、その主要な代数的および距離的性質は何か？
• RQ2 超距離三角不等式はp進解析およびℚₚの構造において果たす役割は何か？
• RQ3 |·|ₚに関するℚの完備化が完備距離空間ℚₚをどのように導くのか、その位相的性質は何か？
• RQ4 ℝやℂとは対照的に、ℚₚにおけるべき級数の収束はどのように異なるか、特に収束性に関して。
• RQ5 体ℂₚの構造は何か？また、複素解析における整関数の因数分解理論と類似する仕組みをどのように支えるか？

主な発見

• p進絶対値は超距離不等式|x + y|ₚ ≤ max(|x|ₚ, |y|ₚ)を満たし、これはアーベル的絶対値とは明確に区別される。
• |·|ₚに関するℚの完備化により得られる体ℚₚは完備かつ局所コンパクトであり、|·|ₚのもとでℤ ⊂ ℚₚは有界である。
• 超距離性質により、ℚₚにおいて級数∑aₙは|aₙ|ₚ → 0であることと収束することが同値である。
• ℚₚの代数的閉包は|·|ₚのもとで完備ではないが、その距離完備化により得られるℂₚは代数的に閉じており、距離的にも完備である。
• すべてのべき級数∑aₙxⁿがℚₚ（またはℂₚ）全体で収束するとき、関数f(x)はf(x) = c·xᵐ·∏(1 − λⱼx)と因数分解され、任意の有界領域内で有限個の零点を持つ。
• ℂₚ上の整関数のこの因数分解定理は、複素解析における古典的ワイエルシュトラス因数分解に類似しているが、超距離的設定により収束条件がより単純化されている。