最近读高观点下的数学这本书,对书中介绍的布劳威尔不动点定理的有趣性质印象很深,原因是这个定理的某些性质能够解释我们生活中的一些常见现象,这里结合一个例题,聊以记录。

从一个数学题讲起:

f(x)是定义在[0,1]上的连续函数,并且0<=f(x)<=1.求证:至少存在一个ξ,使得f(ξ)=ξ;

证明过程比较简单,构造函数:

F(x)=f(x)-x

则,F(0)=f(0)-0 >=0, F(1)=f(1)-1<=0.

根据零点定理,函数F(x)在闭区间[0,1]上连续,且F(0)与 F(1)异号(即F(a)× F(b)<0),那么在开区间(a,b)内至少有函数F(x)的一个零点,即至少有一点ξ(0<ξ<1)使F(ξ)=0. 得证。

上面的例子拓展一下,给定函数f(x),那么就把满足f(x)=x这样的x称为不动点,其实就是题目中的ξ,有的函数有不动点,有的函数就没有不动点,比如下面的函数有不动点:

但是如下的函数y=x^2+0.8却没有不动点:

那么什么样的函数会有不动点呢?我们从几何图形的角度反思一下刚才的题目,所谓满足f(x)=x的点,其实就是y=f(x)的图像与y=x这条直线的交点,在这个题目中,f(x)的定义域在[0,1]时,值域也是[0,1].所以,你的f(x)不管怎么画,只要它是连续的,必然会和正方形的对角线有1个交点,这个交点就是不动点:

把上面的信息提取出来,就得到了布劳威尔定理的一维情景:f(x)是定义在闭区间I上的连续函数,如果它的值域也包含在I中,则它至少存在一个不动点,这个定理对于多维空间也是适用的。

可以用牛顿数值计算法找到这个不动点:

上图寻找不动点的轨迹在不动点两侧呈现出左吸右拉的特点,具体的说,在(-∞,0)时,寻找轨迹发散,无法找到不动点,但是在[0,不动点]区间,轨迹收敛于不动点,同样,[不动点,1]区间收敛,但是(1,∞)又开始发散,所以看起来围绕不动点的[0,1]区间有点类似于黑洞视界,主要进入它的势力范围,马上被吸入不动点,否则则是发散到无穷远处。

上面介绍的是不动点定理的一维情景,不动点定理同样适用于高维空间,我们生活中遇到最多的应用情况就是不动点定理在2维空间中的应用,用公式表示就是:

f(x,y) = (x,y)

典型的应用场景举例:

1.桌面上放着一张和桌面大小形状一样的白纸,我们把它拿起来,揉成团,再仍回桌面,那么就可以断言,这张纸团上一定至少存在一个点,这个点在桌面上的投影和这个点在纸张展平状态下的位置重合。

2.我们去商场或者旅游经典经常会看到场所的导航牌,上面绘制了游览区域的二维平面地图,地图中用红色几何图形标志了你当前所在的位置。其实这幅图之所以能够绘制出来,全拜不动点定理所赐。

3.任何的地图导航软件,都有一个功能,标记你当前所在的位置在地图上位置表示,并且伴随着你的移动而移动,这个点能够绘制出来,也是由不动点定理的正确性保证的。

园区地图的例子:

地图举例:

这个定理的证明非常复杂,涉及到拓扑学,非数学专业本硕阶段都不会涉及。这里只用geogebra直观演示一下的有趣指出,以地图导航为例,在中国地图上找到不动点的位置:

因为两张地图是一个正比的满射,原理推导比较简单,如下图所示,不再赘述。

可以根据方程与直线交点的关系,算出不动点的坐标


结束

不动点定理的及其有趣应用相关推荐

  1. 力所能及的做些自己喜欢和有趣的事

    我们每个人都有自己喜欢做的事:在自己可控且力所能及的情况下,在闲时,按自己的意愿去做些自己喜欢和有趣的事,会感觉到这事很有意义.在忙时,要为理想和奋斗而忙:不浪费时间在无意义的事和人身上. 朋友要的是 ...

  2. 10玩rust_有趣的 Rust 类型系统: Trait

    也许你已经学习了标准库提供的 String 类型,这是一个 UTF-8 编码的可增长字符串.该类型的结构为: pub struct String {vec: Vec<u8>, } UTF- ...

  3. 有趣的计算机课的作文,有趣的电脑课作文500字

    昨天,我们上了一堂有趣的电脑课. 刚一踏进电脑室,我们便发现讲台旁放着一箱耳机,这些耳机上都缠绕着长长的耳机线.这节课我们会学习什么新知识呢?我怀着好奇心,坐在了座位上. 这时,上课铃响了.老师走到讲 ...

  4. 人工智能和机器学习领域有哪些有趣的开源项目

    人工智能和机器学习领域有哪些有趣的开源项目? 投递人 itwriter 发布于 2014-12-02 11:21 评论(0) 有20人阅读  原文链接  [收藏]  « 本文简要介绍了 10 款   ...

  5. C++拾趣——有趣的操作符重载

    操作符重载是C++语言中一个非常有用的特性.它可以让我们比较优雅的简化代码,从而更加方便的编写逻辑. 为什么要使用操作符重载 一种常见的用法是重载<<运算符,让标准输出可以输出自定义的类型 ...

  6. 简单有趣的matlab小程序_超实用有趣的五个小程序推荐

    大家好,我是小胖. 废话不多说,进入正题. 1.一周CP共读 有趣的灵魂总会相遇. 一个极简的社交小程序. 通过选择自己喜欢的一本书,匹配到那个跟自己有着一样有趣灵魂的TA. 选择好要阅读哪本书之后, ...

  7. 一些有趣的题目(java)持续更新

    有趣的编程题 1.面试题 2.某公司面试题 1.面试题 此处为正确的代码 package Java.king01.Test;class MicrosoftTest {public static voi ...

  8. 比较有趣的一个笔试题目

    这2天忙于找工作,看.NET笔试题目的时,发现有些笔试题目还是比较有趣的,虽然考的都是基础,但是稍有不慎还是会进入圈套.以下面一个题目为例,听说是晕倒了一群人 - -     class Progra ...

  9. 深度有趣 | 27 服饰关键点定位

    简介 介绍如何使用CPM(Convolutional Pose Machines)实现服饰关键点定位 原理 关键点定位是一类常见而有用的任务,某种意义上可以理解为一种特征工程 人脸关键点定位,可用于人 ...

最新文章

  1. Apache Samza流处理框架介绍——kafka+LevelDB的Key/Value数据库来存储历史消息+?
  2. H∞控制的simulink仿真
  3. 3D Button Visual Editor
  4. P1219 八皇后(N皇后,烧脑标记剪枝,DFS)
  5. 关于渲染流水线的几何变化
  6. mysql case默认_linux下安装mysql
  7. 前端打包混编压缩js代码,如何不重新打包,修改js文件内部配置参数?
  8. CSDN资源免费下载攻略,手慢无!
  9. 向量空间 内积空间 欧氏空间 希尔伯特空间
  10. win10桌面显示计算机及网上邻居,Win10网上邻居在哪里Win10桌面显示网络图标的方法...
  11. 曲面积分的投影法_第二型曲面积分的投影法与对称性
  12. 重写equals方法
  13. 怎么修复松下相机死机断电MDT文件为MOV或MP4视频
  14. 广域网是什么?43.227.216.x
  15. 南京印象之出租车司机
  16. 丰泽就业老师告知90后求职面试应具备的5种心态_河南丰泽教育JAVA/3G学院
  17. append,extend和insert的区别
  18. ctf crypto writeup
  19. latex安装教程(texlive+texstudio)并添加IEEE模板
  20. nonebot发送CQ码

热门文章

  1. 网络编程——TFTP协议(基于UDP)
  2. 大型CAx(CAD/CAE/CAM)工业软件开发中的关键组件
  3. 自搭建git 服务器,超简单
  4. 计算机化系统验证管理 360,关于计算机化系统验证管理的十点建议
  5. autoCAD图形对象与非图形对象的介绍
  6. API实现银行卡实名认证功能
  7. 特斯拉上海工厂整体工程建设基本完成 将于年底投产
  8. vs2017解决方案列表添加文件夹与实际目录中的文件夹对应
  9. php mpdf.mpdf,PHP MPDF中文乱码如何解决
  10. 设计模式7大原则——接口隔离原则解析(含代码示例)