进数
数学常数
圆周率 
自然对数的底 
虚数单位 
无穷大 
进数(英语:p-adic number),是数论中的概念,也称作局部数域,是有理数域拓展成的完备数域的一种。这种拓展与常见的有理数域
到实数域
、复数域
的数系拓展不同,其具体在于所定义的“距离”概念。
进数的距离概念建立在整数的整除性质上。给定素数
,若两个数之差被
的高次幂整除,那么这两个数距离就“接近”,幂次越高,距离越近。这种定义在数论性质上的“距离”能够反映同余的信息,使
进数理论成为了数论研究中的有力工具。
进数的概念首先由库尔特·亨泽尔于1897年构思并刻画,其发展动机主要是试图将幂级数方法引入到数论中,但现今
进数的影响已远不止于此。例如可以在
进数上建立
进数分析,将数论和分析的工具结合起来,安德鲁·怀尔斯对费马大定理的证明中就用到了
进数理论。此外,
进数在量子物理学、认知科学、计算机科学等领域都有应用。
数系是人类将自然中的数量关系抽象化得到的代数系统。最早建立的数系是带有加法与乘法的自然数
,其后引入了负数、分数的概念,形成了有理数
:32。
是“最小的”能够包容四则运算的代数系统,这样的系统在近世代数中称为域。
数系的拓展中,自然数系到有理数系的拓展是基于代数运算的需求,而有理数系到实数系的拓展则是拓扑学的需要。这里的拓扑指的是为代数体系赋予“形状”,定义“远近”、“长短”等概念,是建立几何和分析结构的基础。一个常见的拓扑学方法是引入“距离”的概念,正式称呼为度量。最直观的定义是将两个有理数的“距离”(度量)
定义为两者之差的绝对值:
两个有理数之间的度量是一个非负的有理数。也即是说度量
是一个从有理数域映射到非负有理数集合的二元函数:
。其中
的大小关系则是有理数域上定义的全序。这个度量基于欧几里得几何,叫做欧几里得度量或绝对值度量。
在
上装备了度量后,可以讨论极限的概念。极限描述了一个数列在下标趋于无穷时的趋势,是分析学的基础。如果一个有理数列在下标趋于无穷时,数列的项与某个数
的距离可以小于任意给定的正有理数,就称
为此数列的极限。拥有极限的数列的项在下标趋于无穷时相互无限“靠近”。但反过来,这样的数列不一定拥有有理数极限。比如说以下数列:
这说明有理数在表示长度和距离的时候是不完备的,存在着无法用有理数表达的长度。为此需要对有理数进行扩展,称为完备化。
将
完备化的拓扑方法由格奥尔格·康托提出。康托的方法依赖于现称为柯西数列的概念。柯西数列是一种可以用任意“小”的“圆盘”覆盖从某项起所有项的无穷数列。某个有理数数列
是柯西数列,当且仅当对任意有理数
,都存在自然数
,使得对任意
,都有
。康托承认每个这样的有理数数列都收敛到某个极限,将实数定义为某个柯西数列的极限。显然,对于所有有理数,都能找到一个以它为极限的柯西数列,比如常数数列。如果当两个柯西数列
和
的差:
收敛于
,就称这两个数列等价,这样就可以在所有的柯西数列中建立等价关系。而康托将所有的等价类的集合定义为实数集
。四则运算、绝对值度量和序关系“
”都可以从有理数域自然诱导到
上。最重要的是,可以证明,所有
中元素构成的柯西数列都收敛到
中。这说明
是一个有序完备数域。
实数
作为
的完备化是建立在绝对值度量上的,这种度量与日常现实中的欧几里德式的“距离”概念吻合,符合直观经验。实数也因此成为描述现实世界的有力数学工具。
进数与实数的不同在于,它是将绝对值度量改为另一种非直观的度量对有理数进行完备化后得到的完备数域:8:50-51。
在有理数
上引入绝对值度量,与此对应的柯西序列的等价类构成了完备数域
。
进数则是在
上引入不同的度量后进行完备化得到的完备数域。
给定素数
。对任意
,将其写为分数形式
,其中
和
是整数,
不等于0。根据算术基本定理,每个整数都可以唯一分解为素因数的乘积。考察
在
和
的素因数分解中的次数
和
,定义
进赋值:90:1-2:
同时约定
。例如
,
,则
在此基础上,可以定义度量映射以及其对应诱导的范数:59:2:90:
例如
可以验证映射
满足度量所需的一切性质:59。因此,用与构造实数相同的手段,可以构造一个完备有序数域,记作
:90:60-61。
由奥斯特洛夫斯基定理,
的所有绝对值赋值或者等价于绝对值,或为平凡赋值,或等价于某素数
的
进赋值。从而
(关于某赋值)的完备化也只有这些:46:3。
用代数的方法,首先定义
进整数环
,然后构造其分式域,也可以得到
进数域:92。
首先考虑由整数模
的同余类构成的环:
。
与
之间存在自然的环同态:
考察逆向链:
定义
为其逆向极限:
:56。也就是说,每个
进整数
被定义为以下的序列:
其中
相关
- 冬天冬季是部分地区一年四季中的第四季,由于天气转冷(赤道地区除外),在很多地区都意味着沉寂和冷清。生物在寒冷来袭的时候会减少生命活动,很多植物会落叶,动物会休眠,有的称作冬眠。候
- 查尔斯·克里奇菲尔德查尔斯·路易斯·克里奇菲尔德(英语:Charles Louis Critchfield,1910年6月7日-1994年2月12日)是美国数学物理学家,1939年从乔治·华盛顿大学取得博士学位,师从爱德华·泰勒。1943年
- 丹尼斯·霍珀丹尼斯·霍珀(Dennis Hopper,1936年5月17日-2010年5月29日),美国演员及电影制作人,因1969年的经典电影《逍遥骑士》()而知名。霍颇1950年代在影片《无因的反抗》(Rebel Without a Ca
- 土佐柱核螺土佐柱核螺(学名:)为三叉螺科柱核螺属的动物。分布于日本,包括南海等海域,属于暖水性种类。其一般生活于潮下带较深海底的细砂质底。
- 瓦尔特·佩里奇瓦尔特·佩里奇(塞尔维亚语西里尔字母:Владимир Перић;1919年-1945年4月6日)是一个塞尔维亚人,生于塞尔维亚,第二次世界大战期间萨拉热窝(今属波黑)的抵抗运动领导人。
- 矶佳奈江矶佳奈江(日语:磯 佳奈江,1993年8月9日-),茨城县石冈市出身,为女子偶像团体NMB48 Team N的成员。尊敬的前辈是NMB48的山本彩。石田优美(副队长) | 泉绫乃 | 川上千寻(队长) | 河野奈奈
- 数字模拟转换器数字模拟转换器(英语:Digital to analog converter,英文缩写:DAC)是一种将数字信号转换为模拟信号(以电流、电压或电荷的形式)的设备。模拟数字转换器(ADC)则是以相反的方向工作。在
- 蒙巴丘火山蒙巴丘火山(Volcán Mombacho)是中美洲尼加拉瓜格拉纳达省的火山,距格拉纳达约10公里。高1,344米(4,409英尺),属熔岩堆积而成的层状火山,共有4个火山口,最后一次喷发发生于1570年。
- 索菲公主 (荷兰)荷兰的索菲公主(荷兰语:Wilhelmine Marie Sophie Louise,1824年4月8日-1897年3月23日),萨克森-魏玛-艾森纳赫大公夫人,荷兰国王威廉二世的独女。1842年,索菲与萨克森-魏玛-艾森纳赫
- Rare collectives vol.3当周排行第5名(ORICON)GLAY的第3张B-side精选辑,普通盘在台湾有发行台压版。