亲爱的网友们，相信很多人对哪位朋友知道区间套定理是什么谢谢和区间套定理的内容是什么都不是特别了解，因此今天我来为大家分享一些关于哪位朋友知道区间套定理是什么谢谢和区间套定理的内容是什么的知识，希望能够帮助大家解决这些问题。
本文目录一览
哪位朋友知道区间套定理是什么？谢谢！
你是否要的这个？区间套定理
ZT
下面给出一个有关区间套的定理。
记得我们曾经用有理区间套来定义实数，那种方式直观但不尽完美。现在很高兴可以在我们新的实数理论中，证明与区间套有关的结论。我们将看到，这个区间套定理只是确界定理的一个应用而已。
[定理]
区间套定理
设{[An,
Bn]
|
n=1,2,…}是一串闭区间，且满足条件[An,
Bn]Ê[An+1,
Bn+1]
(n=1,2,…)，则
∩[An,
Bn]
¹Æ
(n=1,2,…)
证明：由假设对每个自然数n，都有[An,
Bn]Ê[An+1,
Bn+1]，所以当自然数n£m时，有[An,
Bn]
Ê[Am,
Bm]，即有An
£
Am
£
Bm
£
Bn。由此就有An£Bm和Am£Bn。因此，不等式An£Bm对于任意的自然数都成立。于是A={A1,A2,…,An,…}是有上界的，因为每个Bm都是它的上界。根据上确界定理，A有上确界X0。因此对每个自然数n，由AnÎA，有An£X0。又因为对于每个自然数n，Bn都是A的上界，因此X0£Bn。所以对于每个自然数n，都有An£X0£Bn，即X0Î[An,
Bn]，故X0Î∩[An,
Bn]，从而有
∩[An,
Bn]¹Æ。证毕。
顺便指出，上述定理并不要求对于每个闭区间[An,
Bn]，有Bn>An。只要求Bn³An就可以了（当然，如果存在自然数k，使得Bk=Ak
(=X0)，那么此后所有的区间都只包含一个实数，且∩[An,
Bn]={X0}）。另外，若上面的区间套数量是有限的，显然定理也是成立的。
这个区间套定理也让我们产生这样一个问题：在什么情况下，∩[An,
Bn]只包含一个实数？根据以前的经验，我们可能这样猜想：若区间[An,
Bn]的“长度”趋向于零，那么∩[An,
Bn]将包含唯一的实数。但是，我们这个实数理论中，目前还尚无“距离”的概念。因此我们要另外考虑。在上面定理的证明过程中我们看到，A有上确界X0。与此类似，设B={B1,B2,…,Bn,…}，那么B有下确界Y0。我们可能已经想到了，∩[An,
Bn]包含唯一实数的充分必要条件是X0=Y0。下面给出证明。
[命题]
设{[An,
Bn]
|
n=1,2,…}是闭区间套，[An,
Bn]Ê[An+1,
Bn+1]
(n=1,2,…)。
另设A={A1,A2,…,An,…}，有上确界X0；B={B1,B2,…,Bn,…}，有下确界Y0。那么∩[An,
Bn]包含唯一实数的充分必要条件是X0=Y0。
证明：先证必要性。设∩[An,
Bn]包含唯一的实数，那么根据区间套定理的证明，A={A1,A2,…,An,…}的上确界X0Î∩[An,
Bn]。同理可证Y0Î∩[An,
Bn]。但已知∩[An,
Bn]只包含一个实数，因此X0=Y0。
再证充分性。因为”XÎ∩[An,
Bn]，有An
£X£
Bn，对于任意的自然数n都成立。因此X是A={A1,A2,…,An,…}的上界。由于X0是A的上确界，所以X0£X。类似地，因为X是B={B1,B2,…,Bn,…}的下界，所以X£
Y0。这样就有X0£X£Y0。但已知X0=Y0，所以满足条件的X只有一个（X=X0=Y0），即∩[An,
Bn]只包含一个实数。证毕。
区间套定理的内容是什么？
先定义什么是区间套：设闭区间列{[an,bn]}具有如下性质：
①[an,bn]包含[an+1,bn+1],n=1,2,...;(其中的意思是[an+1,bn+1]是[an,bn]的子集)
②lim(bn-an)=0(n→∞)，
则称{[an,bn]}为闭区间套，或简称区间套。
下面是区间套定理：
若{[an,bn]}是一个区间套，则在实数R中存在唯一的点ξ，使得ξ∈[an,bn]，n=1,2,...,即an≤ξ≤bn,n=1,2,...
注：这个定理实际上表明了实数的完备性，实数是连续地充满整个数直线而没有间隙，而有理数就不具备这个性质。
总结：以上就是本站针对你的问题搜集整理的答案，希望对你有所帮助。