ebooksgratis.com

See also ebooksgratis.com: no banners, no cookies, totally FREE.

CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
波爾查諾-魏爾施特拉斯定理 - Wikipedia

波爾查諾-魏爾施特拉斯定理

维基百科,自由的百科全书

實分析中,波爾查諾-魏爾施特拉斯定理是用以刻劃 \mathbb{R}^n 中的緊集的基本定理。此定理得名於數學家伯納德·波爾查諾與卡爾·魏爾施特拉斯,其陳述如下:

定理. \mathbb{R}^n 中的一個子集 E 是序列緊緻(每個序列都有收斂子序列)的充要條件是:E 是有界閉集。

目录

[编辑] 历史

这个定理最早由伯纳德·波尔扎诺证明,但是他的证明已经散失。卡尔·魏尔施特拉斯独自发现并证明了这个定理。波尔扎诺-魏尔施特拉斯定理是实分析中的基本定理。

[编辑] 相关概念

一个集合序列紧致,是指每个由集合中元素所组成的数列都包含收敛的子列,并且该子列收敛到集合中的元素。

[编辑] 证明

由于序列紧致的集合必然是有界闭集,定理的关键是在证明\mathbb{R}^n的有界闭集必然序列紧致。

引理:有界的实数列必然包含单调的子列。
  • 引理的证明:我们来构造这个子列设有实数列(a_n)_{n \ge 0} \in \mathbb{R},定义集合
X = \left\{ a_k \ | \ \forall n \ge k , \ a_k \ge a_n \right\}

集合中的每个元素,都比其后的所有元素都大。

如果X中有无限个元素,在其中取下标递增的一个数列,那么这个数列是(a_n)_{n \ge 0}的子列,并且单调递减,构造完毕。

如果X中元素个数有限,那么如果设N为其中最大的下标,对任意n \ge Nan,它之后至少会有一个元素大于它。于是取k0 = N + 1\scriptstyle k_1 > k_0为第一个大于a_{k_0}的元素的下标,\scriptstyle k_2 > k_1为第一个大于a_{k_1}的元素的下标,依此类推,就可以得到(a_n)_{n \ge 0}的一个子列,它是单调递增的,构造完毕。

综上可得,有界的实数列必然包含单调的子列。

  • 定理的证明:

先考虑n = 1的情况。对于一个有界闭集中的实数列,取它的一个单调子列。不妨设这个子列单调递增,由于数列有上界,这个子列必然收敛。又因为集合是闭集,收敛的极限必然在集合中,于是我们找到了收敛的子列,因此集合是序列紧致的。

对于n \ge 2,证明的思路是取多次子列。

(a_k)_{k \ge 0} = (a_{1k} , a_{2k} , \cdots , a_{nk})_{k \ge 0} \in \mathbb{R}^n为一个有界序列,则n个实数列(a_{ik})_{k \ge 0} , 1 \le i \le  n都是有界数列。于是存在(a_k)_{k \ge 0}的子列(a_{\phi_1 ( k)})_{k \ge 0}使得(a_{1 \phi_1 (k)})_{k \ge 0}收敛。但是(a_{\phi_1 ( k)})_{k \ge 0}仍是有界数列,因而存在子列(a_{\phi_2 (\phi_1 ( k))})_{k \ge 0}使得(a_{2 \phi_2 (\phi_1 (k))})_{k \ge 0}也收敛(注意这里(a_{1 \phi_2 (\phi_1 (k))})_{k \ge 0}必然是收敛的)。在进行类似的n次操作后,我们就可以得到一个子列,使得\forall 1 \le i \le n, \ (a_{i \phi_n ( \cdots \phi_2 (\phi_1 (k)) \cdots  )})_{k \ge 0}都收敛,也就是说存在子列 \ (a_{\phi_n ( \cdots \phi_2 (\phi_1 (k)) \cdots )})_{k \ge 0}收敛。由于集合是闭集,收敛的极限必然在集合中,因此集合是序列紧致的,证毕。

[编辑] 文獻

  • Fitzpatrick, Patrick M. (2006) Advanced Calculus (2nd ed.). Belmont, CA: Thompson Brooks/Cole. ISBN 0-534-37603-7.


aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -