漫步数学分析六—

除了定义外，还有一种非常有用的方式来判断一个集合是否为闭集，而该方法依赖于一个非常重要的概念：聚点(accumulation point)。

定义4\textbf{定义4} 对于点x∈Rnx\in R^n，如果包含xx的每个开集UU包含不同于xx但依然属于集合AA中的点，那么就称xx是AA的一个聚点。

也就是说，集合AA的聚点是这样的点，AA中其他点可以任意靠近它，聚点也叫做聚类点(cluster points)。

利用定理1，xx是AA聚类点的定义等价于下面的命题：对于每个ε>0\varepsilon>0，D(x,ε)D(x,\varepsilon)包含AA中的某点yy且y≠xy\neq x。

例如R1R^1中，由单点组成的集合没有聚点并且开区间(0,1)(0,1) 的聚点是[0,1][0,1]中的所有点。注意集合的聚点不一定必须在集合中，聚点与闭集的定义有非常紧密的联系，正如下面定理所述。

定理4\textbf{定理4} 集合A⊂RnA\subset R^n是闭集，当且仅当AA的所有聚点属于AA。

注意一个集合也可以没有聚点(例如单点或R1R^1中的整数集)，这时候应用定理4依然得出集合是闭集。另一种证明方法会在之后的定理9给出。

定理4在直观上非常清楚，因为集合为闭粗略地说就是它包含其边界上的所有点并且这样的点是聚点。这种粗略的说法很不严格，事实上当集合非常复杂时我们的直觉可能会出错，所以我们必须严格讨论。例如考虑A={1/n∈R|n=1,2,3,…}∪{0}A=\{1/n\in R|n=1,2,3,\ldots\}\cup\{0\}，这是一个闭集且只有一个聚点0{0}位于AA中，但是根据上面给出的边界，这个集合不是非常直观，因此我们必须仔细讨论。

例1：\textbf{例1：}令S={x∈R|x∈[0,1]且x是有理数}S=\{x\in R|x\in[0,1]\text{且}x\text{是有理数}\}，求SS的聚点。

解：\textbf{解：}聚点集有[0,1]中的所有点组成。事实上，令y∈[0,1],D(y,ε)=(y−ε,y+ε)y\in[0,1],D(y,\varepsilon)=(y-\varepsilon,y+\varepsilon) 是yy的一个邻域，那么我们可以在[0,1]中找出一些有理数，他们任意靠近yy且在D(y,ε)D(y,\varepsilon)中，因此yy是聚点，任何y∉[0,1]y\notin[0,1]的点不是聚点，因为yy有一个包含它的ε\varepsilon邻域但与[0,1]不交。

例2：\textbf{例2：}对于集合A={(x,y)∈R2|0≤x≤1 or x=2}A=\{(x,y)\in R^2|0\leq x\leq 1\ or\ x=2\}，验证定理4。

图1

解：\textbf{解：}AA如图1所示，很明显AA是闭集，AA 的聚点就是AA本身，注意在RR上，[0,1]∪{2}[0,1]\cup\{2\}的聚点是[0,1][0,1]没有点{2}\{2\}。

例3：\textbf{例3：}令S={(x,y)∈R2|y<x2+1}S=\{(x,y)\in R^2|y，求SS的聚点。

图2

解：\textbf{解：}SS如图2所示，从图中可以明显看出聚点由集合{(x,y)∈R2|y≤x2+1}\{(x,y)\in R^2|y\leq x^2+1\}组成。

漫步数学分析六——聚点相关推荐

漫步数学分析番外六(下)
定理9\textbf{定理9} 令f:A→Rf:A\to R在开集AA上二阶可导且D2fD^2f连续(即函数∂2f/(∂xi∂j)\partial^2f/(\partial x_i\partial_j ...
漫步数学分析番外六(上)
定理1\textbf{定理1} 令AA是RnR^n中的开集并且假设f:A→Rmf:A\to R^m在x0x_0处可微,那么Df(x0)Df(x_0)是由ff唯一确定. 证明:\textbf{证明:}令 ...
漫步数学分析二十六——积分方程与不动点
在许多物理问题中,我们会遇到积分方程:他们的形式如下 f(x)=a+∫x0k(x,y)f(y)dy(1) \begin{equation} f(x)=a+\int_0^x k(x,y)f(y)dy\t ...
漫步数学分析十六——紧集与连集的像
定理2\textbf{定理2} 令f:A→Rmf:A\to R^m是一个连续映射,那么如果K⊂AK\subset A并且KK是连集,那么f(K)f(K)是连集. 如果B⊂AB\subset A并且B ...
漫步数学分析十七——连续映射上的运算
连续函数的复合应该是连续的,这个结论从直观上不太令人信服.对于函数f:A→Rm,g:B→Rpf:A\to R^m,g:B\to R^p其中f(A)⊂Bf(A)\subset B,我们定义复合g∘f:A ...
漫步数学分析十五——连续
连续函数有一个重要的性质,那就是当xx靠近x0x_0时,f(x)f(x)靠近f(x0)f(x_0)(如图???\ref{fig:4-1}所示).另一方面,在图2中,即使xx非常靠近x0x_0,但是f( ...
漫步数学分析番外二(下)
定理11\textbf{定理11} RnR^n中的序列Σxk\Sigma x_k收敛,当且仅当对每个ε>0\varepsilon>0,存在一个数NN,使得k≥Nk\geq N时,不等式∥x ...
漫步数学分析番外二(上)
定理1\textbf{定理1} 在RnR^n中,对于每个ε>0,x∈Rn\varepsilon>0,x\in R^n,集合D(x,ε)D(x,\varepsilon)是开的. 证明:\te ...
漫步数学分析八——集合边界
如果我们考虑R2R^2中的单位圆,那么其边界显然就是圆.但是对于更加复杂的情况,例如有理数,它的边界是什么在直观上就不明显,因此我们需要精确的定义. 定义6\textbf{定义6} 对于R2R^2中的 ...

漫步数学分析六——聚点

漫步数学分析六——聚点相关推荐

最新文章

热门文章