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

连续统基数 (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),接着再看更方便。

相关小说

易明日 连载中
易明日
香酥炸鸡排
双男主+双强设定+兽人+异能力唐明渊,不择手段努力向上爬;陆之易,生于高塔里却向往塔顶。“我们都渴望爱,也仅仅是渴望而已。”他们彼此心知肚明......
0.9万字5个月前
异与能 连载中
异与能
异眼定人
唐海从小就认为朋友家人必是一生的依靠,但在世界自定义分层后,世界变化,万物互联,每个人丑陋的一面渐渐浮出水面,而他必将用自己的眼睛看清这个世......
0.8万字5个月前
惊悚游戏,亦正亦邪双生子 连载中
惊悚游戏,亦正亦邪双生子
鸘s
0.4万字4个月前
顾倾城的三千世界 连载中
顾倾城的三千世界
婧婧的美妙(¯﹃¯)口水
顾倾城这一生太短暂了,也太普通了。不过老天爷还挺喜欢她,让她绑定了个系统。于是这三千世界,她都要来转一转了。
39.9万字4个月前
落雪卿言 连载中
落雪卿言
司慕芸
“我的世界下了一场大雪,连同她的体温,也一起带走了。”
7.5万字4个月前
幻家少女1:逆天傲世 连载中
幻家少女1:逆天傲世
画流水
世间强者千千万,唯独她像开了挂。白莲花?绿茶婊?不好意思,她还没那个兴趣去浪费自己的精力。但是要是碰了他,不好意思,她的人可没人能动。圣兽很......
10.2万字4个月前