查看“︁综合数学/实数与集合/实数和集合的基本运算”︁的源代码

实数和集合的运算都是数学的基础。
== 实数的四则运算 ==
实数的'''四则运算'''就是实数的加、减、乘、除的总称。
=== 加法和减法 ===
加法和减法是四则运算中的一级运算。<br>
'''加法'''是基本的四则运算之一，它是指将两个或者两个以上的数、量合起来，变成一个数、量的计算。一般地，我们将<math>a</math>加<math>b</math>记作
::<math>a+b</math><br>
一般读作“<math>a</math>加<math>b</math>”或“<math>a</math>与<math>b</math>的和”。其中<math>a,b</math>我们称作'''加数'''，“<math>+</math>”叫作'''加号'''，该式的得数我们称作它们的'''和'''。<br>
有<math>n</math>个数<math>a_1,a_2,\cdots ,a_n</math>的和我们一般记作
::<math>\sum_{i=1}^{n}a_i</math><br>
即
::<math>\sum_{i=1}^{n}a_i=a_1+a_2+\cdots a_n</math>。<br>
'''减法'''是加法的逆运算，它指从一个数量中减去另一个数量的运算或已知两个加数的和与其中一个加数，求另一个加数的运算。一般地，我们将<math>a</math>减<math>b</math>记作
::<math>a-b</math>，<br>
一般读作“<math>a</math>减<math>b</math>”或“<math>a</math>与<math>b</math>的差”。其中<math>a</math>我们称作'''被减数'''，<math>b</math>我们叫'''减数'''，“<math>-</math>”叫作'''减号'''，该式的得数我们称作它们的'''差'''。<br>
特殊地，<math>0-a</math>我们一般记作
::<math>-a</math>，<br>
读作“负<math>a</math>”。这里的“<math>-</math>”叫作'''负号'''，为了与其对应，有时也在一个数前加上“<math>+</math>”，称作'''正号'''。<math>-a</math>和<math>+a</math>我们叫作互为'''相反数'''。
特殊地，存在
::<math>a+0=a</math>，
::<math>a-0=a</math>。<br>
加法和减法在运算中优先级相同，即依据从左到右依次计算。在式子中出现括号（“<math>()</math>”，有时是“<math>[]</math>”或“<math>\{\}</math>”）时应遵循先算括号内式子的原则，当有括号相嵌时，应依据先里后外的原则进行运算。<br>
减法与加法的关系是：减去一个数，就等于加上这个数的相反数。用字母可表示为：
::<math>a-b=a+(-b)</math>，<br>
亦有
::<math>a+b=a-(-b)</math>。<br>
'''证'''  明显
::<math>\begin{alignat}{3}
a-b &= a+0-b\\ 
 &=a+(0-b) \\ 
 &=a+(-b) 
\end{alignat}</math>，
定理得证。又有
::<math>\begin{alignat}{3}
a+b &=a-0+b \\ 
 &=a-(0-b) \\ 
 &= a-(-b)\mbox{。 }
\end{alignat}</math>
其中<math>a+0-b=a+(0-b)</math>和<math>a-0+b=a+(0-b)</math>将在后续学习。<math>\blacksquare</math><br>
所以，<math>a-b</math>又可以读作“<math>a</math>与<math>-b</math>的和”。<br>
一般地，加法运算满足以下运算律：<br>
:(1)'''加法交换律'''：
::<math>a+b=b+a</math>；
:(2)'''加法结合律'''：
::<math>(a+b)+c=a+(b+c)</math>。<br>
加法的运算律也可以推广到减法的情形：
:(1)  <math>a-b=-b+a</math>；
:(2)  <math>(a-b)+c=a-(b-c)</math>，<math>(a+b)-c=a+(b-c)</math>，<math>(a-b)-c=a-(b+c)</math>。<br>
证明略。<br>
在加法与减法关系式的证明我们已经可以看出，在去掉括号时，一些加数的符号会发生改变。<br>
一般地，当括号前的符号是正号时，去括号后括号内各项的符号都不发生改变；当括号前的符号是负号时，去括号后括号内各项的符号都发生改变。这就是'''去括号法则'''。用字母可以表示如下：
::<math>\sum_{i}a_i+(\sum_{i}b_i)=\sum_{i}a_i+\sum_{i}b_i</math>；
::<math>\sum_{i}a_i-(\sum_{i}b_i)=\sum_{i}a_i-\sum_{i}-b_i</math>。
证明略。
{{TextBox|1=
;例1.2.1{{anchor|综合数学}}: 
计算：<br>
:(1)  <math>6+(4-5)</math>；
:(2)  <math>9-(6+8)</math>；
:(3)  <math>\sum_{i=1}^{9}(i-3)</math>；
:(4)  <math>9+\left \{ 6-\left [7-\left (6+\sum_{i=1}^{2}-i\right )\right ]\right \}</math>。
'''解'''  (1)  依据去括号法则，有
::<math>\begin{alignat}{3}
 \mbox{原 式 }&=6+4-5 \\ 
 &=10-5 \\ 
 &=5 \mbox{。 }
\end{alignat}
</math><br>
或直接按顺序计算
::<math>\begin{alignat}{3}
 \mbox{原 式 }&=6+(-1) \\ 
 &=6-1\\ 
 &=5 \mbox{； }
\end{alignat}</math><br>
(2)  同(1)，有
::<math>\begin{alignat}{2}
\mbox{原 式 } &=9-14 \\ 
 &=-5 \mbox{。 }
\end{alignat}</math><br>
另一解法交给读者解答。<br>
(3)  由定义，有
::<math>\begin{alignat}{3}
\mbox{原 式 }&=(1-3)+(2-3)+(3-3)+(4-3)+(5-3)+(6-3)+(7-3)+(8-3)+(9-3) \\
 &=(-2)+(-1)+0+1+2+3+4+5+6 \\
 &=18\mbox{； }
\end{alignat}</math><br>
(4)  本题有较多括号，应从里至外依次计算。有<br>
::<math>\begin{alignat}{5}
\mbox{原 式 }&=9+\left \{ 6-\left [7-\left (6-3\right )\right ]\right \} \\
 &=9+[6-(7-3)] \\
 &=9+(6-4) \\
 &=9+2 \\
 &=11\mbox{。 }
\end{alignat}</math>
}}<br>
=== 乘法和除法 ===
加法和减法是四则运算中的二级运算。<br>
'''乘法'''是指将相同的数加起来的快捷方式。一般地，我们将<math>a</math>乘（以）<math>b</math>记为
::<math>a\times b</math><ref>有时也会将乘号写作“<math>\ast</math>”，多见于计算机科学中。</ref>，<br>
读作<math>a</math>乘（以）<math>b</math>或<math>a</math>与<math>b</math>的积。其中<math>a,b</math>叫作'''因数'''（或乘数），<math>\times</math>称作'''乘号'''，它的得数叫作'''积'''。有时，为了乘号不与字母<math>x</math>相混淆，会将其记作
::<math>a\cdot b</math>或<math>ab</math>。<br>
但后者只适用于字母与字母相乘或数字与字母相乘，且数字一般置于字母之前。<br>
若有<math>n</math>个数<math>a_{1},a_{2},\cdots ,a_{n}</math>的积我们一般记作
::<math>\prod_{i=1}^{n}a_i</math>，<br>
即
::<math>\prod_{i=1}^{n}a_i=a_1a_2\cdots a_n</math>。<br>
'''除法'''就是已知两个因数的积与其中一个因数，求另一个因数的运算。一般地，我们将<math>a</math>除以<math>b</math>（或<math>b</math>除<math>a</math>）记作
::<math>a\div b</math>，<br>
读作<math>a</math>除以<math>b</math>（或<math>b</math>除<math>a</math>）或<math>b</math>或<math>a</math>与<math>b</math>的商。其中<math>a</math>我们称作'''被除数'''，<math>b</math>我们叫'''除数'''，“<math>\div</math>”叫作'''除号'''，该式的得数我们称作它们的'''商'''。
但更常见地，我们会将除式写成分数的形式或将除号写作“<math>/</math>”，即
::<math>\frac{a}{b}</math>或<math>a/b</math>。
== 集合的基本运算 ==
一般地，由集合<math>A</math>与集合<math>B</math>的所有元素构成的集合，称为<math>A,B</math>的'''并集'''，记为
::<math>A\cup B</math>，<br>
可表示为
::<math>A\cup B=\left \{ x|x\in A\vee x\in B  \right \}</math>。
又有，由集合<math>A</math>与集合<math>B</math>的所有公共元素构成的集合，称为<math>A,B</math>的'''交集'''，记为
::<math>A\cap B</math>，<br>
可表示为
::<math>A\cap B=\left \{ x|x\in A\wedge  x\in B  \right \}</math>。
{{TextBox|1=
;例1.2.2{{anchor|综合数学}}: 
若集合<br>
::<math>A=\{ 1,2,3 \} ,B=\{ 2, 3, 4\}</math>，<br>
求<math>A\cap \left ( A\cup B \right )</math><br>
'''解'''  由题，有
::<math>\begin{alignat}{3}
 A\cap \left ( A\cup B \right )&=\left \{ 1,2,3 \right \}\cap \left ( \left \{ 1,2,3 \right \}\cup \left \{ 2,3,4 \right \} \right )\\ 
 &=\left \{ 1,2,3 \right \}\cap \left \{ 1,2,3,4 \right \} \\ 
 &= \left \{ 1,2,3 \right \}\mbox{。 }
\end{alignat}</math>
}}
对于由所有属于集合<math>B</math>但不属于集合<math>A</math>的元素，我们称为集合<math>A</math>相对于<math>B</math>的'''相对补集'''，记作
::<math>B-A</math><ref>或<math>\complement _BA</math>。</ref>，
可表示为
::<math>B-A =\left \{ x|x\in B\wedge x\not\in A \right \}</math>。<br>
特殊地，集合<math>A</math>相对于全集<math>U</math>的补集叫作'''绝对补集'''，记作
::<math>\overline{A}</math><ref>或<math>A^{C}</math>、<math>\complement _UA</math>。</ref>，<br>
可表示为
::<math>\overline{A}=\{ x|x\not\in A\}</math>。<br>
由所有属于<math>A\cup B</math>但不属于<math>A\cap B</math>的元素所构成的集合叫作集合<math>A,B</math>的'''对称差'''，记作
::<math>A \Delta B</math>，
可表示为
::<math>A\Delta B=\{ x|x\in A\cup B \wedge x\not\in A\cap B\}</math>。<br>
关于集合运算有以下常用结论：
:(1)'''等幂律'''：
::<math>A\cap A=A,A\cup A=A</math>；
:(2)'''同一律'''：
::<math>A\cap I=A,A\cup I=I,A\cap \varnothing =\varnothing ,A\cup \varnothing =A</math>；
:(3)'''互补律'''：
::<math>A\cap \overline{A}=\varnothing ,A\cup \overline{A}=I,\overline{\overline{A}}=A,\overline{I}=\varnothing,\overline{\varnothing}=I</math>；
:(4)'''交换律'''：
::<math> A\cap B=B\cap A,A\cup B=B\cup A</math>；
:(5)'''结合律'''：
::<math>A\cap (B\cap C)=(A\cap B)\cap C,A\cup (B\cup C)=(A\cup B)\cup C</math>；
:(6)'''分配率'''：
::<math>A\cap \left ( \bigcup_{i}A_{i} \right )=\bigcup_{i}\left ( A\cap A_{i} \right ),A\cup \left ( \bigcap_{i}A_{i} \right )=\bigcap_{i}\left ( A\cap A_{i} \right )</math>；
:(7)'''吸收率'''：
::<math>A\cup (A\cap B)= A,A\cap (A\cup B)=A</math>；
:(8)'''反演律'''：
::<math>\overline{\bigcap_{i}A_{i}}=\bigcap_{i}\overline{A_{i}},\overline{\bigcup_{i}A_{i}}=\bigcup_{i}\overline{A_{i}}</math>。
利用相关定义即可证明，略。上述运算定律在以后会有很大帮助。
=== 容斥原理 ===
若记有限集合<math>A</math>中的元素个数为<math>|A|</math><ref>有时也记为<math>\mathrm{card}(A)</math>。</ref>，则由Venn图（下图）可知：
:1.<math>|A\cup B|=|A|+|B|-|A\cap B|</math>；
:2.<math>|A\cup B\cup C|=|A|+|B|+|C|-|A\cap B|-|A\cap C|-|B\cap C|+|A\cap B\cap C|</math>。
<gallery>
File:Venn0000.svg|A∪B
File:Venn 0000 0000.svg|A∪B∪C
</gallery>
一般地，对于<math>n</math>个有限集合<math>A_1,A_2\cdots ,A_n</math>，则有
::<math>\left | \bigcup_{i=1}^{n} \right |=\sum_{k=1}^{n}\left ( \left ( -1 \right )^{k-1}\left ( \sum_{1\leqslant i_1 <i_2<\cdots <i_k\leqslant n}\left | \bigcap_{j=1}^{k}A_{i_j} \right | \right ) \right )</math>。
我们称上述公式为'''容斥定理'''。<br>
'''证'''  该原理可以用数学归纳法证明。<br>
当<math>n=2</math>时，结论显然成立。<br>
假设命题对<math>n-1</math>成立，需证明命题对<math>n</math>也成立。<br>
注意到<math>\bigcup_{i=1}^n A_i=\left (\bigcup_{i=1}^{n-1}A_i \right )\cup A_n</math>，由<math>n=2</math>的情形可知：
::<math>\begin{alignat}{2}
 \left |\bigcup_{i=1}^{n}A_i\right |&=\left | \bigcup_{i=1}^{n-1}A_i \right |+\left | A_n \right |-\left | \left ( \bigcup_{i=1}^{n-1}A_i \right )\cap A_n \right | \\ 
 &=\left | \bigcup_{i=1}^{n-1}A_i \right |+\left | A_n \right |-\left |  \bigcup_{i=1}^{n-1}\left (A_i \cap A_n \right )\right |\mbox{， }
\end{alignat}</math><br>
由归纳假设，对于<math>n-1</math>个集合<math>A_1,A_2,\cdots ,A_n-1</math>，有
::<math>\begin{alignat}{2}
 \left | \bigcap_{i=1}^{n}\left ( A_i\cap A_n \right ) \right |&=\sum_{k=1}^{n-1}\left ( \left ( -1 \right )^{k-1}\left ( \sum_{1\leqslant i_1<i_2<\cdots <i_k\leqslant n}\left | \bigcap_{j=1}^{k}\left ( A_{i_j}\cap A_n \right ) \right | \right ) \right ) \\ 
 &= \sum_{k=1}^{n-1}\left ( \left ( -1 \right )^{k-1}\left ( \sum_{1\leqslant i_1<i_2<\cdots <i_k\leqslant n}\left | \left ( \bigcap_{j=1}^{k}A_{i_j} \right )\cap A_n \right | \right ) \right )\mbox{， }
\end{alignat}</math><br>
又由归纳假设，对于<math>n-1</math>个集合<math>A_1,A_2,\cdots ,A_n-1</math>，有
::<math>\left | \bigcup_{i=1}^{n-1}A_i \right |=\sum_{k=1}^{n-1}\left ( \left ( -1 \right )^{k-1}\left ( \sum_{1\leqslant i_1<i_2<\cdots <i_k\leqslant n}\left | \bigcap_{j=1}^{k}A_{i_j} \right | \right ) \right )</math>，
把上两式代入一式，即得容斥原理。<math>\blacksquare</math>
== Venn图 ==
在2.3中提到的'''Venn图'''是用于显示元素集合重叠区域的图示，也称维恩图、文氏图。在集合论中，常常用Venn图来表示集合间的关系或运算。<br>
同样的，我们之前学过的集合的关系和运算也可以用Venn图表示如下：
<gallery>
File:Venn1111.svg|U
File:Venn1110.svg|A<sup>C</sup>∪B<sup>C</sup>
File:Venn0111.svg|A∪C
File:Venn1101.svg|A∪B<sup>C</sup>
File:Venn0110.svg|A Δ B
File:Venn1011.svg|A<sup>C</sup>∪B
File:Venn1100.svg|B<sup>C</sup>
File:Venn0101.svg|A
File:Venn1010.svg|A<sup>C</sup>
File:Venn0011.svg|B
File:Venn0100.svg|A∩B<sup>C</sup>
File:Venn1001.svg|(A Δ B)<sup>C</sup>
File:Venn0010.svg|A<sup>C</sup>∩B
File:Venn1000.svg|A<sup>C</sup>∩B<sup>C</sup>
File:Venn0001.svg|A∩B
File:Venn0000.svg|∅
</gallery>

== 注释 ==