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

有限集基数

(笔记来自 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),接着再看更方便。

相关小说

涧春 连载中
涧春
五香瓜子仁
[已签约]一场让所有人匪夷所思的穿书,沐季珠以为的穿书,其实是夜渊一千两百年来的等待。
15.5万字5个月前
锦年金缘 连载中
锦年金缘
浅和苏
很多年后,众人才知道,那年他们的遇见,早已注定……
0.6万字5个月前
蚊子 连载中
蚊子
巟无
oc一号世界观而已
0.5万字5个月前
我在快穿世界里发疯(不是) 连载中
我在快穿世界里发疯(不是)
有价无市
女主蒋芸,因为一次意外,她来到了这个叫快穿的世界。并且结识了叫瑞瑞的系统。可是,她似乎失去了自己的记忆。于是她大手一摆,竟然来了,那就好好玩......
14.3万字5个月前
为苍生为民国 连载中
为苍生为民国
林允_
听闻民国爱情十有九悲郝家小姐郝敏留洋归来结识谢家少爷谢景淮为了共同的革命事业而奋斗留洋归来小姐×世族少爷“为苍生永不悔”“世淮,已然释怀”
0.1万字3个月前
荆棘本无意 连载中
荆棘本无意
是你喵总
这是荆棘家离开后的故事,莱洛拉受伤被两位老人家救了,却意外害死了这两位老人家。后来,她化名为温溪并认识了阿鹤,结伴与羽逾等人一起去寻找莱洛拉......
2.1万字2个月前