对于素数 p,p-adic 数构成有理数的一个扩展,其拓扑结构与实数不同。实数是关于通常绝对值度量的有理数域的完备化,而 p-adic 数是关于 p-adic 度量的有理数域的完备化,其中,如果一个数能被 p 的高次幂整除,则称该数为“小数”。

(图片仅供参考)
对于素数 p,p-adic 数构成有理数的一个扩展,其拓扑结构与实数不同。实数是关于通常绝对值度量的有理数域的完备化,而 p-adic 数是关于 p-adic 度量的有理数域的完备化,其中,如果一个数能被 p 的高次幂整除,则称该数为“小数”。
The concept of p-adic numbers, introduced by Kurt Hensel, provides a powerful and alternative way to extend the field of rational numbers. The construction is based on a different notion of distance, or absolute value. For a fixed prime [latex]p[/latex], the p-adic absolute value [latex]|x|_p[/latex] of a non-zero rational number [latex]x[/latex] is defined as follows: first, write [latex]x = p^n (a/b)[/latex] where [latex]a, b[/latex] are not divisible by [latex]p[/latex]. Then [latex]|x|_p = p^{-n}[/latex]. For example, for [latex]p=5[/latex], the number 75 is [latex]5^2 \cdot 3[/latex], so [latex]|75|_5 = 5^{-2} = 1/25[/latex]. A number is considered “small” in the p-adic sense if it is divisible by a high power of [latex]p[/latex].
这个 p 进绝对值定义了一个度量 [latex]d_p(x, y) = |xy|_p[/latex],它满足超度量不等式:[latex]|x+y|_p leq max(|x|_p, |y|_p)[/latex]。这比通常的三角形不等式更强,并导致了一种奇特的拓扑结构,其中所有三角形都是等腰三角形,并且开球中的任意一点都是该开球的中心。p 进数域,记为 [latex]mathbb{Q}_p[/latex],是 [latex]mathbb{Q}[/latex] 关于此度量的完备化,正如实数域 [latex]mathbb{R}[/latex] 是 [latex]mathbb{Q}[/latex] 关于标准绝对值的完备化一样。
处理 p 进数的一个关键工具是亨塞尔引理,它提供了一种方法,可以将模 p 的多项式同余方程的解提升到模 p 的更高幂的解,最终提升到 p 进整数的解。哈斯原理(或局部-全局原理)指出,丢番图方程有有理解当且仅当它在每个素数 p 中都有实数和 p 进数的解。虽然它并非普遍成立,但它对二次型等重要情况成立,并且是数论中的一个指导原则。
P进数
(如果日期未知或不相关,例如“流体力学”,则提供其显著出现的近似估计)
只有注册会员才能免费获得 100% 的全尺寸图片和下载。.
> 登录 <