prove of supremum and infimum principle using Cauchy convergence criterium

摘要:
证明:假设阿基米德属性设置的上界数为空,对于任何正整数(α),存在整数,它使(λ{α}α)为S的上界,而(λ)-a,不为S的上限。

prove: suppose S is a non-empty set having upperbound number set
by Archimedes property, for any positive number (alpha),exists a
integer,it makes (lambda_{alpha}alpha) a S's upperbound, while
(lambda) - a ,being not a upperbound to S.
so,
(lambda_{alpha}=k_{alpha}alpha) , a upperbound to S
(lambda_{alpha}-alpha=(k_{alpha}-1)alpha) , not a upperbound to S
set (alpha=frac{1}{n}),n=1,2,3....
so, for each positive n ,exists a corresponding (lambda_{n}),
it makes a upperbound to S, but not (lambda_{n}-frac{1}{n})
they are as belows:
(lambda_{alpha}=k_{alpha}alpha)
(lambda_{alpha}-alpha=(k_{alpha}-1)alpha)
so, there must be a (alpha'in S),with:
(alpha'>lambda_{n}-frac{1}{n})
so,get p(in {1,2,3,....})
(lambda_{p}=k_{p}frac{1}{p})
there must be a (alpha_{p})
(alpha_{p}>lambda_{p}-frac{1}{p})
choose q (in){1,2,3,...},we have:
(lambda_{q}=k_{q}frac{1}{q}) is an upperbound .
so (lambda_{q}>alpha_{p}>lambda_{p}-frac{1}{p})
so (lambda_{p}-lambda_{q}<frac{1}{p})
similarly,we get (lambda_{q}-lambda_{p}<frac{1}{q})
prove of supremum and infimum principle using Cauchy convergence criterium第1张
so,we get |(lambda_{q}-lambda_{p}|<MAX{frac{1}{p},frac{1}{q}})
(forall epsilon>0),we choose N>(frac{1}{epsilon})
then we get (frac{1}{N}<epsilon)
so when p,q >N,then
(frac{1}{p},frac{1}{q}<frac{1}{N}<epsilon)
so |(lambda_{p}-lambda_{q}|<MAX{frac{1}{p},frac{1}{q}}<epsilon)
so , by Cauchy convergence criterium,({lambda_{n}}) converges
set (lim_{n oinfty}lambda_{n}=lambda)
$forall alpha in S,and forall lambda_{n},alpha leqslant lambda_{n}
so ,by 数列极限的保不等式性, (forall alpha in S, alpha <lim_{n o infty}lambda_{n}=lambda)
so, (lambda) is a upperbound to S.
we need to prove :(forall epsilon>0),there exists a (alpha_{n}),with (alpha_{n}>lambda-epsilon)
we know (forall frac{1}{n},)there is a (alpha_{n}>lambda_{n}-frac{1}{n})
if (lambda_{n}-frac{1}{n}>lambda-epsilon)
ie, (lambda-lambda_{n}+frac{1}{n}<epsilon)
we need to have (frac{1}{n}<frac{epsilon}{2}),and (lambda-lambda_{n}<frac{epsilon}{2})
ie: (n>frac{2}{epsilon}),(lambda-lambda_{n}<frac{epsilon}{2})
cause (lim_{n oinfty}lambda_{n}=lambda),
so, (exists)N_{0}(in N^+),when n>(N_{0}),(|lambda-lambda_{n}|<frac{epsilon}{2})
ie,(-frac{epsilon}{2}<lambda-lambda_{n}<frac{epsilon}{2})
so, if n>MAX{(N_{0},frac{2}{epsilon}})
the theorem is proven
likely to prove the infimum

免责声明:文章转载自《prove of supremum and infimum principle using Cauchy convergence criterium》仅用于学习参考。如对内容有疑问,请及时联系本站处理。

上篇prove function f has boundry in [a,b],if f is continuous in [a,b], using finite covering, and compact theorem6 theorems relating to real number's comleteness下篇

宿迁高防,2C2G15M,22元/月;香港BGP,2C5G5M,25元/月 雨云优惠码:MjYwNzM=

相关文章

Kotlin开发 使用lambda实现接口回调

前言 在体验kotlin后,你一定会kotlin实现一些简单的接口回调方法的lambda印象深刻。例如下面的代码: val button = Button(this) button.setOnClickListener { //在此处实现点击逻辑 } 这大大的减少了重复的模板代码。...

工程优化部分概念

矩阵行列式计算 二阶行列式计算 [det left( egin{matrix} a & b \ c & d end{matrix}ight ) = ad - bc ] 三阶行列式计算 [det left ( egin{matrix} a_{11} & a_{12} & a_{13}...

第二章 python基础(二)

第九节 函数 函数就是完成特定功能的一个语句组,这组语句可以作为一个单位使用,并且给它取一个名字。 可以通过函数名在程序的不同地方多次执行(这通常叫做函数调用),却不需要在所有地方都重复编写这些语句。 自定义函数 用户自己编写的 预定义的Python函数 系统自带的一些函数,还有一些和第三方编写的函数,如其他程序员编写的...

10-Python之内置函数

内置函数 我们一起来看看python里的内置函数。什么是内置函数?就是Python给你提供的,拿来直接用的函数,比如print,input等等。截止到python版本3.6.2,现在python一共为我们提供了68个内置函数。它们就是python提供给你直接可以拿来使用的所有函数。这些函数有些我们已经用过了,有些我们还没用到过,还有一些是被...

函数作用域和匿名函数

'''作用域 作用域在定义函数时就已经固定住了,不会随着调用位置的改变而改变 ''' deftest1():   print('in the test1') deftest2():   print('in the test2')   returntest1 res =test2() print(res()) name = 'alex' de...

委托与lambda关系

什么是委托委托是没有方法体的,声明委托就是一个关键字: delegate ,委托可以试有参无参,有返回值无返回值。和我们的方法是一样的。不同的区别是 委托没有方法体的,委托可放在类下也可以放在类的外面和类同等级。委托可以说是一个类型。 委托的声明: //声明委托: public delegate int Parameter(intPara...