p进数

✍ dations ◷ 2025-10-18 12:08:29 #域论,数论

N Z Q R C {\displaystyle \mathbb {N} \subseteq \mathbb {Z} \subseteq \mathbb {Q} \subseteq \mathbb {R} \subseteq \mathbb {C} } 进数
数学常数

圆周率 π = 3.141592653 {\displaystyle \pi =3.141592653\dots }
自然对数的底 e = 2.718281828 {\displaystyle e=2.718281828\dots }
虚数单位 i = 1 {\displaystyle i={\sqrt {-1}}}
无穷大 {\displaystyle \infty }

p {\displaystyle p} 进数(英语:p-adic number),是数论中的概念,也称作局部数域,是有理数域拓展成的完备数域的一种。这种拓展与常见的有理数域 Q {\displaystyle \mathbb {Q} } 到实数域 R {\displaystyle \mathbb {R} } 、复数域 C {\displaystyle \mathbb {C} } 的数系拓展不同,其具体在于所定义的“距离”概念。 p {\displaystyle p} 进数的距离概念建立在整数的整除性质上。给定素数 p {\displaystyle p} ,若两个数之差被 p {\displaystyle p} 的高次幂整除,那么这两个数距离就“接近”,幂次越高,距离越近。这种定义在数论性质上的“距离”能够反映同余的信息,使 p {\displaystyle p} 进数理论成为了数论研究中的有力工具。例如安德鲁·怀尔斯对费马大定理的证明中就用到了 p {\displaystyle p} 进数理论。

p {\displaystyle p} 进数的概念首先由库尔特·亨泽尔于1897年构思并刻画,其发展动机主要是试图将幂级数方法引入到数论中,但现今 p {\displaystyle p} 进数的影响已远不止于此。例如可以在 p {\displaystyle p} 进数上建立 p {\displaystyle p} 进数分析,将数论和分析的工具结合起来。此外 p {\displaystyle p} 进数在量子物理学、认知科学、计算机科学等领域都有应用。

数系是人类将自然中的数量关系抽象化得到的代数系统。最早建立的数系是带有加法与乘法的自然数 N = { 0 , 1 , 2 , 3 } {\displaystyle \mathbb {N} =\{0,1,2,3\cdots \}} ,其后引入了负数、分数的概念,形成了有理数 Q {\displaystyle \mathbb {Q} } :32。 Q {\displaystyle \mathbb {Q} } 是“最小的”能够包容四则运算的代数系统,这样的系统在近世代数中称为域。

数系的拓展中,自然数系到有理数系的拓展是基于代数运算的需求,而有理数系到实数系的拓展则是拓扑学的需要。这里的拓扑指的是为代数体系赋予“形状”,定义“远近”、“长短”等概念,是建立几何和分析结构的基础。一个常见的拓扑学方法是引入“距离”的概念,正式称呼为度量。最直观的定义是将两个有理数的“距离”(度量) d {\displaystyle d} 定义为两者之差的绝对值:

两个有理数之间的度量是一个非负的有理数。也即是说度量 d {\displaystyle d} 是一个从有理数域映射到非负有理数集合的二元函数: Q × Q Q + = { x Q ; x 0 } {\displaystyle \mathbb {Q} \times \mathbb {Q} \rightarrow \mathbb {Q} ^{+}=\{x\in \mathbb {Q} ;\;\;x\geqslant 0\}} 。其中 Q + {\displaystyle \mathbb {Q} ^{+}} 的大小关系则是有理数域上定义的全序。这个度量基于欧几里得几何,叫做欧几里得度量或绝对值度量。

Q {\displaystyle \mathbb {Q} } 上装备了度量后,可以讨论极限的概念。极限描述了一个数列在下标趋于无穷时的趋势,是分析学的基础。如果一个有理数列在下标趋于无穷时,数列的项与某个数 l Q {\displaystyle l\in \mathbb {Q} } 的距离可以小于任意给定的正有理数,就称 l {\displaystyle l} 为此数列的极限。拥有极限的数列的项在下标趋于无穷时相互无限“靠近”。但反过来,这样的数列不一定拥有有理数极限。比如说以下数列:

这说明有理数在表示长度和距离的时候是不完备的,存在着无法用有理数表达的长度。为此需要对有理数进行扩展,称为完备化。

Q {\displaystyle \mathbb {Q} } 完备化的拓扑方法由格奥尔格·康托提出。康托的方法依赖于现称为柯西数列的概念。柯西数列是一种可以用任意“小”的“圆盘”覆盖从某项起所有项的无穷数列。某个有理数数列 ( a n ) n N Q N {\displaystyle (a_{n})_{n\in \mathbb {N} }\in \mathbb {Q} ^{\mathbb {N} }} 是柯西数列,当且仅当对任意有理数 ϵ > 0 {\displaystyle \epsilon >0} ,都存在自然数 N ϵ N {\displaystyle N_{\epsilon }\in \mathbb {N} } ,使得对任意 n , m > N ϵ {\displaystyle n,m>N_{\epsilon }} ,都有 d ( a n , a m ) < ϵ {\displaystyle d(a_{n},a_{m})<\epsilon } 。康托承认每个这样的有理数数列都收敛到某个极限,将无理数定义为某个柯西数列的极限。当然也存在收敛到有理数的柯西数列,比如常数数列。如果两个柯西数列 ( a n ) n N {\displaystyle (a_{n})_{n\in \mathbb {N} }} ( b n ) n N {\displaystyle (b_{n})_{n\in \mathbb {N} }} 的差: ( a n b n ) n N {\displaystyle (a_{n}-b_{n})_{n\in \mathbb {N} }} 收敛于0,就称这两个数列等价。这样可以在所有的柯西数列中建立等价关系。而康托将所有的等价类的集合定义为 R {\displaystyle \mathbb {R} } 。四则运算、绝对值度量和序关系“>”都可以从有理数域自然诱导到 R {\displaystyle \mathbb {R} } 上。最重要的是,可以证明,所有 R {\displaystyle \mathbb {R} } 中元素构成的柯西数列都收敛到 R {\displaystyle \mathbb {R} } 中。这说明 R {\displaystyle \mathbb {R} } 是一个有序完备数域。

实数 R {\displaystyle \mathbb {R} } 作为 Q {\displaystyle \mathbb {Q} } 的完备化是建立在绝对值度量上的,这种度量与日常现实中的欧几里德式的“距离”概念吻合,符合直观经验。实数也因此成为描述现实世界的有力数学工具。 p {\displaystyle p} 进数与实数的不同在于,它是将绝对值度量改为另一种非直观的度量对有理数进行完备化后得到的完备数域:8:50-51。

在有理数 Q {\displaystyle \mathbb {Q} } 上引入绝对值度量,与此对应的柯西序列的等价类构成了完备数域 R {\displaystyle \mathbb {R} } p {\displaystyle p} 进数则是在 Q {\displaystyle \mathbb {Q} } 上引入不同的度量后进行完备化得到的完备数域。

给定素数 p {\displaystyle p} 。对任意 x Q {\displaystyle x\in \mathbb {Q} } ,将其写为分数形式 x = a b {\displaystyle x={\frac {a}{b}}} ,其中 a {\displaystyle a} b {\displaystyle b} 是整数, b {\displaystyle b} 不等于0。根据算术基本定理,每个整数都可以唯一分解为素因数的乘积。考察 p {\displaystyle p} a {\displaystyle a} b {\displaystyle b} 的素因数分解中的次数 ord p ( a ) {\displaystyle \operatorname {ord} _{p}(a)} ord p ( b ) {\displaystyle \operatorname {ord} _{p}(b)} ,定义 p {\displaystyle p} 进赋值:90:1-2:

同时约定 ν p ( 0 ) = + {\displaystyle \nu _{p}(0)=+\infty } 。例如 p = 5 {\displaystyle p=5} x = 63 550 {\displaystyle x={\frac {63}{550}}} ,则

在此基础上,可以定义度量映射以及其对应诱导的范数:59:2:90:

例如

可以验证映射 d p {\displaystyle \operatorname {d} _{p}} 满足度量所需的一切性质:59。因此,用与构造实数相同的手段,可以构造一个完备有序数域,记作 Q p {\displaystyle \mathbb {Q} _{p}} :90:60-61。

由奥斯特洛夫斯基定理, Q {\displaystyle \mathbb {Q} } 的所有绝对值赋值或者等价于绝对值,或为平凡赋值,或等价于某素数 p {\displaystyle p} p {\displaystyle p} 进赋值。从而 Q {\displaystyle \mathbb {Q} } (关于某赋值)的完备化也只有这些:46:3。

用代数的方法,首先定义 p {\displaystyle p} 进整数环 Z p {\displaystyle \mathbb {Z} _{p}} ,然后构造其分式域,也可以得到 p {\displaystyle p} 进数域:92。

首先考虑由整数模 p n {\displaystyle p^{n}} 的同余类构成的环: Z / p n Z {\displaystyle \mathbb {Z} /p^{n}\mathbb {Z} } Z / p n Z {\displaystyle \mathbb {Z} /p^{n}\mathbb {Z} } Z / p n 1 Z {\displaystyle \mathbb {Z} /p^{n-1}\mathbb {Z} } 之间存在自然的环同态:

考察逆向链:

定义 Z p {\displaystyle \mathbb {Z} _{p}} 为其逆向极限: Z p = lim ( Z / p n Z , φ n ) {\displaystyle \mathbb {Z} _{p}=\;\lim _{\longleftarrow }\left(\mathbb {Z} /p^{n}\mathbb {Z} ,\varphi _{n}\right)} :56。也就是说,每个 p {\displaystyle p} 进整数 a Z p {\displaystyle a\in \mathbb {Z} _{p}}

相关

  • 卫生公共卫生是通过组织社区资源,为公众提供疾病预防和健康促进的一门管理学,它使用预防医学、健康促进、环境卫生、社会科学等技术和手段。公共卫生体系由国际公共卫生组织、国家
  • 肾上腺增生症先天性肾上腺增生症是一种由于缺乏羟化酵素而导致脑下垂体的过度刺激,最后引起的肾上腺增生肥大疾病。美国每年有20万人罹此症。此会造成荷尔蒙过度分泌,引致部分男婴性早熟而
  • 卤化磷磷和卤素可以形成多种磷卤化合物,可称作卤化磷。在卤化磷中,磷的化合价可以是+5、+3或+2价。除了PI5尚有争议外,所有化合物都有了或详或略的报道。混合氮族元素或混合卤素的化
  • 基希涅夫基希讷乌(罗马尼亚语:Chișinău .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium
  • 长吻雀鳝长吻雀鳝(),为雀鳝属的一种鱼类,分布于北美洲东部及中美洲的淡水或半咸水区域。它是一种活化石,在一亿年前就存在于今天的北美洲附近海域了。本鱼体延长成圆柱形,鱼嘴特别细长,体背
  • 云琅村云琅村位于中华人民共和国广东省化州市东北三镇的最南端,也是陵江盆地平原的最南端,陵江盆弯环流该村庄,三面环水,地杰人灵,三江汇流,土地肥沃,沿江岸线化北最长的自然村,竹林茂密,人
  • 孙蕡孙蕡(1334年-1389年),字仲衍,元末明初广东顺德人。元惠宗元统二年出生,于书无所不读,与赵介、王佐、黄哲、李德合称“南园五先生”。洪武三年(1370年)授工部织染局使。六年,出京为虹县
  • 加连度加连度(Samuel Galindo Suheiro),生于1992年4月18日,是一名玻利维亚足球运动员,司职攻击中场。2010年1月阿森纳签约加连度,2010-2011被租借到萨拉曼卡。2011-2012被租借到塔拉戈
  • 无声狂啸 (游戏)《无声狂啸》(英语:I Have No Mouth, and I Must Scream)是一款根据同名小说制作的冒险类游戏。由Dreamers Guild(英语:The Dreamers Guild)公司制作。本游戏最初于1995年3月在DOS
  • 苏珊娜·罗莎苏珊娜·罗莎(英语:Susanne Lothar,1960年11月15日-2012年7月21日)是德国女演员,曾出演许多电影与电视剧。苏珊娜·罗莎出生于1960年11月15日,她的父亲汉斯·罗莎和母亲英格丽德·