熟悉缠中说禅的股民,对闭区间套定理一定不会陌生。闭区间套定理是实数集上序列收敛的基本定理,它的发现者是天才数学家康托尔(Cantor)。康托尔是现代公理化集合论的奠基者。与许多的天才理论一样,他的集合理论在提出之初,饱受学术界诟病。因为他构造集合的很多方法,需要执行无限步,这很难被保守派的学者们接受。其实,世上从来不缺乏天才科学家的科学理论,可是科学的进展之所以曲折而缓慢,因为有太多太多像高斯这样的保守派的存在。他们为了私欲,打击新人,不愿意接收新的理论,导致科学的进程不进反退。这样的人,即使成就再高,也是无知而无耻的。
闭区间套定理,是定义在实数集上的。但是,它可以很容易推广到一般的 R n \mathbb{R}^n Rn空间。因此,本文介绍的是 R n \mathbb{R}^n Rn上的版本,叫闭集套定理,更为合适一些。
首先需要闭集的一个很重要的性质,这个性质说明了闭集的“闭”的根本意义。
定理 设 C C C是 R n \mathbb{R}^n Rn上的闭集,序列 { x n } ⊆ C \{x_n\}\subseteq C {
xn}⊆C。若 lim x n = x \lim x_n =x limxn=x,则有 x ∈ C x\in C x∈C。
证明 若 x ∉ C x\notin C x∈/C则有 x ∈ e x t ( C ) x\in ext(C) x∈ext(C)。也即存在 ϵ > 0 \epsilon > 0 ϵ>0满足 U ( x , ϵ ) ∩ C = ∅ U(x, \epsilon)\cap C=\emptyset U(x,ϵ)∩C=∅。这说明 ∣ x m − x ∣ > ϵ |x_m-x|>\epsilon ∣x<