网 (数学)

✍ dations ◷ 2025-12-07 21:11:40 #拓扑学

在拓扑学和数学的相关领域里,网是序列的广义化,用来统一极限不同的概念和将其广义至任意的拓扑空间。网的极限对一般拓扑空间扮演的角色,就好比序列的极限之于第一可数空间(例如度量空间)。

一个序列通常以为全序集合的自然数做为索引。网广义化了此一概念,以把索引集合上的次序关系削弱成有向集合。

网于公元1922年首次由E. H.摩尔与H. L. Smith提出。另一相关的概念-滤子则于公元1937年由昂利·嘉当所发展。

设是一拓扑空间,中的是指一由某一有向集合到的函数。

设是一有向集合,通常会把由到的网写成(α),以用来表示的元素α映射到的元素α上。通常用≥来标记由所给定的二元关系。

当自然数是一有向集合且序列是定义域为自然数的函数时,每一序列都会是一个网。

另一重要例子如下。给定拓扑空间上的一点,让标记为所有包含的邻域的集合。然后,会是个有向集合,其方向由内含的颠倒给定,即 ≥ 当包含在里时。对在内的,让标记为内的一点。然后,便会是一个网。当对≥而言为增加时,网内的点会被限制在的递减邻域内,直观地说,这使得在某些意义上时必须趋向。下面将把这一极限的概念讲述的更清楚。

若(α)是一由有向集合到的网,且若是的子集,则我们说(α)是,若存在一在内的α能使得任一在内会有β ≥ α的β,其点β会在内。

若(α)是拓扑空间内的一网,且是的一元素,我们说这一个网或称,并写做

当且仅当

直观地说,这表示α会很靠近,若α取得够大。

注意,上述所举的在一点的邻域系统上的网根据定义是会确实地收敛至了。

若和为有向集合,且为一由到的函数,则被称为共尾,若对任一在内的,总存在一在内的会使得当为的元素且 ≥ 时,() ≥ 。换句地话,其值域()会共尾于。

若和为有向集合,为由到的共尾函数,且φ是以为基的集合的网,则φo称做φ的。所有的子网都是这种类型,依其定义。

若φ是一以有向集合为底的集合的网,且为的子集,则φ频繁地在,当对于任一在内的α,存在一在的β且β ≥ α以使φ(β)在内。

集合的网φ称做普遍的(或超网),若对于任一的子集,φ会最终于或会最终于-。

几乎所有拓扑概念都能以网与极限的语言表述。这可以作为直觉的南鍼,因为网的极限在概念上近于序列的极限,后者在度量空间理论中被广泛地运用。

则有

若将“网”换为“序列”,则此定理一般非真。当空间 X {displaystyle X} 的定义。

在一致空间(例如度量空间)中,可以将柯西序列的定义推广为柯西网,由此导出柯西空间的定义。网 (α)是柯西网,如果对于所有周围存在γ使得对于所有α, β ≥ γ,(α, β)是的成员。

E. H. Moore and H. L. Smith (1922). A General Theory of Limits. 44 (2), 102–121.

相关

  • 曲妥珠单抗曲妥珠单抗(通用名,国际非专利药品名称:Trastuzumab,商品名:赫赛汀(中国大陆及港澳)、贺癌平(台湾),罗氏Roche药厂生产)是一种作用于人类表皮生长因子受体II的单克隆抗体,主要用于治疗某
  • 海百合纲海百合纲(学名:Crinoidea)是一群始见于奥陶纪的棘皮动物,生活于海里,具多条腕足,身体呈花状,表面有石灰质的壳;化石种类有5000种以上。古生代石炭纪时,海百合数量极庞大,品种繁多,可归
  • 热带沙漠气候热带干旱半干旱气候,其中热带干旱气候又称热带沙漠气候。分布于纬度30度附近的大陆西岸和中部,具体地区有:撒哈拉、非洲西南部、阿拉伯半岛、澳大利亚中部、美国西南部、墨西哥
  • 瑞夫·史坦曼拉尔夫·马文·斯坦曼(英语:Ralph Marvin Steinman,1943年1月14日-2011年9月30日),美国洛克菲勒大学的免疫学家和细胞生物学家。他在1973年提出了树突状细胞的概念与其在后天免疫
  • 健美健美,(英语:Body Building),是一种强调肌肉健壮与美的活动,起源于古希腊,最初只由男性参加,当时是以男子的粗壮的脖子、发达的胸肌、粗壮的双腿为美。 现代健美活动则由德国人尤金·
  • 森佩尔戈特弗里德·森佩尔(德语:Gottfried Semper,1803年11月29日-1879年5月15日),德国建筑师、艺术评论家。森佩尔的代表作品是其于1838年至1841年间设计建造的德累斯顿森佩尔歌剧院。1
  • 冈田义德冈田义德(日语:岡田 義徳,1977年3月19日-),日本男演员,岐阜県揖斐郡大野町出身。所属事务所Amuse。他在日本戏剧圈以出色的绿叶角色为人所知,其胞姊冈田理江同为演员。1997年,冈田以
  • 奏 (歌手)Kanade(日语:かなで),是日本冈山县出生的女歌手。2007年起为环球音乐歌手。以其声音沉厚和情感丰富为特色。曾为网页游戏Unlight献唱主题曲、。
  • 晋西北1940年冬季战役 大日本帝国 八路军 第1军 晋西北1940年冬季战役,中国亦称晋西北1940年冬季反“扫荡”,是中国抗日战争中中日双方发生的战役。八路军作战217次,缴获各种枪55支、破坏公路125公
  • 梅野雄吾梅野雄吾(日语:梅野 雄吾/うめの ゆうご ,1999年1月13日-)是日本佐贺县佐贺市出身的职业棒球选手,司职投手,效力于日本职棒东京养乐多燕子。