[工学]计算机科学与技术专业·集合论与图论.pdfVIP

计算机科学与技术专业 ·集合论与图论 第四讲 自然数集与集合的势 周 晓 聪 中山大学计算机科学系软件工程实验室 2008年10月 /∼zxc isszxc@ 周 晓 聪 ( 中山大学计算机科学系) 离散数学基础 ·集合论与图论 2008年10月 1 / 9 内容提要 1 自然数集 2 集合 的势 周 晓 聪 ( 中山大学计算机科学系) 离散数学基础 ·集合论与图论 2008年10月 2 / 9 自然数集 自然数集 后继与归纳集 − 给定集合A ，称A ∪ {A }为A 的后继，记为A + ； − 若集合A满足 ，∅∈A ，且对任意集合S ，S∈A 蕴含S+ ∈A ，则称A 为归纳集 自然数与 自然数集 − 属于任意归纳集 的集合称为 自然数 ◦ 0 = ∅ ◦ 1 = 0+ = {0} ◦ 2 = 1+ = {0, {0}} = {0, 1} ◦ n = {0, 1, 2, · · · , n − 1} − 所有 自然数构成的集合称为 自然数集(N) ◦ 自然数集是最小的归纳集 自然数与 自然数集的基本性质 − 对任意 自然数m, n ，若m∈n ，则m ⊂ n − 对任意 自然数m, n ，m+ ∈n+ 当且仅当m∈n − 三岐性：∀m, n∈N ，m∈n, m = n, n∈m恰有一个成立 − 自然数集有数学归纳法成立 周 晓 聪 ( 中山大学计算机科学系) 离散数学基础 ·集合论与图论 2008年10月 3 / 9 自然数集 自然数性质证明 对任意 自然数m, n ，若m∈n则m ⊂ n 思路 ：使用数学归纳法证 明：对任意 自然数n 满足 ：对任意 自然 数m ，m∈n 蕴含m ⊂ n 当n = 0 时，即n = ∅ ，命题平凡成立 （不存在属 于n 的m） 设n = k 时，考虑n = k + 1，即n = k+ = k ∪ {k} − 这时对任意的 自然数m ，若m∈k+ ，即m∈k ∪ {k}，从而有两种情况 ◦ m∈{k}，即m = k ，那 么m = k ∈k+ ◦ m∈k ，根据 归纳假设m ⊂ k ，而k ⊂ k+ ，因此m ⊂ k+ 周 晓 聪 ( 中山大学计算机科学系) 离散数学基础 ·集合论与图论 2008年10月 4 / 9 自然数集 自然数性质证明 对任意 自然数m, n ，若m∈n则m ⊂ n 思路 ：使用数学归纳法证 明：对任意 自然数n 满足 ：对任意 自然 数m ，m∈n 蕴含m ⊂ n 当n = 0 时，即n = ∅ ，命题平凡成立 （不存在属 于n 的m） 设n = k 时，考虑n = k + 1，即n = k+ = k ∪ {k} − 这时对任意的 自然数m ，若m∈k+ ，即m∈k ∪ {k}，从而有两种情况 ◦ m∈{k}，即m = k ，那 么m = k ∈k+ ◦ m∈k ，根据 归纳假设m ⊂ k ，而k ⊂ k+ ，因此m ⊂ k+ 周 晓 聪 ( 中山大学计算机科学系) 离散数学基础 ·集合论与图论 2008年10月 4 / 9