数学 {集合的基数,基数集,阿列夫数集}

数学 {集合的基数,基数集,阿列夫数集}
@LOC: 2

集合的基数 Cardinality

定义

集合$S$的基数, 表示其元素的个数, 记作$|S|\in 基数集$;

错误

#基数只是对无穷集的大小的一个角度, 两个集合基数相同 并不能表示 他俩的元素个数是相同的; 比如说 $\mathbb{N}⊊\mathbb{Z}$, 这一定是正确的 因为N有的Z也有 而N没有的Z也有, 虽然说 他俩的基数相同#
错误! 在有限集的情况下 确实有$A⊊B$ 则肯定有$|A|<|B|$, 但在无限集 情况会变;

基数$|S|$ 就是反映一个集合的大小 即元素的个数 (不是什么 一种角度) 他就是唯一的标准;
对于无穷集合 判断其基数大小 就是通过双射 而不是判断是否包含, 这一点非常重要 即如果$A\subset B\wedge B\subset A$ 则一定有: 有限集 $|A|=|B|$ (反之不然 比如A={a,b}; B={1,2});
但是对于无限集 这个规则是错误的!

因此 不要用$\subset$ 去判断$|A|$! 集合的基数 他的定义 不是通过$\subset$的 他就是一个独立的性质, 求基数 就通过官方的定义 即$\aleph$;

阿列夫数集 Aleph number

定义

阿列夫数集 ℵ = { ℵ 0 , ℵ 1 , ℵ 2 , . . . } \aleph=\{ \aleph_0 , \aleph_1 , \aleph_2 , ...\} ℵ={ℵ0​,ℵ1​,ℵ2​,...}, 且具有全序关系: ${\aleph }_i<{\aleph }_{i+1}$;

基数为${\aleph }_0$的集合A $⟺$ 存在$A与\mathbb{N}$之间的双射 $⟺$ 集合A可以线性化为一个序列(下标$\mathbb{N}$ 与元素依然是双射);

基数为${\aleph }_1$的集合A $⟺$ 存在$A与\mathbb{R}$之间的双射 ;

错误

#基数为${\aleph }_0$的集合, 如果是全序的 则一定可以写成为一个 单调的序列#
错误! 比如{整数集,有理数集}是全序的 但不能写成像自然数那样[0, 1, 2, ...];
即使你把端点固定住 比如令A集合为[0, 1]之间所有的有理数, 他是全序的 但你依然无法写成为一个单调序列;

性质

MARK: @LOC_1;
#${\aleph }_0^{{\aleph }_0}={\aleph }_0$#
##等价表述##: 从集合的笛卡尔积的角度看$|{\mathbb{N}}^{{\aleph }_0}|=|\mathbb{N}|$, 即: 长度为${\aleph }_0$的序列$[a_0,a_1,...]$ 每个元素$\in \mathbb{N}$, 则: 所有不同的序列个数 有${\aleph }_0$个;
##等价表述##: ${\aleph }_0$个大小为${\aleph }_0$的集合$A_0,A_1,...$, 这些集合的并集$S=A_0\cup A_1\cup ...$ 满足$|S|={\aleph }_0$;

#证明#

令B = A0 U A1 U A2 ..., 将所有Ai集合 按照如下摆放

A00 A01 A02 A03 ... (第1个集合)
A10 A11 A12 A13 ... (第2个集合)
A20 A21 A22 A23 ... (第3个集合)
A30 A31 A32 A33 ... (第4个集合)
.
.
.

构造序列: C = [A00, A01 A10, A02 A11 A20, ...], 此时因为每个元素Aij(不关注这个对象的值! 他是唯一性是由$i,j$下标所确定的) 他在序列里的下标是固定的;
故我们构造出了: {Aij} 与 $N$ 之间的双射, 因此$|Aij|={\aleph }_0$;
上面是用$i,j$ 2个下标来唯一性确定元素, 但是对B集合 他的唯一性判断的是$A$ (即A00可能等于A10), 根据LINK: @LOC_0, 因此$|B|={\aleph }_0$;

@DELI;

#大小为${\aleph }_0$的集合A 的任意无限子集B的大小 也为${\aleph }_0$#
MARK: @LOC_0

首先, 因为是子集 所以一定有$|B|\le |A|$, 而又因为$|B|\notin \mathbb{N}$, 所有 $\le {\aleph }_0$的阿列夫数 只有${\aleph }_0$, 故$|B|={\aleph }_0$;

基数集 Cardinal number

定义

基数集等于 {自然数集, 阿列夫数集}的并集, 且具有全序关系: $\forall x_1\in \mathbb{N},\forall x_2\in \aleph ,(x_1<x_2)$; (自然数集/阿列夫数集, 本身具有全序);

性质