离散数学-集合论

集合论

第四章 集合

1. 集合
   1.1 集合的概念
     1.1.1 集合的定义：集合是由指定范围内的满足给定条件的所有对象聚集在一起构成的，每一个对象称为这个集合的元素。
     1.1.2 集合的表示方法
       1.1.2.1 枚举法
         例：A={a,e,i,o,u}
       1.1.2.2 叙述法
         例：A={x|x是英文字母中的元音字母}
     1.1.3 基数：集合A中的元素个数称为集合的基数（base number），记作|A|
   1.2 元素和集合的关系：隶属关系
   1.3 集合和集合的关系：包含关系
       包含：如果集合B的每个元素都是A中的元素，则称B是A的子集，记作B$\subseteq$A
       真包含：如果B$\subseteq$A并且A$\ne$B,则称B是A的真子集,记作B$\subset$A

  1.4 空集：不含任何元素的集合叫做空集，记作$\varnothing$(注：空集是绝对唯一的)
  1.5 全集：针对一个具体范围，考虑所有对象的集合叫做全集,记作U或E。（注：全集是相对唯一的）
  1.6 幂集：设A为任意集合，把A的所有不同子集构成的集合叫做A的幂集，记作P(A)。

2. 集合的运算（$\cup$、$\cap$、一、~、$\oplus$）
   2.1 集合的运算定律（设U为全集，A,B,C为任意集合）
     2.3.1 幂等律 A$\cup$A=A;A$\cap$A=A
     2.1.2 交换律 A$\cup$B=B$\cup$A;A$\cap$B=B$\cap$A
     2.1.3 结合律 A$\cup$(B$\cup$C)=(A$\cup$B)$\cup$C;A$\cap$(B$\cap$C)=(A$\cap$B)$\cap$C;
     2.1.4 同一律 A$\cup$$\varnothing$=A;A$\cap$U=A
     2.1.5 零律 A$\cap$$\varnothing$=$\varnothing$;A$\cup$U=U
     2.1.6 分配律 A$\cap$(B$\cup$C)=(A$\cap$B)$\cup$(A$\cap$C);A$\cup$(B$\cap$C)=(A$\cup$B)$\cap$(A$\cup$C)
     2.1.7 吸收律 A$\cup$(A$\cap$B)=A;A$\cap$(A$\cap$B)=A
     2.1.8 矛盾律和排中律 A$\cup$$\overline{A}$=U;A$\cap$$\overline{A}$=$\varnothing$
     2.1.9 双重否定律
     2.1.10 德摩根律 ¬(A∪B)=¬A∩¬B;¬(A∩B)=¬A∪¬B
   2.2 集合基本运算
3. 有序对与笛卡尔积
   3.1 有序对：由两个客体x和y，按照一定的顺序组成的二元组称为有序对，记作<x,y>
   3.2 笛卡尔积：设A,B为集合，A与B的笛卡尔积记作A$\times$B，即A$\times$B={<x,y>|x$\in$A$\wedge$y$\in$B}

第五章 关系与函数

1. 关系及其性质
   1.1 关系的定义：设A，B为两个非空集合，称A$\times$B的任意子集R从A到B的一个二元关系，简称关系。其中，A称为关系R的前域，B称为关系R的后域。如果A=B，则称R为A上的二元关系。
   1.2 空关系：设A为任意集合，$\varnothing$是A上的关系，称为空关系
   1.3 全域关系：E_A={<x,y>|x$\in$A$\wedge$y$\in$A}
   1.4 恒等关系：I_A={<x,x>|x$\in$A}
   1.5小于等于关系：L_A={<x,y>|x,y$\in$A $wedge$ x$\le$y},A$\subseteq$R,R为实数集合
   1.6 整除关系：D_A={<x,y>|x,y$\in$B,x整除y},B$\subseteq$Z^*,Z^*为非0整数集
   1.7 包含关系：R_$\subseteq$={<x,y>|x,y$\in$A$\wedge$x$\subseteq$y}，A为集合族
   1.8 关系的表示方式
     1.8.1 集合方式——序偶集合
     1.8.2 代数方式——关系矩阵（易于计算）
     1.8.3 几何方式——关系图（表示直观）

2. 关系的运算

3. 等价关系与序关系

4. 函数