综合数学/实数与集合/实数和集合的基本运算

实数和集合的运算都是数学的基础。

实数的四则运算

实数的四则运算就是实数的加、减、乘、除的总称。

加法和减法

加法和减法是四则运算中的一级运算。
加法是基本的四则运算之一，它是指将两个或者两个以上的数、量合起来，变成一个数、量的计算。一般地，我们将$a$加$b$记作

$a+b$

一般读作“$a$加$b$”或“$a$与$b$的和”。其中$a,b$我们称作加数，“$+$”叫作加号，该式的得数我们称作它们的和。
有$n$个数$a_1,a_2,\cdots ,a_n$的和我们一般记作

$\sum _{i=1}^n{a}_i$

即

$\sum _{i=1}^n{a}_i=a_1+a_2+\cdots a_n$。

减法是加法的逆运算，它指从一个数量中减去另一个数量的运算或已知两个加数的和与其中一个加数，求另一个加数的运算。一般地，我们将$a$减$b$记作

$a-b$，

一般读作“$a$减$b$”或“$a$与$b$的差”。其中$a$我们称作被减数，$b$我们叫减数，“$-$”叫作减号，该式的得数我们称作它们的差。
特殊地，$0-a$我们一般记作

$-a$，

读作“负$a$”。这里的“$-$”叫作负号，为了与其对应，有时也在一个数前加上“$+$”，称作正号。$-a$和$+a$我们叫作互为相反数。 特殊地，存在

$a+0=a$，

$a-0=a$。

加法和减法在运算中优先级相同，即依据从左到右依次计算。在式子中出现括号（“$()$”，有时是“$[]$”或“$\{\}$”）时应遵循先算括号内式子的原则，当有括号相嵌时，应依据先里后外的原则进行运算。
减法与加法的关系是：减去一个数，就等于加上这个数的相反数。用字母可表示为：

$a-b=a+(-b)$，

亦有

$a+b=a-(-b)$。

证  明显

$\begin{array}{cc}a-b& =a+0-b\\ & =a+(0-b)\\ & =a+(-b)\end{array}$，

定理得证。又有

$\begin{array}{cc}a+b& =a-0+b\\ & =a-(0-b)\\ & =a-(-b)\text{。 }\end{array}$

其中$a+0-b=a+(0-b)$和$a-0+b=a+(0-b)$将在后续学习。$◼$
所以，$a-b$又可以读作“$a$与$-b$的和”。
一般地，加法运算满足以下运算律：

(1)加法交换律：

$a+b=b+a$；

(2)加法结合律：

$(a+b)+c=a+(b+c)$。

加法的运算律也可以推广到减法的情形：

(1)  $a-b=-b+a$；

(2)  $(a-b)+c=a-(b-c)$，$(a+b)-c=a+(b-c)$，$(a-b)-c=a-(b+c)$。

证明略。
在加法与减法关系式的证明我们已经可以看出，在去掉括号时，一些加数的符号会发生改变。
一般地，当括号前的符号是正号时，去括号后括号内各项的符号都不发生改变；当括号前的符号是负号时，去括号后括号内各项的符号都发生改变。这就是去括号法则。用字母可以表示如下：

$\sum _i{a}_i+(\sum _i{b}_i)=\sum _i{a}_i+\sum _i{b}_i$；

$\sum _i{a}_i-(\sum _i{b}_i)=\sum _i{a}_i-\sum _i-b_i$。

证明略。 Template:TextBox

乘法和除法

加法和减法是四则运算中的二级运算。
乘法是指将相同的数加起来的快捷方式。一般地，我们将$a$乘（以）$b$记为

$a\times b$，

读作$a$乘（以）$b$或$a$与$b$的积。其中$a,b$叫作因数（或乘数），$\times$称作乘号，它的得数叫作积。有时，为了乘号不与字母$x$相混淆，会将其记作

$a\cdot b$或$ab$。

但后者只适用于字母与字母相乘或数字与字母相乘，且数字一般置于字母之前。
若有$n$个数$a_1,a_2,\cdots ,a_n$的积我们一般记作

$\prod _{i=1}^n{a}_i$，

即

$\prod _{i=1}^n{a}_i=a_1{a}_2\cdots a_n$。

除法就是已知两个因数的积与其中一个因数，求另一个因数的运算。一般地，我们将$a$除以$b$（或$b$除$a$）记作

$a÷b$，

读作$a$除以$b$（或$b$除$a$）或$b$或$a$与$b$的商。其中$a$我们称作被除数，$b$我们叫除数，“$÷$”叫作除号，该式的得数我们称作它们的商。 但更常见地，我们会将除式写成分数的形式或将除号写作“$/$”，即

$\frac{a}{b}$或$a/b$。

集合的基本运算

一般地，由集合$A$与集合$B$的所有元素构成的集合，称为$A,B$的并集，记为

$A\cup B$，

可表示为

$A\cup B=\{x|x\in A\vee x\in B\}$。

又有，由集合$A$与集合$B$的所有公共元素构成的集合，称为$A,B$的交集，记为

$A\cap B$，

可表示为

$A\cap B=\{x|x\in A\wedge x\in B\}$。

Template:TextBox 对于由所有属于集合$B$但不属于集合$A$的元素，我们称为集合$A$相对于$B$的相对补集，记作

$B-A$，

可表示为

$B-A=\{x|x\in B\wedge x\in ̸A\}$。

特殊地，集合$A$相对于全集$U$的补集叫作绝对补集，记作

$\bar{A}$，

可表示为

$\bar{A}=\{x|x\in ̸A\}$。

由所有属于$A\cup B$但不属于$A\cap B$的元素所构成的集合叫作集合$A,B$的对称差，记作

$A\mathrm{\Delta }B$，

可表示为

$A\mathrm{\Delta }B=\{x|x\in A\cup B\wedge x\in ̸A\cap B\}$。

关于集合运算有以下常用结论：

(1)等幂律：

$A\cap A=A,A\cup A=A$；

(2)同一律：

$A\cap I=A,A\cup I=I,A\cap \varnothing =\varnothing ,A\cup \varnothing =A$；

(3)互补律：

$A\cap \bar{A}=\varnothing ,A\cup \bar{A}=I,\overline{\stackrel{‾}{A}}=A,\bar{I}=\varnothing ,\bar{\varnothing }=I$；

(4)交换律：

$A\cap B=B\cap A,A\cup B=B\cup A$；

(5)结合律：

$A\cap (B\cap C)=(A\cap B)\cap C,A\cup (B\cup C)=(A\cup B)\cup C$；

(6)分配率：

$A\cap \left(\bigcup _i{A}_i\right)=\bigcup _i(A\cap A_i),A\cup \left(\bigcap _i{A}_i\right)=\bigcap _i(A\cap A_i)$；

(7)吸收率：

$A\cup (A\cap B)=A,A\cap (A\cup B)=A$；

(8)反演律：

$\overline{\bigcap _i{A}_i}=\bigcap _i\overline{A_i},\overline{\bigcup _i{A}_i}=\bigcup _i\overline{A_i}$。

利用相关定义即可证明，略。上述运算定律在以后会有很大帮助。

容斥原理

若记有限集合$A$中的元素个数为$|A|$，则由Venn图（下图）可知：

1.$|A\cup B|=|A|+|B|-|A\cap B|$；

2.$|A\cup B\cup C|=|A|+|B|+|C|-|A\cap B|-|A\cap C|-|B\cap C|+|A\cap B\cap C|$。

• 
  A∪B
• 
  A∪B∪C

一般地，对于$n$个有限集合$A_1,A_2\cdots ,A_n$，则有

$\left|\bigcup _{i=1}^n\right|=\sum _{k=1}^n\left({(-1)}^{k-1}\left(\sum _{1⩽i_1<i_2<\cdots <i_k⩽n}\left|\bigcap _{j=1}^k{A}_{i_j}\right|\right)\right)$。

我们称上述公式为容斥定理。
证 该原理可以用数学归纳法证明。
当$n=2$时，结论显然成立。
假设命题对$n-1$成立，需证明命题对$n$也成立。
注意到$\bigcup _{i=1}^n{A}_i=\left(\bigcup _{i=1}^{n-1}{A}_i\right)\cup A_n$，由$n=2$的情形可知：

$\begin{array}{cc}\left|\bigcup _{i=1}^n{A}_i\right|& =\left|\bigcup _{i=1}^{n-1}{A}_i\right|+\left|A_n\right|-|\left(\bigcup _{i=1}^{n-1}{A}_i\right)\cap A_n|\\ & =\left|\bigcup _{i=1}^{n-1}{A}_i\right|+\left|A_n\right|-\left|\bigcup _{i=1}^{n-1}(A_i\cap A_n)\right|\text{， }\end{array}$

由归纳假设，对于$n-1$个集合$A_1,A_2,\cdots ,A_n-1$，有

$\begin{array}{cc}\left|\bigcap _{i=1}^n(A_i\cap A_n)\right|& =\sum _{k=1}^{n-1}\left({(-1)}^{k-1}\left(\sum _{1⩽i_1<i_2<\cdots <i_k⩽n}\left|\bigcap _{j=1}^k(A_{i_j}\cap A_n)\right|\right)\right)\\ & =\sum _{k=1}^{n-1}\left({(-1)}^{k-1}\left(\sum _{1⩽i_1<i_2<\cdots <i_k⩽n}|\left(\bigcap _{j=1}^k{A}_{i_j}\right)\cap A_n|\right)\right)\text{， }\end{array}$

又由归纳假设，对于$n-1$个集合$A_1,A_2,\cdots ,A_n-1$，有

$\left|\bigcup _{i=1}^{n-1}{A}_i\right|=\sum _{k=1}^{n-1}\left({(-1)}^{k-1}\left(\sum _{1⩽i_1<i_2<\cdots <i_k⩽n}\left|\bigcap _{j=1}^k{A}_{i_j}\right|\right)\right)$，

把上两式代入一式，即得容斥原理。$◼$

Venn图

在2.3中提到的Venn图是用于显示元素集合重叠区域的图示，也称维恩图、文氏图。在集合论中，常常用Venn图来表示集合间的关系或运算。
同样的，我们之前学过的集合的关系和运算也可以用Venn图表示如下：

• 
  U
• 
  A^C∪B^C
• 
  A∪C
• 
  A∪B^C
• 
  A Δ B
• 
  A^C∪B
• 
  B^C
• 
  A
• 
  A^C
• 
  B
• 
  A∩B^C
• 
  (A Δ B)^C
• 
  A^C∩B
• 
  A^C∩B^C
• 
  A∩B
• 
  ∅