第一章++集合与常用逻辑用语知识点- 高一上学期数学人教A版（2019）必修第一册.docxVIP

第一章集合与常用逻辑用语

1.1集合的概念

1.集合的描述：一般地，我们把研究对象统称为元素，把一些元素组成的总体叫做集合，简称为集.

2.集合中元素的三个特性：

（1）确定性：（2）互异性：（3）无序性：

3.集合的符号表示

通常用大写的字母，，，…表示集合，用小写的字母，，表示集合中的元素.

4.集合的相等

当两个集合的元素是一样时，就说这两个集合相等.集合与集合相等记作.

5.元素与集合之间的关系

（1）属于：如果是集合中的元素，就说属于集合，记作，读作属于.

（2）不属于:如果不是集合中的元素，就说不属于集合，记作，读作不属于.

6.集合的分类

（1）有限集：含有有限个元素的集合叫做有限集.如方程的实数根组成的集合.

（2）无限集：含有无限个元素的集合叫做无限集.如不等式的解组成的集合.

7.常用数集及其记法

（1）正整数集：全体正整数组成的集合叫做正整数集，记作或.

（2）自然数集：全体非负整数组成的集合叫做自然数集，记作.

（3）整数集：全体整数组成的集合叫做整数集，记作.

（4）有理数集：全体有理数组成的集合叫做有理数集，记作.

（5）实数集：全体实数组成的集合叫做实数集，记作.

8.集合表示的方法

（1）自然语言：用文字叙述的形式描述集合的方法.如所有正方形组成的集合，所有实数组成的集合.例如，三角形的集合.

（2）列举法：把集合的元素一一列举出来表示集合的方法叫做列举法.其格式是把集合的元素一一列举出来并用逗号隔开，然后用花括号括起来.例如，我们可以吧“地球上的四大洋”组成的集合表示为太平洋，大西洋，印度洋，北冰洋，把“方程的所有实数根”组成的集合表示为.

（3）描述法：通过描述集合所含元素的共同特征表示集合的方法叫做描述法.一般格式为，其中是集合中的元素代表，则表示集合中的元素所具有的共同特征.例如，不等式的解集可以表示为.

1.2集合间的基本关系

1.子集

一般地，对于两个集合,,如果集合中任意一个元素都是集合中的元素，我们就说这两个集合有包含关系，称集合为集合的子集，记为

或（）

读作集合包含于集合（或集合包含集合）.

关于子集有下面的两个性质：

（1）反身性：；

（2）传递性：如果，且，那么.

2.真子集

如果集合，但存在元素，且，我们称集合

是集合的真子集，记为（或），

读作集合真包含于集合（或集合真包含集合）.

集合是集合的真子集可用图表示如右.

3.集合的相等

如果集合，且，此时集合与集合的元素是

一样的，我们就称集合与集合相等，记为.

集合与集合相等可用图表示如右.

4.空集

我们把不含任何元素的集合叫做空集，记为.我们规定空集是任何一个集合的子集，空集是任何一个非空集合的真子集，即

（1）（是任意一个集合）；（2）（）.

1.3集合的运算

1.并集

自然语言：一般地，由所有属于集合或属于集合的元素组成的集合，称为集合与的并集，记作（读作“并”）.

符号语言：.图形语言：

理解：或包括三种情况：且；且；且.

并集的性质：

（1）；（2）；（3）；

（4）；（5），；（6）.

2.交集

自然语言：一般地，由属于集合且属于集合的所有元素组成的集合，称为与的交集，记作（读作“交”）.

符号语言：.

图形语言：

理解：当与没有公共元素时，不能说与没有交集，只能说与的交集是.

交集的性质：

（1）；（2）；（3）；

（4）；（5），；（6）.

3.补集

（1）全集的概念：一般地，如果一个集合含有我们所研究问题中涉及的所有元素，那么就称这个集合为全集，通常记作.

（2）补集的概念

自然语言：对于一个集合，由属于全集且不属于集合的所有元素组成的集合称为集合相对于全集的补集，记为.

符号语言：图形语言：

1.4充分条件与必要条件

1.充分条件与必要条件

一般地，“若，则”为真命题，是指由通过推理可以得出.这时，我们就说，由可推出，记作，并且说是的充分条件，是的必要条件.

在生活中，是成立的必要条件也可以说成是:（表示不成立），其实，这与是等价的.但是，在数学中，我们宁愿采用第一种说法.|

如果“若，则”为假命题，那么由推不出，记作.此时，我们就说不是的充分条件，不是的必要条件.

2.充要条件

如果“若，则”和它的逆命题“若则”均是真命题，即既有，又有就记作.

此时，我们就说是的充分必要条件，简称为充要条件.显然，如果是的充要条件，那么也是的充要条件.概括地说，如果，那么与互为充要条件.

“是的充要条件”,也说成“等价于”或“当且仅当”等.

1.5全称量词与存在量词

1.全称量词与存在量词

（1）全称量词

短语“所有的”，“任意一个”在逻辑中通常叫做全称量词，并用符号“”