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

Kronecher定理

1.若θ ∈ ℝ – ℚ,α ∈ [0,1), 则 ∀ϵ>0,∃n ∈ ℤ,s.t│<ϵ.

引理:

∀x,y ∈ ℝ,0 ≤ α {x}+b{y}<1 ⇒ α{x}+b{y}={αx+by}.

引理证明:

x=[x]+(x),y=[y]+{y} ⇒ αx+by=(α[x]+b[y])+(α{x}+b{y})

因为(α[x]+b[y]) ∈ ℤ,且 0 ≤ (α{x}+b{y})<1,所以 α{x}+b{y}={αx+by}.

证明:对于序列{{kθ}}⁺∞ ₖ₌₋∞ ,断言 ∀k₁,k₂ ∈ ℤ,k₁ ≠ k₂,{k₁θ} ≠ {k₂θ} .

否则反设{k₁θ}={k₂θ} ,则 k₁θ – k₂θ=k ∈ ℤ

k

⇒ θ = ─── ∈ ℚ.

k₁ – k₂

矛盾,故

∀k₁,k₂ ∈ ℤ,k₁ ≠ k₂,{k₁θ} ≠ {k₂θ}.

1 1 2

[0,1)=[0,─ )∪[ ─,─ )∪ · · · ∪[0,1)

n n n

因为{{kθ}}ⁿ⁺¹ₖ₌₁ 中各项两两不相等,所以由抽屉原理可以得 ∃n₁,n₂ ∈ {1,2,· · ·,n+1}

1

,n₁ ≠ n₂,s.t.丨{n₁θ} – {n₂θ}<─.

n

令 d=|{n₁θ} – {n₂θ}|,则 ∀ϵ>0

1 1

,∃N=mαx{[─],[───]} ∈ ℕ,

2ϵ 2(1 – α)

[公式]

1

|l|{n₁θ} – {n₂θ} | – α|<─ ⇒ l|{n₁θ} – {n₂θ}

2n

1

│<─+α<1.

2n

i.当l=0 时: |α|<ϵ.

∀ϵ>0,∃0 ∈ ℤ,s.t|{0θ} – α|<ϵ.

ii.当l ≠ 0 时:由引理可得

{{l(n₁ – n₂)θ},{n₁θ}>{n₂θ},

l|{n₁θ} – {n₂θ}│= :={lmθ}.

{l(n₂ – n₁)θ},{n₂θ}>{n₁θ}.

|{lmθ} – α|<ϵ,lm ∈ ℤ.

命题1成立.

2.Kronecher定理:若θ ∈ ℝ – Q,α ∈[0,1), 则∀ϵ>0,∃n ∈ ℕ,s.t. | {nθ} – α|<ϵ.

证明:若∀ϵ>0,∃n₁ ∈ ℤ – ℕ⁺ ∨ ℕ,s.t. |{n₁θ} – α|<ϵ.

|{n₁θ} – α|<ϵ ⇔ |{n₁θ} – α|<ϵ ⇔

│– {–n₁θ}+1 – α|<ϵ ⇔ |{–n₁θ} – (1 – α)|<ϵ.

由于 α 是区间 [0,1] 上的任意一个实数,所以 1 – α 也是区间 [0,1] 上的任意一个实数,所以 ∀ϵ>0,∃n₁ ∈ ℕ,s.t. | {n₁θ} – α|<ϵ. ⇔ ∀ϵ>0,∃n₁ ∈ ℤ – ℕ⁺,s.t.|{n₁θ} – α|<ϵ.

两个命题同时成立或同时不成立,命题1的成立保证了上述两个命题成立,证毕。

推论:1.若θ ∈ ℝ – ℚ,则{{kθ}}⁺∞ₖ₌₁ 在 [0,1)上是稠密的。

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

相关小说

清冷钓系美人每天都在修罗场 连载中
清冷钓系美人每天都在修罗场
栖行止
谢笺屿长发窄腰,拥有一双纯净澈透的冰蓝色凤眸,浑身散发的清冷圣洁气息,让他稳坐s市首校磬华大学高岭之花的宝座美人清净自持,端方矜贵,走到哪里......
110.6万字9个月前
全民领主:来自东方的公主殿下 连载中
全民领主:来自东方的公主殿下
雪雪宝儿
无尽大陆,实力为尊。她本是一个普通的女孩儿,却不小心穿越到这神秘的蓝星,进行万族争霸。幸好幸好,有地球妈妈和祖国妈妈给不幸走丢的小姑娘加bu......
0.8万字8个月前
师妹修仙:笑闹青云间 连载中
师妹修仙:笑闹青云间
南山竹海^
本以为修仙之路严肃艰辛,可谁能想到竟有这么一位沙雕师妹,将整个修仙界搅得欢笑不断!看她如何在青云间摸爬滚打,凭借自己的无厘头和独特魅力,闯出......
2.2万字6个月前
穿成反派大小姐后我躺赢了 连载中
穿成反派大小姐后我躺赢了
空花亦落果
常年排行垫底的系统菁菁被前辈扔到了反派大师姐身边,任务竞是阻止她崩坏位面!!菁菁欲死无泪,战战兢兢的跟着这个暴躁大师姐走过一个又一个位面。本......
1.7万字6个月前
星际玫瑰:雄性们纷纷拜倒 连载中
星际玫瑰:雄性们纷纷拜倒
苝辞
身处雌性稀少的星际兽人世界,卢悦表面上人畜无害,实则阴险算计。她扮猪吃老虎,利用自己海马一族能让雄性生育的能力,周旋于多位男主之间,在星际爆......
27.8万字5个月前
喜灰之梦中游 连载中
喜灰之梦中游
羊圈丸子
第一次写,不喜勿喷一切虚无,又似真实从镜映出的怪物,似真似假怪物是我,我亦是怪物面具之下真的是我吗?
1.4万字5天前