漫步数学分析十三——路径连通_路径连续推导连续-程序员宅基地

第二个重要的主题是连通性，我们直观上知道想应用连通性到哪种集合上，然而，我们的直观在判断更复杂的集合时可能会失效，例如如果 $R^2$ 中的集合为 $\{(x,\sin 1/x)|x>0\}\cup\{(0,y)|y\in[-1,1]\}$ ，那么它是连通的吗？如图 $\ref{fig:3-3}$ 所示，现在我们想用严格的定义来形式化这个概念。

图1

事实上，有两个不同但彼此相互联系的连通概念，其中更加直观且实用的是路径连通(path-connectedness)，所以我们先从它入手，首先我们需要定义连接两点的曲线是什么。

$\textbf{定义2}$ 连接 $R^n$ 中两点 $x,y$ 的连续路径是一个映射： $\varphi:[a,b]\to R^n$ ，它满足 $\varphi(a)=x,\varphi(b)=y$ 且 $\varphi$ 是连续的，这里 $x,y$ 可能相等，也可能不相等 $b\geq a$ ，在随后的文章中我们会详细的研究连续映射，但是目前，如果对于 $[a,b]$ 中收敛到某个值 $t\in[a,b]$ 的每个序列 $t_k$ ，满足

(t k \to t) \Rightarrow (φ (t k) \to φ (t))

$(t_k\to t)\Rightarrow(\varphi(t_k)\to\varphi(t))$

那么我们就说 $\varphi$ 是连续的。(直观上来看，连续路径就是该路径上没有断点或跳跃点)如果对于所有的 $t\in[a,b]$ ， $\varphi(t)\in A$ ，那么我们说路径 $\varphi$ 位于集合 $A$ 中，如图 $\ref{fig:3-4}$ 所示。

如果集合 $A$ 中的任意两点被一条位于 $A$ 中的连续路径连接起来，那么我们就成集合 $A$ 是路径连续的(path-connected)。

例如，图 $\ref{fig:3-4}$ 中的区域 $A$ 是路径连通的，另一个路径连通集是区间 $[0,1]$ 本身。为了证明这个结论，令 $x,y\in[0,1]$ 并且定义 $\varphi:[0,1]\to R,\varphi(t)=(y-x)t+x$ ，这是连接 $x,y$ 的路径，它位于 $A=[0,1]$ 中。

利用上面路径连通的定义，有一个事实是图 $\ref{fig:3-4}$ 中的集合不是路径连通的，虽然这个事实得证明比较繁琐。许多时候判断集合是否是路径连通的非常容易，只需要看任何两点是否可以由位于集合中的曲线连接起来，并且几何直观也很明显。连通的第二个概念不太好直接判断，但是非常有用我们会在下一篇文章中给出。

图2

$\textbf{例1：}$ 下面那些集合是路径连通的？

(a) $[0,3]$
(b) $[1,2]\cup[3,4]$
(c) $\{(x,y)\in R^2|0<x\leq 1\}$
(d) $\{(x,y)\in R^2|0<x^2+y^2\leq 1\}$

$\textbf{解：}$ 只有(b)不是路径连通的，从图 $\ref{fig:3-5}$ 可以很明显的看出来。

$\textbf{例2：}$ 路径连通必须是闭的吗？或者开的？

$\textbf{解：}$ 不需要。[0,1],(0,1),[0,1)都是路径连通的。

$\textbf{例3：}$ 令 $\varphi:[0,1]\to R^3$ 是一个连续路径，并且 $\ell =\varphi([0,1])$ ，说明 $\ell$ 是路径连续的。

$\textbf{解：}$ 这在直观上很明显，因为我们可以用 $\varphi$ 本身取连接 $\ell$ 中的任意两点。更准确的说，如果 $x=\varphi(a),y=\varphi(b)$ ，其中 $0\leq a\leq b\leq 1$ ，令 $c:[a,b]\to R^3,c(t)=\varphi(t)$ ，那么 $c$ 是连接 $x,y$ 的路径且位于 $\ell$ 中。

图3

本文链接：https://blog.csdn.net/u010182633/article/details/54584146

原作者删帖不实内容删帖广告或垃圾文章投诉

智能推荐

oracle 12c 集群安装后的检查_12c查看crs状态-程序员宅基地

文章浏览阅读1.6k次。安装配置gi、安装数据库软件、dbca建库见下：http://blog.csdn.net/kadwf123/article/details/784299611、检查集群节点及状态：[root@rac2 ~]# olsnodes -srac1 Activerac2 Activerac3 Activerac4 Active[root@rac2 ~]_12c查看crs状态

解决jupyter notebook无法找到虚拟环境的问题_jupyter没有pytorch环境-程序员宅基地

文章浏览阅读1.3w次，点赞45次，收藏99次。我个人用的是anaconda3的一个python集成环境，自带jupyter notebook，但在我打开jupyter notebook界面后，却找不到对应的虚拟环境，原来是jupyter notebook只是通用于下载anaconda时自带的环境，其他环境要想使用必须手动下载一些库：1.首先进入到自己创建的虚拟环境(pytorch是虚拟环境的名字)activate pytorch2.在该环境下下载这个库conda install ipykernelconda install nb__jupyter没有pytorch环境

国内安装scoop的保姆教程_scoop-cn-程序员宅基地

文章浏览阅读5.2k次，点赞19次，收藏28次。选择scoop纯属意外，也是无奈，因为电脑用户被锁了管理员权限，所有exe安装程序都无法安装，只可以用绿色软件，最后被我发现scoop，省去了到处下载XXX绿色版的烦恼，当然scoop里需要管理员权限的软件也跟我无缘了（譬如everything）。推荐添加dorado这个bucket镜像，里面很多中文软件，但是部分国外的软件下载地址在github，可能无法下载。以上两个是官方bucket的国内镜像，所有软件建议优先从这里下载。上面可以看到很多bucket以及软件数。如果官网登陆不了可以试一下以下方式。_scoop-cn

Element ui colorpicker在Vue中的使用_vue el-color-picker-程序员宅基地

文章浏览阅读4.5k次，点赞2次，收藏3次。首先要有一个color-picker组件 <el-color-picker v-model="headcolor"></el-color-picker>在data里面data() { return {headcolor: ’ #278add ’ //这里可以选择一个默认的颜色} }然后在你想要改变颜色的地方用v-bind绑定就好了，例如：这里的:sty..._vue el-color-picker

迅为iTOP-4412精英版之烧写内核移植后的镜像_exynos 4412 刷机-程序员宅基地

文章浏览阅读640次。基于芯片日益增长的问题，所以内核开发者们引入了新的方法，就是在内核中只保留函数，而数据则不包含，由用户（应用程序员）自己把数据按照规定的格式编写，并放在约定的地方，为了不占用过多的内存，还要求数据以根精简的方式编写。boot启动时，传参给内核，告诉内核设备树文件和kernel的位置，内核启动时根据地址去找到设备树文件，再利用专用的编译器去反编译dtb文件，将dtb还原成数据结构，以供驱动的函数去调用。firmware是三星的一个固件的设备信息，因为找不到固件，所以内核启动不成功。_exynos 4412 刷机

Linux系统配置jdk_linux配置jdk-程序员宅基地

文章浏览阅读2w次，点赞24次，收藏42次。Linux系统配置jdkLinux学习教程，Linux入门教程（超详细）_linux配置jdk

随便推点

matlab(4)：特殊符号的输入_matlab微米怎么输入-程序员宅基地

文章浏览阅读3.3k次，点赞5次，收藏19次。xlabel('\delta');ylabel('AUC');具体符号的对照表参照下图：_matlab微米怎么输入

C语言程序设计-文件(打开与关闭、顺序、二进制读写)-程序员宅基地

文章浏览阅读119次。顺序读写指的是按照文件中数据的顺序进行读取或写入。对于文本文件，可以使用fgets、fputs、fscanf、fprintf等函数进行顺序读写。在C语言中，对文件的操作通常涉及文件的打开、读写以及关闭。文件的打开使用fopen函数，而关闭则使用fclose函数。在C语言中，可以使用fread和fwrite函数进行二进制读写。‍ Biaoge 于2024-03-09 23:51发布阅读量：7 ️文章类型：【 C语言程序设计】在C语言中，用于打开文件的函数是____，用于关闭文件的函数是____。

Touchdesigner自学笔记之三_touchdesigner怎么让一个模型跟着鼠标移动-程序员宅基地

文章浏览阅读3.4k次，点赞2次，收藏13次。跟随鼠标移动的粒子以grid（SOP）为partical（SOP）的资源模板，调整后连接【Geo组合+point spirit（MAT)】，在连接【feedback组合】适当调整。影响粒子动态的节点【metaball(SOP)+force(SOP)】添加mouse in（CHOP)鼠标位置到metaball的坐标，实现鼠标影响。..._touchdesigner怎么让一个模型跟着鼠标移动

【附源码】基于java的校园停车场管理系统的设计与实现61m0e9计算机毕设SSM_基于java技术的停车场管理系统实现与设计-程序员宅基地

文章浏览阅读178次。项目运行环境配置：Jdk1.8 + Tomcat7.0 + Mysql + HBuilderX（Webstorm也行）+ Eclispe（IntelliJ IDEA,Eclispe,MyEclispe,Sts都支持）。项目技术：Springboot + mybatis + Maven +mysql5.7或8.0+html+css+js等等组成，B/S模式 + Maven管理等等。环境需要1.运行环境：最好是java jdk 1.8，我们在这个平台上运行的。其他版本理论上也可以。_基于java技术的停车场管理系统实现与设计

Android系统播放器MediaPlayer源码分析_android多媒体播放源码分析时序图-程序员宅基地

文章浏览阅读3.5k次。前言对于MediaPlayer播放器的源码分析内容相对来说比较多，会从Java-&amp;gt;Jni-&amp;gt;C/C++慢慢分析，后面会慢慢更新。另外，博客只作为自己学习记录的一种方式，对于其他的不过多的评论。MediaPlayerDemopublic class MainActivity extends AppCompatActivity implements SurfaceHolder.Cal..._android多媒体播放源码分析时序图

java 数据结构与算法 ——快速排序法-程序员宅基地

文章浏览阅读2.4k次，点赞41次，收藏13次。java 数据结构与算法 ——快速排序法_快速排序法