1、有限覆盖定理证明确界原理
证明:
设 S S S为非空有上界的数集,我们证明 S S S有上确界
不妨设 S S S没有最大值,设 b b b为 S S S的一个上界,下面用反证法来证明 s u p S = ξ supS=\xi supS=ξ存在
假设 s u p S supS supS不存在,取 a ∈ S a\in S a∈S对任一 x ∈ [ a , b ] {x}\in [a,b] x∈[a,b],依下述方法确定一个相应的邻域
U x = ( x − δ , x + δ ) U_{x}=(x-\delta,x+\delta) Ux=(x−δ,x+δ)
1 ) 1) 1)若 x ∈ S x\in S x∈S,因 S S S中没有最大值,所以至少存在一点 x ′ ∈ S x’\in S x′∈S,使 x ′ < x x'< x x′<x,这时取 δ = x ′ − x \delta=x^{\prime}-x δ=x′−x
2 ) 2) 2)若 x ∉ S {x}\notin S x∈/S且 x {x} x不是 S S S的上界,同样存在 x ′ ∈ S {x}^{\prime}\in{S} x′∈S,使 x < x ′ {x}< {x}^{\prime} x<x′,这时取 δ = x − x ′ \delta={x}-{x}^{\prime} δ=x−x′
3 ) 3) 3)若 x ∈ S {x}\in{S} x∈S,且 x {x} x是 S S S的上界,因 s u p S supS supS存在,故有 δ > 0 \delta> 0 δ>0,使得 U x = ( x − δ , x + δ ) {U}_{
{x}}=({x}-\delta,{x}+\delta) Ux=(x−δ,x+δ)中的点都是 S S S的上界.
于是我们得到了 [ a , b ] [a,b] [a,b]的一个开覆盖:
H = { U x = ( x − δ , x + δ ) ∣ x ∈ [ a , b ] } {H}=\left\{
{U}_{
{x}}=({x}-\delta,{x}+\delta)\mid{x}\in[{a},{b}]\right\} H={
Ux=(x−δ,x+δ)∣x∈[a,b]}
根据有限覆盖定理, H H H有有限子覆盖:
H ~ = { U n k = ( x k − δ x k , x k + δ x k ) ∣ k = 1 , 2 , ⋯ , n } \widetilde{
{H}}=\left\{
{U}_{nk}=\left({x}_{k}-\delta_{x_k},{x}_{k}+\delta_{x_k}\right)\mid{k}=1,2,\cdots,n\right\} H
={
Unk=(xk−δxk,xk+δxk)∣k=1,2,⋯,n}
将 U x U_x Ux分成两类,若 U x U_x Ux是 3 ) 3) 3)中所确定的开区间,我们把 U x U_x Ux称为是第二类的,否则称为是第一类的,显然 a a a所属的邻域 U x i U_{xi} Uxi是第一类的, b b b所属的邻域 U x i U_{xi} Uxi是第二类的,所以至少有一个第一类邻域与某个第二类邻域相交,这是不可能的.
2、有限覆盖定理证明单调有界定理
单调有界定理即单调有界数列必有极限
证:
不妨设数列 { x n } \{x_n\} {
xn}单调递增有上界 M M M,且若 { x n } \{x_n\} {
xn}中有最大值,则易知 { x n } \{x_n\} {
xn}收敛于某常数,从而定理得证,一下假设 { x n } \{x_n\} {
xn}中没有最大值,我们用反证法来证明
( 1 ) (1) (1)设 { x n } \{x_n\} {
xn}没有极限。对任意取定自然数 n 0 n_0 n0有 x n 0 < M x_{n_0}< M xn0<M,下面作闭区间 [ x n 0 , M ] \left[x_{n_{0}},{M}\right] [xn0,M]的对应开覆盖 H H H.设 x ∈ [ x n 0 , M ] x\in\left[x_{n_{0}},{M}\right] x∈[xn0,M]
1 ) 1) 1)若 x = x n ′ x=x_n’ x=xn′( n ′ n’ n′是自然数)。因为 { x n } \{x_n\} {
xn}中没有最大值,说以至少存在某个自然数 n ′ ′ n” n′′,使得 x n ′ ≤ x n ′ ′ x_{n^{\prime}}\leq x_{n^{\prime\prime}} xn′≤<
今天的文章有限覆盖定理证明其他实数完备性定理是什么_哥德尔不完备定理证明过程分享到此就结束了,感谢您的阅读。
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。
如需转载请保留出处:https://bianchenghao.cn/77280.html