#微分几何
文章平均质量分 81
sqrtbirthdeath
这个作者很懒,什么都没留下…
展开
-
Toponogov 比较定理及其应用
简介 Toponogov 比较定理的证明想法原创 2023-03-05 14:00:09 · 800 阅读 · 0 评论 -
微分几何笔记(10) —— 纤维丛
温馨提示:本文大量参考 GTM20 Fibre Bundles [Hus94]\text{[Hus94]}[Hus94] 一书前三章,目的是引入纤维丛的概念。这本书的主线还是相当清晰的,先给出最泛的丛的概念,再逐步的通过增加条件,来得到更具体的丛。10.1 丛与截面定义 10.1.1 丛 (Bundle):是指一个三元组 ξ=(E,p,B)\xi=(E,p,B)ξ=(E,p,B),其中 p:E→Bp:E\rightarrow Bp:E→B 为一映射。其中 EEE 称为 total space,BBB 称原创 2020-06-21 00:11:42 · 1514 阅读 · 0 评论 -
微分几何笔记(9) —— 切丛,余切丛
继续上篇的内容。9.1 切丛在上篇中我们已经定义了 nnn 维光滑流形 MMM 上每一点处的切空间,把每一点处的切空间无交并起来就得到了所谓的切丛 (Tangent bundle) 。一个很形象的比喻就是将底空间 MMM 想象为土地,一点处的切空间视作长出来的草,那么切丛就是整个连带着土地的草丛。定义 9.1.1 光滑流形 MMM 的切丛 TMTMTM 是指:TM=⨆p∈MTpM.TM=\bigsqcup_{p\in M}T_pM.TM=p∈M⨆TpM.切丛中的元素首先当然是切空间 TpMT_原创 2020-06-20 12:15:40 · 2864 阅读 · 0 评论 -
微分几何笔记(8) —— 切向量,切空间
上一篇定义了光滑微分流形,这一篇在其上定义光滑函数,并且定义流形之间的光滑映射。原创 2020-06-01 23:36:54 · 2605 阅读 · 1 评论 -
联络习题
Proof:Suppose we have a linear connection ∇\nabla∇ on MMM, then for each curve γ:I→M\gamma: I\rightarrow Mγ:I→M, we can define a unique covariant derivative operator Dt:X(γ)→X(γ)D_t:\mathscr{X}(\gamma)\rightarrow\mathscr{X}(\gamma)Dt:X(γ)→X(γ), s.t.:(1.原创 2020-05-24 00:24:35 · 229 阅读 · 0 评论 -
Riemann度量习题
For an open neighborhood U⊂MU\subset MU⊂M, show that there exists a local orthonormal basis {ωi}⊂Γ(T∗U)\{\omega_i\}\subset \Gamma(T^*U){ωi}⊂Γ(T∗U), such that g∣U=∑(ωi)2g|_U=\sum(\omega_i)^2g∣U=∑(ωi)2.Proof:For a (0,2)(0,2)(0,2)-tensor h∈Γ(T(0,2)M)..原创 2020-05-16 10:24:40 · 395 阅读 · 0 评论 -
斯托克斯定理,de Rham上同调习题
(1) For an orientable manifold MMM with boundary ∂M\partial M∂M, show that:∙\bullet∙ there is a non-vanishing outer normal vector field NNN on ∂M\partial M∂M;∙\bullet∙ given an orientation n-form Ω∈Λn(M)\Omega\in\Lambda^n(M)Ω∈Λn(M), the form:Ω′=(ιNΩ)∣∂M转载 2020-05-13 21:58:14 · 598 阅读 · 0 评论 -
可定向曲面习题
Prove that a co-dimensional kkk submanifold given by the level set of a full-rank vector-valued function F:Rn+k→RkF : \mathbb{R}^{n+k}\rightarrow \mathbb{R}^kF:Rn+k→Rk is orientable. Please construc...原创 2020-05-03 20:23:18 · 659 阅读 · 0 评论 -
张量习题
1.Prove that v1,…,vr∈V∗v_1,\dots,v_r\in V^*v1,…,vr∈V∗ is linearly dependent if and only ifv1∧⋯∧vr=0v_1\wedge\dots\wedge v_r=0v1∧⋯∧vr=0Proof:If v1,… .vrv^1,\dots.v^rv1,….vr is linearly dependent...原创 2020-04-19 22:23:06 · 652 阅读 · 0 评论 -
微分几何笔记(7) —— 光滑微分流形
从这篇开始讲讲光滑微分流形。第一次学到流形是在尤承业的基础拓扑学讲义中的拓扑流形,也就是具有Hausdorff性质的拓扑,而且每一点都有一个同胚于欧氏空间Rn的开邻域\textbf{每一点都有一个同胚于欧氏空间}\mathbb{R}^n\textbf{的开邻域}每一点都有一个同胚于欧氏空间Rn的开邻域,并且这个流形的维数顺势定义为nnn. 下面关于流形维数的定义啰嗦几句:这里的定...原创 2020-04-04 18:46:57 · 3135 阅读 · 0 评论 -
切向量,切空间,余切空间习题
\documentclass[12pt,a4paper]{amsart}\usepackage{amsmath,amssymb,amsthm}\usepackage{mathrsfs}\usepackage{geometry}\usepackage{graphicx}\usepackage{subfigure}\geometry{left=2.0cm,right=2.0cm,top=2...原创 2020-03-15 13:25:09 · 639 阅读 · 0 评论 -
微分几何笔记(4) —— 二维三维空间中曲线的曲率以及环绕数
本篇文章我们从一般化的 Rn\mathbb{R}^nRn 空间回到我们生活的 R2,R3\mathbb{R}^2,\mathbb{R}^3R2,R3空间,看看低维空间中的曲线有哪些性质,主要计算下在非弧长参数下的曲线,曲率挠率的一般表达式。...原创 2019-10-14 21:46:13 · 5253 阅读 · 0 评论 -
微分几何笔记(2) —— 曲线的参数化
第二周讲完了Klingenberg的第一章,做一点微小的笔记。GTM51对入门者会难一些,因为直接从最一般的nnn维情况入手,再回头看二三维空间中的曲线,相比之下Calculus and Analysis in Euclidean Space这本UTM的Chapter 8 Parametrized Curves 算是相当新手友好的入门内容,由二三维曲线推广到一般情况。借用宋老师的话,微分几何的...原创 2019-10-07 00:34:01 · 5054 阅读 · 0 评论 -
微分几何笔记(1) —— 预备知识 & Proof of Mazur-Ulam Theorem
上来先开了一大堆坑,不知道要填到什么时候,有点自闭,不想学习的时候就写一写吧这个算是本科微分几何课程的笔记整理,主要涉及中的的曲线和中的曲面,follow的是Klingenberg的A Course in Differential Geometry.说到这我想起来,刚开学时向修过的同学要实体书,自己打的是Kallenberg,闹了笑话。原因是记得大二时去某校的暑期学校,概率论讨论班用书是他...原创 2019-09-20 00:15:23 · 2059 阅读 · 1 评论 -
微分几何笔记(3) —— Frenet标架及Frenet方程组
本篇就算正式进入微分几何的大门了。来讲讲Frenet标架(Frenet Frame)这个在19世纪中期就已经被提出的“古老”想法。3.1 Frenet标架原创 2019-10-09 19:13:41 · 4020 阅读 · 4 评论