数学联邦政治世界观
超小超大

非标准算术的上溢原理(Overspill)和下溢原理

在非标准算术模型M中存在无穷大的元素,因此会出现很多有趣的成果,上溢原理和下溢原理是其中的代表。

上溢原理:如果全体标准自然数满足性质 ψ ,那么存在一个非标准自然数c,使得 ∀x<c,ψ(x) 。反证上溢原理不成立,那么 x∈N⇔∀y≤x,ψ(y) ,其中N是标准自然数集。令 ∀y≤x,ψ(y)↔φ(x) ,根据数学归纳法可得 φ(0)∧∀x(φ(x)→φ(x+1)) ,因此 ∀xφ(x) ,这与全体非标准自然数不满足性质 φ 矛盾,反证上溢原理成立。

下溢原理:如果全体非标准自然数具有某个性质 ψ ,那么存在某个标准自然数n满足 ∀x>n,ψ(x) 。反证下溢原理不成立,那么对于任意标准自然数m都有 ∃x>m,¬ψ(x) ,定义 ϕ(x)↔∃y>x,¬ψ(y) ,由上溢原理,可得某个非标准自然数c满足 ϕ(c) ,这与全体非标准自然数具有性质 ψ 矛盾,反证下溢原理成立。

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

戏子中的女孩:等着,我不会忘你 连载中
戏子中的女孩:等着,我不会忘你
真意之中
主角世界观十分宏大,至今为止,网上绝对没有一个人能超越!这只是第三本的一个介绍,介绍世界世界观的一本小说,我只能说你们爱不爱看?不看,直接写......
1.1万字1年前
春山祭 连载中
春山祭
木辞南忆
不知道
0.2万字1年前
魔法少女的时间回廊 连载中
魔法少女的时间回廊
菲莉娅·菲莉斯
陆茗馨——X市重点中学里的一名普普通通的初中生。自幼习武却内向的她,某天在经常路过的小巷子里遇到了一只兔子玩偶一样的生物。她自称为魔法少女的......
5.2万字12个月前
团队作战:永不放弃! 连载中
团队作战:永不放弃!
伊洛染曦
“荧!相信我,你可以的!我们陪你!”——遇到困难,我们陪你一起!“棐,如果可以,我希望,我们能永远在一起!所以,一起努力吧!”——爱情,在生......
1.8万字12个月前
我莫名多了九个师兄 连载中
我莫名多了九个师兄
白了个云
母亲被抓,莫名多了九个师兄,还都是一方霸主死亡转世原因渐渐浮出水面背后阴谋尽然是...(主爽文,进度快,想法很多)
4.5万字12个月前
犹似故人归 连载中
犹似故人归
千星晚
作为一个有情商有智商的坏人,陌倾篱励志忘记前男友,努力做个高冷的人,但这哪哪儿都看得见他是啥子情况?
14.1万字12个月前