网 (数学)

✍ dations ◷ 2025-12-04 13:11:13 #拓扑学

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

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

网于公元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.

相关

  • 度量空间在数学中,度量空间是个具有距离函数的集合,该距离函数定义集合内所有元素间之距离。此一距离函数被称为集合上的度量。度量空间中最符合人们对于现实直观理解的为三维欧几里得
  • 休斯顿彗星休斯顿彗星(英文:Houston Comets)是一支位于美国德克萨斯州休斯顿的WNBA(国家女子篮球联盟)篮球队,处于WNBA西部联盟。它成立于1997年,是WNBA原有的8队之一,也是WNBA首四季的总冠军
  • PLZ-05自行加榴炮PLZ-05 155毫米自行加榴炮是中国人民解放军正式装备的首款155毫米履带式自行火炮,由PLZ-45自行加榴炮发展而来。采用52倍口径身管,用以替代83式自行加榴炮,2005年正式定型量产
  • 周廷潮耶鲁大学 约翰霍普金斯大学 康奈尔大学斯隆凯特琳癌症中心周廷潮(英语:Ting-Chao Chou,1938年9月9日-)美籍华裔理论生物学家,癌症药物学家。耶鲁大学博士,曾任康奈尔大学教授及纽约
  • 久保亘久保亘(1929年1月15日-2003年6月24日),日本政治人物。曾任参议院议员(4期)、鹿儿岛县议会议员(3期)、副总理(第1次桥本内阁)、大藏大臣(第92代)、日本社会党书记长、社会民主党副党首、
  • 吉辉控股吉辉控股有限公司,简称吉辉控股(英语:KPM Holding Limited,港交所:8027),在1997年,于新加坡(总部)成立“Sign Mechanic Pte Ltd”,其后在1998年7月由陈添吉(主席)和陈光辉(首席执行官)以500
  • 中野董夫中野董夫(日语:中野 董夫/なかの ただお ,1926年-2004年8月15日),日本粒子物理学家,东京大学博士。曾任大阪市立大学教授、大阪市立科学馆首任馆长。中野曾与西岛和彦合作、与默里
  • 希本居奇山坐标:46°48′51″N 7°56′54″E / 46.81417°N 7.94833°E / 46.81417; 7.94833希本居奇山(Schibengütsch),是瑞士的山峰,位于该国中部,由卢塞恩州负责管辖,属于埃默河谷山的一
  • 茅栗茅栗(学名:),又名野栗子(江苏、浙江)、毛栗(南京、湖南)、毛板栗(湖北),为壳斗科栗属的植物,是中国的特有植物。分布于中国大陆的五岭南坡以北各地,广布于大别山以南,生长于海拔400米至2,0
  • 陈俊辉教练时期陈俊辉(1981年3月8日-)为台湾的棒球选手之一,目前效力于中华职棒的统一7-ELEVEn狮队, 选手时期守备位置为捕手,现已转任教练。2014年1月15日,当选为该年度的统一7-ELEVEn狮