基 (拓扑学)

✍ dations ◷ 2025-07-11 17:03:29 #点集拓扑学

在数学中,带有拓扑 的拓扑空间 的基(base 或 basis) 是 中开集的搜集,使得 中的所有开集可以被写为 的元素的并集。我们称基“生成”了拓扑 。基在拓扑学中有其作用,因为拓扑自身的很多性质可简化成生成拓扑的基的描述,且许多拓扑最容易依据生成它们的基来定义。

基有两个重要性质:

如果 的子集的搜集 不能满足任何一个条件,则它不是在 上任何拓扑的基(但它是准基,因为是 的子集的任意搜集。) 反过来说,如果 满足了这两个条件,则在 上有唯一一个 作为基的拓扑;它叫做 生成的拓扑。(这个拓扑是在 上包含 的所有拓扑的交集。) 这是定义拓扑的非常常用的方式。对 生成在 上的一个拓扑的充分但非必要条件是 闭合在交集下;则我们总是可以取得上述 3 = 。

例如,在实数线中的开区间的搜集形成在实数线上的拓扑的基,因为任何两个开区间的交集要么自身是开区间要么为空。事实上它们是在实数集上的标准拓扑的基。

但是,基不是唯一的。很多基甚至有不同的大小,可以生成相同的拓扑。例如,带有有理数端点的开区间们也是实数集的基,带有无理数端点的开区间们也是,但是这两个集合是完全不相交的并且都真正的包含在所有开区间的基中。对比于线性代数中向量空间的基,基不需要是极大化的;实际上,唯一的极大的基是这个拓扑自身。事实上,在空间中由基生成的任何开集都可以安全的增加到基中而不会改变拓扑。基的最小的可能的势叫做拓扑空间的重量。

不是基的开集搜集的一个例子是所有形如 (−∞, ) 和 (, ∞) 的半-无限区间的集合 ,这里的 是实数。 不是在 R 上的任何集合的基。要证明之,假设它是。那么例如,(−∞, 1) 和 (0, ∞) 作为一个单一基元素的并集,将在 生成拓扑中,并且因此它们的交集 (0,1) 也应该出现。但是 (0, 1) 明显不能写为 的元素的并集。使用可替代的定义,第二个性质失败,因为没有基元素可以容入这个交集内。

给定拓扑的一个基,要证明网或序列的收敛,在包含假定极限的所有基中的集合中最终证明它就是充分的。

闭集同样擅长描述空间的拓扑。因为有对于拓扑空间的闭集的对偶的基的概念。给定一个拓扑空间 , 的闭集基是闭集的集合族 使得任何闭集 是 的元素的交集。

等价的说,闭集族形成了闭集基,如果对于每个闭集 和每个不在 中的点 ,存在一个 的元素包含 但不包含 。

容易检查 是 的闭集基,当且仅当 的成员的补集的集合族是 的开集基。

设 是 的闭集基。则

满足这些条件的集合 的任何子集搜集形成 上的拓扑的闭集基。这个拓扑的闭集完全就是 的成员的交集。

在某些情况下,更习惯使用闭集基而非开集基。例如,一个空间是完全正规空间,当且仅当它的零集形成了闭集基。给定任何拓扑空间 ,零集形成在 上某个拓扑的闭集基。这个拓扑将是 上比最初的要粗的最细的完全正规拓扑。在类似的脉络下,在 A 上的 Zariski拓扑被定义为选取多项式函数的零集作为闭集基。

若拓扑空间 X {displaystyle X} 是最小的拓扑使得 X {displaystyle X} 的子集的集 B {displaystyle B} 都是 X {displaystyle X} 的开集,则称 B {displaystyle B} X {displaystyle X} 的一个准基(subbasis/subbase)。另一等价的定义为,若 B {displaystyle B} 及其所有有限交集构成了拓扑空间 X {displaystyle X} 之基,则 B {displaystyle B} 为准基。

例子:

J.W. 亚历山大证明了:若每个准基覆盖都有一个有限个元素的子覆盖,则此空间是紧致的。

邻域  · 内部  · 边界  · 外部  · 极限点  · 孤点

相关

  • 矮星系矮星系是由数十亿颗恒星组成,一种比较小的星系,比我们银河系有二千至四千亿颗恒星少了许多。大麦哲伦星系,有300亿颗恒星,当在讨论在银河系周围的星系时,有时也会被归类为矮星系
  • 地天地天(梵语:Pṛthvī),又称坚牢地神、坚牢神、持地神,即主掌大地之神,为十二天之一。最初为印度神话中养育万物的地母神颇哩提毗(Prithvi),后被佛教吸收,在南传佛教中也叫帕媚托拉尼,有
  • 戈尔德斯格林坐标:51°34′24″N 0°11′54″W / 51.5734°N 0.1982°W / 51.5734; -0.1982格德斯绿地(Golders Green)是英国伦敦的一个地区,在行政区划上属于巴内特伦敦自治市。格德斯绿地
  • 5号线.mw-parser-output .RMbox{box-shadow:0 2px 2px 0 rgba(0,0,0,.14),0 1px 5px 0 rgba(0,0,0,.12),0 3px 1px -2px rgba(0,0,0,.2)}.mw-parser-output .RMinline{float:none
  • 国务院部委管理的国家局国务院部委管理的国家局,现在除国务院办公厅(正部级)管理的国家信访局、国务院直属机构国家市场监督管理总局(正部级)管理的国家知识产权局和国家药品监督管理局外,都是国务院组成
  • 古诗古诗有两种含义:
  • 瑞尼斯瑞尼斯 是作家雅尼斯·皮列克桑 ( 1865年8月30日 - 1929年9月12日)的化名,他是拉脱维亚诗人、 剧作家 、 译者和政治家。瑞尼斯和阿斯帕齐娅于1920年4月4日返回拉脱维亚,并受到
  • 深圳大学丽湖校区深圳大学丽湖校区,位于深圳大学城片区,北邻羊台山,东邻南方科技大学,西侧为西丽高尔夫乡村俱乐部。2007年,深圳市在西丽规划了深大新校区和附属医院。校区预计在校师生规模1.53万
  • 无力磁场无力磁场是在磁流体力学中,能满足 J × B = 0 {\displaystyle {\bolds
  • 维也纳国际维也纳国际,正式名称是社会党国际工人联合会(德语:Internationale Arbeitsgemeinschaft Sozialistischer Parteien,缩写为IASP;英语:International Working Union of Socialist Pa