精华内容
下载资源
问答
  • Compact set,紧集,闭集,开集
    万次阅读 多人点赞
    2018-09-25 10:59:02

    最近,经常接触到 Compact set 这个名词。例如,这几天闹的沸沸扬扬的黎曼猜想,那位老教授放在网上的证明有一行说 compact convex set。我觉得似乎很有必要弄明白这个名词到底什么含义。

    1. 紧集的定义

    若一个集合它不仅是闭集还是有界的,则该集合被称作紧集(compact set)1

    例如:
    区间 ( − ∞ , 2 ] (-\infty, 2] (,2] 不是紧集,因为它下无界。
    区间 ( − 2 , 4 ) (-2, 4) (2,4) 不是紧集,因为它不是闭集。
    区间 [ − 2 , 4 ] [-2, 4] [2,4] 是紧集,因为它既是闭集又有界。

    2. 开集的定义

    对集合中的任意一点,存在该点的一个邻域也全在集合中。
    区间 ( − 1 , 2 ) (-1, 2) (1,2) 是开集

    3. 闭集的定义

    在拓扑空间中,闭集(closed set)是指其补集为开集的集合2
    另一个比较好的理解是:若一个集合包含其所有的界限点,则该集合为闭集。
    例如:
    区间 ( − ∞ , 2 ] (-\infty, 2] (,2] 是闭集(这是一个半区间)。
    区间 ( − 1 , 2 ] (-1, 2] (1,2] 既不是开集,也不是闭集。
    有理数集合 Q Q Q 既不是开集,也不是闭集。


    1. Compact Space 维基百科 ↩︎

    2. Closed Set 维基百科 ↩︎

    更多相关内容
  • 本文研究了紧集值测度的结构特征与扩张,给出如下主要结果:(1)设是上的集代数,则是上的紧凸集值测度的充要条件是在上存在一列一致有界,一致强可加的广义测度{#:n>1)使(A)=co{o(A):n>l}(AEI)且是有限可加的。...
  • 设C是Banach空间X的弱紧凸集,D是X的...利用弱紧凸集中序列的收敛性,证明了C+D也是可逼近集(相应地,逼近弱紧集),这是自反子空间与可逼近子空间的和(满足其和是闭的)仍然是可逼近子空间这一经典结论的推广和局部化.
  • 用闭集定义了推理闭包空间中的紧集并用开覆盖和非标准分析方法刻画了推理闭包空间中的紧集,具体地描述了2个推理闭包空间中的紧集.在此基础上给出了推理闭包空间中一个子集成为紧集的一些充分条件,证明了推理闭包...
  • 分形几何中非空有界集的box维数是应用最广泛的分形维数之一.研究了三类紧集的box维数,给出了它们的box维数的计算公式,从而推出了三个常用紧集的box维数值.
  • 假设X是一个集合, 如果存在一系列X的子集合满足下面的条件,那么每个这样的子集就称为X的一个开,X称为拓扑空间。 空集和X为开; 有限多个开之交为开(无穷多个开的交集未必是开); 任意多个开...

    开集

    度量空间 (metric space) (M,d) 的一个子集 U 是开集,如果给定的任意一个 U 中的点 x,存在一个实数 ε > 0 \varepsilon>0 ε>0 使得任意 M 中的点 y 有 d ( x , y ) < ε d(x,y)<\varepsilon d(x,y)<ε,y 也是属于 U。相当于,U 是开集,如果任意一个 U 中的点的领域也包括在 U。

    Open Set - Wikipedia

    闭集

    解释1:在一个拓扑空间 (topological space),一个集合是闭的 if and only if it coincides with its closure. 相当于,一个集合是闭的当且仅当它包括所有它的 limit points/boundary points.

    解释2:在拓扑空间中,闭集(closed set)是指其补集为开集的集合2。

    例如:
    区间 ( − ∞ , 2 ] (−\infty, 2 ] (,2] 是闭集(这是一个半区间)
    区间 ( − 1 , 2 ] (−1, 2 ] (1,2] 既不是开集,也不是闭集。
    有理数集合 Q 既不是开集,也不是闭集。

    Closed Set - Wikipedia

    紧集

    若一个集合它不仅是闭集还是有界的,则该集合被称作紧集(compact set)

    例如:
    区间 ( − ∞ , 2 ] ( −\infty , 2 ] (,2] 不是紧集,因为它下无界。
    区间 ( − 2 , 4 ) (−2, 4 ) (2,4) 不是紧集,因为它不是闭集。
    区间 [ − 2 , 4 ] [− 2, 4] [2,4] 是紧集,因为它既是闭集又有界。

    紧集-百度百科

    展开全文
  • “ 列 ”是用来描述距离空间中一个子集具有某方面的自身特性。凡是具有 列 特性的子集(集合),由其元素构成的任意无尽点列(元素点构成的序列),皆存在收敛子列(子序列)。此处用“无尽”表示点列中元素数量...

    列紧 ”是用来描述距离空间中一个子集具有某方面的自身特性。凡是具有 列紧 特性的子集(集合),由其元素构成的任意无尽点列(元素点构成的序列),皆存在收敛子列(子序列)。此处用“无尽”表示点列中元素数量的无穷,以避免与点列自身数值的“无穷”相混淆。
    定义1:集合是列紧的
    ( H , ρ ) (\mathcal H,\rho) (H,ρ) 是一个距离空间, A A A 是其一子集,称 A A A列紧 的,如果 A A A 中任意点列在 ( H , ρ ) (\mathcal H,\rho) (H,ρ) 中有一个收敛子列。若这个子列还收敛到 A A A 中的点,则称 A A A自列紧 的。如果 H \mathcal H H 是列紧的,那么称 ( H , ρ ) (\mathcal H,\rho) (H,ρ)列紧空间
    H \mathcal H H 是全集, ρ \rho ρ 是其上定义的距离,合起来形成 pair 对 ( H , ρ ) (\mathcal H,\rho) (H,ρ),是空间。有关系: A ⊆ H A \subseteq \mathcal H AH A A A若是子集,则局部列紧;若 A A A是全集,则全局列紧。

    ϵ \epsilon ϵ 是指距离空间中某类型的子集,它表达的是子集与空间的关系*。
    定义2:有穷 ϵ \epsilon ϵ
    M M M ( H , ρ ) (\mathcal H,\rho) (H,ρ) 的一个子集, ϵ &gt; 0 , N ⊂ M \epsilon\gt0,N\subset M ϵ>0,NM。如果对于 ∀ x ∈ M \forall x\in M xM,即空间中任意点, ∃ y ∈ N \exist y\in N yN,使 ρ ( x , y ) &lt; ϵ \rho(x,y)\lt\epsilon ρ(x,y)<ϵ,那么称 N N N M M M 的一个 ϵ \epsilon ϵ 网。如果 N N N 还是一个有穷集(个数依赖 ϵ \epsilon ϵ),那么称 N N N M M M 的一个 有穷 ϵ \epsilon ϵ
    定义3:完全有界
    集合 M M M 称为是完全有界的,如果 ∀ ϵ &gt; 0 \forall \epsilon\gt 0 ϵ>0,都存在着集合 M M M 的一个有穷 ϵ \epsilon ϵ 网。

    定理1:Hausdorff
    M 列紧 ⇐ ⇒ M 完全有界 M\text{列紧}\Leftarrow\Rightarrow M\text{完全有界} M列紧M完全有界
    定理2:空间的可分性
    M 完全有界  ⇒ M 可分 M\text{完全有界 }\Rightarrow M\text{可分} M完全有界 M可分
    什么叫“可分”呢?
    定义4:Hausdorff可分
    一个距离空间若有可数的稠密子集,就称为是可分的。
    定义5:稠密子集
    ( H , ρ ) (\mathcal H,\rho) (H,ρ) 是一个度量空间。集合 E ⊂ H E\subset\mathcal H EH 叫做在 H \mathcal H H 中的稠密子集,如果 ∀ x ∈ H , ∀ ϵ &gt; 0 , ∃ z ∈ E \forall x\in\mathcal H,\forall\epsilon\gt 0,\exist z\in E xH,ϵ>0,zE,使得 ρ ( x , z ) &lt; ϵ \rho(x,z)\lt \epsilon ρ(x,z)<ϵ。换句话来说: ∀ x ∈ H , ∃ { x n } ⊂ E \forall x\in\mathcal H,\exist\{x_n\}\subset E xH,{xn}E,使得 x n → x x_n\rightarrow x xnx
    子集 E E E其实充满了整个空间,打个比喻:一个空气空间(全集 H \mathcal H H),氧气(子集 E E E)就是稠密的。空气盒子中除了氧气,还有氮气、二氧化碳等,这些可数的稠密子集,因此空气是可分的。完全有界的空气盒子是可分的。
    将一个抽象概念具象化、实例化,对理解很有帮助。
    举例:
    实数空间可分为大于0部分( R + R^+ R+)和小于等于0部分( R − R^- R),但这不是Hausdorff可分,因为 R + R^+ R+ R − R^- R都不是在R中稠密的子集。实数空间可分为有理数部分和无理数部分,因为有理数和无理数在R中稠密。

    定义6:集合是紧的
    该定义与定义1很象,但含义不同,描述的是集合的不同方面性质。“列紧”指的是序列是紧的,单单一个“紧”指的是覆盖是有穷的。而自列紧必紧,反之亦然。
    定理2: ( H , ρ ) (\mathcal H,\rho) (H,ρ) 是一个距离空间,为了 M ⊂ H M\subset \mathcal H MH 是紧的必须而且仅须它是自列紧集。
    证明:
    1)必要性,即证明: M M M 是紧集 ⇒ \Rightarrow M M M 是自列紧。
    M M M 是紧集。先证 M M M 是闭集,只要证 M M M 的余集是开集。 ∀ x 0 ∈ H ∖ M \forall x_0\in \mathcal H\setminus M x0HM,因为
    M ⊂ ∪ x ∈ M B ( x , 1 2 ρ ( x , x 0 ) ) ( 1 ) M\subset\cup_{x\in M}B(x,\frac{1}{2}\rho(x,x_0))\qquad(1) MxMB(x,21ρ(x,x0))(1)
    即闭集M是开球B的并,这些开球是以M中任意点 x x x为心,到外部任意一点 x 0 x_0 x0距离的一半为半径的球。因为x已然是M中点的所有了,以它与外部一点距离一半作球,必包含x,有可能在球中还包含非M的点,因此它们的并,必然覆盖M。
    利用M的紧性, ∃ x k ∈ M ( k = 1 , 2 , ⋯ &ThinSpace; , n ) \exist x_k\in M(k=1,2,\cdots,n) xkM(k=1,2,,n),使得:
    M ⊂ ∪ k = 1 n B ( x k , 1 2 ρ ( x k , x 0 ) ) ( 2 ) M\subset\cup_{k=1}^{n}B(x_k,\frac{1}{2}\rho(x_k,x_0))\qquad(2) Mk=1nB(xk,21ρ(xk,x0))(2)
    【(2)中球的并,不同于(1)中球的并。(2)中的球是有穷个开覆盖,注意此处的球都是开集。】

    δ = min ⁡ 1 ≤ k ≤ n 1 2 ρ ( x k , x 0 ) \delta=\min_{1\le k\le n}\frac{1}{2}\rho(x_k,x_0) δ=1knmin21ρ(xk,x0)
    显然有, δ &gt; 0 \delta\gt 0 δ>0。取 ∀ x ∈ B ( x 0 , δ ) \forall x\in B(x_0,\delta) xB(x0,δ),则显然有
    For  ρ ( x k , x 0 ) ≥ 2 δ , ρ ( x 0 , x ) &lt; δ , so   ρ ( x , x 0 ) ≥ ρ ( x k , x 0 ) − ρ ( x 0 , x ) &gt; δ ( k = 1 , 2 , ⋯ &ThinSpace; , n ) ( 3 ) \text{For }\quad\rho(x_k,x_0)\ge 2\delta,\rho(x_0,x)\lt\delta,\quad \text{so} \\ \ \\ \rho(x,x_0)\ge\rho(x_k,x_0)-\rho(x_0,x)\gt\delta\quad(k=1,2,\cdots,n)\qquad(3) For ρ(xk,x0)2δ,ρ(x0,x)<δ,so ρ(x,x0)ρ(xk,x0)ρ(x0,x)>δ(k=1,2,,n)(3)
    因此, B ( x 0 , δ ) ∩ M = ∅ B(x_0,\delta)\cap M=\empty B(x0,δ)M=,有:
    ∪ x 0 ∈ H ∖ M B ( x 0 , δ ) = H ∖ M ( 4 ) \cup_{x_0\in \mathcal H\setminus M}B(x_0,\delta)=\mathcal H\setminus M \qquad(4) x0HMB(x0,δ)=HM(4)
    由于 B ( x 0 , δ ) B(x_0,\delta) B(x0,δ) 是开集,无限开集的并还是开集,因此 H ∖ M \mathcal H\setminus M HM 是开集,即 M M M 是闭集。
    其次,证M是列紧集,用反证法。
    假设有M中的点列 { x n } \{x_n\} {xn} 不含有收敛子列,不妨设 x n x_n xn 是互异的。对每个 n ∈ N n\in\mathbb N nN,作集合 S n = { x 1 , x 2 , ⋯ &ThinSpace; , x n − 1 , x n + 1 , ⋯ &ThinSpace; } S_n=\{x_1,x_2,\cdots,x_{n-1},x_{n+1},\cdots\} Sn={x1,x2,,xn1,xn+1,},即挖掉了 x n x_n xn,显然每个 S n S_n Sn是闭集(因为 S n S_n Sn不包含收敛子列,即 S n S_n Sn不包含聚点,因此根据闭集定义(包含所有聚点,或不包含聚点的集为开集), S n S_n Sn是闭集。),从而每个 H ∖ S n \mathcal H\setminus S_n HSn 是开集。但
    ∪ n = 1 ∞ ( H ∖ S n ) = H ∖ ∩ n = 1 ∞ S n = H ∖ ∅ = H ⊃ M ( 5 ) \cup_{n=1}^{\infty}(\mathcal H\setminus S_n)=\mathcal H\setminus \cap_{n=1}^{\infty}S_n=\mathcal H\setminus \empty=\mathcal H\supset M\qquad(5) n=1(HSn)=Hn=1Sn=H=HM(5)
    M M M的紧性,即 M M M存在有限的覆盖, ∃ N ∈ N \exist N\in \mathbb N NN,使得 ∪ n = 1 N ( H ∖ S n ) ⊃ M \cup_{n=1}^N(\mathcal H\setminus S_n)\supset M n=1N(HSn)M,即得
    H ∖ { x n } n = N + 1 ∞ ⊃ M ( 6 ) \mathcal H\setminus \{x_n\}_{n=N+1}^{\infty}\supset M\qquad(6) H{xn}n=N+1M(6)
    但这是不可能的,因为 x N + 1 x_{N+1} xN+1 属于(6)的右边,而不属于(6)的左边,矛盾。因此,说明M是列紧的。
    2)充分性: M M M 是自列紧 ⇒ \Rightarrow M M M 是紧集
    设M是自列紧的,要在M的任意开覆盖中取出有限覆盖。用反证法,如果某个开覆盖 ∪ λ ∈ Λ G λ ⊃ M \cup_{\lambda\in\Lambda}G_{\lambda}\supset M λΛGλM,不能取出M的有限覆盖。由于M是列紧的(列紧->完全有界->有穷 ϵ \epsilon ϵ网), ∀ n ∈ N \forall n\in\mathbb N nN,存在有穷的 1 n \frac{1}{n} n1网:
    N n = { x 1 ( n ) , x 2 ( n ) , ⋯ &ThinSpace; , x k ( n ) ( n ) } N_n =\{x_1^{(n)},x_2^{(n)},\cdots,x_{k(n)}^{(n)}\} Nn={x1(n),x2(n),,xk(n)(n)}
    显然 ∪ y ∈ N n B ( y , 1 n ) ⊃ M \cup_{y\in N_n}B(y,\frac{1}{n})\supset M yNnB(y,n1)M,即由网上的元素的球体的并覆盖M。因此, ∀ n ∈ N , ∃ y n ∈ N n \forall n\in\mathbb N,\exist y_n\in N_n nN,ynNn,使得 B ( y n , 1 n ) B(y_n,\frac{1}{n}) B(yn,n1)不能被有限个 G λ G_{\lambda} Gλ所覆盖。
    由于假定M是自紧集,必存在收敛子列 y n k y_{n_k} ynk收敛到一点 y 0 ∈ G λ 0 y_0\in G_{\lambda 0} y0Gλ0。又由于 G λ 0 G_{\lambda 0} Gλ0是开集,所以 ∃ δ &gt; 0 \exist \delta\gt 0 δ>0,使得 B ( y 0 , δ ) ⊂ G λ 0 B(y_0,\delta)\subset G_{\lambda 0} B(y0,δ)Gλ0。对此,取k足够大,使 n k &gt; 1 δ n_k\gt \frac{1}{\delta} nk>δ1,并且 ρ ( y n k , y 0 ) &lt; δ 2 \rho(y_{n_k},y_0)\lt \frac{\delta}{2} ρ(ynk,y0)<2δ,则 ∀ x ∈ B ( y n k , 1 n k ) \forall x\in B(y_{n_k},\frac{1}{n_k}) xB(ynk,nk1)有:
    ρ ( x , y 0 ) ≤ ρ ( x , y n k ) + ρ ( y n k , y 0 ) ≤ 1 n k + δ 2 ≤ δ \rho(x,y_0)\le\rho(x,y_{n_k})+\rho(y_{n_k},y_0)\le\frac{1}{n_k}+\frac{\delta}{2}\le\delta ρ(x,y0)ρ(x,ynk)+ρ(ynk,y0)nk1+2δδ
    x ∈ B ( y 0 , δ ) x\in B(y_0,\delta) xB(y0,δ),从而 B ( y n k , 1 / n k ) ⊂ B ( y 0 , δ ) ⊂ G λ B(y_{n_k},1/n_k)\subset B(y_0,\delta)\subset G_{\lambda} B(ynk,1/nk)B(y0,δ)Gλ,即前面所说的不能覆盖,现在可以覆盖了,这与每个 B ( y n , 1 / n ) B(y_n,1/n) B(yn,1/n)不能被有限个 G λ G_{\lambda} Gλ覆盖矛盾。
    证毕。
    本节几个概念之间的关系如下图:
    在这里插入图片描述
    图1 紧、列紧、完全有界

    函数空间上的列紧集

    定义7:一致有界
    F F F C ( M ) C(M) C(M) 的一个子集。如果 ∃ M 1 &gt; 0 \exist M_1\gt 0 M1>0,使得 ∣ ϕ ( x ) ∣ ≤ M 1 ( ∀ x ∈ M , ∀ ϕ ∈ F ) \vert\phi(x)\vert\le M_1(\forall x\in M,\forall \phi\in F) ϕ(x)M1(xM,ϕF),则称 F F F 是一致有界的。

    定义8:等度连续
    如果 ∀ ϵ &gt; 0 \forall \epsilon\gt 0 ϵ>0,总可以找到 δ ( ϵ ) &gt; 0 \delta(\epsilon)\gt 0 δ(ϵ)>0,使得:
    ∣ ϕ ( x 1 ) − ϕ ( x 2 ) ∣ &lt; ϵ , ( ∀ x 1 , x 2 ∈ M , ρ ( x 1 , x 2 ) &lt; δ , ∀ ϕ ∈ F ) \vert \phi(x_1)-\phi(x_2)\vert\lt\epsilon,(\forall x_1,x_2\in M,\rho(x_1,x_2)\lt\delta,\forall \phi\in F) ϕ(x1)ϕ(x2)<ϵ,(x1,x2M,ρ(x1,x2)<δ,ϕF)
    则称 F F F 是等度连续的。

    定理3:(Arzela-Ascoli)
    F ⊂ C ( M ) F\subset C(M) FC(M) F F F 是一个列紧集 ⇐ ⇒ \Leftarrow\Rightarrow F F F是一致有界且等度连续的函数族。

    有了列紧性的函数族(集),则可以在距离空间、紧空间中讨论函数的性质了。

    展开全文
  • 漫步数学分析十一——紧集

    千次阅读 2017-01-14 15:41:52
    在给出RnR^n中紧集的精确定义前,我们需要介绍一些术语。对于集合A⊂RnA\subset R^n,当且仅当存在一个常数M≥0M\geq0使得A⊂D(0,M)A\subset D(0,M),那么就称该集合是有界的(bounded),所以一个集合被邻域原点的...

    在给出 Rn 中紧集的精确定义前,我们需要介绍一些术语。对于集合 ARn ,当且仅当存在一个常数 M0 使得 AD(0,M) ,那么就称该集合是有界的(bounded),所以一个集合被邻域原点的某个邻域 D(0,M) 包住时,它就是有界的;换句话说,对于所有的 xA,x<M 。 集合 A 的一个覆盖(cover)就是一系列集合Ui,他们的并包含 A ;如果每个Ui是开的,那么我们称其为开覆盖(open cover)。给定覆盖的一个子覆盖(subcover) 是集合的子系列,他们的并也包含 A 或者说覆盖A;如果这个子系列只包含有限个集合,那么我们成其为有限子覆盖(finite subcover)。例如 R2 中的邻域 {D((x,0),1|xR)} 覆盖实数轴,并且所有圆心为整数的邻域 D((n,0),1) 是一个子系列,它是一个子覆盖。注意,圆心为偶数的邻域 D((n,0),1) 不是一个子覆盖。

    注意:开覆盖不一定是可数个开集。

    我们现在陈述主要的定理以及相关的定义。

    1 ARn ,那么下面的条件是等价的:

    1. A 是闭的且有界。
    2. A的每个开覆盖有一个有限的子覆盖。
    3. A 中的每个序列都有一个收敛的子序列,且收敛到A中的点。

    1 Rn 中满足定理1中条件 (i),(ii),(iii) 的子集称为紧集(compact)。

    (i),(ii) 的等价性经常被称为海涅-博雷尔(Heine-Borel)定理,而 (i),(iii) 的等价性经常被称为波尔查诺-魏尔斯特拉斯(Bolzano-Weierstrass)定理。

    注意:对于度量空间,一般而言 (ii),(iii) 是等价的,当时 (i) 不等价于 (ii),(iii) ;对于任意的度量空间,我们可以用 (ii) (iii) 来定义紧集。 (i),(ii) (i),(iii) 的等价性是 Rn 的特殊性质。

    波尔查诺-魏尔斯特拉斯定理直观上也比较好理解,如果 A 是有界的,那么A 中的任何点序列在某个地方是一簇的,如果 A 是闭的,那么簇拥的点必须位于A中。

    海涅-博雷尔定理直观上不太明显,也许理解它最好的方式是考虑某些例子。

    1 整个实数轴 R 不是紧的,因为它是无界的。注意

    {D(n,1)=(n1,n+1)|n=0,±1,±2,}

    R 的开覆盖但没有有限开覆盖。

    2 A=(0,1] ,考虑开覆盖 {(1/n,2)|n=1,2,3,} 。他们有开子覆盖。这一次因为 A 不是闭的,所以条件(ii)失败;点0不在集合 A 中。这个系列不是[0,1]的覆盖并且任何 [0,1] 的开覆盖必须有有限个开覆盖-上面的情况不可能存在这样的结论。

    条件 (iii) 还有一个等价的表述,在某些情况下是非常有用的。

    (iii) 对于 A 的每个无限子集,他们的聚点都在A中。

    我们可以用闭集的方式来论述条件 (ii) ,这需要借助于 A 有限交的属性,我们说集合Ai有有限交的性质(finite intersection property),当且仅当任意有限个 Ai 的交不为空,那么 (ii) 就等价于 (ii)

    (ii) 所有满足有限交性质的一系列闭集都有一个包含 A 的非空交集。

    我们会在附3的证明中看到,当(ii)用开覆盖的补表示时, (ii) (ii) 的陈述是一样的。

    3 确定下面集合的紧性

    (a) {xR|x0}
    (b) [0,1][2,3]
    (c) {(x,y)R2|x2+y2<1}

    (a)不是紧集,因为它不是有界的。(b)紧集,因为它是闭集且有界。(c)不是紧集,因为它不是闭的。

    4 xk Rn 中的点列且对所有的 k,xk3 ,说明 xk 有一个收敛的子序列。

    集合 A={xRn|x3} 是闭的且有界,因此是紧集。因为 xkA ,我们应用定理1 (iii) 即可得出结论。

    5 在定理1 (ii) 中,条件每个可以替换成某些吗?

    不能。令 A=R 并且考虑由单个开集 R 组成的开覆盖,显然它有一个有限的子覆盖,也就是它本身,当时R是无界的,也就是说不是紧的。

    6 A={0}{1,1/2,,1/n,} ,说明定理1的条件 (ii) 满足。

    {Ui} A 的任意一个开覆盖,我们不惜说明它有一个有限的子覆盖。0位于某个开集中,我们说0U1,因为 U1 是开集且 1/n0 ,存在一个 N 使得1/N,1/(N+1),位于 U1 中,令 1U2,,1/(N1)UN ,那么 U1,,UN 是一个有限的子覆盖,因为它是 Ui 的一个有限子系列并且它包含 A 的所有点。注意如果A是集合 1,1/2, ,那么上面的论述就失效了。

    展开全文
  • 由经典的等同不等式证明了平面紧集的等径不等式,然后得到平面凸体的一些Bonnesen-型等径不等式.
  • 3.3紧集及有限维赋范线性空间.doc
  • 在拓扑向量空间中 ,利用著名的Fan-KKM定理 ,得到非紧集上Stampaccia向量均衡问题的解 ,推广和发展了近期的一些研究结果。
  • 研究了Banach空间X中的有界闭凸集C的弱紧性与其可逼近性的关系,证明了C是弱的当且仅当C在每个包含它(在仿射等距的意义下)的Banach空间中均是可逼近的.而当C不是完全时,C是弱的当且仅当对于X的每个等价范数|・...
  • 泛函分析简列:度量空间之列紧集

    千次阅读 2017-10-19 22:24:40
    笔记:
  • open set:(开):实数空间R中的开区间都是开(a,b) 空集是开 实数空间R中的无限开区间 半开半闭区间、无限闭区间都不是R中的开 (a,b], ...
  • 有界定理表明连续函数在紧集上是有界的并且在集合上的某些点取得最大值与最小值,准确的描述放到定理5中。为了理解上面的结论,我们考虑非紧集上函数会发生什么情况。首先,连续函数不一定是有界的,图???\ref{fig:4...
  • 定理2\textbf{定理2} 令f:A→...如果B⊂AB\subset A并且BB是紧集,那么f(B)f(B)是紧集。 如果我们用路径连续的话,(i)\textrm{(i)}的结果就会很明显,即,如果c(t)c(t)是一条连接KK中x,yx,y的路径,那么f(c(t))f(c(t)
  • 至于该集合不是的,是因为容易得到存在该集合的一个序列都没有收敛子列(怎么构造?提示:注意到不同元素之间的距离都是2,而且 $\{e^{(n)}:n\in\mathbf{N}\}$ 是无限). \end{proof} 转载于:...
  • 引入了L2(R)的约化子空间X的框架小波框架小波的概念,证明了一个可测E是XΩ的框架小波充分必要条件是E为基本且所有2nE(n∈Z)的并集为Ω;给出了可测E为XΩ的框架、小波的充要条件,从而使...
  • 讨论高维正交小波的可分性.给出当滤波函数m0(§1,§2,…,§d)具有某种特殊形式时,不可分d元小波是不存在的.从而得到当滤波函数为所给形式时,d元正交小波均为一元正交小波的张量积...
  • 本文主要介绍紧性与列写及其关系
  • 固件缺陷的检测是铁路检查系统中的一项重要任务,并且经常进行以确保火车交通的安全。传统检查通常由经过培训的工人沿着铁路线行走以寻找潜在的风险进行。检查非常缓慢,昂贵且危险。本文提出了一种自动视觉检查...
  • 凸集的开、闭、

    千次阅读 2018-12-20 00:44:00
    凸集的开、闭、 更新于20181220.01:13之前的定义有疏漏,特别是对开凸集的定义是错误的臆想,举出的一个例子半开半闭。 对于开,开,是拓扑学里最基本的概念之一。设A是度量空间X的一个子集。如果A...
  • 定理 若EEE为RdRdR^d上的可测子集,那么,对所有ϵ&amp;amp;amp;amp;amp;amp;amp;amp;amp;...(1)存在开OOO,E⊂OE⊂OE\subset O,且m(O−E)≤...(2)存在闭FFF,FFF包含于EEE,且m(E−F)≤ϵm(E−F)≤ϵm(E-F)\leq \e
  • 本文以半非测度为工具研究一类非线性值映象的性质,然后把所得结果用于证明微分包含的解的存在性。
  • 基于双正交小波的芯片焊点定位技术研究.pdf
  • 从Ⅰ型三角剖分上的二元可细分...利用此条件,构造出小波空间上的4个、对称的不可分离的连续函数;证明了其中有3个函数的平移形成小波空间的Riesz基。从而得到了Ⅰ型三角剖分上的、对称的非张量积预小波。
  • 主要考虑在半轴上Camassa-Holm方程解的动量密度大小的估计.方法是根据区间长度与区间特征值的关系,通过估计第一Dirichlet特征值来估计动量密度的长度.因为知道动量密度外解的性态,所以通过...

空空如也

空空如也

1 2 3 4 5 ... 20
收藏数 135,689
精华内容 54,275
关键字:

紧集

友情链接: ctlbcs4.rar