Question

對(duì)于非空實(shí)數(shù)集A，記A^*={y|?x∈A，y≥x}．設(shè)非空實(shí)數(shù)集合M⊆P，若m＞1時(shí)，則m∉P． 現(xiàn)給出以下命題：
①對(duì)于任意給定符合題設(shè)條件的集合M、P，必有P^*⊆M^*；
②對(duì)于任意給定符合題設(shè)條件的集合M、P，必有M^*∩P≠∅；
③對(duì)于任意給定符合題設(shè)條件的集合M、P，必有M∩P^*=∅；
④對(duì)于任意給定符合題設(shè)條件的集合M、P，必存在常數(shù)a，使得對(duì)任意的b∈M^*，恒有a+b∈P^*；
其中正確的命題是    （寫(xiě)出所有正確命題的序號(hào)）

Answer 1

【答案】分析：由A*={y|?x∈A，y≥x}．可知：數(shù)集A^*是數(shù)集A的所有上界組成的集合．進(jìn)而可通過(guò)舉例否定②③，對(duì)于①④還需要利用集合間的關(guān)系去證明．
解答：解：由A*={y|?x∈A，y≥x}．可知：數(shù)集A^*是數(shù)集A的所有上界組成的集合．
①分別用A_max、A_min表示集合A的所有元素（數(shù)）的最大值、最小值．
由M⊆P及A^*的定義可知：M_max≤，P_max≤，P_max，∴≤，∴必有P^*⊆M^*．故①正確．
②若設(shè)M=（-∞，1）=P，滿足M⊆P，而M^*=[1，+∞），此時(shí)M^*∩P=∅，故②不正確．
③若設(shè)M=（-∞，1]=P，滿足M⊆P，而P^*=[1，+∞），此時(shí)M∩P^*={1}≠∅．
④由①可知：對(duì)于M⊆P，必有P*⊆M*；取a=-，則對(duì)于任意的b∈M*，必恒有a+b∈P^*．
故正確命題是①④．
點(diǎn)評(píng)：本題考查了新定義，理解數(shù)集A*是數(shù)集A的所有上界組成的集合及集合間的關(guān)系是解決問(wèn)題的關(guān)鍵．