Question

【題目】已知集合（，且），若存在非空集合，使得，且，并任意，都有，則稱集合S具有性質(zhì)P，稱為集合S的P子集.

（1）當(dāng)時(shí)，試說明集合S具有性質(zhì)P，并寫出相應(yīng)的P子集；

（2）若集合S具有性質(zhì)P，集合T是集合S的一個(gè)P子集，設(shè)，求證：任意，，都有；

（3）求證：對(duì)任意正整數(shù)，集合S具有性質(zhì)P.

Answer 1

【答案】（1）；（2）見解析；（3）見解析

【解析】

(1)根據(jù)新定義,即可求出的P子集;(2)分類討論,根據(jù)定義即可證明,(3)利用數(shù)學(xué)歸納法證明即可.

(1)當(dāng)時(shí)，,

令，

則,且對(duì)都有

所以S具有性質(zhì)P，相應(yīng)的P子集為，

（2）1.若，由已知，

所以；

2.若，可設(shè)

此時(shí)

所以且

所以；

3.若，

則

所以

又因?yàn)?/span>，

所以

所以

所以

綜上所述：任意，，都有

（3）由（1）可知當(dāng)時(shí)，命題成立，即集合S具有性質(zhì)P

假設(shè)時(shí)，命題成立

即且

都有

那么當(dāng)時(shí)，記

并構(gòu)造如下個(gè)集合，，

顯然

又因?yàn)?/span>，

所以

下面證明中任意兩個(gè)元素之差不等于中的任意一個(gè)元素

1.若兩個(gè)元素

則

所以

2.若兩個(gè)元素都屬于

由第二問可知，中任意兩個(gè)元素之差不等于中的任意元素

從而時(shí)命題成立

綜上所述：對(duì)任意正整數(shù)，集合S具有性質(zhì)P.