参考视频 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
⋂
(
⋃
i
∈
I
A
i
)
=
⋃
i
∈
I
(
A
i
⋂
A
)
A\bigcap(\bigcup_{i\in I}A_i)=\bigcup_{i\in I}(A_i\bigcap A)
A⋂(i∈I⋃Ai)=i∈I⋃(Ai⋂A)
A
⋃
(
⋂
i
∈
I
A
i
)
=
⋂
i
∈
I
(
A
i
⋃
A
)
A\bigcup(\bigcap_{i\in I}A_i)=\bigcap_{i\in I}(A_i\bigcup A)
A⋃(i∈I⋂Ai)=i∈I⋂(Ai⋃A)
任意表示交,存在表示并。
集合的幂集
设A={1,-1},A的子集有
∅
\emptyset
∅,{1},{-1},{1,-1}
B={
∅
\emptyset
∅,{1},{-1},{1,-1}},B称为A的幂集。
给定一个集合X,X的所有子集构成集合称为X的幂集,记作 2 X 2^X 2X
如果 A 有n个元素,则 2 A 2^A 2A有 2 n 2^n 2n个元素。
上极限集与下极限集
设
{
A
k
}
\lbrace A_k \rbrace
{Ak}是一集合列,则
lim
k
→
+
∞
‾
A
k
=
⋃
j
=
1
∞
⋂
k
=
j
∞
A
k
\overline {\lim_{k \to +\infty}} A_k=\bigcup_{j=1}^{\infty}\bigcap_{k=j}^{\infty}A_k
k→+∞limAk=j=1⋃∞k=j⋂∞Ak为集合列
{
A
k
}
\lbrace A_k \rbrace
{Ak}的上极限集,简称上限集。
lim
k
→
+
∞
‾
A
k
=
⋂
j
=
1
∞
⋃
k
=
j
∞
A
k
\underline {\lim_{k \to +\infty}} A_k=\bigcap_{j=1}^{\infty}\bigcup_{k=j}^{\infty}A_k
k→+∞limAk=j=1⋂∞k=j⋃∞Ak
为集合列
{
A
k
}
\lbrace A_k \rbrace
{Ak}的下极限集,简称下限集。
若上下限集相等,则说
{
A
k
}
\lbrace A_k \rbrace
{Ak}的极限存在并等于上限集或下限集,记为
lim
k
→
+
∞
A
k
\lim_{k \to +\infty}A_k
k→+∞limAk
定理:若
{
A
k
}
\lbrace A_k \rbrace
{Ak}是一集合列,则
(1)
lim
k
→
+
∞
‾
A
k
=
{
x
:
对
任
一
自
然
数
j
,
存
在
k
(
k
>
=
j
)
,
x
∈
A
k
}
\overline {\lim_{k \to +\infty}} A_k=\lbrace x:对任一自然数j,存在k(k>=j),x \in A_k\rbrace
k→+∞limAk={x:对任一自然数j,存在k(k>=j),x∈Ak}
(2)
lim
k
→
+
∞
‾
A
k
=
{
x
:
存
在
自
然
数
j
,
当
k
(
k
>
=
j
)
,
x
∈
A
k
}
\underline {\lim_{k \to +\infty}} A_k=\lbrace x:存在自然数j,当k(k>=j), x\in A_k\rbrace
k→+∞limAk={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→+∞limAk={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→+∞limAk={x:x∈An除有限个n外皆成立}
上确界是一个集合的最小上界。
下确界是与上确界相对偶的概念,指的是一个集合的最大下界。
确界存在定理:非空有上界的集合必有上确界,非空有下界的集合必有下确界。
上确界
s
u
p
E
=
s
u
p
x
∈
E
x
supE=sup_{x\in E}x
supE=supx∈Ex
下确界
i
n
f
E
=
i
n
f
x
∈
E
x
infE=inf_{x\in E}x
infE=infx∈Ex
聚点
设
E
⊂
R
n
,
p
0
∈
R
E\subset R^n,p_0\in R
E⊂Rn,p0∈R若对任何
δ
>
0
,
N
(
p
0
,
δ
)
\delta>0,N(p_0,\delta)
δ>0,N(p0,δ)内总有E中无穷多个点,则称
p
0
p_0
p0为E的聚点。
有限集无聚点。
导集
称E的聚点的全体为E的导集,记为E‘。
闭包
称 E ⋃ E ′ E\bigcup E' E⋃E′为E的闭包,记为 E ‾ \overline E E。
闭集
1.若E中每个聚点都属于E,则称E为闭集。
2.任何有限集都是闭集,有限集无聚点,故
E
′
=
∅
⊂
E
E'=\emptyset \subset E
E′=∅⊂E。
3.对于任
E
⊂
R
n
E\subset R^n
E⊂Rn,
E
′
E'
E′与
E
‾
\overline E
E皆为闭集。
4.E为闭集
  
⟺
  
\iff
⟺E中任何收敛点列均收敛于E中的点。
5.闭集F的余集为开集。
6.开集的余集为闭集。
7.任意一族闭集之交仍是闭集。
8.有限个闭集之并仍是闭集。
自密集
设
E
⊂
R
n
E\subset R^n
E⊂Rn,若
E
⊂
E
′
E\subset E'
E⊂E′,则称E为自密集。
E为自密集,意为E的每一点都是他的聚点。
全体有有理数和无理数为自密集。
完备集
设
E
⊂
R
n
E\subset R^n
E⊂Rn,若
E
=
E
′
E=E'
E=E′,则称E为完备集。
完备集是自密的闭集,不含孤立点的闭集。
构成空间
1.设G是直线上的非空开集,若开空间
(
a
,
b
)
⊂
G
,
且
a
,
b
∉
G
(a,b)\subset G,且a,b \notin G
(a,b)⊂G,且a,b∈/G,则称(a,b)为G上的一个构成空间。
2.设G为直线上的非空开集,则G中任一点必属于某一构成区间。
3.开集的构造:直线上的任何非空开集都是至多可列个互不相交的构成区间的开集。
4.闭集的构造:直线上非空闭集是由直线除去至多可列个互不相交的开区间构成。
5.闭集构造定理中从直线上除去的各个开区间都称为闭集F的邻接区间。
6.设
F
⊂
R
F \subset R
F⊂R,F为完备集的充要条件是F为任二邻接区间无公共端点的闭集。
康托三分集
点到集之间的距离
设
E
⊂
R
n
E \subset R^n
E⊂Rn为非空点集,
x
0
∈
R
n
x_0\in R_n
x0∈Rn,称
d
(
x
0
,
E
)
=
i
n
f
x
∈
R
d
(
x
0
,
x
)
d(x_0,E)=inf_{x\in R}d(x_0,x)
d(x0,E)=infx∈Rd(x0,x)
为点x0集E的距离。
集到集之间的距离
1.设 A ⊂ R n , B ⊂ R n A\subset R^n,B \subset R^n A⊂Rn,B⊂Rn皆为非空点集,称 d ( A , B ) = i n f d ( x , y ) , x ∈ A , y ∈ B d(A,B)=inf d(x,y),x\in A,y \in B d(A,B)=infd(x,y),x∈A,y∈B为集A到集B的距离。
距离可达定理
1.若A,B为
R
n
R^n
Rn中非空闭集,其中至少有一个为有界集,则存在
x
∗
∈
A
,
y
∗
∈
B
x^*\in A,y^*\in B
x∗∈A,y∗∈B,使
d
(
x
∗
,
y
∗
)
=
d
(
A
,
B
)
d(x^*,y^*)=d(A,B)
d(x∗,y∗)=d(A,B)
2.a为
R
n
R^n
Rn中任一点,B为
R
n
R^n
Rn任一闭集,则必有
b
∈
B
b\in B
b∈B,使d(a,b)=d(a,B).
3.A,B为
R
n
R^n
Rn中有界闭集,若
A
⋂
B
=
∅
A\bigcap B=\empty
A⋂B=∅,则必有d(A,B)=r>0.
隔离性定理
1.两集合
A
1
A_1
A1与
A
2
A_2
A2,若有开集
G
1
,
G
2
G_1,G_2
G1,G2使
G
1
⊃
A
1
,
G
2
⊃
A
2
而
G
1
⋂
G
2
G_1\supset A_1,G_2\supset A_2而G_1\bigcap G_2
G1⊃A1,G2⊃A2而G1⋂G2则称
A
1
A_1
A1与
A
2
A_2
A2具有隔离性.
2.设
E
⊂
R
n
E\subset R^n
E⊂Rn,实数d>0,则集
D
=
{
p
;
d
(
p
,
E
)
<
d
}
D=\lbrace p;d(p,E)<d \rbrace
D={p;d(p,E)<d},为一开集,且
E
⊂
U
E\subset U
E⊂U.
3.设A1,A2,为二非空点集,d(A1,A2)=r>0,则A1,A2必具隔离性.
4.
R
n
R^n
Rn中任二不相交之有界闭集必具隔离性.