实变函数（1）-集合与点集

参考视频 http://www.1ketang.com/vod/1431-play.html?1431-0-2

参考书籍:<<实变函数简明教程>>提取码:gqi1(书籍方便大家学习,链接挂了,请下方评论给我)

集合

集合是具有一定性质的对象的全体，通常用大写字母A,B,C,D…表示。
集合中的对象称为集合的元素，用小写字母表示a,b,c,d…。
不含任何元素的集合称为空集。
集合的表示：列举法，描述法
差集 设A和B是两个集合，称 { x : x ∈ A , x ∉ B } \lbrace x:x\in A,x\notin B \rbrace {x:x∈A,x∈/​B}称为A与B的差集，记作A\B。
i.e.表示‘即’
s.t.表示‘使得’ subject to 缩写

多个集合的关系

令I为某个指标集合，集合族 { A i ∣ i ∈ I } \lbrace A_i|i\in I\rbrace {Ai​∣i∈I}表示一族集合

集合族的并与交

⋃ i ∈ I A i = { x ∣ ∃ i ∈ I 　 s . t . 　 x ∈ A i } \bigcup_{i\in I}A_i=\lbrace x|\exists i \in I 　s.t.　x\in A_i \rbrace i∈I⋃​Ai​={x∣∃i∈I　s.t.　x∈Ai​}
⋂ i ∈ I A i = { x ∣ ∀ i ∈ I 　 s . t . 　 x ∈ A i } \bigcap_{i\in I}A_i=\lbrace x|\forall i \in I 　s.t.　x\in A_i \rbrace i∈I⋂​Ai​={x∣∀i∈I　s.t.　x∈Ai​}
$$A\bigcap (\bigcup _{i\in I}{A}_i)=\bigcup _{i\in I}(A_i\bigcap A)$$
$$A\bigcup (\bigcap _{i\in I}{A}_i)=\bigcap _{i\in I}(A_i\bigcup A)$$
任意表示交，存在表示并。

集合的幂集

设A={1，-1}，A的子集有$\varnothing$，{1}，{-1}，{1，-1}
B={$\varnothing$，{1}，{-1}，{1，-1}}，B称为A的幂集。

给定一个集合X，X的所有子集构成集合称为X的幂集，记作$2^X$

如果 A 有n个元素，则$2^A$有$2^n$个元素。

上极限集与下极限集

设 { A k } \lbrace A_k \rbrace {Ak​}是一集合列，则$$\overline{\underset{k\to +\infty }{\lim }}{A}_k=\bigcup _{j=1}^{\infty }\bigcap _{k=j}^{\infty }{A}_k$$为集合列 { A k } \lbrace A_k \rbrace {Ak​}的上极限集，简称上限集。$$\underline{\underset{k\to +\infty }{\lim }}{A}_k=\bigcap _{j=1}^{\infty }\bigcup _{k=j}^{\infty }{A}_k$$
为集合列 { A k } \lbrace A_k \rbrace {Ak​}的下极限集，简称下限集。
若上下限集相等，则说 { A k } \lbrace A_k \rbrace {Ak​}的极限存在并等于上限集或下限集，记为$$\underset{k\to +\infty }{\lim }{A}_k$$
定理：若 { A k } \lbrace A_k \rbrace {Ak​}是一集合列，则
（1） lim ⁡ k → + ∞ ‾ A k = { x : 对 任 一 自 然 数 j , 存 在 k ( k &gt; = j ) , x ∈ A k } \overline {\lim_{k \to +\infty}} A_k=\lbrace x:对任一自然数j,存在k(k&gt;=j),x \in A_k\rbrace k→+∞lim​​Ak​={x:对任一自然数j,存在k(k>=j),x∈Ak​}
（2） lim ⁡ k → + ∞ ‾ A k = { x : 存 在 自 然 数 j , 当 k ( k &gt; = j ) , x ∈ A k } \underline {\lim_{k \to +\infty}} A_k=\lbrace x:存在自然数j,当k(k&gt;=j), x\in A_k\rbrace k→+∞lim​​Ak​={x:存在自然数j,当k(k>=j),x∈Ak​}
也可以表述为
（3） lim ⁡ k → + ∞ ‾ A k = { x : x ∈ A n 对 无 穷 个 n 成 立 } \overline {\lim_{k \to +\infty}} A_k=\lbrace x:x\in A_n对无穷个n成立\rbrace k→+∞lim​​Ak​={x:x∈An​对无穷个n成立}
（4） lim ⁡ k → + ∞ ‾ A k = { x : x ∈ A n 除 有 限 个 n 外 皆 成 立 } \underline {\lim_{k \to +\infty}} A_k=\lbrace x:x\in A_n除有限个n外皆成立\rbrace k→+∞lim​​Ak​={x:x∈An​除有限个n外皆成立}

上确界是一个集合的最小上界。
下确界是与上确界相对偶的概念，指的是一个集合的最大下界。
确界存在定理：非空有上界的集合必有上确界，非空有下界的集合必有下确界。
上确界$supE=su{p}_{x\in E}x$
下确界$infE=in{f}_{x\in E}x$

聚点

设$E\subset R^n,p_0\in R$若对任何$\delta >0,N(p_0,\delta )$内总有E中无穷多个点，则称$p_0$为E的聚点。
有限集无聚点。

导集

称E的聚点的全体为E的导集，记为E‘。

闭包

称$E\bigcup E^{\prime }$为E的闭包，记为$\overline{E}$。

闭集

1.若E中每个聚点都属于E，则称E为闭集。
2.任何有限集都是闭集，有限集无聚点，故$E^{\prime }=\varnothing \subset E$。
3.对于任$E\subset R^n$，$E^{\prime }$与$\overline{E}$皆为闭集。
4.E为闭集$⟺$E中任何收敛点列均收敛于E中的点。
5.闭集F的余集为开集。
6.开集的余集为闭集。
7.任意一族闭集之交仍是闭集。
8.有限个闭集之并仍是闭集。

自密集

设$E\subset R^n$，若$E\subset E^{\prime }$，则称E为自密集。
E为自密集，意为E的每一点都是他的聚点。
全体有有理数和无理数为自密集。

完备集

设$E\subset R^n$，若$E=E^{\prime }$，则称E为完备集。
完备集是自密的闭集，不含孤立点的闭集。

构成空间

1.设G是直线上的非空开集，若开空间$(a,b)\subset G,且a,b\notin G$，则称（a,b）为G上的一个构成空间。
2.设G为直线上的非空开集，则G中任一点必属于某一构成区间。
3.开集的构造：直线上的任何非空开集都是至多可列个互不相交的构成区间的开集。
4.闭集的构造：直线上非空闭集是由直线除去至多可列个互不相交的开区间构成。
5.闭集构造定理中从直线上除去的各个开区间都称为闭集F的邻接区间。
6.设$F\subset R$,F为完备集的充要条件是F为任二邻接区间无公共端点的闭集。

康托三分集

点到集之间的距离

设$E\subset R^n$为非空点集，$x_0\in R_n$，称$$d(x_0,E)=in{f}_{x\in R}d(x_0,x)$$
为点x0集E的距离。

集到集之间的距离

1.设$A\subset R^n，B\subset R^n$皆为非空点集，称$$d(A,B)=infd(x,y),x\in A,y\in B$$为集A到集B的距离。

距离可达定理

1.若A，B为$R^n$中非空闭集，其中至少有一个为有界集，则存在$x^{\ast }\in A,y^{\ast }\in B$，使$$d(x^{\ast },y^{\ast })=d(A,B)$$
2.a为$R^n$中任一点,B为$R^n$任一闭集,则必有$b\in B$,使d(a,b)=d(a,B).
3.A,B为$R^n$中有界闭集,若$A\bigcap B=\varnothing$,则必有d(A,B)=r>0.

隔离性定理

1.两集合$A_1$与$A_2$,若有开集$G_1,G_2$使$$G_1\supset A_1,G_2\supset A_2而G_1\bigcap G_2$$则称$A_1$与$A_2$具有隔离性.
2.设$E\subset R^n$,实数d>0,则集 D = { p ; d ( p , E ) &lt; d } D=\lbrace p;d(p,E)&lt;d \rbrace D={p;d(p,E)<d},为一开集,且$E\subset U$.
3.设A1,A2,为二非空点集,d(A1,A2)=r>0,则A1,A2必具隔离性.
4.$R^n$中任二不相交之有界闭集必具隔离性.