自然数集的构建
~
Peano公理
三
元
组
(
A
,
x
,
f
)
,
满
足
下
面
的
条
件
,
称
其
为
戴
德
金
−
皮
亚
诺
结
构
:
三元组(A,x,f),满足下面的条件,称其为戴德金-皮亚诺结构:
三元组(A,x,f),满足下面的条件,称其为戴德金−皮亚诺结构:
1
)
A
是
一
个
集
合
,
x
∈
N
,
f
:
A
→
A
1)A是一个集合,x∈N,f:A\rightarrow A
1)A是一个集合,x∈N,f:A→A
2
)
x
∉
f
(
A
)
2)x∉f(A)
2)x∈/f(A)
3
)
f
为
单
射
3)f为单射
3)f为单射
4
)
设
B
⊂
A
,
如
果
B
满
足
4)设B⊂A,如果B满足
4)设B⊂A,如果B满足
1
。
x
∈
B
~~~~~~~1。~x∈B
1。 x∈B
2
。
k
∈
B
⇒
f
(
k
)
∈
B
那
么
有
B
=
A
~~~~~~~2。~k∈B~~\Rightarrow~~f(k)\in B ~~~~~那么有B=A
2。 k∈B ⇒ f(k)∈B 那么有B=A
~
我
们
取
x
=
0
,
f
(
x
)
为
x
的
后
继
数
,
那
么
集
合
A
就
等
同
于
自
然
数
集
N
我们取x=0,f(x)为x的后继数,那么集合A就等同于自然数集N
我们取x=0,f(x)为x的后继数,那么集合A就等同于自然数集N
~
~
根据Peano公理抽象出自然数集N的特性
~
1、非空
由
公
理
条
件
1
)
,
有
集
合
N
中
必
定
存
在
x
,
故
集
合
N
非
空
~~~~~~由公理条件1),有集合N中必定存在x,故集合N非空
由公理条件1),有集合N中必定存在x,故集合N非空
~~
2、链表
由
公
理
条
件
4
)
,
对
于
任
意
的
k
∈
B
,
都
有
f
(
k
)
属
于
B
,
那
么
自
然
数
集
构
成
了
一
个
链
表
,
~~~~~~由公理条件4),对于任意的k∈B,都有f(k)属于B,那么自然数集构成了一个链表,
由公理条件4),对于任意的k∈B,都有f(k)属于B,那么自然数集构成了一个链表,
每
一
个
元
素
都
有
后
继
元
素
~~~~~~每一个元素都有后继元素
每一个元素都有后继元素
~~
3、无环
链
表
有
环
有
两
种
情
况
,
初
始
元
素
x
在
环
中
,
初
始
元
素
x
不
在
环
中
,
~~~~~~链表有环有两种情况,初始元素x在环中,初始元素x不在环中,
链表有环有两种情况,初始元素x在环中,初始元素x不在环中,
1.
如
果
x
在
环
中
,
那
么
x
必
定
是
某
个
元
素
y
的
后
继
,
这
与
公
理
条
件
2
)
矛
盾
~~~~~~1.~如果x在环中,那么x必定是某个元素y的后继,这与公理条件2)矛盾
1. 如果x在环中,那么x必定是某个元素y的后继,这与公理条件2)矛盾
2.
如
果
x
不
在
环
中
,
那
么
环
中
必
定
有
一
个
元
素
y
,
它
既
是
初
始
元
素
x
的
后
代
,
也
是
环
中
~~~~~~2.~如果x不在环中,那么环中必定有一个元素y,它既是初始元素x的后代,也是环中
2. 如果x不在环中,那么环中必定有一个元素y,它既是初始元素x的后代,也是环中
元
素
的
后
继
,
那
么
有
至
少
2
个
元
素
的
后
继
为
y
,
与
条
件
3
)
矛
盾
~~~~~~~~~~元素的后继,那么有至少2个元素的后继为y,与条件3)矛盾
元素的后继,那么有至少2个元素的后继为y,与条件3)矛盾
~~
4、无限
如
果
有
限
,
假
设
共
有
N
个
元
素
,
~~~~~~如果有限,假设共有N个元素,
如果有限,假设共有N个元素,
由
于
初
始
元
素
不
为
任
意
函
数
的
后
继
,
那
么
能
成
为
后
继
元
素
的
元
素
有
N
−
1
个
~~~~~~由于初始元素不为任意函数的后继,那么能成为后继元素的元素有N-1个
由于初始元素不为任意函数的后继,那么能成为后继元素的元素有N−1个
由
于
每
个
元
素
都
有
一
个
后
继
,
那
么
N
个
元
素
共
有
N
个
后
继
元
素
~~~~~~由于每个元素都有一个后继,那么N个元素共有N个后继元素
由于每个元素都有一个后继,那么N个元素共有N个后继元素
由
鸽
巢
原
理
,
那
么
必
定
有
一
个
元
素
,
是
两
个
元
素
的
后
继
结
点
,
矛
盾
~~~~~~由鸽巢原理,那么必定有一个元素,是两个元素的后继结点,矛盾
由鸽巢原理,那么必定有一个元素,是两个元素的后继结点,矛盾
~~
~~
推荐文章