4 . 设非空数集M，对于M中的任意两个元素，如果满足：①两个元素之和属于M   ②两个元素之差属于M.③两个元素之积属于M   ④两个元素之商（分母不为零）也属于M.定义：满足条件①②③的数集M为数环（即数环对于加、减、乘运算封闭）；满足④的数环M为数域（即数域对于加、减、乘、除运算封闭）.
(1)判断自然数集N、整数集Z、有理数集Q、实数集R、复数集C是不是数环，假如该集合是数环，那么它是不是数域（无需说明理由）；
(2)若M是一个数环，证明：；若S是一个数域，证明：；
(3)设，证明A是数域.

5 . 已知点集满足，，.对于任意点集，若其非空子集A，B满足，，则称集合对为的一个优划分.对任意点集及其优划分，记A中所有点的横坐标之和为，B中所有点的纵坐标之和为.
(1)写出的一个优划分，使其满足；
(2)对于任意点集，求证：存在的一个优划分，满足；
(3)对于任意点集，求证：存在的一个优划分，满足且.

7 . 若函数的图象上的两个不同点处的切线互相重合，则称该切线为函数的图象的“自公切线”，称这两点为函数的图象的一对“同切点”.
(1)分别判断函数与的图象是否存在“自公切线”，并说明理由；
(2)若，求证：函数有唯一零点且该函数的图象不存在“自公切线”；
(3)设，的零点为，，求证：“存在，使得点与是函数的图象的一对‘同切点’”的充要条件是“是数列中的项”.

8 . 设A，B是两个非空集合，如果对于集合A中的任意一个元素x，按照某种确定的对应关系，在集合B中都有唯一确定的元素y和它对应，并且不同的x对应不同的y；同时B中的每一个元素y，都有一个A中的元素x与它对应，则称：为从集合A到集合B的一一对应，并称集合A与B等势，记作.若集合A与B之间不存在一一对应关系，则称A与B不等势，记作.
例如：对于集合，，存在一一对应关系，因此.
(1)已知集合，，试判断是否成立?请说明理由；
(2)证明：①；
②.

9 . 已知，集合其中.
(1)求中最小的元素；
(2)设，，且，求的值；
(3)记，，若集合中的元素个数为，求.