数学联邦政治世界观
超小超大

有限集基数

(笔记来自 Kαrel 和 Herbert 。)

基数

• 基数表示有限集合中元素个数,并通过比较基数大小来判断有限集合间的大小关系。

• 无限集合的元素无法“数清”但至少可以判断肯定多于任何有限集的元素个数。

• 无限集合间的相等关系无法通过元素个数比较,但可以通过找双射函数来实现。(若存在双射函数,则两集合等势)

【例1】(0,1) 与实数集 R 等势:存在双射函数

1 1

f ── — ─,

1 — x x

满足 (0,1) 的实数跟所有实数之间的一一对应关系。

. .

0 1

【例2】N 与 N² 等势:存在双射函数 f(x)=x²

(上两个例子表明,无限集与其真子集等势。)

有限集基数算律

加法运算: |A|=κ |B|=λ,且A∩B=ф ⇒ κ+λ=|A∪B| (基数加法满足交换律和结合律。)

乘法运算:

|A|=κ |B|=λ ⇒ |A × B|=κ • λ。

(基数加法满足交换律、结合律和分配律)

定理:若集合 |A|=|A'| |B|=|B'|,则 |A × B|=|A' × B'|

证明:集合A 与 A' 等势 ⇒ 存在双射函数 f:A → A',同理,存在双射函数 g:B → B' ,定义函数 h:A × B → A' × B', h(α,b)=(f(α),g(b)) ⇒ h 是 A × B 到 A' × B' 的双射函数,因此 |A × B|=|A' × B'| 。

例题: κ+κ=2 • κ

证明:若|A|=κ,则 2 • κ 相当于 {0,1} × A 的基数。 {0,1} × A=({0} × A)∪({1} × A),且 ({0} × A)与 ({1} × A) 不相交, 丨{0} × A|=|{1} × A|=κ,因此 丨{0,1} × A|=κ+κ=2 • κ 。

推论:若 κ ≥ 2 ,则 κ+κ ≤ κ • κ 。

指数运算:若 |A|=κ ,则 |B|=λ ,则|Aᴮ|=κλ。( Aᴮ:从 B 到 A 的函数; |Aᴮ|=κλ :从 B 到 A 的所有函数的数量)

定理:若集合 |A|=|A'| |B|=|B'| ,则 |Aᴮ|=|A'ᴮ'|

证明: 集合A 与 A' 等势 ⇒ 存在双射函数 f:A → A' ,同理,存在双射函数 g:B → B'。 令 k 代表从 B 到 A 的一个函数,即 k∈Aᴮ ,令函数 H Aᴮ → A'ᴮ',则 H(k)=f • k • g⁻¹, H 为 Aᴮ 到 A'ᴮ' 的双射函数。

k

A ← B

f↓ ↓g

A’ ← B’

H(k)

指数运算性质

• κλ⁺μ=κλ • κμ

• (κλ)μ=κλ•μ

• (κ • λ)μ=κμ • λμ

康托定理: |Ⅹ|<|P(X)|=2|ˣ|

定理:已知集族 S, ∀X∈S ∃集合 Y,满足|Y|>|∪S| 。

利用康托定理证明:令

Y=P(∪S) ⇒ Y>|∪S| ≤ |X|。

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

我嘞个豆啊循环 连载中
我嘞个豆啊循环
云开半雾
以后再说吧反正剧情自我感觉良好哈只是文笔不太好如果有人看可以看见意想不到的反转哈
0.9万字6个月前
重生之顶尖修真者 连载中
重生之顶尖修真者
一夜长雨
重生女x狼狗男甄秋重生到修真世界,在这个过程中与陌桦相遇,二人从互相试探到真心相待,甄秋一边在修真世界努力升级,一边应对各种阴谋诡计,最终成......
1.3万字6个月前
仙恋之蝶心向帝 连载中
仙恋之蝶心向帝
人鱼雪蓝
讲述了蝴蝶仙子蝶幸与天帝之间跨越身份与天规的绝美爱情故事。蝶幸在偶然间邂逅天帝,从此情根深种。然而,他们的爱情却遭到天庭的重重阻挠,王母娘娘......
2.8万字5个月前
异者…… 连载中
异者……
凌琳灬
在这宇宙中有七位神明,分别是水神,草神,掌管地狱的神明,掌管赤焰的神明,掌管公正的神明,还有那诡计之神,数据的神明。在这宇宙还没创造之前,却......
0.7万字5个月前
穿越之我成为了反派 连载中
穿越之我成为了反派
暖栀午后
我靠,怎么回事?我不是小团宠吗?怎么成了反派!成反派也就算了,为什么气运之子这么多?还好,系统出现,反派系统夏绫:宿主真正的反派,应该凶焰滔......
2.9万字3个月前
娇许 连载中
娇许
钥辰
0.9万字3周前