跳转到内容

下限拓扑

维基百科,自由的百科全书

数学上,下限拓扑是定义在实数 上的拓扑。其不同于 上的标准拓扑(由开区间生成),且具有若干有趣的性质。其为全体半开区间 [a,b) 组成的生成的拓扑,其中 ab 取遍任意实数。

这样得到的拓扑空间称为Sorgenfrey直线(得名自 Robert Sorgenfrey英语Robert Sorgenfrey)或箭头,有时记为 . 与康托集长直线类似,Sorgenfrey 直线也经常作为点集拓扑学中不少似是而非的命题的反例。

与自身的也是有用的反例,称为Sorgenfrey平面

类似地,可以定义 上的上限拓扑,其性质与下限拓扑完全相同。

性质

[编辑]
  • 下限拓扑比实数集的标准拓扑更精细(具有更多开集)。原因是每个开区间都可写成半开区间的可数并,故在下限拓扑中也是开集。
  • 对任意实数 , 区间 都是 闭开集(既是开集,也是闭集)。而且,对任意实数 , 集合 皆为闭开集。故 完全不连通空间
  • 紧子集只能是可数集(允许是有限集)。要证明此结论,考虑非空紧集 . 取定 , 考虑 开覆盖
由于 为紧,此开覆盖具有有限子覆盖,故存在实数 使得区间 不含 以外的点。这对任意 为真。现选取有理数 . 对不同的 , 区间 两两不交,故函数 为单射,故 至多可数。
  • “下限拓扑”得名自以下性质: 中的序列(或 收敛到 当且仅当其“从右接近 ”,即对任意的 ,均存在下标 使得 . 因此可用于研究单侧极限:对函数 , 之右极限(假定陪域具有标准拓扑),等于定义域在下限拓扑下 之一般极限。
  • 分离公理而言, 完美正规豪斯多夫空间(T6 空间)。
  • 可数性公理而言, 第一可数空间可分空间,但并非第二可数空间
  • 就紧致性而言,林德勒夫空间仿紧空间,但并非σ-紧空间英语σ-compact space,也不是局部紧空间。
  • 可度量化,因为可分的度量空间必为第二可数。然而, 的拓扑是由一个预度量给出。
  • 是一个贝尔空间 [1]

参考资料

[编辑]
  1. ^ Re: Baireness of Sorgenfrey line, more details (and more accurate). at.yorku.ca. [2018-07-05]. (原始内容存档于2011-06-04).