𝑝进数

✍ dations ◷ 2025-05-21 05:58:35 #𝑝进数

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.141592653dots }
自然对数的底 e = 2.718281828 {displaystyle e=2.718281828dots }
虚数单位 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} 进数的概念首先由库尔特·亨泽尔于1897年构思并刻画,其发展动机主要是试图将幂级数方法引入到数论中,但现今 p {displaystyle p} 进数的影响已远不止于此。例如可以在 p {displaystyle p} 进数上建立 p {displaystyle p} 进数分析,将数论和分析的工具结合起来,安德鲁·怀尔斯对费马大定理的证明中就用到了 p {displaystyle p} 进数理论。此外, p {displaystyle p} 进数在量子物理学、认知科学、计算机科学等领域都有应用。

数系是人类将自然中的数量关系抽象化得到的代数系统。最早建立的数系是带有加法与乘法的自然数 N = { 0 , 1 , 2 , 3 } {displaystyle mathbb {N} ={0,1,2,3cdots }} ,其后引入了负数、分数的概念,形成了有理数 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} ^{+}={xin mathbb {Q} ;;;xgeqslant 0}} 。其中 Q + {displaystyle mathbb {Q} ^{+}} 的大小关系则是有理数域上定义的全序。这个度量基于欧几里得几何,叫做欧几里得度量或绝对值度量。

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

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

Q {displaystyle mathbb {Q} } 完备化的拓扑方法由格奥尔格·康托提出。康托的方法依赖于现称为柯西数列的概念。柯西数列是一种可以用任意“小”的“圆盘”覆盖从某项起所有项的无穷数列。某个有理数数列 ( a n ) n N Q N {displaystyle (a_{n})_{nin 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})_{nin mathbb {N} }} ( b n ) n N {displaystyle (b_{n})_{nin mathbb {N} }} 的差: ( a n b n ) n N {displaystyle (a_{n}-b_{n})_{nin mathbb {N} }} 收敛于 0 {displaystyle 0} ,就称这两个数列等价,这样就可以在所有的柯西数列中建立等价关系。而康托将所有的等价类的集合定义为实数集 R {displaystyle mathbb {R} } 。四则运算、绝对值度量和序关系“ > {displaystyle >} ”都可以从有理数域自然诱导到 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 xin 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 ain mathbb {Z} _{p}} 被定义为以下的序列:

其中 a n a n 1 ( mod p n 1 ) {displaystyle a_{n}equiv a_{n-1}{pmod {p^{n-1}}}}

相关

  • 地质地质学(法语、德语:Geologie;英语:Geology;拉丁语、西班牙语:Geologia;源于希腊语 γῆ 和 λoγία)是对地球的起源探讨压力与时间、历史和结构进行研究的学科。主要研究地球的物
  • 安哥拉内战安哥拉人民解放运动获胜安人运 西南非洲人民组织 民族之矛 古巴(1975-91)安盟 安解阵 卡宾达飞地解放阵线 南非(1975-89) 扎伊尔(1975)安哥拉内战(葡萄牙语:Guerra Civil Angolan
  • 公安部儿童失踪信息紧急发布平台公安部儿童失踪信息紧急发布平台(“团圆”系统)是由中华人民共和国公安部刑事侦查局运营、阿里巴巴集团提供技术支持的失踪儿童信息发布平台。2016年5月15日,公安部儿童失踪信
  • 比尔·布劳德威廉·费利克斯·“比尔”·布劳德(英语:William Felix "Bill" Browder,1964年4月23日-),是一位出生于美国的英国金融家、经济学家和人权护卫者。他是 Hermitage 资本管理公司(Herm
  • 维克托·卡茨维克托·盖许维奇·卡茨( Victor Gershevich (Grigorievich) Kac ,俄语:Виктор Гершевич (Григорьевич) Кац,1943年12月19日生于俄罗斯布古鲁斯兰),
  • 五代友厚五代友厚(1836年2月12日-1885年9月25日),日本明治时代政治家、企业家领袖。五代出生于萨摩藩(今鹿儿岛县)。在20岁左右,他被该藩派到长崎市的海军学校学习海军的战术和科学。由于萨
  • 2020年俄罗斯大奖赛2020年俄罗斯大奖赛(英语:2020 Russian Grand Prix),官方名称为2020年一级方程式赛车VTB俄罗斯大奖赛(英语:Formula 1 VTB Russian Grand Prix 2020),是2020年9月25日至9月27日举办
  • 刘猛 (汉朝)刘猛,琅邪郡人,东汉人物,官至宗正、司隶校尉、尚书令。刘猛在汉桓帝时为宗正,因为正直被排挤,自己辞官回家。汉灵帝即位,太傅陈蕃、大将军窦武辅政,将刘猛和前司隶李膺、太仆杜密、庐江郡太守朱宇等征用,列于朝廷。窦武以尹勋为尚书令,刘瑜为侍中,冯述为屯骑校尉;请前越巂郡太守荀翌为从事中郎,辟颍川郡陈寔为属。熹平元年(172年),窦太后崩,有人在朱雀阙写道:“天下大乱,曹节、王甫幽杀太后,常侍侯览多杀党人,公卿皆尸禄,无有忠言者。”于是汉灵帝诏命司隶校尉刘猛追捕。刘猛以诽书写得对,不肯急捕,一月多,没有确定何人所
  • 劝世宝贝喵喵劝世宝贝喵喵(英文:Trance Baby Meow)是台湾乐团劝世宗亲会的一名艺人,以独特的个人风格和音乐著称,因YouTube上一首名为“劝世宝贝喵喵ㄉ喵电感应”的MV迅速在网络上打出知名度。名称“劝世”取自出神音乐的谐音。。曾在2017年离开劝世宗亲会改名为性感宝贝咪咪,2018年复出并改回原名劝世宝贝喵喵。在2019年7月25日再次宣布离开劝世宗亲会改名为精灵宝贝咪咪。
  • 雅斯敏·庫爾蒂奇 雅斯敏·庫爾蒂奇(斯洛文尼亚语:Jasmin Kurtić;1989年1月10日-)是一位斯洛文尼亚足球运动员。在场上的位置是中场。现时被意大利足球乙级联赛球队帕尔马外借至希腊足球超级联赛球队PAOK。他也代表斯洛文尼亚国家足球队参赛。