集合与点集2

文章目录

集合与点集2

1.4 R n R^ n Rn中点与点之间的距离·点集的极限点


点与点之间的距离

向量的模就是两点的距离 d ( x , y ) = ∣ x − y ∣ d(x,y)=\vert x-y \vert d(x,y)=∣x−y∣

注:我们称 R n R^n Rn 为n维欧氏空间(欧几里得空间)。



1.4.1点集的直径、点的(球)领域、矩体

点集的直径

定义:设 E 是 R n R^ n Rn 中一些点形成的集合,令 d i a m ( E ) = s u p { ∣ x − y ∣ : x , y ∈ E } diam(E)= sup\{\vert x-y\vert : x,y \in E\} diam(E)=sup{∣x−y∣:x,y∈E},称为E的直径。若 d i a m ( E ) < + ∞ diam(E)<+∞ diam(E)<+∞,称E为有界集

显然,diam(E)就是E中两点最远距离啦


球领域

定义:设 x ∈ R n , δ > 0 x \in R^n ,\delta>0 x∈Rn,δ>0,称点集 { x ∈ R n ∣ ∣ x − x 0 ∣ < δ } \{x \in R^n \mid \vert x-x_0 \vert< \delta\} {x∈Rn∣∣x−x0​∣<δ}为以 x 0 x_0 x0​为中心, δ \delta δ为半径的开球,称为 x 0 x_0 x0​的球领域,记作 B ( x 0 , δ ) B(x_0,\delta) B(x0​,δ)。

类似,闭球为点集 { x ∈ R n ∣ ∣ x − x 0 ∣ ≤ δ } \{x \in R^n \mid \vert x-x_0 \vert \leq \delta\} {x∈Rn∣∣x−x0​∣≤δ} ,记为 C ( x 0 , δ ) C(x_0,\delta) C(x0​,δ)

开球就是open ball,所以直接取ball的b

闭球就是closed ball,取closed的c咯


矩体

定义:设 a i , b i ( i = 1 , 2 , 3... , n ) a_i,b_i(i=1,2,3...,n) ai​,bi​(i=1,2,3...,n)皆为实数,且 a i < b i ( i = 1 , 2 , 3 , . . . , n ) a_i < b_i (i=1,2,3,...,n) ai​<bi​(i=1,2,3,...,n),称点集 { x = ( ξ 1 , ξ 2 , . . . , ξ n ) ∣ a i < ξ i < b i ( i = 1 , 2 , . . . , n ) } \{x=(\xi_1, \xi_2,...,\xi_n) \mid a_i<\xi_i<b_i (i=1,2,...,n)\} {x=(ξ1​,ξ2​,...,ξn​)∣ai​<ξi​<bi​(i=1,2,...,n)}为 R n R^n Rn 中的 开矩体,即直积集 ( a 1 , b 1 ) × ⋅ ⋅ ⋅ × ( a n , b n ) (a_1,b_1)\times···\times(a_n,b_n) (a1​,b1​)×⋅⋅⋅×(an​,bn​)


类似的,闭矩体,即 [ a 1 , b 1 ] × ⋅ ⋅ ⋅ × [ a n , b n ] ⟺ { x = ( ξ 1 , ξ 2 , . . . , ξ n ) ∣ a i ≤ ξ i ≤ b i ( i = 1 , 2 , . . . , n ) } [a_1,b_1]\times···\times[a_n,b_n]\Longleftrightarrow\{x=(\xi_1, \xi_2,...,\xi_n) \mid a_i\leq\xi_i\leq b_i (i=1,2,...,n)\} [a1​,b1​]×⋅⋅⋅×[an​,bn​]⟺{x=(ξ1​,ξ2​,...,ξn​)∣ai​≤ξi​≤bi​(i=1,2,...,n)}

半开闭矩体,即 ( a 1 , b 1 ] × ⋅ ⋅ ⋅ × ( a n , b n ] ⟺ { x = ( ξ 1 , ξ 2 , . . . , ξ n ) ∣ a i < ξ i ≤ b i ( i = 1 , 2 , . . . , n ) } (a_1,b_1]\times···\times(a_n,b_n]\Longleftrightarrow\{x=(\xi_1, \xi_2,...,\xi_n) \mid a_i\lt\xi_i\leq b_i (i=1,2,...,n)\} (a1​,b1​]×⋅⋅⋅×(an​,bn​]⟺{x=(ξ1​,ξ2​,...,ξn​)∣ai​<ξi​≤bi​(i=1,2,...,n)}


称 b i − a i ( i = 1 , 2 , . . . , n ) b_i-a_i (i=1,2,...,n) bi​−ai​(i=1,2,...,n) 为矩体的各边边长,如果边长都相等,则称矩体为方体

注:矩体常用符号 I , J I,J I,J 表示,体积用 ∣ I ∣ , ∣ J ∣ \vert I \vert,\vert J \vert ∣I∣,∣J∣来表示。

显然,若 I = ( a 1 , b 1 ) × ⋅ ⋅ ⋅ × ( a n , b n ) I=(a_1,b_1)\times···\times(a_n,b_n) I=(a1​,b1​)×⋅⋅⋅×(an​,bn​) ,则

d i a m ( I ) = ∑ k = 1 n ( b k − a k ) 2 diam(I)=\sqrt{\sum\limits_{k=1}^{n}(b_k-a_k)^2} diam(I)=k=1∑n​(bk​−ak​)2 ​ , ∣ I ∣ = ∏ k = 1 n ( b k − a k ) \vert I \vert=\prod\limits_{k=1}^{n}(b_k-a_k) ∣I∣=k=1∏n​(bk​−ak​)

直径就是最长的对角线,体积就是各边边长的乘积啦


1.4.2 点集的极限点

极限点或聚点

定义

设 E ⊂ R n , x ∈ R E \subset R^n,x \in R E⊂Rn,x∈R ,若存在 E E E 中的互异点列 { x k } \{x_k\} {xk​}使 lim ⁡ k → ∞ ∣ x k − x ∣ = 0 \lim\limits_{k \to \infty} \vert x_k-x \vert = 0 k→∞lim​∣xk​−x∣=0 则称点 x x x 为E的极限点聚点

E的极限点全体记为 E ′ E' E′,称为E的导集


定理

若 x ∈ R n x \in R^n x∈Rn ,则 x ∈ E ′ x \in E' x∈E′ 当且仅当 ∀ \forall ∀ δ > 0 \delta>0 δ>0

有, B ( x , δ ) ∖ { x } ∩ E ≠ ϕ B(x,\delta) \setminus \{x\} \cap E \not= \phi B(x,δ)∖{x}∩E​=ϕ .

这个定理就是说,x为聚点的充要条件就是任意x的去心邻域都要与E有交集

从定义来看,把极限的定义展开不就是定理的结果了嘛。

直观理解就是,既然存在E中的点列逼近x,那么在x的领域那么一抓,肯定有交集。


孤立点

设 E ⊂ R n E \subset R^n E⊂Rn ,若 x x x 为孤立点

∃ \exists ∃ δ > 0 , B ( x , δ ) ∖ { x } ∩ E = ϕ \delta>0 , B(x,\delta) \setminus \{x\} \cap E = \phi δ>0,B(x,δ)∖{x}∩E=ϕ .

换句话说,孤立点就是,它的周围的“点朋友”都不是E的“属下”。

这点与聚点正好相反,聚点无论怎样,它周围总会有那么一两个E的“属下”。


定理

设 E 1 , E 2 ⊂ R n E_1,E_2\subset R^ n E1​,E2​⊂Rn,则 ( E 1 ∪ E 2 ) ’ = E 1 ′ ∪ E 2 ′ (E_1\cup E_2)’=E_1'\cup E_2' (E1​∪E2​)’=E1′​∪E2′​ .


Bolazno-Weierstrass定理

R n R^ n Rn中任一有界无限点集 E E E至少有一个极限点。

证明在P29

上一篇:中科大-凸优化 笔记(lec12)-一些常见的凸函数


下一篇:Linux yum命令重装mysql