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

连续统基数 (2-1)

自然数集基数

定义自然数集基数:|N|=ℵ₀。

(κ<ℵ₀ ⇔ κ ∈ N)

自然数集基数运算

加法运算: ℵ₀+ℵ₀=ℵ₀

证明:令集合

A={αₙ|n ∈ N} B={bₙ|n ∈ N},

A≈B≈N ⇒ |A|=|B|=ℵ₀ 。构建序列

c₂ₖ=αₖ

(cₙ)∞ₙ₌₀={ 则

c₂ₖ₊₁=bₖ

A∪B={cₙ|n ∈ N} ⇒ |A+B|=ℵ₀+ℵ₀=|C|=ℵ₀,得证。

推论:n+ℵ₀=ℵ₀

证明:由

n>0 ⇒ ℵ₀ ≤ n+ℵ₀ ≤ ℵ₀+ℵ₀=ℵ₀ ⇒ n+ℵ₀=ℵ₀ 。

乘法运算: ℵ₀ · ℵ₀=ℵ₀

证明:构建双射函数f:N² → N,

(m,n) (m+n+1)

f(m,n)=─────────+m。

2

详细证明参见:

推论:n · ℵ₀=ℵ₀

证明:

n ≥ 1 ⇒ ℵ₀ ≤ n · ℵ₀ ≤ ℵ₀ · ℵ₀=ℵ₀ ⇒ n · ℵ₀=ℵ₀ 。

幂运算: (ℵ₀)ⁿ=ℵ₀(乘法运算的推论)

连续统基数

(我们称实数集R 为连续统 Continuum)

定理

|R|=|P(N)|=|2ᴺ|。证明

1. 对 N 的子集构建 N → {0,1} 特征函数

0 n∈S

χₛ, ∀S ⊆ N χₛ(n)={ ,

1 n∉S

特征函数形成 P(N) 与 {0,1}ᴺ 的一一映射,因此 |P(N)|=|2ᴺ|。

2. 通过 Dedekind Cut 定义实数为有理数集的分割 r=(A,B) A,B∈Q,R 到 P(Q) 形成单射函数 ⇒ |R| ≤ |P(Q)|=|P(N)|=|2ᴺ|。(此处 Q 为可数集,与 N 等势,因此幂集基数相等)

3. 实数作为无限不循环小数可表示为仅包含 0,1 无限数列 (αₙ)∞ₙ₌₀ 形式,即 0.α₀α₁α₂α₃ . . . .(αᵢ=0 1) ,形成 2ᴺ 到 R 的单射映射 ⇒|2ᴺ| ≤ |R| .

综合2,3,根据

Cαntor — Bernstein — Schroeder Theorem(定理相关笔记详见下方) |2ᴺ|=|R|,综合1,2,3,|P(N)|=|2ᴺ|=|R| 。

运算性质

(a)

n+2ℵ⁰=ℵ₀+2ℵ⁰=2ℵ⁰+2ℵ⁰=2ℵ⁰(n∈N)

证明:

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

元良续章 连载中
元良续章
南缘十四
一次意外,让两个世界相撞,我们成了彼此不可或缺的拼图。我们的相遇,点亮了彼此的夜空。
1.9万字8个月前
柏林小雾 连载中
柏林小雾
187***957_9220581107
理科生女主穿越到古代的一系列奇葩事件
0.2万字8个月前
快穿:宿主她总不按剧本走 连载中
快穿:宿主她总不按剧本走
涵叁叁
柳茶茶是个绿茶,也是个绝症患者,在仅剩的时间里,她仅凭一张嘴霍霍了无数男男女女,最后觉的没意思,亲手拔了氧气……系统绵绵在绑定宿主的路上被柳......
31.4万字8个月前
天宝伏妖录:待龙重归 连载中
天宝伏妖录:待龙重归
花缘_207542262
她是灵神转世,九初化身,玉龙一族唯一的后裔,族人被灭后,天雷麒麟一族开始收养她,但也被灭族,从天青霖献祭开始,她就有了两个兽体,在外漂泊时意......
0.5万字8个月前
攻略男主我最行 连载中
攻略男主我最行
池尘
这个系统有点撩啊~
6.6万字8个月前
以你为由,冠你之名,一莘一逸 连载中
以你为由,冠你之名,一莘一逸
枳笙
该同人题材来自于漫画《甜美的咬痕》,漫画作者:伊凯&锐思两位大大。讲述一位不可一世的血族王子,恋上看似卑微,却不容小觑的血仆少女。这是一场人......
5.4万字8个月前