就不该开始的
回顾与展望
2.1 外测度与测度
- 外测度:空集为零;单调性;次可加性
- CY条件:T∈Rn,μ∗(T)=μ∗(T∩E)+μ∗(T∩Ec)
- CY定理:σ−代数;可数可加性;完备性
- Lebesgue测度,Lebesgue测度空间
2.2 Lebesgue测度的性质
- 定理(L−可测集的特征):内外正则性(开集外,闭集内);内外逼近(紧集内,开集外)
- 定理(L−测度的平移、伸缩性)
2.3 可测函数
2.4 可测函数的积分
- 定理(单调收敛):单调递增非负可测函数列+收敛
- 定理(Fatou引理):fn⟶f,μ.a.e 于 E⇒lim––––n→∞∫fndμ≤∫fdμ
- 定理(控制收敛定理/LDC):收敛+非负可测函数控制
2.5 Rn 上的Lebesgue积分的计算
2.5.1 R 上的Lebesgue积分的计算
- 定理(Lebesgue积分下的Newton-Leibnitz)I 上绝对连续函数 ⇒ f 几乎处处可微;f′∈L1(I);Newton-Leibnitz公式
- 弱化:f∈c[a,b]+f 在 [a,b] 上可微 +f′∈L1[a,b]⇒Newton-Leibnitz公式
2.5.2 Fubini定理
- Fubini定理:
- 形式1:E∈Mp+q⇒Ex∈Mq, Ey∈Mp;∫Rpmq(Ex)dx=∫Rqmp(Ey)dy=∫Rp+q1E(x,y)dxdy
- 形式2:X,Y 可测集,f Lebesgue可积或非负可测 ⇒∫∫X×Yf(x,y)dxdy=...
- 命题:X∈Mq, Y∈Mp ;∀x∈X,y⟶f(x,y) 是 Y 上连续函数;∀y∈Y,x⟶f(x,y) 在 X 上可测 ⇒f 是 X×Y 上的可测函数。
- 定理*:φ c1 单射 + E 可测集 + f 非负可测/Lebesgue可积 ⇒ 积分换元公式
- 闭区域上:要求边界Lebesgue测度为0,闭区域每点可导,闭区域内部单射
- e.g. 球极变换
- e.g. 球面测度与球面积分
- 命题5:等径不等式
Ch.10 Hausdorff测度与曲线、曲面积分
§0 Vitali覆盖引理
- Vitali覆盖
- 定理1(Vitali覆盖定理):直径上确界有限的闭球/闭方体集合族 ⊆ 同心伸缩 5√n 倍的可数闭球/闭方体族
- Zorn引理:在任何一非空的偏序集中,若任何链(即全序的子集)都有上界,则此偏序集内必然存在(至少一枚)极大元
- 定理2(Vitali覆盖定理变形):定理1中,两边任意去掉有限个闭球/闭方体,包含关系仍成立
- 定理3(闭球填充一般集合):E⊆Rn,可以从E的Vitali覆盖中找至多可数个集合{Bk}k0k=1 ,使得 m∗(E/{Bk}k0k=1)=0
- 定理4(开集由闭球填充):Ω⊆Rn 非空开集,∀δ>0,∃ 闭球族 {Bk}∞k=1 满足 ①∀k≥1,Bk⊆Ω ;②{Bk}∞k=1 互不相交;③diam(Bk)≤δ,s.t.m∗(Ω/{Bk}∞k=1)=0
§1 Hausdorff测度
Hausdorff外测度
- H∗k,δ(E), H∗k(E)
- 命题1:两者均是外测度;后者是度量外测度(隔离可加性);前者≤后者
- 命题2(维数的作用):低维测度有限的集合,高维测度必为零
- 命题3(H∗k 保持距离不等式):E⊆Rn, |f(x)−f(y)|≤c|g(x)−g(y)|⇒H∗k(f(E))≤ckH∗k(g(E))
- 命题4(H∗k 的平移、伸缩、旋转性质)
- 命题5:同维度时,Hausdorff外测度等同于Lebesgue外测度
- 命题6(k维Hausdorff外测度计算):1≤k≤n,∀E⊆Rk,A∈Mn,k(R) 有 H∗k(A(E))=√det(ATA)m∗k(E)
Hausdorff测度及其性质
- H测度
- 命题*:n维 Hn 可测集叉乘0拓展到m维也是 Hm 可测,且测度值相等
- 定理7(Hk 测度的性质):
- H∗k 的所有性质对于 Hk 仍成立
- B(Rn)⊆Hk
- (Hk−可测集结构)若 Hk(E)<+∞,则为Borel集并零测集,或Borel集挖去零测集
- 命题8(Hk 的平移、伸缩与旋转性)
- 定理9(c1 映射下可测集变换)
- c1 映射把零测集映为零测集
- E 有有限可测集的可数分解,则 c1 映射把 E 映到可测集
- c1 映射把mk可测集映到Hk可测集
- c1 且处处满秩的映射下,原像是 mk 可测集 ⇔ 像是 Hk 可测集
- 推论(k维Hausdorff测度计算公式):1≤k≤n,A∈Mn,k(R)
- rank(A)<k (det(ATA)=0)⇒Hk(A(E))=0,∀E⊆Rk
- rank(A)=k (det(ATA)>0)⇒Hk(A(E))=√det(ATA)mk(E)
§2 光滑曲线的长度与曲面的面积
- k维光滑曲面,S的面积
- Jφ(x)=√det((Dφ)T(Dφ)(x))
- 引理1:limx∈Q, diam(Q)→0Hk(φ(Q))mk(Q)=Jφ(x),其中 D 开集,φ c1 单射,Q⊆D 闭方体
- 定理2:Hk(φ(E))=∫EJ(φ(x))dx,其中 D 开集,φ c1 单射
§3 Hausdorff测度的积分——曲线曲面积分
- 定理1(平移、伸缩、反射与旋转)
- 定理2+推论3(积分换元):det(Dφ(x))⟶Jφ(x)
- 应用:
- 光滑曲线的长度
- 球极投影:φ:Rk⟶Sk/{−ek+1}, t↦(2t1+|t|2,1−|t|21+|t|2); Jφ(t)=(21+|t|2)k
§4 Rn 上的Riemann积分
- 分划,分划集 P(E),模长,标志组点,标志组点集合 σ[P]
- Riemann和,Riemann积分,Riemann可积函数类 R(E;μ)
Riemann可积 ⇒ 有界
通过振幅刻画Riemann可积
- 振幅,达布上和,达布下和
- 命题2:达布下和≤达布上和
- 命题3(Riemann可积的振福表示):f∈R(E;μ) ⇔ ∀ε>0,∃δ>0,∀|σ|<δ,有 |ΣNi=1w(f;Ei)μ(Ei)|<ε
- 命题4(振幅 w(f;x) 的Lebesgue可积性)
这条搞不动啊
- 定理(Riemann可积的Lebesgue准则):E⊆Rn 有界可测,f:E→R 有界,则 f∈R(E;μ)⇔f 在 E 上 μ−几乎处处连续
相对内点,外点,边界点,Jordan可测集
- 相对内点,相对外点,边界点
- Jordan可测集
- 定理5(Riemann积分的基本性质)
- R(E;μ)⊂L1(E;μ),且两者积分数值相同
- 线性空间
- A⊆E,则 1A∈R(E;μ)⇔A∈J(E)
- 子集上的函数延拓到全集、全集上的函数限制在子集、有限集合上的函数拓展到并集(或反向),如果仍保持Riemann可积性质,需要 A(子集) ∈J(E)(全集)
Jordan可测集,Darboux积分与Riemann积分
- Riemann积分——重定义(分划中,∀1≤j≤i,μ(∂Ej)=0)
- 定理*:两种定义等价
- 加细
- 命题6:分划和加细分划的达布上和、达布下和不等式
- 命题9:若 E∈J(Rn),则 ∫Ef(x)dx=A⇔A=supσ∈P∗(E)S––(f;σ)=infσ∈P∗(E)¯¯¯¯S(f;σ)⇔limσ∈P∗(E), ξ∈σ[P]S(f;σ,ξ)=A,第一个等价符号是Darboux准则,第二个等价符号是Riemann积分的“网收敛”
- 数论中的应用:
- 命题:a∈N, E⊂[−a,a]d 紧集且 m(∂E)=0,则如果 f∈c(E,R),有
- limn→∞1ndΣanj1=−an+1Σanj2=−an+1...Σanjd=−an+11E(→jn)f(→jn)=∫Ef(x)dx
- limn→∞1ndΣanj1=−anΣanj2=−an...Σanjd=−an1E(→jn)f(→jn)=∫Ef(x)dx
- 特别地,取 f≡1 时,limn→∞1ndΣanj1=−anΣanj2=−an...Σanjd=−an1E(→jn)=m(E)
§5 重积分的应用
Brouwer不动点定理
- Brouwer不动点定理:Rn 中的紧凸集上的连续函数必有不动点。
毛绒球定理(球面上非零的连续切向量场的存在性与不存在性)
- 切向量场,连续切向量场,非零连续切向量场
- 命题2:Sn−1⊂Ω(开集)⊆Rn, →v∈c1(Sn−1,Rn) 是 Sn−1 上的单位切向量场,则 n−1 必为奇数
- 命题3:若 n−1 为偶数,则 Sn−1 上没有非零的连续切向量场
Brouwer区域不变定理
- 定理4:Ω(开集)⊆Rn, f:Ω→Rn 为连续映射且局部一一,则 f 是开映射
- 命题5(非零连续延拓定理):K,Z⊆Rn 非空紧集,m(Z)=0,f:K→Rn/{0}连续,则∃F:K∪Z→Rn/{0},使得 F|k=f
- 命题6:f:¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯B(0;r)→Rn 连续且满足 (f(x),x)≥0,∀x∈∂B(0;r),则 ∃ξ∈¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯B(0;r),使得 f(ξ)=0
- 命题7:f:¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯B(0;r)→Rn 连续单射,则 ∃δ>0,使得 B(f(0);δ)⊂f(¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯B(0;r)),即 f(0) 是 f(¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯B(0;r)) 的内点
Ch.11 微分形式与第一型第二型曲线,曲面积分
§0.2 流形的定义与性质
准备工作
Rn 中的(拓扑)流形/曲面
- 零维曲面/零维流形,k维曲面/k维流形(1≤k≤n),曲线
- (S)∘ 内部,∂S 边界,无边曲面/流形,带边曲面/流形
- 流形上区域不变定理:S⊆Rn k维流形,D⊆Rk 开集,f:D→S 连续单射,则
- f 是相对开映射
- f(D) 是一个k维流形
- 若 f 还满足 f:¯¯¯¯¯D→Rn 连续,则 f(D)∩f(∂D)=∅
- 命题1(∂S 的刻画):
- x0∈∂S⇔∃Vx0⊆Rn 开集以及同胚映射 φ:Hk→Vx0∩S 使得 φ−1(x0)∈∂Hk={0}×Rk−1
- (S)∘ 是 S 的开集,∂S 是 S 的闭集
- 若 S 是 Rn 的闭集/紧集,则 ∂S 也是 Rn 的闭集/紧集
- 命题2:φ:Hk→U(k维曲面 S 的一个开集)同胚,则 φ 将内部映射到内部,且将边界映射到边界
- 命题3:S⊆Rn 是 k 维带边流形 ⇒ ∂S 是 k-1 维无边流形
局部图与图册
- 局部图/局部坐标,参数域,有效域,图册 A(S)
- 引理4(可数覆盖):Rn 的开集族 {Vν}ν∈P 覆盖了集合 E⊆Rn,则存在可数集 P0⊆P,使得 {Vν}ν∈P0 仍然可以覆盖 E。特别 E 为紧集时,P0 可取为有限集
- 命题5(图册可数化)
- 命题6:Rn 中的曲面 S∈B(Rn)
- 命题7:k维流形可表示为可数个互不相交的道路连通k维流形的并
光滑曲面
- 命题8(延拓定理):φ∈cr(Hk;Rn),则 ∃~φ∈cr(Rk;Rn),使得 ~φ|Hk=φ|Hk,且 ∂α~φ|Hk=∂αφ|Hk, ∀|α|≤r
- 定理9:1≤k≤n,r≥1,D⊆Rk 开集,φ∈cr(D;Rn) 在 t∗∈D 处满秩,则 ∃ε>0,使得
- ε 附近的一个小方体上,φ 满秩
- 存在 cr 类同胚映射 Φ,使得 φ 限制在小方阵上与 Φ 限制在小方阵 ×{0} 上值相等
- 光滑图册,光滑k维曲面,cr 类k维曲面
光滑曲面的性质
- 命题10:S⊆Rn 是k维光滑曲面,则
- S 的内部是 Rk 经过同胚映射的集合和 Hk 经过同胚映射的集合的内部的并,S 的边界是 Hk 经过同胚映射的集合的边界
- 若 ∂S≠0,则它是 k-1 维光滑无边曲面,且当 k≥2 时,{(Rk−1,~φj,~Uj)}j∈~N 是 ∂S 的一个光滑图册,其中 ~φj(⋅)=φj(0,⋅),~Uj=φj(∂Hk)
光滑曲面的定向
- 转换映射
- 相容,定向图册,可定向,不可定向
- 基底/标架,有相同的定向/同向,有相反的定向/反向,定向标架类
- 命题11:可定向的道路连通光滑曲面上,任意通过局部图参数化的“标架”同向
- 定理12:道路连通的可定向曲面恰有两个不同的定向
- 命题13:可定向的带边光滑曲面的边仍可定向
- 命题14:k维光滑曲面的任一非空相对开集也是k维光滑曲面,而且若前者可定向,则后者可定向
- 例子:
- 一维流形的分类与定向(四种)
- 将“反向”的两个局部图调整为“同向”的两个局部图
- 超曲面的定向:道路连通的光滑超曲面可定向,当且仅当其上存在连续单位法向量场
- 定向相反的图册
- 分片光滑的曲面
posted @
2022-11-10 18:56
SELFLOVER
阅读(
788)
评论()
编辑
收藏
举报
点击右上角即可分享
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· Manus的开源复刻OpenManus初探
· AI 智能体引爆开源社区「GitHub 热点速览」
· 三行代码完成国际化适配,妙~啊~
· .NET Core 中如何实现缓存的预热?