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

Dedekind分割及Dedekind定理 (2-1)

戴德金原理

目录

Dedekind分割 ▹

分割 ▹

Dedekind分割 ▹

Dedekind定理 ▹

定理内容 ▹

定理证明 ▹

参考资料 ▹

电子资源 ▹

Dedekind分割

分割

分割定义:对于数域 K ,存在两个集合 A,B 满足:

• A,B ≠ ф

• A∪B=K

• A∩B=ф

则称A,B为数域K 上的一个分割,记为 {A,B}

Dedekind分割

当A,B 满足分割的定义时,若同时还满足:

• 集合 A "向下封闭连续",即:对于任意 ∀x ∈ A ,∀y<x,都有 y ∈ A。且A“连续”如 [1,2)∪[3,4] 不符合要求; [1,8] 满足条件;

• 集合 A 中"无最大元素",即:对 ∀x ∈ A,∃y ∈ A,s.t. x<y .

则称{A,B} 为数域 K 的一个Dedekind分割,记为 A|B ,其中集合 A 称为该分割的下集, B 为上集。

例题:证明 √2 是无理数。

证明,在有理数域Q 上构造两集合 A,B ,其中 A={x|x<√2,x ∈ Q},B={x|x ≥ √2,x ∈ Q}

其中A,B 满足:

• A,B ≠ ф

• A∪B=Q

• A∩B=ф

• ∀x ∈ A,∀y<x<√2,故 y ∈ A。且A“连续”

• 对∀x ∈ A,∃y ∈ A,s.t. x<y (*)

故A|B 为 Q 的一个Dedekind分割A|B 。

2p+2

任取p>0,p ∈ Q,q=───

p+2

.下证 √2 即不在集合 A 中,又不在集合 B 中:

2 – p²

由于q – p=───,

p+2

2(p² – 2)

q² – 2=───

(p+2)²

2 – p²

1. 若 p ∈ A ,则 q – p=───>0

p+2

2(p² – 2)

,即 p>q 。又 q² – 2=───<0

(p+2)²

,故 q ∈ A ,故 A 无最大元素

2 – p²

2. 若 p ∈ B ,则 q – p=───<0

p+2

2(p² – 2)

,即 p>q 。又 q² – 2=───>0

(p+2)²

,故 q ∈ B ,故 B 无最小元素

由以上构造可知,A 无最大元素,B 无最小元素,所以 √2 ∉ A,√2 ∉ B,则 √2 ∉ A∪B=Q,

所以√2 是无理数。

现说明 * 成立:

将x 和 √2 写成十进制小数:

x=x₀.x₁x₂x₃ . . . xₙ000...(设x有n位小数,后面都是0)

√2=y₀,y₁y₂y₃ . . . yₙ...

将他们对应的项逐一比对。

x₀+y₀

若x₀ ≠ y₀,取 y=───

2

若x₀=y₀ ,设小数点后前 k 项相等,第 k+1 项不等,则取 xₖ₊₁ 和 yₖ₊₁ ,令

xₖ₊₁+yₖ₊₁

c=────

2

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

相关小说

洪荒封神:天尊,谈个恋爱呗 连载中
洪荒封神:天尊,谈个恋爱呗
神谕m
洪荒传说,元始天尊小心眼,精于算计,心狠手辣,连亲兄弟都不放过。凛谕和元始天尊成了邻居,一次意外压倒了他,从此被缠上,再也无法脱身。元始天尊......
66.5万字1年前
待我复活 连载中
待我复活
Aurora_406
(开学了,更新慢,请各位读者谅解)在校园组织得一次郊游里,叶云汐和反派沈阳首次交手,双方都暴露了变种人的身份。沈阳为了老板的研究,不顾一切代......
2.0万字1年前
发风格外不一样啊 连载中
发风格外不一样啊
江南未离
写的是,女主闯荡娱乐圈
0.8万字1年前
奥特之父和奥特之母的恋爱 连载中
奥特之父和奥特之母的恋爱
巧丝家的美丽的蚊子小天使公主孙胜男小星星
你别过来,你别过来。dy——奥特之母你的安粉点,今天晚上是我们的床上晚宴。dy——奥特之父不要过来,不要过来。dy——奥特之母嘿嘿嘿!dy—......
0.5万字1年前
成功的卧底 连载中
成功的卧底
微风轻云淡
南景夜因为处分降职暂时调到亚兰斯特监狱任职,在翻看犯人资料时意外发现,当年害死家人的一次恐怖袭击中,木简就是当年抓到的恐怖分子之一,但又由于......
1.3万字1年前
隐世华族:隐世归来 连载中
隐世华族:隐世归来
曦月襄陵
隐世华族同人:一个蛇鸟两族都不知道的从小被藏起来的特殊孩子。那么,当蛇族与鸟族知道了会怎么样呢?敬请期待!
0.3万字1年前