4 . 已知是各项均为正整数的无穷递增数列，对于，定义集合，设为集合中的元素个数，若时，规定.
(1)若，写出及的值；
(2)若数列是等差数列，求数列的通项公式；
(3)设集合，求证：且.

5 . 设为正整数，集合. 任取集合A中的个元素（可以重复），，，，其中.
(1)若，，直接写出；
(2)对于，，，证明：；
(3)对于某个正整数，若集合A满足：对于A中任意个元素，都有，则称集合A具有性质. 证明：若，集合A具有性质，则，集合A都具有性质.

6 . 定义1:对于一个数集，定义一种运算，对任意都有，则称集合关于运算是封闭的（例如:自然数集对于加法运算是封闭的）.
定义2:对于一个数集，若存在一个元素，使得任意，满足，则称为集合中的零元，若存在一个元素，使得任意，满足，则称为集合中的单位元（例如:0和1分别为自然数集中的零元和单位元）.
定义3:对于一个数集，如果满足下列关系:
①有零元和单位元；
②关于加、减、乘、除（除数不为0）四种运算都是封闭的；
③对于乘法和加法都满足交换律和结合律，且满足乘法对加法的分配律，则称这个数集是一个数域.
(1)指出常用数集中，那些数集可以构成数域（不需要证明）；
(2)已知集合，证明:集合关于乘法运算是封闭的；
(3)已知集合，证明:集合是一个数域.

7 . 给出以下两个数学运算（符号）定义：
①若函数，则，其中称为函数的次迭代.如：.
②对于正整数，若被除得的余数为，则称同余于，记为.如：.
(1)若函数，求；
(2)设是一个给定的正整数，函数记集合.
①证明：当时，；
②求并猜想.

8 . 设正整数，若由实数组成的集合满足如下性质，则称为集合：对中任意四个不同的元素，均有.
(1)判断集合和是否为集合，说明理由；
(2)若集合为集合，求中大于1的元素的可能个数；
(3)若集合为集合，求证：中元素不能全为正实数.