蔡成丰从零开始的微分几何(20161019).pptxVIP

从零开始的微分几何;what is manifold？;不是manifold的例子：一条线接在一个面上，两个怼在一起的锥，一个线段...;manifold的严格定义：需要从一些基本概念的严格定义开始 map： 将集合M中每一个元素都对应到集合N中的元素的一套规则。 composition of map：若有两套maps ，它们是composition是一个由A到C的map，记为 ，作用方式是 其中a为A中元素 ;one-to-one(injective):有map ，N中每个元素至多对应M中一个元素 onto(surjective): N中每个元素至少有一个M中的元素对应 invertible (bijective): one-to-one且onto. 可定义 inverse map： 使得;M是一个differential manifold要求: 1.M是一个topological space; 那么什么是topological space呢？有集合X，搞一个袋子T装着X的很多子集ui，这些子集要满足: 1) X和空集是ui的一份子，2)所有ui的成员u1,u2,...的任意有限交集也是ui的一份子，3)所有ui的成员u1,u2,...的任意并集也是ui的一份子。 袋子T叫X的topology，每个ui叫open set，然后一对组合(X,T)就叫topological space. 例子：1)一个集合X的dicrete topology:这个袋子装了X的所有子集. 2)集合X的trivial topology: ，很平庸的袋子，就装空集和全集俩子集，显然满足“并交”条件。 3)实数域R，是一条直线，直线上所有开区间 (a,b)与它们的并集构成了所谓的usual topology.同理可推广到任意欧几里德空间R^n;2.伴随着M有一族这样的组合 ,其中 是能够覆盖整个M的open sets ，而 是从 到一个同样维度的欧几里德空间中的open set 中的homeomorphism (一种有连续逆映射的bijective连续映射)，给定了 使得它们的交集非空，在欧几里德 空间那边有map 从 是无穷阶可微的。 每一对 叫chart，一整本 叫 atlas(地图册). 叫coordinate neighbourhood 叫coordinate function;vectors and tangent spaces;这样的定义是坐标无关的，如果想把矢量和坐标建立起联系： 由于函数f是任意的，我们可以去掉它得到 于是 可作为vector基底; 作为坐标基的好处是，我们假如考虑另一组坐标 ，那么从链式法则我们就知道 而坐标无关的vector 用 张开为 于是我们知道变换坐标系之后vector各分量的变换由 得 两外，发现了吗？vector 不过是一个从函数到函数的map 。覆盖整个manifold M每一点上的vector构成一个vector field;one-form and cotangent spaces;tensors;pullback of function;pushforward of vector;pullback of one-form;pullback and pushforward of tensors;a sphere in R^3;Flows; 是否注意到这里的X的形式是你熟悉的某样东西