戴德金分划对于实数强稠密性证明的问题来自书:微积分学教程-- 菲赫金哥尔茨命题如下:对于不论怎样的两个实数α及β,其中α>β,恒有一个位于他们中间的有理数r:α>r>β(这种有理数有无

来源:学生作业帮助网 编辑:作业帮 时间:2024/09/09 07:58:05
戴德金分划对于实数强稠密性证明的问题来自书:微积分学教程-- 菲赫金哥尔茨命题如下:对于不论怎样的两个实数α及β,其中α>β,恒有一个位于他们中间的有理数r:α>r>β(这种有理数有无
xSRAvѲR.fee*U^CxG *Qao_iML*Uu=sϽq;'Y->}6ȁ~Km D FG+9qsʺs^v/FG0EÐ%/fZ~ChgP#.?0+-Yn#fem}#9^Cqf՘uSi@Y-jwIYDqV NX{ d` aCzE|r5f'+g ;y\{jG{YR\J5/Lvj0C2+vY*V Nk4.x Q+5ĄCpL^1 )/g;,H;m-`<FўD>^vグqB;.evfrMghlj ur[]~mdo( C˪̆C.ȶ 5 kky\%ҎM,}UhwPOOM2/avq+;V[$lMaRݥM Qs%rcZݼCᑡr^}u[ܨ9hY>UhCHp&{!퍭

戴德金分划对于实数强稠密性证明的问题来自书:微积分学教程-- 菲赫金哥尔茨命题如下:对于不论怎样的两个实数α及β,其中α>β,恒有一个位于他们中间的有理数r:α>r>β(这种有理数有无
戴德金分划对于实数强稠密性证明的问题
来自书:微积分学教程-- 菲赫金哥尔茨
命题如下:对于不论怎样的两个实数α及β,其中α>β,恒有一个位于他们中间的有理数r:α>r>β(这种有理数有无穷个)
证明如下:因α>β,故确定数α的分划的下组A整个包含确定β的下组B,且不与B重合,因此在A内必有有理数r,它不包含在B内,于是必属于B'.
我的困惑是,A内必有实数不包含在B内比较好理解,但如何证明A内必有有理数r不包含在B内,特别是两个分划α和β都是无理数的时候,如何证明两个无理数之间必至少有一个有理数呢?

戴德金分划对于实数强稠密性证明的问题来自书:微积分学教程-- 菲赫金哥尔茨命题如下:对于不论怎样的两个实数α及β,其中α>β,恒有一个位于他们中间的有理数r:α>r>β(这种有理数有无
证明:任意两个无理数之间必有一个有理数
证明:设α,β∈R,且α1,即β-α>(1/N) 任意取定有理数γ0,α-γ>0,故由阿基米德性,存在自然数m,使得γ+(m/N)>α.可见,数列{γ+(m/N)}中总有一项大于α.设 γ+(n(0)/N) 为此数列第一个大于α的项,于是γ+(n(0)-1)/n ≤ α,故 γ+(n(0)/N)-β≤α-(n(0)-1)/N+(n(0)/N)-β =a+(1/N)-β