Loading AI tools
来自维基百科,自由的百科全书
在数学的拓扑学中,归纳维数是对拓扑空间X定义的两种维数,分别为小归纳维数ind(X)与大归纳维数Ind(X)。在n维欧几里得空间Rn中,一个球的边界是有n - 1维的球面。以这个观察为基础,利用一个空间中适合的开集的边界维数,应当可以归纳定义出空间的维数。
这两种维数是只靠空间的拓扑来定义,无需用到空间的其他性质(比如度量)。拓扑空间的一般常用维数有三种,有大小归纳维数,以及勒贝格覆盖维数。通常说“拓扑维数”是指勒贝格覆盖维数。对于“足够好”的空间,这三种维数都相等。
我们想定义一个点的维数是0,而点的边界是空的,因此首先定义
然后,归纳定义X的小归纳维数ind(X)为最小的整数n,使得对X中任何点x,及任何包含x的开集U,都存在一个包含x的开集V,使得V的闭包是U的子集,V的边界的小归纳维数小于或等于n - 1。
对于X的大归纳维数Ind(X)的定义,增加选取V的限制如下:Ind(X)为最小的整数n,使得对X中任何开集U,及U的任何闭子集F,都存在一个包含F的开集V,使得V的闭包是U的子集,V的边界的大归纳维数n - 1。
设dim为勒贝格覆盖维数。对任何拓扑空间X,有
Nöbeling-Pontryagin定理指出有限维数的这种空间,其特征为同胚于欧几里得空间中的子空间,子空间用通常的拓扑。Menger-Nöbeling定理(1932)说若X是紧致及度量可分,且有维数n,则可以嵌入到2n + 1维欧几里得空间成为子空间。(Georg Nöbeling是卡尔·门格尔的学生。他引入了Nöbeling空间,是R2n + 1的一个子空间,由至少n + 1个座标是无理数的点所组成,这个空间有与n维空间嵌入相关的一些泛性质。)
若只假设X是可度量化,则有(Miroslav Katětov)
若只假设X是紧致豪斯多夫空间,则有(帕维尔·亚历山德罗夫)
以上的不等式都可能是严格的;Vladimir V. Filippov有个例子显示两种归纳维数可以不相等。
一个可分度量空间X的大归纳维数Ind X ≤ n,当且仅当X中任何闭空间A及任何连续映射,都存在一个连续扩张。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.