實數和集合的運算都是數學的基礎。
實數的四則運算就是實數的加、減、乘、除的總稱。
加法和減法是四則運算中的一級運算。
加法是基本的四則運算之一,它是指將兩個或者兩個以上的數、量合起來,變成一個數、量的計算。一般地,我們將
加
記作
![{\displaystyle a+b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2391acf09244b9dba74eb940e871a6be7e7973a)
一般讀作「
加
」或「
與
的和」。其中
我們稱作加數,「
」叫作加號,該式的得數我們稱作它們的和。
有
個數
的和我們一般記作
![{\displaystyle \sum _{i=1}^{n}a_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95c727b26db0695fbd03576306bc68be401988c8)
即
。
減法是加法的逆運算,它指從一個數量中減去另一個數量的運算或已知兩個加數的和與其中一個加數,求另一個加數的運算。一般地,我們將
減
記作
,
一般讀作「
減
」或「
與
的差」。其中
我們稱作被減數,
我們叫減數,「
」叫作減號,該式的得數我們稱作它們的差。
特殊地,
我們一般記作
,
讀作「負
」。這裡的「
」叫作負號,為了與其對應,有時也在一個數前加上「
」,稱作正號。
和
我們叫作互為相反數。
特殊地,存在
,
。
加法和減法在運算中優先級相同,即依據從左到右依次計算。在式子中出現括號(「
」,有時是「
」或「
」)時應遵循先算括號內式子的原則,當有括號相嵌時,應依據先里後外的原則進行運算。
減法與加法的關係是:減去一個數,就等於加上這個數的相反數。用字母可表示為:
,
亦有
。
證 明顯
,
定理得證。又有
![{\displaystyle {\begin{alignedat}{3}a+b&=a-0+b\\&=a-(0-b)\\&=a-(-b){\mbox{。 }}\end{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45a89506b9df5edac0f6a9e129a8a3b84e95f553)
其中
和
將在後續學習。![{\displaystyle \blacksquare }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8733090f2d787d03101c3e16dc3f6404f0e7dd4c)
所以,
又可以讀作「
與
的和」。
一般地,加法運算滿足以下運算律:
- (1)加法交換律:
;
- (2)加法結合律:
。
加法的運算律也可以推廣到減法的情形:
- (1)
;
- (2)
,
,
。
證明略。
在加法與減法關係式的證明我們已經可以看出,在去掉括號時,一些加數的符號會發生改變。
一般地,當括號前的符號是正號時,去括號後括號內各項的符號都不發生改變;當括號前的符號是負號時,去括號後括號內各項的符號都發生改變。這就是去括號法則。用字母可以表示如下:
;
。
證明略。
加法和減法是四則運算中的二級運算。
乘法是指將相同的數加起來的快捷方式。一般地,我們將
乘(以)
記為
[1],
讀作
乘(以)
或
與
的積。其中
叫作因數(或乘數),
稱作乘號,它的得數叫作積。有時,為了乘號不與字母
相混淆,會將其記作
或
。
但後者只適用於字母與字母相乘或數字與字母相乘,且數字一般置於字母之前。
若有
個數
的積我們一般記作
,
即
。
除法就是已知兩個因數的積與其中一個因數,求另一個因數的運算。一般地,我們將
除以
(或
除
)記作
,
讀作
除以
(或
除
)或
或
與
的商。其中
我們稱作被除數,
我們叫除數,「
」叫作除號,該式的得數我們稱作它們的商。
但更常見地,我們會將除式寫成分數的形式或將除號寫作「
」,即
或
。
一般地,由集合
與集合
的所有元素構成的集合,稱為
的併集,記為
,
可表示為
。
又有,由集合
與集合
的所有公共元素構成的集合,稱為
的交集,記為
,
可表示為
。
- 例1.2.2
若集合
,
求![{\displaystyle A\cap \left(A\cup B\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d2b9796b0cc53ebb60eb4187c1f4e07e07f4c3b)
解 由題,有
![{\displaystyle {\begin{alignedat}{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{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c30da78980266e4ff6486e6a4ba03d83d2663c06)
對於由所有屬於集合
但不屬於集合
的元素,我們稱為集合
相對於
的相對補集,記作
[2],
可表示為
。
特殊地,集合
相對於全集
的補集叫作絕對補集,記作
[3],
可表示為
。
由所有屬於
但不屬於
的元素所構成的集合叫作集合
的對稱差,記作
,
可表示為
。
關於集合運算有以下常用結論:
- (1)等冪律:
;
- (2)同一律:
;
- (3)互補律:
;
- (4)交換律:
;
- (5)結合律:
;
- (6)分配率:
;
- (7)吸收率:
;
- (8)反演律:
。
利用相關定義即可證明,略。上述運算定律在以後會有很大幫助。
若記有限集合
中的元素個數為
[4],則由Venn圖(下圖)可知:
- 1.
;
- 2.
。
一般地,對於
個有限集合
,則有
。
我們稱上述公式為容斥定理。
證 該原理可以用數學歸納法證明。
當
時,結論顯然成立。
假設命題對
成立,需證明命題對
也成立。
注意到
,由
的情形可知:
![{\displaystyle {\begin{alignedat}{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{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b1c66af902b2d70cf0396019f7f88387bd49dcd)
由歸納假設,對於
個集合
,有
![{\displaystyle {\begin{alignedat}{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{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65f46b7779618390aecb2d2e03cbaab67cc63d0b)
又由歸納假設,對於
個集合
,有
,
把上兩式代入一式,即得容斥原理。
在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
-
∅
- ↑ 有時也會將乘號寫作「
」,多見於計算機科學中。
- ↑ 或
。
- ↑ 或
、
。
- ↑ 有時也記為
。