集合序列的极限

最新推荐文章于 2023-03-28 17:55:29 发布

HackerTom

最新推荐文章于 2023-03-28 17:55:29 发布

阅读量842

点赞数

分类专栏：数学文章标签：集合极限测度论实分析

本文链接：https://blog.csdn.net/HackerTom/article/details/124816933

版权

数学专栏收录该内容

38 篇文章 1 订阅

订阅专栏

[1] 讲到集合序列的极限，不能直观理解其中的上、下极限，理解不了它代表什么东西的上、下界。[2] 给了一个辅助理解的例子，此处写下我的理解。

Limit of Set Sequence

对一个集合序列 $\{A_n\}_{n=1}^\infty$ ，其极限是用来描述这个序列里一些稳定的特征，即一些出现无数次的元素。一个稳定的元素 x 包含在序列中无穷多个集合 $A_n$ 内。

某元素 x 想成为稳定特征，其出现无数次的方式可以有两种：

x 在每个 $A_n$ 中都出现，_{till the end of the world，稳得一匹，}但允许在开头有有限次例外，即 $\exists N \geq 1$ ，使得 $x\in\bigcap_{k=N}^\infty A_k$ ，而在 N 之前，x 可以出现，也可以不出现；
x 可以间歇性出现，但要出现无数次。可以想象有一个查出勤的训导主任在遍历 $n\in\N^+$ ，对每一个 n，都可以同时看到 $\{A_k\}_{k\geq n}$ 中所有的 $A_k$ ，记为 $B_n = \bigcup_{k=n}^\infty A_k$ ，但凡在一个 $B_n$ 中没看见 x 就把它踢了，所以 x 在每个 $B_n$ 中都可以翘掉其中任意多个 $A_k$ ，只需保证在其中至少一个 $A_k$ 中出现，即 $\forall n \geq 1$ ，都有 $x\in \bigcup_{k=n}^\infty A_k$ 。

这两种模式分别对应两种极限：

$\lim\inf A_n = \bigcup_{n=1}^\infty\bigcap_{k=n}^\infty A_k$
$\lim\sup A_n = \bigcap_{n=1}^\infty\bigcup_{k=n}^\infty A_k$

若两个极限相等，就认为 $\{A_n\}_{n\geq 1}$ 的极限存在，为： $\lim_{n\rightarrow \infty} A_n=\lim\inf A_n=\lim\sup A_n$

Limit Superior and Limit Inferior

$lim\sup A_n$ 称为上极限集，而 $lim\inf A_n$ 称为下极限集，应该是指这两类稳定特征中，上极限集的筛选规则较松，是极限的上界；而下极限集的筛选较严，是极限的下界。实际上，有： $\lim\inf A_n \subseteq \lim\sup A_n$ 但反过来不一定。

证子集

因为 $\lim\inf A_n = \bigcup_{n=1}^\infty\bigcap_{k=n}^\infty A_k$ ，对 $\forall x\in \lim\inf A_n$ ， $\exists N\geq 1$ ，使得 $x\in \bigcap_{k=N}^\infty A_k$ ，所以对 $\forall n'\geq 1$ ，都有 $\forall k'\geq\max\{n',N\}$ ，使得 $x\in A_{k'}$ ，即 $\begin{aligned} x & \in \bigcap_{k'=\max\{n',N\}}^\infty A_{k'} \\ & \subseteq \bigcup_{k'=\max\{n',N\}}^\infty A_{k'} \\ & \subseteq \bigcup_{k'=n'}^\infty A_{k'} \end{aligned}$ 因为对 $\forall n'\geq 1$ 成立，所以 $x\in \bigcap_{n'=1}^\infty\bigcup_{k'=n'}^\infty A_{k'} = \lim\sup A_n$ ，得证。

证反方向不一定成立：一个反例

设 $A_n=\left\{\begin{aligned} & \{a\}, & n & =2m-1 \\ & \{b\}, & n & =2m \end{aligned}\right. \quad (m\geq 1)$ 此时 $\lim\inf A_n=\empty$ ，而 $lim\sup A_n=\{a,b\}$ ，所以 $\lim\inf A_n \cancel{\supseteq} \lim\sup A_n$ 。