离散数学：第8章自然数.pdfVIP

§8. 1 自然数及数学归纳法 第八章 自然数和基数 在集合论中，一切都是集合，可以将自然数也定义为集合。 §8. 1 自然数及数学归纳法 定义8.1 0是自然数，并且0等于空集∅，即0 ＝∅. 定义8.2 对于任意集合A ，其后继集合A+ 定义为 §8. 2 基数 A+ = A ∪{A }。 ∅+ = ∅∪{∅}={∅} 作业 ∅++ = {∅} ∪{{∅}} ={∅, {∅}} ∅+++ = {∅, {∅}} ∪ {{∅, {∅}}} ={∅, {∅}, {∅, {∅}}} ｛a，b ｝+ ＝｛a，b ，｛a，b ｝｝ 显然任何一个集合即是其后继集合的子集也是其后继集合 的元素 自然数集合 自然数集合数字表示 + + 定义8.3 自然数集合N 归纳定义如下： 将0 记为1，1 记为2 等，所以还可以用数字（集合的基 数）来代表集合，即有： 1. 基础语句：0 ∈N 。 0 = ∅； + 1 = {∅}={0}； 2. 归纳语句：若n ∈N ，则n ∈N 。 2 = {∅, {∅}}＝{0, 1}； 3. 极限语句：若S ⊆N 且满足S 前两条， 3={∅、{∅}、{∅, {∅}}}= {0, 1,2}； 即0 ∈S ，并且若n ∈S ，则n+ ∈S ，就有 …… n ＝{0, 1, 2, 3, …,n-1} S = N 。 …… 根据定义，自然数集合有元素∅、{∅}、{∅, N ＝{0, 1, 2, 3, …,n, …} {∅}}、{∅, {∅}, {∅, {∅}}}等。 显然：对于每个n ∈N ，∪n+ = n 对于每个n ∈N ，∪n+ = n 。 + 后继函数 证明 令S = { n | n ∈N ∧∪n = n }。 1. 因为∪0+ = ∪{∅} = 0，所以0 ∈S 。 后继函数σ: N →N 定义为 + + 2. 若n