2022-06-20 09:20:27

皮亚诺公理 免费编辑 添加义项名

B 添片逐配照历异兴执加义项
?
义项指多义词的不同概念,如李娜的义项:网球运动员、解朝歌手等;非诚勿扰的义项:冯小刚执导电影、江苏卫视交友节目等。 查看详细规范>>
属类别 :
其他数学相关
其他数学相关
编辑分类

皮亚诺公理是意大利亚诺所构造的算术公理系来自统中的公理。1889年,在数学家戴德金工作的基础上,皮亚诺在《用一种新方法陈述的算术原理》一书中提出了一个算术公理系统,这说划总就送清希督味个公理系统有九条公理,其中四条360百科是关于"相等"的,五条是刻画数的,并且以1而不是0作为基本概念。道阿简米道市镇神在后来的著作中,皮亚诺对这一算术系统作了修改,去除了关于"相等"的四条公理,并且以0取代1作为基本概念,构造了沿用至今的皮亚诺算术公理系统。

基本信息

  • 中文名称

    皮亚诺公理

  • 外文名称

    Pean备丝特得具o axioms

  • 别名

    皮亚诺公式

  • 提出人

    数学家皮亚诺注课事入石那持倒(皮阿罗)

折叠 编辑本段 定义

目的是定义自然数集合,首先需要承认的是集合具有的一些运算性质,例如:a脱定批市社=b时a,b代表的是同一个元素。

皮亚诺的这五条公理用非娘汉也互裂担望形式化的方法叙述如下:

  • Ⅰ、0是自然背估数;
  • Ⅱ、每一个确定的自然数a,都具有确定的后继数a' ,a'也是自然数(数a的后继数a'就是紧接在这个数后面的整数(a+1)。例如:1'=2,2'=3等等。)不即背行;

可是仅有这两个公理还不够完整地描述自然数,因为满足这两条的有可能不是自然数系统。比温当轮混示如考虑由0, 1构坏推划推得威采成的数字系统,其中1的后继为0。这不符合我们对于自然数系统的期望,因为它只包含有限个数。因此,我们要对自然型善报斗数结篮她仔构再做一下买非值顾还候读限制宙匙察劝:

  • Ⅲ、0不是任何歌分谈例否片化自然数的后继数;

眼晚外喜齐便线化拉失观但这里面的漏洞防不胜防,此时仍不能排除如下去雅翻的反例:数字系统 0, 1, 2, 3,3其中3的后继是3。看来,我们设置的公理还不够严密,我们还得再深谁此破加一条。

  • Ⅳ、不同的自然数有不同的后继数,如果自然数bc的后继数都是自然数a,那么b=c;

最后,为了排事套握谈沙除一些自然数中不应存在的数(如 0.3,0.22),同时也为了满足一会儿制定运算规则的需要,我们加上最后一条公理。

  • Ⅴ设SN(自然数),且满足2个质形殖导推都课家食条件(i)0S;(ii)如果nS,那么型游架液专激掉n'∈S。S是包含全体自然数的集合,即S=N。 简易表述:若集合S中全是自然数,是步盾径早首且满足两个条件:(1)0在集合S中。(2)若任给实数店影热奔n在集合S中,那么n的后继数n'也在S中,那么S是包含全体味首似察依训下七自然数的集合(这条公理也光于较般至归纳公理,保证了数学归纳法的正确性)

注:归纳公理可以用来证明0是唯一不是后继数的自然数,因为令命题为"n=0或n为其它数的后继数",那么满足归纳公设的条件。

此情对防逐甲精多将只考虑正整数,则公理中的0要换成1,自然数要换成正整数。

折叠 编辑本段 看精乎何响策照蒸露正式的定义

一个戴德金-皮亚诺结构为一满足下列条件的三元组(X, x, f):

Ⅰ、X是一集合,xX中一元素,罗限科fX到自身的映射;

Ⅱ、x不在f的像集质送慢住但走酒具散级害内;

Ⅲ、f为一单射。

Ⅳ、若AX的子集并满足x属于A,且若a属于A, 则f(a)亦属于A,则A=X

该结构与由皮亚诺公已拿断理引出的关于自然数集合的基本假设是一致话层的:

1° 自然数集P不是空集;

PP内存在a露顾践→a直接后继元素的一一映射;

3° 后继元素映射像的集合是P的真子集;

4° 若P任意子集既含有非染曲剧例江露亚电后继元素的元素,又有含有子集中每个元素的后标钟继元素,则此子集与培飞体万正属还P重合。

能用来论证许多平时常见又不知其来源的定理。

例如:其中第四个假设即为应用极其广泛的归纳法东了杆第一原理(数学归纳法)乱求院火块的理论依据。

折叠 编辑本段 法的定义

我们定义,加法是满足以下两种规则的运算:

Ⅰ、∀mN,0+m =m;

Ⅱ、区参肉罗束片和局mnNn' +m = (眼协器迅厚传针逐务n +m)'。

有了这两条仅依杨书慢赖于"后继"关系的加法定义,任意两个自然数相加的结果都能确定出来了。

折叠 编辑本段 加法性质

折叠 1+1=2

1 + 1

= 0' + 1 (根据自然数的公理)

= (0 + 1)'(根据加法定义Ⅱ)

= 1' (根据加法定义Ⅰ)

= 2 (根据自然数的公理)

折叠 结合律

证明对任意的a,下述命题染候激冷品派成立:

b,c,(a+b)+c=a+(b+c)。

a=0时,

(0+b)+c=b+c(加法定义Ⅰ)

=0+(b+c)(加法定两前觉信扬两会义Ⅰ),命乐乃糠题绍营强官优钟破六宜成立。

假设命题对a成立,比表船纪影结承民易微时则对a':

任给b,c,有(a'+b)+c=(晶低粒率a+b)'+c=((a+b)+c)'=(a+(b+c))'=a'+(b+c),命题也成立。

由公理Ⅴ,命题成立。由此即得结合律a+(b+c)=(a+b)+c

折叠 编辑本段 m'=1+m

m= 0 时,1+m=1+0=0'+0=(0+0)'=0',命题成立。假设该命题对n成立,对n':1+n'=0'+n'=(0+n')'=(n')',命题亦成立。由公理Ⅴ,即知命题对m的其他自然数取值也成立。

折叠 m'=m+1

m= 0 时,对于m',m'=0'=1=0+1=m+1,命题成立。对(m')',(m')'=(m+1)'=m'+1,命题也成立。由公理Ⅴ,即知命题对m的其他自然数取值也成立。

折叠 m+0=m

(1)当m=0 时,m+0=0+0=0,m=0,于是m+0=m成立,即m+0=m在m=0时成立;

(2)假设m+0=m在m=k时成立,即k+0=k,润腊辩那么当m=k'时,m+0=k'+0=(k+0)'=k',m=k',于是m+0=m成立,即m+0=m在m=k'时成立。由此,如果m+0=m在m=k时成立,那么m+0=m在m=k'时成立;

由(1)(2)得,m+0=m恒成立。

由公理Ⅴ,即知m+0=m对于m的其他自然数取值也成立。

折叠 交换律

现证对任意的自然数n,下述命题为真:

∀自然数m,n+m=m+n

当n=0时,对于n,n+m=0+m=m=m+0=m+n,对于n',n'+m=(n+m)'=(m+n)'=m'+n=m+1+n=m+0'+n=m+(0+n)'=m+n',交换律成立。

由公理Ⅴ,即知交换律对于n的其他自然数取值也成立。

折叠 编辑本段 乘法的定义

乘法是满足以下两种规则的运算:

Ⅰ∀自然数mm · 0 = 0 ;

Ⅱ∀自然数mnm · n' = m ·n +m

有了这两条仅依赖于"后继"关系的乘法定义,任意两个自然数相乘的结果都能确定出来了。

折叠 编辑本段 乘法性质

折叠 乘法分配律

m·(n+k)=m·n+m·k

证明:

n=0时, m·(0+k)=m·k =0+m·k=m·0+m·k

因此乘法分配律n=0成立。

假设结论对n成立, 下证结论对n'成立。

m·(n'+k)=m·(n+k)' (加法定义)

=m·(n+k)+m (乘法定义)

=(m·n+m·k)+m (归纳假设)

=m·n+(m·k+m)=m·n+(m+m·k)=(m·n+m)+m·k(加法结合律、交换律)

=m·n'+m·k (乘法定义), 因此结论对n'也成立, 由数学归纳原理知, 乘法分配律成立。

折叠 乘法结合律

(m·nk=m·(n·k)。

k=0时,(m·n)·0=0 (乘法定义)

m·(n·0)=m·0=0 (乘法定义)。

假设结论对k成立, 即(m·nk=m·(n·k)。下证结论对k'成立。

(m·nk'=(m·nk+m·n (乘法定义)

m·(n·k')=m·(n·k+n) (乘法定义)

=m·(n·k)+m·n (乘法分配律)

=(m·nk+m·n (归纳假设), 因此结论对k'也成立, 由数学归纳原理知, 乘法结合律成立。

折叠 0·n=0

n=0时,由乘法定义0·0=0, 结论成立。

假设结论对n成立, 即0·n=0。 下证结论对n'成立。

n'=0·n+0 (乘法定义)

=0+0 (归纳假设)

=0 (加法定义)

因此, 0·n'=0, 结论对n'也成立, 由数学归纳原理知,结论成立。

折叠 n'·m=n·m+m

m=0时, 由于n'·0=0(乘法定义)

n·0+0=0+0 (乘法定义)

=0 (加法定义), 因此n'·0=n·0+0, 结论成立。

假设结论对m成立, 即nm=n·m+m. 下证结论对m'成立。

nm'=nm+n' (乘法定义)

=(n·m+m)+n' (归纳假设)

=(n·m+m)+(n+1) (后继运算)

=(n·m+n)+(m+1) (加法运算的性质)

=n·m'+m' (乘法定义和后继运算)

因此结论对m'也成立, 由数学归纳原理结论成立。

折叠 乘法交换律

m·n=n·m

当m=0时, 0·n=0=n·0, 结论成立。

假设结论对m成立, 即m·n=n·m. 下证结论对m'成立。

n·m'=n·m+n (乘法定义)

=m·n+n (归纳假设)

=mn(前文结论)

因此结论对m'也成立, 由数学归纳原理乘法交换律成立。

折叠 编辑本段 减法和除法

定义整数为自然数对(a,b);定义:如果a+d=b+c,则(a,b)=(c,d);定义整数加法为(a,b)+(c,d)=(a+c,b+d);定义(a,b)的相反数为(b,a)。将(a,0)和a等同。则可以证明自然数是整数的一部分,加法的定义是相符的。这样,在整数上,我们有相反数的概念。整数和它相反数的和是0,0和任意整数的和是其自身。在整数上,定义a-ba+(-b)。可以验证,这样的定义与通常理解的整数加减法是一致的。

进一步定义有理数为整数对[a,b],其中b非零。定义[a,b]=[c,d]如果ad=bc。定义有理数乘法为[a,b][c,d]=[ac,bd],定义[a,b]的倒数为[b,a],如果a,b非零。定义有理数加法为[a,b]+[c,d]=[ad+bc,bd],定义[a,b]的相反数为[-a,b],定义a-ba+(-b)。将[a,1]和a等同,则可以证明整数是有理数的一部分,加法减法乘法的定义是相符的。这样,在非零有理数上,我们有倒数的概念。非零有理数和它倒数的积是1,1和任意有理数的积是其自身。在有理数上,定义a/ba(1/b),如果b非零。可以验证,这样的定义与通常理解的有理数加减乘除法是一致的。

如果大家对这方面问题感兴趣的话,可以尝试证明前文中"可以验证"的内容,也可以看看 来知道具体是怎么证明的。

折叠 编辑本段 实数、微积分

皮亚诺公理是意大利数学家皮亚诺在1889 年发表的。虽然描述这套公理体系的数学语言发生过不少变化,但这套体系本身始终被延用。根据这个建立在公理基础之上的自然数体系,通过引入减法可以得到整数系,再引入除法得到有理数体系。随后,通过计算有理数序列的极限(由数学家康托提出)或者对有理数系进行分割(由戴德金提出)得到实数系 。这一套公理化实数体系连同同时期魏尔斯特拉斯在微积分分析化过程中的贡献(例如极限定义中的 ε-δ 语言)一道,使得早已被人类应用两百多年的微积分学能建立在一个坚实的基础上 。

折叠 编辑本段 代数结构

总结一下,我们的有理数和实数有加减乘除四种运算。那有没有别的公理体系和代数系统呢?答案是肯定的。

在回答这个问题前,先来看看什么叫代数系统。首先看看,如果只有加减法会怎么样?我们可以定义阿贝尔群为只有加减法的代数系统(G,+),这里+满足:

1° 结合律,(a+b)+c=a+(b+c);

2° 零元素,0+a=a+0=a;

3° 相反数,每一个元素a都有相反数(-a),满足a+(-a)=(-a)+a=0;

4° 交换律,a+b=b+a.

在阿贝尔群上,可定义减法为a-b=a+(-b)。

下面来看一个例子,定义G为两个元素的集合{奇数,偶数}。定义偶数+偶数=偶数,偶数+奇数=奇数,奇数+奇数=偶数,奇数+偶数=奇数。将偶数视为0,偶数的相反数为偶数,奇数的相反数为奇数。则这样定义的加法和减法也符合加减法的基本运算规则。换句话说,我们得到了和整数不一样的一个阿贝尔群!与之类似的,可以定义Gn个元素的集合{n的倍数,n的倍数+1,……,n的倍数+n-1}。这样的阿贝尔群在数学上被称作Zn群。Z2群就是前文中{奇数,偶数}群,奇偶性和余数,2和其他的数字相比没有任何特殊性。顺便说一下,如果在前文中去掉公理2,而定义(n-1)的后继为0的话,就将得到Zn群。

在阿贝尔群的定义中去掉交换律即可得到群的定义。

那如果有加减乘三种运算呢?定义交换环为(G,+,*),其中(G,+)为阿贝尔群,(G,*)满足结合律和交换律,且有分配率:a(b+c)=ab+ac。如果去掉乘法交换律则称为环。例如(有限小数,加法,乘法)就构成了一个交换环。

同时拥有加减乘除四种运算的代数结构称为域。其正式的定义是,一个交换环(G,+,*)被称为域,如果存在乘法单位元1,满足1·a=a=a·1,且除0外的所有元素a都有倒数1/a,满足(1/a)a=1=a(1/a)。定义域上的除法为a/b=a(1/b)。

例如,{奇数,偶数}附加乘法运算:偶数×偶数=偶数×奇数=奇数×偶数=偶数,奇数×奇数=奇数,之后成为交换环,奇数就是乘法单位元。这被称作二元数域。一般地,前文中所说的Zn也可类似地构成交换环,在n为素数的情况下构成域。

折叠 编辑本段 同构

如果定义另一种系统,这个系统有零、一、二、三……等元素,那么会怎么样?表面上看0和零,1和一似乎是完全不一样的东西。但是,如果看它的本质内涵的话,0和零只是本质上一样的东西用不同的语言描述罢了。在数学上,有理由认为本质上相同的东西是同一个东西。用专业术语来说,就是"同构"。

严格地,定义两个结构同构,如果它们的元素一一对应,且满足相同的运算。例如1和一对应,2和二对应,1+1=2对应过去后写做一加一等于二,刚好和原有的加法定义一致。

更加深奥的概念是部分同构,换句话说两者只有在只考虑某种运算的情况下是一致的。一个例子就是半整数(0,1/2,1,3/2,2,5/2,…,-1/2,-1,-3/2,-2,…)和整数。我们可以让整数中的1看做半整数中的1/2,整数中的n和半整数中的n/2对应,则只考虑加法的话,这两个阿贝尔群是同构的!可以这样通俗地理解:整数中1看做加法单位,2看做两个单位,然后让1/2成为半整数单位。然而,你也许会问(1/2)×(3/2)=3/4怎么办?这实际上表明,半整数只能成为群,而无法成为环。它只有加法一个结构,而这个结构和整数的加法结构是一样的。更一般地,{0/n,1/n,2/n,…,-1/n,-2/n}也有一个和整数相同的加法结构。2并无特殊性。

在前文中半整数的1既可以看文字,与整数中1对应,又可以看内涵与整数2对应。这种既相同又不同的性质, 同构和不同构,同一性和差异性蕴含着深厚的哲学思想。研究代数结构是否同构,共有多少种互不同构的代数结构,一直都是代数学的核心任务。

阅读全文

热点资讯

我的关注