此處包含的集合論概述採用樸素 的觀點。對這個概念的嚴格分析屬於數學基礎和數理邏輯。雖然我們不會開始研究這些領域,但我們在處理集合時遵循的規則源於它們。
定義。 (集合) 一個集合 是不同 物件(s)的明確定義的集合,這些物件被稱為元素(s) .
一個集合 .
示例。 (不是“明確定義”的集合)
簡單的學校課程的集合不是 一個集合,因為“簡單”沒有明確定義。
我們有不同的方法來描述 一個集合,例如
文字描述:例如,一個集合 S {\displaystyle S} 是包含一年中 12 個月的集合;
列舉法:集合中的元素列在一對花括號內,例如, S = def { January, March, February, April, May, June, July, August, September, October, November, December } {\displaystyle S{\overset {\text{ def }}{=}}\{{\text{January, }}{\color {darkgreen}{\text{March, February, }}}{\text{April, May, June, July, August, September, October, November, December}}\}} ;
元素的順序 是不重要的 ,也就是說,即使元素以不同的順序排列,集合仍然是相同的。例如, { January, February, March, April, May, June, July, August, September, October, November, December } {\displaystyle \{{\text{January, }}{\color {darkgreen}{\text{February, March, }}}{\text{April, May, June, July, August, September, October, November, December}}\}} 仍然指的是同一個集合。
集合生成式: { ⏟ The set of x ⏟ all elements x : ⏟ such that P ( x ) ⏟ the property P ( x ) holds } {\displaystyle \underbrace {\{} _{{\text{The set of}}\;}\underbrace {x} _{{\text{all elements }}x\;}\underbrace {:} _{\text{such that }}\underbrace {P(x)} _{{\text{the property }}P(x){\text{ holds}}}\}}
(右括號也必須寫出來)。
例如, S = def { x : x is a month in a year } {\displaystyle S{\overset {\text{ def }}{=}}\{x:x{\text{ is a month in a year}}\}} .
示例. (空集) 集合 { } {\displaystyle \{\}} 被稱為空集 ,它不包含任何元素。它通常用 ∅ {\displaystyle \varnothing } 表示。
練習。
示例。
apple ∈ { apple, orange, banana } {\displaystyle {\text{apple}}\in \{{\text{apple, orange, banana}}\}} ;
∅ ∈ { ∅ } {\displaystyle \varnothing \in \{\varnothing \}} ;
∅ ∉ ∅ {\displaystyle \varnothing \notin \varnothing } .
練習。
示例。
設 S 1 {\displaystyle S_{1}} 是包含擲六面骰子所有結果的集合。然後,我們可以將集合 S 1 {\displaystyle S_{1}} 表示為 { 1 , 2 , 3 , 4 , 5 , 6 } {\displaystyle \{1,2,3,4,5,6\}} .
設 S 2 {\displaystyle S_{2}} 是包含拋硬幣所有結果的集合。然後,我們可以將集合 S 2 {\displaystyle S_{2}} 表示為 { H , T } {\displaystyle \{H,T\}} 其中 H {\displaystyle H} 代表“正面”, T {\displaystyle T} 代表“反面”。
練習. 艾米參加了一個抽獎活動,一等獎是一輛汽車。假設我們說如果艾米獲得一等獎,結果為 1,否則為 0,那麼包含所有結果的集合是什麼?
解答
這個集合是 { 0 , 1 } {\displaystyle \{0,1\}} .
定義. (集合相等) 當兩個 集合 相等 時,它們包含 相同 的元素。
定義: (全集) 全集 ,用 U {\displaystyle U} 表示,是指在特定情況下所考慮的所有物件的集合。
備註。
在 機率 的語境中,全集 通常用 Ω {\displaystyle \Omega } 表示,是指包含特定隨機實驗所有結果的集合,也被稱為 樣本空間 。
示例: 擲六面骰子的樣本空間為 Ω = { 1 , 2 , 3 , 4 , 5 , 6 } {\displaystyle \Omega =\{1,2,3,4,5,6\}} 。
練習。 拋硬幣的樣本空間是什麼?(使用 H {\displaystyle H} 代表“正面”結果, T {\displaystyle T} 代表“反面”結果。)
解答
樣本空間是 Ω = { H , T } {\displaystyle \Omega =\{H,T\}} .
定義。 (基數)基數 是一個有限 集合中元素的數量 。
示例。
# ( { { 1 } , 2 , 3 } ) = 3 {\displaystyle \#({\big \{}\{1\},2,3{\big \}})=3} .
# ( ∅ ) = 0 {\displaystyle \#(\varnothing )=0} .
N {\displaystyle \mathbb {N} } (包含每個正 整數的集合)是一個無限集。
練習。
在本節中,我們介紹集合之間的 關係 。
定義。 (韋恩圖) 一個 韋恩圖 是一個圖表,它顯示了有限個集合之間所有 可能的邏輯關係。
備註。
它對於說明集合之間的一些簡單關係,並使這些關係變得清晰非常有用。
我們也可以在韋恩圖中新增各種註釋,例如每個集合的基數,以及每個集合所包含的元素。
使用韋恩圖說明 子集 :
A ⊆ B (A ≠ B):
*-----------------------*
| |
| |
| *----------* | <---- B
| | | |
| | A | |
| | | |
| *----------* |
*-----------------------*
示例。
{ 1 , 3 } ⊆ { 1 , 2 , 3 } {\displaystyle \{1,3\}\subseteq \{1,2,3\}} .
韋恩圖 :
*--------------------*
| *----------* 2 |
| | 1 3 | |
| *----------* |
*--------------------*
{ { 1 } } ⊈ { 1 , 2 , 3 } {\displaystyle \{\{1\}\}\not \subseteq \{1,2,3\}} ( { 1 } ∉ { 1 , 2 , 3 } {\displaystyle \{1\}\notin \{1,2,3\}} ).
可以證明,對於每個集合 S {\displaystyle S} ,都有 ∅ ⊆ S {\displaystyle \varnothing \subseteq S} .
示例。 令 Ω {\displaystyle \Omega } 是擲六面骰子的樣本空間,而 S {\displaystyle S} 是一個包含所有擲六面骰子得到奇數 結果的集合。那麼, S ⊆ Ω {\displaystyle S\subseteq \Omega } .
示例: (區間)區間 是常見的 R {\displaystyle \mathbb {R} } 的子集 。如果 a {\displaystyle a} 和 b {\displaystyle b} 是實數,使得 a < b {\displaystyle a<b} ,那麼 ( a , b ) = def { x ∈ R : a < x < b } ; [ a , b ) = def { x ∈ R : a ≤ x < b } ; ( a , b ] = def { x ∈ R : a < x ≤ b } ; [ a , b ] = def { x ∈ R : a ≤ x ≤ b } . {\displaystyle {\begin{aligned}{\color {Maroon}(}a,b{\color {Maroon})}&{\overset {\text{ def }}{=}}\{x\in \mathbb {R} :a\;{\color {Maroon}<}\;x\;{\color {Maroon}<}\;b\};\\{\color {darkgreen}[}a,b{\color {Maroon})}&{\overset {\text{ def }}{=}}\{x\in \mathbb {R} :a\;{\color {darkgreen}\leq }\;x\;{\color {Maroon}<}\;b\};\\{\color {Maroon}(}a,b{\color {darkgreen}]}&{\overset {\text{ def }}{=}}\{x\in \mathbb {R} :a\;{\color {Maroon}<}\;x\;{\color {darkgreen}\leq }\;b\};\\{\color {darkgreen}[}a,b{\color {darkgreen}]}&{\overset {\text{ def }}{=}}\{x\in \mathbb {R} :a\;{\color {darkgreen}\leq }\;x\;{\color {darkgreen}\leq }\;b\}.\\\end{aligned}}} 特別地, ( − ∞ , ∞ ) = R {\displaystyle (-\infty ,\infty )=\mathbb {R} } 。
我們還有 [ − ∞ , ∞ ] {\displaystyle [-\infty ,\infty ]} ,它包含了所有 擴充套件實數 ,即 [ − ∞ , ∞ ] = ( − ∞ , ∞ ) ∪ { − ∞ , ∞ } {\displaystyle [-\infty ,\infty ]=(-\infty ,\infty )\cup \{-\infty ,\infty \}} 。這種符號偶爾使用。(擴充套件實數系是透過在實數系中新增 ∞ {\displaystyle \infty } 和 − ∞ {\displaystyle -\infty } 而得到的。)
例子。 如果 A = { 1 , 2 , 3 } {\displaystyle A=\{1,2,3\}} 且 U = { 1 , 2 , 3 , 4 , 5 } {\displaystyle U=\{1,2,3,4,5\}} ,那麼 A c = { 4 , 5 } {\displaystyle A^{c}=\{4,5\}} 。
文氏圖 :
*-----------------------*
| |
| A 4 5 |
| *----------* |
| | | | <---- U
| | 1 2 3 | |
| | | |
| *----------* |
*-----------------------*
練習。
機率論大量使用了集合運算,本節將對此進行討論。
備註。
A ∪ B {\displaystyle A\cup B} 讀作 'A 並 B'。
示例。
{ apple , orange } ∪ { orange , red } = { apple , orange , red } {\displaystyle \{{\text{apple}},{\text{orange}}\}\cup \{{\text{orange}},{\text{red}}\}=\{{\text{apple}},{\text{orange}},{\text{red}}\}} .
文氏圖 :
*----------------*
| |
| red *-------*--------*
| | orange| |
*--------*-------* |
| apple |
*----------------*
下面介紹並集運算具有的某些基本性質:交換律和結合律。
備註。
由於結合律,我們可以毫不含糊地寫出三個或更多集合的並集。例如,我們可以直接寫 A ∪ B ∪ C {\displaystyle A\cup B\cup C} ,因為 A ∪ ( B ∪ C ) = ( A ∪ B ) ∪ C {\displaystyle A\cup (B\cup C)=(A\cup B)\cup C} .
示例。 設 A 1 = { 1 , 2 } , A 2 = { 3 , 4 , 5 } {\displaystyle A_{1}=\{1,2\},A_{2}=\{3,4,5\}} 和 A 3 = { 6 , 7 } {\displaystyle A_{3}=\{6,7\}} 。那麼,
⋃ i = 1 3 A i = A 1 ∪ A 2 ∪ A 3 = { 1 , 2 , 3 , 4 , 5 , 6 , 7 } {\displaystyle \bigcup _{i=1}^{3}A_{i}=A_{1}\cup A_{2}\cup A_{3}=\{1,2,3,4,5,6,7\}}
⋃ i = 2 3 A i = A 2 ∪ A 3 = { 3 , 4 , 5 , 6 , 7 } {\displaystyle \bigcup _{i=2}^{3}A_{i}=A_{2}\cup A_{3}=\{3,4,5,6,7\}}
A 1 ∪ A 3 = { 1 , 2 , 6 , 7 } {\displaystyle A_{1}\cup A_{3}=\{1,2,6,7\}} .
( ⋃ i = m n A i {\displaystyle \bigcup _{i=m}^{n}A_{i}} 表示 A m ∪ A m + 1 ∪ ⋯ ∪ A n {\displaystyle A_{m}\cup A_{m+1}\cup \dotsb \cup A_{n}} ( n > m {\displaystyle n>m} ),而 ⋃ i = m ∞ A i {\displaystyle \bigcup _{i=m}^{\infty }A_{i}} 表示 A m ∪ A m + 1 ∪ ⋯ {\displaystyle A_{m}\cup A_{m+1}\cup \dotsb } 。)
備註。
A ∩ B {\displaystyle A\cap B} 讀作 'A 交 B'。
示例。
{ 1 , 2 , 3 } ∩ { 2 , 3 , 4 } = { 2 , 3 } {\displaystyle \{1,2,3\}\cap \{2,3,4\}=\{2,3\}} .
{ 1 , 2 , 3 } ∩ { 4 , 5 , 6 } = ∅ {\displaystyle \{1,2,3\}\cap \{4,5,6\}=\varnothing } .
例子。 集合 { 1 , 2 , 3 } {\displaystyle \{1,2,3\}} 與 { 4 , 5 , 6 } {\displaystyle \{4,5,6\}} 是不相交的。
備註。
也就是說, A {\displaystyle A} 和 B {\displaystyle B} 是 不相交 的,如果它們沒有共同的元素。
如果多個集合是 成對 不相交的,則稱它們是 不相交 的。
文氏圖
*-----* *-----* *-----*
| | | | | |
| A | | B | | C |
*-----* *-----* *-----*
(A, B and C are disjoint)
*----------------*
| | <---- D
| *--* *-------*--------*
| | | | | |
*-*--*---*-------* | <--- E
| | | |
*--* *----------------*
^
|
F
(D, E and F are not disjoint, but E and F are disjoint)
示例。 對於每個正整數 j {\displaystyle j} ,定義 A j = { n ∈ N : n ≥ j } {\displaystyle A_{j}=\{n\in \mathbb {N} :n\geq j\}} 。然後, ⋂ i = 1 10 A i = { 1 , 2 , 3 , … } ∩ { 2 , 3 , 4 , … } ∩ ⋯ ∩ { 10 , 11 , 12 , … } = { 10 , 11 , 12 , … } = { n ∈ N : n ≥ 10 } = A 10 . {\displaystyle \bigcap _{i=1}^{10}A_{i}=\{1,2,3,\dotsc \}\cap \{2,3,4,\dotsc \}\cap \dotsb \cap \{10,11,12,\dotsc \}=\{10,11,12,\dotsc \}=\{n\in \mathbb {N} :n\geq 10\}=A_{10}.}
以下結果將並集運算和交集運算結合在一起。
示例。 令 A = { 1 , 2 , 3 } , B = { 2 , 3 , 4 } {\displaystyle A=\{1,2,3\},B=\{2,3,4\}} 和 C = { 1 , 5 , 6 } {\displaystyle C=\{1,5,6\}} 。驗證這三個集合是否滿足分配律 (a),即證明 A ∩ ( B ∪ C ) = ( A ∩ B ) ∪ ( A ∩ C ) {\displaystyle A\cap (B\cup C)=(A\cap B)\cup (A\cap C)} 對這三個集合 A , B , C {\displaystyle A,B,C} 成立。
解 . 首先, A ∩ ( B ∪ C ) = A ∩ { 1 , 2 , 3 , 4 , 5 , 6 } = { 1 , 2 , 3 } {\displaystyle A\cap (B\cup C)=A\cap \{1,2,3,4,5,6\}=\{1,2,3\}} 。另一方面, ( A ∩ B ) ∪ ( A ∩ C ) = { 2 , 3 } ∪ { 1 } = { 1 , 2 , 3 } {\displaystyle (A\cap B)\cup (A\cap C)=\{2,3\}\cup \{1\}=\{1,2,3\}} .
練習。 驗證這三個集合是否滿足分配律 (b)。
解答
首先, A ∪ ( B ∩ C ) = A ∪ ∅ = A = { 1 , 2 , 3 } {\displaystyle A\cup (B\cap C)=A\cup \varnothing =A=\{1,2,3\}} 。另一方面, ( A ∪ B ) ∩ ( A ∪ C ) = { 1 , 2 , 3 , 4 } ∩ { 1 , 2 , 3 , 5 , 6 } = { 1 , 2 , 3 } {\displaystyle (A\cup B)\cap (A\cup C)=\{1,2,3,4\}\cap \{1,2,3,5,6\}=\{1,2,3\}} .
示例。
{ 1 , 2 , 3 } ∖ { 1 , 2 } = { 3 } {\displaystyle \{1,2,3\}\setminus \{1,2\}=\{3\}} ;
{ 1 , 2 , 3 } ∖ { 1 , 2 , 3 } = ∅ {\displaystyle \{1,2,3\}\setminus \{1,2,3\}=\varnothing } ;
{ 1 , 2 , 3 } ∖ { 4 , 5 , 6 } = { 1 , 2 , 3 } {\displaystyle \{1,2,3\}\setminus \{4,5,6\}=\{1,2,3\}} .
定理。 (德摩根定律) 令 B , A 1 , A 2 , … {\displaystyle B,A_{1},A_{2},\dotsc } 為集合。則, B ∖ ( A 1 ∪ A 2 ∪ ⋯ ) = ( B ∖ A 1 ) ∩ ( B ∖ A 2 ) ∩ ⋯ and B ∖ ( A 1 ∩ A 2 ∩ ⋯ ) = ( B ∖ A 1 ) ∪ ( B ∖ A 2 ) ∪ ⋯ {\displaystyle B\setminus (A_{1}\cup A_{2}\cup \dotsb )=(B\setminus A_{1})\cap (B\setminus A_{2})\cap \dotsb {\text{ and }}B\setminus (A_{1}\cap A_{2}\cap \dotsb )=(B\setminus A_{1})\cup (B\setminus A_{2})\cup \dotsb }
備註。
特殊情況 : 如果 B = U {\displaystyle B=U} ,則方程變為 ( A 1 ∪ A 2 ∪ ⋯ ) c = A 1 c ∩ A 2 c ∩ ⋯ and ( A 1 ∩ A 2 ∩ ⋯ ) c = A 1 c ∪ A 2 c ∪ ⋯ {\displaystyle (A_{1}\cup A_{2}\cup \dotsb )^{c}=A_{1}^{c}\cap A_{2}^{c}\cap \dotsb {\text{ and }}(A_{1}\cap A_{2}\cap \dotsb )^{c}=A_{1}^{c}\cup A_{2}^{c}\cup \dotsb } .
示例. 令 A = { 1 , 2 , 3 } , B = { 1 , 3 } , C = { 1 , 2 , 3 , 4 } {\displaystyle A=\{1,2,3\},B=\{1,3\},C=\{1,2,3,4\}} ,並令全集為 U = { 1 , 2 , 3 , 4 , 5 } {\displaystyle U=\{1,2,3,4,5\}} 。對於這三個集合 A , B , C {\displaystyle A,B,C} ,
(a) 驗證 A ∖ ( B ∪ C ) = ( A ∖ B ) ∩ ( A ∖ C ) {\displaystyle A\setminus (B\cup C)=(A\setminus B)\cap (A\setminus C)} .
(b) 驗證 C ∖ ( A ∪ B ) = ( C ∖ A ) ∪ ( C ∖ B ) {\displaystyle C\setminus (A\cup B)=(C\setminus A)\cup (C\setminus B)} .
解答 .
(a) 首先, A ∖ ( B ∪ C ) = A ∖ { 1 , 2 , 3 , 4 } = ∅ {\displaystyle A\setminus (B\cup C)=A\setminus \{1,2,3,4\}=\varnothing } 。另一方面, ( A ∖ B ) ∩ ( A ∖ C ) = { 2 } ∩ ∅ = ∅ {\displaystyle (A\setminus B)\cap (A\setminus C)=\{2\}\cap \varnothing =\varnothing } 。因此,我們得到了想要的等式。
(b) 首先, C ∖ ( A ∪ B ) = C ∖ { 1 , 2 , 3 } = { 4 } {\displaystyle C\setminus (A\cup B)=C\setminus \{1,2,3\}=\{4\}} 。另一方面, ( C ∖ A ) ∪ ( C ∖ B ) = { 4 } ∩ { 2 , 4 } = { 4 } {\displaystyle (C\setminus A)\cup (C\setminus B)=\{4\}\cap \{2,4\}=\{4\}} .
練習. 驗證 ( A ∪ B ∪ C ) c = A c ∩ B c ∩ C c {\displaystyle (A\cup B\cup C)^{c}=A^{c}\cap B^{c}\cap C^{c}} 對於這三個集合 A , B , C {\displaystyle A,B,C} .
解答
首先, ( A ∪ B ∪ C ) c = ( { 1 , 2 , 3 , 4 } ) c = { 5 } {\displaystyle (A\cup B\cup C)^{c}=(\{1,2,3,4\})^{c}=\{5\}} 。另一方面, A c ∩ B c ∩ C c = { 4 , 5 } ∩ { 2 , 4 , 5 } ∩ { 5 } = { 5 } {\displaystyle A^{c}\cap B^{c}\cap C^{c}=\{4,5\}\cap \{2,4,5\}\cap \{5\}=\{5\}} 。
示例。
P ( { 1 , 2 } ) = { ∅ , { 1 } , { 2 } , { 1 , 2 } } {\displaystyle {\mathcal {P}}(\{1,2\})=\{\varnothing ,\{1\},\{2\},\{1,2\}\}} ;
P ( ∅ ) = { ∅ } {\displaystyle {\mathcal {P}}(\varnothing )=\{\varnothing \}} (空集的冪集 不是 空集)。
備註。
冪集 包含 n {\displaystyle n} 個元素的集合包含 2 n {\displaystyle 2^{n}} 個元素。
示例。 令 Ω = { H , T } {\displaystyle \Omega =\{H,T\}} 是拋硬幣的樣本空間( H {\displaystyle H} 和 T {\displaystyle T} 分別代表“正面”和“反面”)。然後, P ( Ω ) = { ∅ , { H } , { T } , { H , T } } . {\displaystyle {\mathcal {P}}(\Omega )=\{\varnothing ,\{H\},\{T\},\{H,T\}\}.}
練習。 假設我們擲硬幣兩次。 那麼,這個隨機試驗的樣本空間是 Ω = { H H , H T , T H , T T } {\displaystyle \Omega =\{HH,HT,TH,TT\}} 其中 H H {\displaystyle HH} 表示“正面”後接“正面”, H T {\displaystyle HT} 表示“正面”後接“反面”,等等。 注意順序很重要,因此 H T {\displaystyle HT} 與 T H {\displaystyle TH} 不同。
(a) 求冪集 P ( Ω ) {\displaystyle {\mathcal {P}}(\Omega )} 。 (提示 : 檢查你的冪集是否包含 2 4 = 16 {\displaystyle 2^{4}=16} 個元素。)
(b) 定義集合 S {\displaystyle S} 為包含 Ω {\displaystyle \Omega } 子集的集合,該子集包含結果 H H {\displaystyle HH} 。 也就是說, S = { X ⊆ Ω : H H ∈ X } {\displaystyle S=\{X\subseteq \Omega :HH\in X\}} 。 求 # ( S ) {\displaystyle \#(S)} 。
解答
(a) 冪集是 P ( Ω ) = { ∅ , { H H } , { H T } , { T H } , { T T } , { H H , H T } , { H H , T H } , { H H , T T } , { H T , T H } , { H T , T T } , { T H , T T } , { H H , H T , T H } , { H H , H T , T T } , { H H , T H , T T } , { H T , T H , T T } , { H H , H T , T H , T T } } {\displaystyle {\begin{aligned}{\mathcal {P}}(\Omega )={\bigg \{}&\varnothing ,{\color {darkgreen}\{HH\}},\{HT\},\{TH\},\{TT\},\\&{\color {darkgreen}\{HH,HT\},\{HH,TH\},\{HH,TT\}},\{HT,TH\},\{HT,TT\},\{TH,TT\},\\&{\color {darkgreen}\{HH,HT,TH\},\{HH,HT,TT\},\{HH,TH,TT\}},\{HT,TH,TT\},{\color {darkgreen}\{HH,HT,TH,TT\}}{\bigg \}}\end{aligned}}} (b) 透過觀察 (a) 中的冪集,我們可以看到 Ω {\displaystyle \Omega } 的 8 個子集 (綠色 的) 包含結果 H H {\displaystyle HH} 。 所以, # ( S ) = 8 {\displaystyle \#(S)=8} 。
定義。 ( n {\displaystyle n} 元笛卡爾積) 關於 n {\displaystyle n} 個集合 S 1 , … , S n {\displaystyle S_{1},\dotsc ,S_{n}} 的 n {\displaystyle n} 元笛卡爾積 ,記作 S 1 × ⋯ × S n {\displaystyle S_{1}\times \dotsb \times S_{n}} ,是 { ( s 1 , … , s n ) : s i ∈ S i for each i ∈ { 1 , … , n } } . {\displaystyle {\big \{}(s_{1},\dotsc ,s_{n}):s_{i}\in S_{i}{\text{ for each }}i\in \{1,\dotsc ,n\}{\big \}}.}
例子。 令 A = { 1 , 2 } , B = { 2 , 3 } {\displaystyle A=\{1,2\},B=\{2,3\}} 且 C = { 3 , 4 } {\displaystyle C=\{3,4\}} 。那麼,
A × B = { ( 1 , 2 ) , ( 1 , 3 ) , ( 2 , 2 ) , ( 2 , 3 ) } {\displaystyle A\times B=\{(1,2),(1,3),(2,2),(2,3)\}} .
B × C = { ( 2 , 3 ) , ( 2 , 4 ) , ( 3 , 3 ) , ( 3 , 4 ) } {\displaystyle B\times C=\{(2,3),(2,4),(3,3),(3,4)\}} .
A × B × C = { ( 1 , 2 , 3 ) , ( 1 , 2 , 4 ) , ( 1 , 3 , 3 ) , ( 1 , 3 , 4 ) , ( 2 , 2 , 3 ) , ( 2 , 2 , 4 ) , ( 2 , 3 , 3 ) , ( 2 , 3 , 4 ) } {\displaystyle A\times B\times C=\{(1,2,3),(1,2,4),(1,3,3),(1,3,4),(2,2,3),(2,2,4),(2,3,3),(2,3,4)\}} .
練習. 一家餐廳提供套餐午餐,顧客可以從 A、B、C 三組中 各 選擇 一樣 食物或飲料
A 組:雞蛋、培根
B 組:牛排、三文魚
C 組:茶、牛奶、水
我們定義集合 A , B , C {\displaystyle A,B,C} ,對應於這三個組 A、B、C
A = { egg , beacon } {\displaystyle A=\{{\text{egg}},{\text{beacon}}\}}
B = { steak , salmon } {\displaystyle B=\{{\text{steak}},{\text{salmon}}\}}
C = { tea , milk , water } {\displaystyle C=\{{\text{tea}},{\text{milk}},{\text{water}}\}}
(a) 找出集合 A × B × C {\displaystyle A\times B\times C} ,它包含顧客所有可能的組合選擇。
(b) 假設餐廳的茶賣完了,所以顧客現在不能在 C 組選擇茶。假設集合 A × B × C ∗ {\displaystyle A\times B\times C^{*}} 現在包含顧客所有可能的組合選擇。集合 C ∗ {\displaystyle C^{*}} 應該是什麼?集合 A × B × C ∗ {\displaystyle A\times B\times C^{*}} 的基數是多少?
解答
(a) 集合 A × B × C {\displaystyle A\times B\times C} 由以下給出: A × B × C = { ( egg , steak , tea ) , ( egg , steak , milk ) , ( egg , steak , water ) , ( egg , salmon , tea ) , ( egg , salmon , milk ) , ( egg , salmon , water ) , ( beacon , steak , tea ) , ( beacon , steak , milk ) , ( beacon , steak , water ) , ( beacon , salmon , tea ) , ( beacon , salmon , milk ) , ( beacon , salmon , water ) } {\displaystyle {\begin{aligned}A\times B\times C={\bigg \{}&({\text{egg}},{\text{steak}},{\text{tea}}),({\text{egg}},{\text{steak}},{\text{milk}}),({\text{egg}},{\text{steak}},{\text{water}}),\\&({\text{egg}},{\text{salmon}},{\text{tea}}),({\text{egg}},{\text{salmon}},{\text{milk}}),({\text{egg}},{\text{salmon}},{\text{water}}),\\&({\text{beacon}},{\text{steak}},{\text{tea}}),({\text{beacon}},{\text{steak}},{\text{milk}}),({\text{beacon}},{\text{steak}},{\text{water}}),\\&({\text{beacon}},{\text{salmon}},{\text{tea}}),({\text{beacon}},{\text{salmon}},{\text{milk}}),({\text{beacon}},{\text{salmon}},{\text{water}}){\bigg \}}\end{aligned}}} (b) 集合 C ∗ {\displaystyle C^{*}} 應該是 { milk , water } {\displaystyle \{{\text{milk}},{\text{water}}\}} 。 集合 A × B × C ∗ {\displaystyle A\times B\times C^{*}} 的基數是 2 × 2 × 2 = 8 {\displaystyle 2\times 2\times 2=8} .