中山大学数理逻辑答案.pdf

1 可计算性与数理逻辑答案 Computability and Logic Solutions 中山大学计算机科学系-2014 级 本答案由陈伟津，何自强，胡浩，贾殷，李晓苗，李业豪，李玉三，刘宇，林毛青，邱章成， 吴立慧，肖君兰，谢功海共同完成，非常感谢各位同学的辛苦付出，答案难免存在不足之处， 还请读者指正。 2 第二章答案 2.1 证明： (1) 对任意集合A，存在既是单函数又是满函数的全函数f: A - A，例如，f 是恒等函数id，对任意的a∈A，有id(A)=a。则根据定义，f: A - A 是双函数， 有A 和A 等势。所以任何集合A 与自己等势。 (2) 若集合A 和B 等势，则存在双函数f: A - B。因为f 是双函数，则f 的逆 g: B - A 也是双函数，根据定义，得到B 与A 也等势。 (3) 若集合A 与B 等势，B 与C 等势，则存在双函数，f: A - B， g: B - C。 f(a)=b，g(b)=c，则g(f(a))=c。令函数h=g*f （*代表复合），由引理可知双函 数的复合是双函数，因此h: A - C 是双函数。根据定义，得到A 与C 等势。 2-2 A 与C 等势， 存在双函数f:A-C   B 与D 等势， 存在双函数g:B-D   构造函数F ：A B-C D x A B, A B=Ø， x A 或x B         构造函数F(x):  f (x) x A  F (x)   g (x) x B  若要证明A B 与C D 等势，只需要证明F(x)为双函数 x A B,则x A 或x B      又 f,g 为双函数， y=f(x) C,或 y=g(x) D,使得F(x)=y.      所以F(x)为全函数 y C D, C D=Ø, y C 或y D         又f,g 为双函数， 存在x A,使得f(x)=y，或x B,使得g(x)=y.即存在x A B,使得F(x)=y      所以F(x)为满函数 x1,x2,若F(x1)=F(x2), C D=Ø，则F(x1) C,F(x2) C 或F(x1) D,F(x2) D        x1,x2 由同一双函数映射为F(x1) 、F(x2)且F(x1)=F(x2) ， x1=x2  所以F(x)为单函数 所以F(x)为全函数 习题2.3 证明： 由定义n≝ *0,1, …,n − 1+ 即证N ：*0,1, …,n − 1+不与其任意真子集等势N ⊂ N 0 | | | | 由真子集的定义可知集合中元素个数具有如下关系N N