n实验室无穷远处消失

目录

目录

想法

A类地图 如果如果之间空格(比如,a连续映射之间拓扑空间)在无穷远处消失如果如果(x个)f(x)任意接近作为x个x个变得足够接近无穷大。

对于地图如果:X(X)Y(Y)f\冒号X\到Y,我们需要一种接近00在里面Y(Y)Y(Y),所以接受Y(Y)Y(Y)成为一名指向空间; 然后任意接近00表示输入任何街区基点的。我们还需要一个接近无穷大的概念X(X)X(X),所以接受X(X)X(X)成为一名局部紧Hausdorff空间; 那么,足够接近无穷大意味着进入外部其中一些紧致子空间(当然,为了解释“获得”,我们可以使用.)然而,有可能进一步推广。

定义

X(X)X(X)Y(Y)Y(Y)拓扑空间,并让如果如果成为连续映射(或潜在的任何功能)来自X(X)X(X)Y(Y)Y(Y).让Y(Y)Y(Y)指出,并让X(X)X(X)局部紧Hausdorff.

定义

地图如果:X(X)Y(Y)f\冒号X\到Y 在无穷远处消失如果每个街区 N个N个基点在里面Y(Y)Y(Y),有紧致子空间 K(K)K(K)属于X(X)X(X)使得如果(x个)f(x)属于N个N个无论何时x个x个位于外部属于K(K)K(K)在里面X(X)X(X).

万一Y(Y)Y(Y)是一个尖头度量空间(例如巴纳赫空间,带基点00; 或者特别是实线,带基点00),那么我们可以等效地说:

  • 对于每个正数 ϵ,有紧致子空间 K(K)K(K)属于X(X)X(X)使得如果(x个)<ϵ{(x)}无论何时x个x个在于外部属于K(K)K(K)在里面X(X)X(X).

(这里,{\|{-}\|}规范在Banach空间中,或者更一般地说,在任何有点度量空间中距基点的距离。)

属性

与压实的关系

考虑这个定义的一种方式是,可以X(X)X(X)一个“在无穷远处”的点,表示为\英菲,声明开放社区属于\英菲是表单的集合{}提取(K(K))\{\infty\}\cup Ext(K)对于K(K)X(X)K\子集X契约。这称为单点紧化,表示X(X) 氯化石蜡X^{cpt}.然后是连续函数 如果:X(X)A类f\冒号X\到A等于无穷大时消失,如果延伸 如果如果到地图X(X) 氯化石蜡A类X^{cpt}\到A,连续于\英菲(至少)发送\英菲00–因此字面意思是“消失在\英菲”.

有关更多信息,请参阅

工具书类

上次修订时间:2019年10月21日06:00:47。请参阅历史获取所有贡献的列表。