实变函数论——集合的运算以及上、下极限

知识点

定义

并集

A ∪ B = { x ∣ x ∈ A 或 x ∈ B } A\cup B=\left\{x|x\in A或x \in B\right\} A∪B={x∣x∈A或x∈B}

交集

A ∩ B = { x ∣ x ∈ A 且 x ∈ B } A\cap B=\left\{x|x\in A且x \in B\right\} A∩B={x∣x∈A且x∈B}

差集、补集

差集： A − B = { x ∣ x ∈ A ，但 x ∉ B } A-B=\left\{x|x\in A，但x \notin B\right\} A−B={x∣x∈A，但x∈/B}
补集： A c = { x ∣ x ∈ Ω ，但 x ∉ A } ， Ω 为全集 A^{c}=\left\{x|x\in \Omega，但x \notin A\right\}，\Omega为全集 Ac={x∣x∈Ω，但x∈/A}，Ω为全集

对称差集

$A\Delta B=(A-B)\cup (B-A)$

上、下极限

l i m ‾ ⁡ n → + ∞ A n = lim sup ⁡ n → + ∞ A n = ∩ n = 1 ∞ ∪ k = n ∞ A k = { x ∣ ∃ 无穷个 k ，使 x ∈ A k } = { x ∣ 对 ∀ n ∈ N , ∃ k ≥ n , 使 x ∈ A k } \begin{aligned} \varlimsup_{n\rightarrow+\infty}A_n & = \limsup_{n\rightarrow +\infty}A_n \\ & = \cap _{n=1}^{\infty}\cup_{k=n}^{\infty}A_k \\ & =\left\{x|\exists无穷个k，使x \in A_k \right\} \\ & = \left\{x|对\forall n\in N ,\exist k \geq n,使x \in A_k\right\} \end{aligned} n→+∞lim​An​​=n→+∞limsup​An​=∩n=1∞​∪k=n∞​Ak​={x∣∃无穷个k，使x∈Ak​}={x∣对∀n∈N,∃k≥n,使x∈Ak​}​
l i m ‾ ⁡ n → + ∞ A n = lim inf ⁡ n → + ∞ A n = ∪ n = 1 ∞ ∩ k = n ∞ A k = { x ∣ 只有有限个 k ，使 x ∉ A k } = { x ∣ ∃ n 0 ∈ N , 当 k ≥ n 0 时， x ∈ A k } \begin{aligned} \varliminf_{n\rightarrow+\infty}A_n & = \liminf_{n\rightarrow +\infty}A_n \\ & = \cup _{n=1}^{\infty}\cap_{k=n}^{\infty}A_k \\ & =\left\{x|只有有限个k，使x \notin A_k \right\} \\ & = \left\{x|\exist n_0\in N ,当k\geq n_0时，x \in A_k\right\} \end{aligned} n→+∞lim​​An​​=n→+∞liminf​An​=∪n=1∞​∩k=n∞​Ak​={x∣只有有限个k，使x∈/Ak​}={x∣∃n0​∈N,当k≥n0​时，x∈Ak​}​
${\cap }_{n=1}^{\infty }{A}_n\subset {\underline{\lim }}_{n\to +\infty }{A}_n\subset {\overline{\lim }}_{n\to +\infty }{A}_n\subset {\cup }_{n=1}^{\infty }{A}_n$

当集列$A_k$有极限，或者是收敛的，那么$$\underset{n\to +\infty }{\lim }{A}_n=\underset{n\to +\infty }{\underline{\lim }}{A}_n=\underset{n\to +\infty }{\overline{\lim }}{A}_n$$
性质
$$(\underset{n\to +\infty }{\overline{\lim }}{A}_n{)}^c=\underset{n\to +\infty }{\underline{\lim }}{A}_n^c$$
$$(\underset{n\to +\infty }{\underline{\lim }}{A}_n{)}^c=\underset{n\to +\infty }{\overline{\lim }}{A}_n^c$$

例题

单点集的极限

设 A k = { a k } A_k=\left\{a_k\right\} Ak​={ak​}，当$i\ne j$时，$a_i\ne a_j$。 l i m ‾ ⁡ k → + ∞ A k = { x ∣ ∃ n 0 ∈ N , 当 k ≥ n 0 时， x ∈ A k } = ∅ \varliminf_{k\rightarrow +\infty}A_k= \left\{x|\exist n_0\in N ,当k\geq n_0时，x \in A_k\right\}=\empty k→+∞lim​​Ak​={x∣∃n0​∈N,当k≥n0​时，x∈Ak​}=∅
l i m ‾ ⁡ k → + ∞ A k = { x ∣ ∃ 无穷个 k ，使 x ∈ A k } = ∅ \varlimsup_{k\rightarrow +\infty}A_k= \left\{x|\exists无穷个k，使x \in A_k \right\}=\empty k→+∞lim​Ak​={x∣∃无穷个k，使x∈Ak​}=∅
所以，${\lim }_{k\to +\infty }=\varnothing$

设E、F为集合，作集列

$$A_n=\{\begin{array}{rcl}E& & n为奇数\\ F& & n为偶数\end{array}$$
所以，$$\underset{n\to +\infty }{\overline{\lim }}={\cap }_{n=1}^{\infty }{\cup }_{k\ge n}{A}_k={\cap }_{n=1}^{\infty }(E\cup F)=E\cup F$$
$$\underset{n\to +\infty }{\underline{\lim }}={\cup }_{n=1}^{\infty }{\cap }_{k\ge n}{A}_k={\cap }_{n=1}^{\infty }(E\cap F)=E\cap F$$

设$f_k，f:R^1\to R$为实函数$(k=1,2,\cdots )$,则 D = { x ∣ f k ( x ) ↛ f ( x ) } = { x ∣ ∃ 无穷个 k ∈ N ，使 ∣ f k ( x ) − f ( x ) ∣ ≥ 1 n } = ∪ n = 1 ∞ l i m ‾ ⁡ k → + ∞ { x ∣ ∣ f k ( x ) − f ( x ) ∣ ≥ 1 n } = ∪ n = 1 ∞ ∩ N = 1 ∞ ∪ k = N ∞ { x ∣ ∣ f k ( x ) − f ( x ) ∣ ≥ 1 n } \begin{aligned}D&=\left\{x|f_k(x)\nrightarrow f(x)\right\}\\&= \left\{x|\exist无穷个k\in N，使|f_k(x)-f(x)|\geq\frac{1}{n}\right\}\\ &=\cup_{n=1}^{\infty}\varlimsup_{k\to +\infty}\left\{x||f_k(x)-f(x)|\geq\frac{1}{n}\right\}\\&=\cup_{n=1}^{\infty}\cap_{N=1}^{\infty}\cup_{k=N}^{\infty}\left\{x||f_k(x)-f(x)|\geq\frac{1}{n}\right\}\end{aligned} D​={x∣fk​(x)↛f(x)}={x∣∃无穷个k∈N，使∣fk​(x)−f(x)∣≥n1​}=∪n=1∞​k→+∞lim​{x∣∣fk​(x)−f(x)∣≥n1​}=∪n=1∞​∩N=1∞​∪k=N∞​{x∣∣fk​(x)−f(x)∣≥n1​}​

#注：本篇习题皆来自于《实变函数论》徐森林编著。