离散数学-函数-集合的基数-15

离散数学

函数

集合的基数

集合的等势：

• 整数和奇数是等势的

等势的性质


集合的优势：

自然数集合的定义：

有穷集和无穷集

定义：
(1) 一个集合是有穷的当且仅当它与某个自然数等势；
(2) 如果一个集合不是有穷的, 就称作无穷集.
实例：
(1) {a,b,c}是有穷集, 因为3={0,1,2}, 且{a,b,c}≈{0,1,2}=3
(2) N和R都是无穷集, 因为没有自然数与N和R等势
说明：利用自然数的性质可以证明
• 任何有穷集只与惟一的自然数等势.

集合的基数：
定义：
(1) 对于有穷集合A, 称与A等势的那个惟一的自然数为A的基数, 记作cardA (或|A|)
cardA = n ⇔ A ≈ n
(2) 自然数集合N的基数记作ℵ0, 即
cardN =ℵ0
(3) 实数集R的基数记作ℵ, 即
cardR =ℵ

定义： 设A, B为集合, 则
(1) cardA=cardB ⇔ A≈B
(2) cardA≤cardB ⇔ A≼⋅B
(3) cardA<cardB ⇔ cardA≤cardB∧cardA≠cardB
根据前面关于势的讨论不难得到：
card Z = card Q = card N×N =ℵ0
card P(N) = card 2N = card [a,b] = card (c,d) =ℵ，其中2N = {0,1}N
ℵ0<ℵ
card A<card P(A)
基数的大小：
• 不存在最大的基数. 将已知的基数按从小到大的顺序排列：0, 1, 2, …, n, …, ℵ0, ℵ, …

可数集：
定义： 设A为集合, 若cardA≤ℵ0, 则称A为可数集或可列集.
实例：
{a,b,c}, 5, 整数集Z, 有理数集Q, N×N等都是可数集,
实数集 R不是可数集, 与R等势的集合也不是可数集.
说明：对于任何的可数集, 它的元素都可以排列成一个有序图形. 换句话说, 都可
以找到一个“数遍”集合中全体元素的顺序.
可数集的性质：
• 可数集的任何子集都是可数集.
• 两个可数集的并是可数集.
• 两个可数集的笛卡儿积是可数集.
• 可数个可数集的笛卡儿积仍是可数集.
• 无穷集A的幂集P(A)不是可数集