实数和集合的运算都是数学的基础。
实数的四则运算就是实数的加、减、乘、除的总称。
加法和减法是四则运算中的一级运算。
加法是基本的四则运算之一,它是指将两个或者两个以上的数、量合起来,变成一个数、量的计算。一般地,我们将加记作
一般读作“加”或“与的和”。其中我们称作加数,“”叫作加号,该式的得数我们称作它们的和。
有个数的和我们一般记作
即
- 。
减法是加法的逆运算,它指从一个数量中减去另一个数量的运算或已知两个加数的和与其中一个加数,求另一个加数的运算。一般地,我们将减记作
- ,
一般读作“减”或“与的差”。其中我们称作被减数,我们叫减数,“”叫作减号,该式的得数我们称作它们的差。
特殊地,我们一般记作
- ,
读作“负”。这里的“”叫作负号,为了与其对应,有时也在一个数前加上“”,称作正号。和我们叫作互为相反数。
特殊地,存在
- ,
- 。
加法和减法在运算中优先级相同,即依据从左到右依次计算。在式子中出现括号(“”,有时是“”或“”)时应遵循先算括号内式子的原则,当有括号相嵌时,应依据先里后外的原则进行运算。
减法与加法的关系是:减去一个数,就等于加上这个数的相反数。用字母可表示为:
- ,
亦有
- 。
证 明显
- ,
定理得证。又有
其中和将在后续学习。
所以,又可以读作“与的和”。
一般地,加法运算满足以下运算律:
- (1)加法交换律:
- ;
- (2)加法结合律:
- 。
加法的运算律也可以推广到减法的情形:
- (1) ;
- (2) ,,。
证明略。
在加法与减法关系式的证明我们已经可以看出,在去掉括号时,一些加数的符号会发生改变。
一般地,当括号前的符号是正号时,去括号后括号内各项的符号都不发生改变;当括号前的符号是负号时,去括号后括号内各项的符号都发生改变。这就是去括号法则。用字母可以表示如下:
- ;
- 。
证明略。
加法和减法是四则运算中的二级运算。
乘法是指将相同的数加起来的快捷方式。一般地,我们将乘(以)记为
- [1],
读作乘(以)或与的积。其中叫作因数(或乘数),称作乘号,它的得数叫作积。有时,为了乘号不与字母相混淆,会将其记作
- 或。
但后者只适用于字母与字母相乘或数字与字母相乘,且数字一般置于字母之前。
若有个数的积我们一般记作
- ,
即
- 。
除法就是已知两个因数的积与其中一个因数,求另一个因数的运算。一般地,我们将除以(或除)记作
- ,
读作除以(或除)或或与的商。其中我们称作被除数,我们叫除数,“”叫作除号,该式的得数我们称作它们的商。
但更常见地,我们会将除式写成分数的形式或将除号写作“”,即
- 或。
一般地,由集合与集合的所有元素构成的集合,称为的并集,记为
- ,
可表示为
- 。
又有,由集合与集合的所有公共元素构成的集合,称为的交集,记为
- ,
可表示为
- 。
- 例1.2.2
若集合
- ,
求
解 由题,有
对于由所有属于集合但不属于集合的元素,我们称为集合相对于的相对补集,记作
- [2],
可表示为
- 。
特殊地,集合相对于全集的补集叫作绝对补集,记作
- [3],
可表示为
- 。
由所有属于但不属于的元素所构成的集合叫作集合的对称差,记作
- ,
可表示为
- 。
关于集合运算有以下常用结论:
- (1)等幂律:
- ;
- (2)同一律:
- ;
- (3)互补律:
- ;
- (4)交换律:
- ;
- (5)结合律:
- ;
- (6)分配率:
- ;
- (7)吸收率:
- ;
- (8)反演律:
- 。
利用相关定义即可证明,略。上述运算定律在以后会有很大帮助。
若记有限集合中的元素个数为[4],则由Venn图(下图)可知:
- 1.;
- 2.。
一般地,对于个有限集合,则有
- 。
我们称上述公式为容斥定理。
证 该原理可以用数学归纳法证明。
当时,结论显然成立。
假设命题对成立,需证明命题对也成立。
注意到,由的情形可知:
由归纳假设,对于个集合,有
又由归纳假设,对于个集合,有
- ,
把上两式代入一式,即得容斥原理。
在2.3中提到的Venn图是用于显示元素集合重叠区域的图示,也称维恩图、文氏图。在集合论中,常常用Venn图来表示集合间的关系或运算。
同样的,我们之前学过的集合的关系和运算也可以用Venn图表示如下:
-
U
-
AC∪BC
-
A∪C
-
A∪BC
-
A Δ B
-
AC∪B
-
BC
-
A
-
AC
-
B
-
A∩BC
-
(A Δ B)C
-
AC∩B
-
AC∩BC
-
A∩B
-
∅
- ↑ 有时也会将乘号写作“”,多见于计算机科学中。
- ↑ 或。
- ↑ 或、。
- ↑ 有时也记为。