我是这么理解秩定理的,对于一个映射,我们可以不断的寻找微分同胚来简化这个映射,如果它们已经是微分同胚,那么其实就是可以简化成一个恒等映射。如果做不到,那么我们可以找到这样一种情况,在前k个元素,都是恒等映射,后面都是0.

这个其实不那么好理解,如果在邻域内是满秩的,那么它的像肯定是内点。首先根据秩定理,上面的坐标形式可以是:

因为m>n,所以u0的邻域肯定比v0的邻域高维度,也就包含它。然后,微分同胚是把内点变换为内点,所以重新把f写成:

那么每一个变换,都是内点--->内点---->内点的形式。

这个要这么理解,对于函数f,如果它每个分量都是独立的,那么用一个F函数,带入它们等于=0,只有一种情况,就是F函数本身就是零函数。

这个引理的证明也非常困难。我们会发现经常用到二阶偏导数。

二阶偏导数的特点在于它的矩阵是对称的,实对称的矩阵是正定的,可以对角化,也就是可以化成标准型,或者叫可以正则化。二次型的正则化就是上面那个公式,只有每个元素自己的平方。

这个证明还挺有意思的,重点在于

首先,二次型都可以和一个对称矩阵相互对应。变量代换,可以换成另一个二次型矩阵,但是保持非退化。同时,通过对称矩阵的对角化,可以把特征值的矩阵当成换元,所以可以直接假设二次型矩阵就是一个对角矩阵。

数学分析:秩定理,莫尔斯引理相关推荐

  1. 【Paper】论文中定义、定理、引理、证明分别的含义

    论文中定义.定理.引理.证明分别的含义 1. 定义 Definition 2. 定理 Theorem 3. 证明 Proof 4. 引理 Lemma 5. 谈论/评论 Remark 6. 注解/说明 ...

  2. Latex中定义、定理、引理、证明 设置方法总结

    Latex中定义.定理.引理.证明 设置方法总结 在LaTex中需要有关定理.公理.命题.引理.定义等时,常用如下命令 \newtheorem{定理环境名}{标题}[主计数器名] \newtheore ...

  3. latex怎么打区间_Latex中定义、定理、引理、证明 设置方法总结

    Latex中定义.定理.引理.证明 设置方法总结 在LaTex中需要有关定理.公理.命题.引理.定义等时,常用如下命令 \newtheorem{定理环境名}{标题}[主计数器名] \newtheore ...

  4. 定义,公理,定理,引理,推论,命题,推测,猜想

    参考 定义(Definition): 对于一个数学概念精准明确的描述:通过给出一个单词的所有真实的性质来赋予这个单词意义. 公理/假定(Axiom/postulate): 不证自明的声明:它是所有定理 ...

  5. Latex中定理、引理、证明、假设、空白行

    1. 引理 \newtheorem{lemma}{Lemma}[section] \begin{lemma} \label{lemma1}\end{lemma} 编译效果: 2. 定理 \newthe ...

  6. 数学分析原理 定理 6.12

    (a)如果在$[a,b]$上$f_1\in\mathcal{R}(\alpha)$且$f_2\in\mathcal{R}(\alpha)$,那么对于任意的常数$c_1,c_2$,$$c_1f_1+c_ ...

  7. Latex中定理、引理、证明、假设

    引理 \newtheorem{lemma}{Lemma}[section] \begin{lemma} \label{lemma1}\end{lemma} 编译效果: 定理 \newtheorem{t ...

  8. 组合数学常用内容——Polya定理+Burnside引理

    Burnside引理 设G是N{1,2,.....,n}上的置换群,G在N上可引出不同的等价类(在置换群中有置换的都等价),其不同的等价类的个数为LL=1/|G|*(c1(a1)+...c1(ai). ...

  9. 数学分析原理 定理 6.4

    如果$P*$是$P$的加细,那么 $$L(P,f,\alpha)\leq L(P^*,f,\alpha)$$ 且 $$U(P^*,f,\alpha)\leq U(P,f,\alpha)$$ 证明:这两 ...

最新文章

  1. 反编译工具jad简单用法
  2. Android 音视频开发学习思路
  3. SparkSQL报错:UnresolvedException: Invalid call to dataType on unresolved object, tree: 'bb
  4. B - Cube HDU - 1220 (数学计数)
  5. Linux常用shell脚本
  6. bpsk在瑞利信道matlab,请教BPSK在瑞利信道下的误码率仿真
  7. 如何自己搭建外卖红包平台,操作外卖CPS佣金提成实现躺赚=
  8. 2D武侠游戏《剑侠世界》网游单机 搭建教程说明
  9. office高级应用与python综合案例教程_《office高级应用案例教程.ppt
  10. Twitter开发者账号申请流程
  11. php strtotime技巧,获取前几天、前几周、后几天、后几周,本月开始和本月结束时间
  12. 2019 NeurIPS | Graph Transformer Networks
  13. matlab simulink 实现简单的脉宽调制PWM仿真
  14. iOS APP 启动页面的使用
  15. opencv 单个圆形孔和针检测
  16. 11GR2 中的常见 RMAN 问题
  17. 95后二本生争抢互联网职位:工资高福利好,为了改变命运背水一战
  18. mac安装mongodb数据库
  19. 直流电能表DJSF1352-RN在意大利光伏电池项目中的应用
  20. 使用Chrome调试微信内置浏览器

热门文章

  1. vs cdoe 配置c和c++环境
  2. VS Code快捷键—焦点切换(减少鼠标操作)
  3. Linux(一篇就够了)
  4. 桌面小型教学数控机床用户案例分享
  5. 阿里云视频云低代码音视频工厂正式上线,以vPaaS全新定义企业级音视频应用开发
  6. 极客头条 | 5月13日科技要闻:人民日报调查“浏览器主页劫持”;CEO 回应小霸王游戏机团队解散;陌陌暂时关闭动态发布功能
  7. Excel VBA 将当前活动工作表中的图片保存到以工作表名称命名的文件夹内
  8. 做群站时,友情链接怎么做
  9. MySQL 使用触发器记录用户的操作日志
  10. 树莓派全双工语音(二)——Mumble的自动化交互