有限覆盖定理证明其他实数完备性定理是什么_哥德尔不完备定理证明过程

有限覆盖定理证明其他实数完备性定理是什么_哥德尔不完备定理证明过程1、有限覆盖定理证明确界原理证明:设SSS为非空有上界的数集,我们证明SSS有上确界不妨设SSS没有最大值,设bbb为SSS的一个上界,下面用反证法来证明supS=ξsupS=\xisupS=

有限覆盖定理证明其他实数完备性定理是什么_哥德尔不完备定理证明过程

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 aS对任一 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 xS,因 S S S中没有最大值,所以至少存在一点 x ′ ∈ S x’\in S xS,使 x ′ < x x'< x x<x,这时取 δ = x ′ − x \delta=x^{\prime}-x δ=xx

2 ) 2) 2) x ∉ S {x}\notin S x/S x {x} x不是 S S S的上界,同样存在 x ′ ∈ S {x}^{\prime}\in{S} xS,使 x < x ′ {x}< {x}^{\prime} x<x,这时取 δ = x − x ′ \delta={x}-{x}^{\prime} δ=xx

3 ) 3) 3) x ∈ S {x}\in{S} xS,且 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

(0)
编程小号编程小号

相关推荐

发表回复

您的电子邮箱地址不会被公开。 必填项已用 * 标注