下面我们来研究由可数集出发通过加法运算可产生什么样的集合,
定理3
设 A A A 为可数集, B B B 为 有限或可数集,则 A ∪ B A \cup B A∪B 为可数集。
证明
(1)先设 A ∩ B = ∅ . A \cap B = \varnothing . A∩B=∅.
由于可数集总可排成无穷序列,不妨设 A = { a 1 , a 2 , ⋯ } , B = { b 1 , b 2 , ⋯ , b n } A = \left\{ a _ { 1 } , a _ { 2 } , \cdots \right\} , B = \left\{ b _ { 1 } , b _ { 2 } , \cdots , b _ { n } \right\} A={ a1,a2,⋯},B