测度与积分知识结构整理.docxVIP

约定G和O为开集，F为闭集，Ω为开覆盖，函数。以下所有概念均在一个度量空间X中讨论。第七章度量空间定义E的闭包点：点，（）。E⊂。定义度量空间X可分:由可数个点构成的稠密子集D，即。命题度量空间可分⇔∃可数开集族，s.t.∀O⊂X，O=。定义函数f在点x连续：。连续则在每一点连续。命题。定义为X与Y间的同胚：双射，连续且-1连续。若X与Y间存在一个同胚，称X与Y是同胚的。（拓扑学本质上是研究在同胚下保持不变的性质，这样的性质称为拓扑的。根据开集定义的性质都是一个拓扑性质。一致性质，在一致同胚下保持不变的性质；度量性质，在等距同构下保持不变的性质）定义X与Y之间的等距同构（保持距离不变的同胚）：在某个同胚下，∀x1.x2∈X,。若X与Y之间存在一个等距同构，X和Y是等距的。定义ρ和σ是等价度量：≺X,ρ≻≺X,σ≻映上的恒同映射idX是一个同胚（⇔若集合O在≺X,ρ≻是开的，则在≺X,σ≻也是开的）。定义≺xn≻收敛于点x：，即关于x的每个球包含了该序列除有限项外的一切项。定义聚点：关于x的球包含序列的无限项，（）定义柯西序列：。若每个柯西序列都收敛，则称该空间是完备的。定理若≺X,ρ≻不完备度量空间，则∃是完备度量空间，则X可作为一个稠密子集等距嵌入X*。若X⊂Y（任意完备空间），则X*等距于X在Y中的闭包。定义一致连续：。命题一致连续⇒若≺xn≻是柯西序列，则(xn)也是柯西序列。定义同胚称为一致同胚：，-1一致连续。（一致性质：在一致同胚下保持不变的性质）定义ρ和σ一致等价（与等价比较）：≺X,ρ≻≺X,σ≻映上的恒同映射是一致同胚。（）命题Y完备，E⊂X，：E→Y，一致连续，则∃！连续映射g：Y,∀x∈E,(x)=g(x)（即g是f的扩张）,且g是一致连续的。定义S是X的一个子空间：S是X的一个子集，∀x，y∈S⊂X，ρ|S(x,y)=ρ|X(x,y)。（相对闭包的概念，E⊂S，则E在S中的闭包和E在X中的闭包通常是不一样的。但如果x是E在X闭包上的点，则若它属于S它就是E在S闭包上的点）命题S是X的子空间，|S=|X∩S。集合A⊂S相对S闭⇔∃F是X的闭集，A=S∩F。集合A⊂S相对S开⇔∃O是X的开集，A=S∩O。命题可分度量空间的每个子空间都是可分的。命题若度量空间X的子集A完备，则A闭；完备度量空间的闭子集A完备。定义X紧空间：X的每个开覆盖Ω有一个有限子覆盖，即∃有限簇{O1，O2，…，ON}⊂Ω，s.t.X⊂。（⇔）定义X中集簇ß具有有限交性质：ß任何有限子集簇有非空交。命题X（度量空间）是紧的⇔每个具有有限交性质的闭集簇ß有一个非空交集⇔X有波尔查诺-魏尔斯特拉斯性质（X的每一个无限序列xn至少有一个聚点，即）⇔X序列紧（X的每个序列xn均有收敛的子序列）【比较波尔查诺-魏尔斯特拉斯性质和序列紧的定义】⇔完备+全有界（∀ε0,存在有限点簇{x1，…，xn}使得∀x∈X，x与某个xk的距离不超过ε⇔∀ε0，X被有限个半径为ε的球覆盖）定理定义在紧空间的连续实值函数，则有界且取到最小值和最大值。引理序列紧空间全有界（）定义ε为开覆盖Ω的勒贝格数：，即δ与x无关。（以下命题表明δ在序列紧空间中一定存在）命题紧空间X的开覆盖Ω，则。命题紧空间的闭子集紧。度量空间的紧子集闭且有界。紧集的连续像是紧的。（比较命题若度量空间X的子集A完备，则A闭；完备度量空间的闭子集A完备。）系实数的每个紧集闭且有界命题连续映射：紧度量空间X→度量空间Y，⇒一致连续。定义E是无处稠密的：稠密⇔不包含非空开集定义E是第一范畴的：E是可数无处稠密集簇的并E是第二范畴的：不是第一范畴的集合。第一范畴集的补集称为剩余的。性质第一范畴集的可数并和子集都第一范畴集定理{Ok}是X（完备度量空间）的可数稠密开子集簇，则∩On稠密（X完备度量空间，则X的任意非空开子集都不是第一范畴的）命题O开F闭，无处稠密。完备度量空间中闭F是第一范畴集，则F无处稠密命题完备度量空间的子集K是剩余集⇔K包含一个稠密的Gδ。完备度量空间的子集E是第一范畴集⇔E包含在一个Fσ中，其补集是稠密的命题{Fn}是可数闭集簇，X=∪Fn，则O=是剩余开集。若X是完备度量空间，则O稠密命题一致有界原理：ß为完备度量空间X的实值连续函数族，且∀x∈X，∃Mx，s.t.∀f∈ß，|f(x)|Mx。∃非空开集O⊂X和常数M，s.t.∀f∈ß，∀x∈O，|f(x)|M命题X,ρ完备度量空间，E⊂X是一个Gδ，则∃E的度量σ，σ等价于ρ，且E,σ是完备度量空间命题E⊂X（拓扑空间），连续映射f：E→完备度量空间Y,σ。则f可以扩张为连续函数f*：E*→Y，其中f*定义在上，E⊂E*，且为Gδ命题E为豪斯多夫空间的稠密子集，E同胚与完备空间Y,σ,则E是一个Gδ系度量空间的子集E同胚于完