Chapter 4 Inverse Function Theorem

这个章节讲得很好, 还引用了庄子秋水中的一段话, 大佬啊.

4.1 The Inverse Function Theorem

映射\(F: \mathbb{R}^n \rightarrow \mathbb{R}^m\)在\(p_0\)可微, 若存在\(DF(p_0) \in \mathbb{R}^{m \times n}\)使得

\[\lim_{h\rightarrow 0} \frac{|F(p_0+h)-F(p_0)-DF(p_0)h|}{|h|}=0.
\]

定理4.1(逆函数定理): 令\(F:U\rightarrow \mathbb{R}^n\)为一\(C^1\)映射, 其中\(U \subset \mathbb{R}^n\)为一开集, \(p_0 \in U\), 假设\(DF(p_0)\)可逆, 则存在开集\(V, W\)分别包含\(p_0, F(p_0)\)使得\(F\)在\(V\)上的限制是一个双射, 且其在\(W\)的逆映射是\(C^1\)的. 此外, 若\(F\)在\(U\)上是\(C^k, 1\le k \le \infty\)则其逆映射也是\(C^k\)的.

首先是需要证明在\(p_0\)附近的对应是一一的, 这用到了

\[T(x)=L^{-1}(Lx-F(x)+y),
\]

这一压缩映射(首先得证明它是压缩映射, 同时在此过程中可确定\(W\)).

第二步是证明逆映射的连续性, 然后是可微性.

最后\(C^k\)的证明可由, \(DF(G(y))DG(y)=I\)得到

\[DF^{-1} (y)=(DF(F^{-1}(y)))^{-1}.
\]

The Implicit Function Theorem

定理4.3 (隐函数定理): 设\(F:U \rightarrow \mathbb{R}^m\)为定义在开集\(U \subset \mathbb{R}^n \times \mathbb{R}^m\)上的\(C^1\)映射. 假设\((p_0, q_0) \in U\)满足\(F(p_0,q_0)=0\), 且\(D_yF(p_0, q_0)\)可逆. 则存在开集\(V_1 \times V_2\)包含\((p_0, q_0)\)和一个\(C^1\)映射\(\varphi:V_1 \rightarrow V_2\), \(\varphi(p_o)=q_0\)使得

\[F(x, \varphi(x))=0, \forall x \in V_1.
\]

若\(F\)是\(C^k\)的, 则\(\varphi\)也是\(C^k\)的, \(1 \le k \le \infty\). 此外, 此映射在所定义的开集合(似乎需要加以限制)上是唯一的.

证明考虑下列映射

\[\Phi(x,y)=(x,F(x,y)),
\]

并利用逆函数定理.

4.3 Curves and Surfaces

这是逆函数定理和隐函数定理的一个应用, 详见原文, 内容还是很有趣的.

4.4 The Morse Lemma

non-degenerate critical point: 即一阶梯度为0, 二阶梯度(黑塞矩阵)非奇异的点.

定理4.9 (Morse引理): 令\(f\)为一定义在\(\mathbb{R}^n\)的一个开集上, 且\(p_0\)为一非退化关键点( non-degenerate critical point). 则存在一个光滑的局部坐标变换\(x=\Phi(y), p_0=\Phi(0)\)使得

\[\tilde{f}(y)=f(\Phi(y))=f(p_0)-y_1^2-y_2^2-\cdots-y_m^2+y_{m+1}^2 + \cdots + y_n^2,
\]

其中\(m, 0\le m \le n\)为关键点的index.

注: 原文中并没有\(f(p_0)\)这一项, 个人认为是作者的笔误.

Inverse/Implicit Function Theorem的更多相关文章

  1. learning scala How To Create Implicit Function

    println("Step 1: How to create a wrapper String class which will extend the String type") ...

  2. 目录:Matrix Differential Calculus with Applications in Statistics and Econometrics,3rd_[Magnus2019]

    目录:Matrix Differential Calculus with Applications in Statistics and Econometrics,3rd_[Magnus2019] Ti ...

  3. [中英双语] 数学缩写列表 (List of mathematical abbreviations)

    List of mathematical abbreviations From Wikipedia, the free encyclopedia 数学缩写列表 维基百科,自由的百科全书 This ar ...

  4. [转]unity3d 脚本参考-技术文档

    unity3d 脚本参考-技术文档 核心提示:一.脚本概览这是一个关于Unity内部脚本如何工作的简单概览.Unity内部的脚本,是通过附加自定义脚本对象到游戏物体组成的.在脚本对象内部不同志的函数被 ...

  5. [转]A Guide To using IMU (Accelerometer and Gyroscope Devices) in Embedded Applications.

    原文地址http://www.starlino.com/imu_guide.html Introduction There’s now a FRENCH translation of this art ...

  6. coffeescript 1.8.0 documents

    CoffeeScript is a little language that compiles into JavaScript. Underneath that awkward Java-esque ...

  7. Unity3D脚本中文系列教程(十三)

    http://dong2008hong.blog.163.com/blog/static/469688272014032334486/ Unity3D脚本中文系列教程(十二) ◆ function G ...

  8. Unity3D脚本中文系列教程(八)

    ◆ static var matrix : Matrix4x4 描述:设置用于渲染所有gizmos的矩阵. 类方法 ◆ Static function DrawCube(center:Vector3, ...

  9. Oracle 10gR2分析函数

    Oracle 10gR2分析函数汇总 (Translated By caizhuoyi 2008‐9‐19) 说明:  1. 原文中底色为黄的部分翻译存在商榷之处,请大家踊跃提意见:  2. 原文中淡 ...

随机推荐

  1. acre, across

    acre The acre is a unit of land area used in the imperial and US customary systems. It is traditiona ...

  2. 13. 搭建arm-linux-gcc交叉编译环境

    1.下载工具并解压 下载路径  http://www.arm9.net/download.asp 将 arm-linux-gcc-4.5.1-v6-vfp-20120301.tgz 拷贝到 Linux ...

  3. flink---实时项目--day01--1. openrestry的安装 2. 使用nginx+lua将日志数据写入指定文件中 3. 使用flume将本地磁盘中的日志数据采集到的kafka中去

    1. openrestry的安装 OpenResty = Nginx + Lua,是⼀一个增强的Nginx,可以编写lua脚本实现⾮非常灵活的逻辑 (1)安装开发库依赖 yum install -y ...

  4. 零基础学习java------day2------关键字、标志符、常量、进制键的转换、java中的数据类型、强制类型转换的格式

    今日内容要求: 1. 了解关键字的概念及特点,了解保留字 2. 熟练掌握标识符的含义,特点,可使用字符及注意事项 3. 了解常量的概念,进制,进制之间相互转换,了解有符号标识法的运算方式 4. 掌握变 ...

  5. Centos 7 安装redis,修改配置文件不生效、外网不能访问。

    前提: 在用Centos 7 安装 redis 时,遇上一下几个问题 ,记录下 . 1.修改配置文件,按官网步骤启动,不生效. 2.外网无法访问redis. 步骤: 1.打开centos 虚拟机 ,按 ...

  6. RocketMQ应用及原理剖析

    主流消息队列选型对比分析 基础项对比 可用性.可靠性对比 功能性对比 对比分析 Kafka:系统间的流数据通道 RocketMQ:高性能的可靠消息传输 RabbitMQ:可靠消息传输 RocketMQ ...

  7. C# 枚举的flags 标志位应用

    枚举有个特性叫标志位,使用方法如下 [Flags] enum Foo { a =1, b = 2, c = 4, d = 8 } 每个值需要为2的n次方,保证多个值的组合不会重复. 这样在判断其中一个 ...

  8. 企业级BI是自研还是采购?

    企业级BI是自研还是采购? 上一篇<企业级BI为什么这么难做?>,谈到了企业级BI项目所具有的特殊背景,以及在"破局"方面的一点思考,其中谈论的焦点主要是在IT开发项目 ...

  9. jdk1.8帮助文档中文可搜索

    jdk1.8帮助文档中文可搜索 链接:https://pan.baidu.com/s/11beeZLpEIhciOd14WkCpdg 提取码:t4lw

  10. 小迪安全 Web安全 基础入门 - 第八天 - 信息打点-系统篇&端口扫描&CDN服务&负载均衡&WAF防火墙

    一.获取网络信息-服务厂商&网络架构 1.通过whois查询获取. 2.nmap.goby等扫描工具扫描获取. 3.https://www.netcraft.com/等网站查询获取. 二.服务 ...