1-南京大学.pdfVIP

自然数及数论初步 离散数学－集合论 南京大学计算机科学与技术系 内容提要  自然数  整数及基本运算  素数  欧拉函数 用集合定义自然数 +  设a为集合, 称a∪{a}为a 的后继, 记为s(a)，或a 。  设A 是集合，若A满足下列条件，称A 为归纳集：  Ø∈A  ∀a(a ∈A→s(a) ∈A }  自然数集合N :是所有归纳集的交集。  因此：N = { Ø, {Ø}, {Ø, {Ø}}, {Ø, {Ø}, {Ø, {Ø}}}, … }  N 的每一个元素称为一个自然数。  Ø记为0，s(0)记为1，s(1)记为2，s(2)记为3，以此类推 再具体一点  记号0表示： Ø  记号1表示s(0)：Ø∪{Ø}={Ø}  记号2表示s(1)：{Ø}∪{{Ø}}={Ø,{Ø}}  记号3表示s(2): {Ø,{Ø}, {Ø,{Ø}}}  1∈3 2 ∈3  1⊆3 2⊆3  1 ∪3=3 2∩3=2 皮亚诺公理 (Peano axioms for natural numbers)  零是个自然数.  每个自然数都有一个后继（也是个自然数）.  零不是任何自然数的后继.  不同的自然数有不同的后继.  （归纳公理）设由自然数组成的某个集合含有零， 且每当该集合含有某个自然数时便也同时含有这个 数的后继，那么该集合定含有全部自然数.  备注：另有4个与自然数相等有关的公理 自然数上的运算  加法（递归定义）  m + 0 = m  m + s(n) = s(m+n)  乘法（递归定义）  m * 0 = 0  m * s(n) = m + m*n 算筹（中国古代数学） 算筹数码，四则运算（九九表）、乘方、开方 “战国”或之前 + 正整数(N )、零、负整数 刘徽(A.D. 225-295) 4 x +20 =4 整数 整数之间的整除  对任意整数a和b, a ≠ 0, 我们说a整除b (记作a|b) , 如果存在整数c使得b = a c .  设a, b和c是整数，a ≠ 0,  若a|b ，且a|c，则a|(b+c)  若a|b ，则a|(b c)  若a|b ，且b|c，则a|c 带余除法  令a为整数，d为正整数，则存在唯一的整数q和r ， 且0≤ r d ，满足b = d q + r .  d为除数，a为被除数，q为商，r为余数。  记作q = a div d，r = a mod d. 举例：-11 mod 3 =?  证明：  S={r ∈N | ∃ q ∈Z. r = b-dq}是N 的非空子集  N是良序的，S有最小元素，记为r ，即r = b-dq 0 0 0  用反证法易证r d, 否则r -d是S中比r 更小的元素, 矛盾 0 0 0  唯一性证明，0 ≤ r - r = d (q -q ) d，因此，q =q 1 0 0 1 1 0 带余除法（续）  令a和b为整数，d为正整数，则  (a + b) mod d=(a mod d+ b mod d) )mod d.  (a b