专题01 集合、常用逻辑用语、不等式（新定义，高数观点，压轴题）（教师版）.docxVIP

专题01集合、常用逻辑用语、不等式

（新定义，高数观点，压轴题）

目录

TOC\o1-2\h\u一、集合的新定义（高数观点）题 2

①乘法运算封闭 2

②“群”运算 2

③“”运算 4

④“”运算 5

⑤戴德金分割 7

⑥“类” 9

⑦差集运算 10

⑧“势” 12

⑨“好集” 13

二、逻辑推理 15

①充分性必要性 15

②逻辑推理 17

三、不等式 19

①作差法 19

②基本不等式 20

一、集合的新定义（高数观点）题

①乘法运算封闭

1．（2023春·高一课时练习）设⊕是R上的一个运算，A是R的非空子集．若对于任意a，b∈A，有a⊕b∈A，则称A对运算⊕封闭．下列数集对加法、减法、乘法和除法(除数不等于零)四则运算都封闭的是()

A．自然数集 B．整数集

C．有理数集 D．无理数集

【答案】C

【详解】因为有理数集中元素加减乘除四则运算后的结果还是有理数，因而有理数集是封闭的.

2．（2023·全国·高三专题练习）非空集合关于运算满足：①对任意，都有；②存在使对一切都有，则称是关于运算的融洽集，现有下列集合及运算：

①是非负整数集，运算：实数的加法；

②是偶数集，运算：实数的乘法；

③是所有二次三项式组成的集合，运算：多项式的乘法；

④，运算：实数的乘法；

其中为融洽集的是

【答案】①④

【详解】①对于任意非负整数,则仍为非负整数,即；取,则,故①符合题意；

②对于任意偶数,则仍为偶数,即；但是不存在,使对一切都有,故②不符合题意；

③对于是所有二次三项式组成的集合,若,不再是二次三项式,故③不符合题意；

④对于,设,,则,即；取,则,故④符合题意,

故答案为:①④

②“群”运算

1．（2022·全国·高三专题练习）“群”是代数学中一个重要的概念，它的定义是：设为某种元素组成的一个非空集合，若在内定义一个运算“*”，满足以下条件：

①，，有

②如，，，有；

③在中有一个元素，对，都有，称为的单位元；

④，在中存在唯一确定的，使，称为的逆元．此时称（，*）为一个群．

例如实数集和实数集上的加法运算“”就构成一个群，其单位元是，每一个数的逆元是其相反数，那么下列说法中，错误的是（????）

A．，则为一个群

B．，则为一个群

C．，则为一个群

D．{平面向量}，则为一个群

【答案】B

【详解】A.，两个有理数的和是有理数，有理数加法运算满足结合律，为的单位元，逆元为它的相反数，满足群的定义，则为一个群，所以该选项正确；

B.，为的单位元，但是，当时，不存在唯一确定的，所以不满足④，则不为一个群，所以该选项错误；

C.，满足①②，为的单位元满足③，是-1的逆元，1是1的逆元，满足④，则为一个群，所以该选项正确；

D.{平面向量}，满足①②，为的单位元，逆元为其相反向量，则为一个群，所以该选项正确.

故选：B

2．（多选）（2023·全国·高三专题练习）若非空集合G和G上的二元运算“”满足：①，；②，对，：③，使，，有；④，，则称构成一个群.下列选项对应的构成一个群的是（????）

A．集合G为自然数集，“”为整数的加法运算

B．集合G为正有理数集，“”为有理数的乘法运算

C．集合(i为虚数单位)，“”为复数的乘法运算

D．集合，“”为求两整数之和被7除的余数

【答案】BCD

【详解】A．时，不满足③，若，则由得，若，则在中设，由得，所以不能构成群；

B．G为正有理数集，①任意两个正有理数的积仍然为正有理数，②显然，对任意，，③对任意正有理数，也是正有理数，且，即，④有理数的乘数满足结合律，B中可构造群；

C．(i为虚数单位)，①可验证中任意两数（可相等）的乘积仍然属于；②，满足任意，有；③，满足任意，存在，有，实质上有；④复数的乘法运算满足结合律，C中可构造群；

D．，①任意两个整数的和不是整数，它除以7的余数一定属于，②，满足对任意，，③，，，除以7余数为0；④加法满足交换律，又除以7的余数等于除以7的余数加除以7的余数的和再除以7所得余数，因此，，D中可构造群；

故选：BCD．

3．（2018·北京·高三开学考试）设是一个非空集合,是定义在上的一个运算,如果同时满足下述四个条件：

（i）对于,都有;

（ii）对于,都有;

（iii）对于,使得;

（iv）对于,使得（注：“”同（iii）中的“”）.

则称关于运算构成一个群,现给出下列集合和运算：

是整数集合,为加法;????是奇数集合,为乘法;

是平面向量集合,为数量积运算;????是非零复数集合,为乘法.

其中关于运算构成群的序号是（将你认为正确的序号都填上）.

【答案】

【详解】若是整数集合，则两个整数相加