连续函数 (拓扑学)

拓撲空間之間的一種態射

拓扑学数学的相关领域里,连续函数是指在拓扑空间之间的一种态射。直观上来说,其为一个函数f,其中每一群在f(x)附近的点都会含有在x附近的一群点之。对一个一般的拓扑空间来说,这是指f(x)邻域总会包含著x之邻域的值。

在一个度量空间(如实数)里,这是指在f(x)一定距离内的点总会包含著在x某些距离内的所有点。

定义

因为有若干个对拓扑结构的等价定义存在,所以亦存在若干种定义连续函数的方法。

开集与闭集定义

拓扑中最常见的连续概念之定义为将其定义为一个其开集前像亦为开集的函数。类似开集的公式化,亦有一闭集公式化,其将连续函数定义为其闭集前像亦为闭集的函数。

邻域定义

以前像为基底之定义时常很难直接地被使用。替代地,设有一由XY的函数f,其中的XY都是拓扑空间。则f会被称为是x为连续的,其中xX的元素,若对于任一f(x)的邻域V,都存在一个能使 x的邻域U。虽然此一定义看起来很复杂,其在直觉上是指不论V变得多“小”,总会可以找到一个包含可映射至V内之xU。若fX内的每一个元素x都会连续,则简称f是连续的。

 

在一度量空间内,则其会等价于将所有邻域替换成考量以xf(x)为中心之开球邻域系统。这会导致在实分析中对连续函数的标准定义,其叙述著一个函数若为连续时,则其靠近x的所有点都会映射至靠近f(x)的点上。这只在度量空间中有意义,因为只有在度量空间中有距离的概念。

数列和网

在一些文章中,空间的拓扑会被简便地以极限点来描述。