有理數的戴德金分割

2021-09-29 06:41:37 字數 983 閱讀 8154

定義: 將實數集r

rr分為兩個子集s

ss和t

tt,他們滿足:

s ≠∅

s\neq \varnothing

s​=∅,t≠∅

t \neq \varnothing

t​=∅;

r =s

∪t

r=s\cup t

r=s∪t;

∀ x∈

s,∀y

∈t

\forall x \in s,\forall y \in t

∀x∈s,∀

y∈t,總有x

x<

y(稱s

ss為左集,t

tt為右集)。

則稱為實數集r

rr的乙個「戴德金分割」,記做(s,

t)

(s,t)

(s,t)

對於實數集r

rr的任何乙個戴德金分割(a,

b)

(a,b)

(a,b

),這時或者上集b

bb有最小值,或者下集a

aa有最大值,這個值被稱為中介點。

設c

cc為正整數,且不為整數的平方。

a

=a=\

a=b

=b=\

b=這時a

aa和b

bb就是有理數集上的乙個戴德金分割。

可以證明,a

aa無最大數,b

bb無最小數,所以有理數集上的戴德金分割不一定有中介數。

在上面的有理數分割中,引入無理數,就可以建立實數集r

rr。也就是說在有理數集中進行戴德金分割,能夠產生新的數。

而在實數集中進行戴德金分割,則不能產生新的數。

所以可以說戴德金定理和實數模型中的完備性公里是等同的。

有理數類的設計

package rational public class rational public long getnumerator public long getdenominator public rational add rational r2 public rational subtract ra...

有理數的相關問題總結

本題要求編寫程式,計算兩個有理數的和。輸入格式 輸入在一行中按照a1 b1 a2 b2的格式給出兩個分數形式的有理數,其中分子和分母全是整形範圍內的正整數。輸出格式 在一行中按照a b的格式輸出兩個有理數的和。注意必須是該有理數的最簡分數形式,若分母為1,則只輸出分子。輸入樣例1 1 3 1 6 輸...

會心 1 笑 有理數的乘除

折磨,無盡的折磨 計算,無邊的計算 相信很多小夥伴在加減法的練習中已經被折磨的不 樣了 but生活不止眼前的加減 還有遠方的乘除 今天,我們就來到有理數乘除法環節 什麼叫乘法啊 戰術後仰 舉個例子 我們小學學過 3 3 3 3 3 3 3 3等於啥呢?乙個乙個算那必然是有點噁心人 於是我們發明了乘法...