网 (数学)

✍ dations ◷ 2025-11-24 08:05:23 #拓扑学

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

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

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

相关

  • 爱沙尼亚– 欧洲(绿色及灰色)– 欧盟(绿色)  —爱沙尼亚共和国(爱沙尼亚语:Eesti Vabariik),通称爱沙尼亚(爱沙尼亚语:Eesti,爱沙尼亚语发音: .mw-parser-output .IPA{font-family:"Charis S
  • 犀牛犀牛是犀科(学名:Rhinocerotidae)动物的总称,属哺乳纲奇蹄目,主要分布于非洲和东南亚。是最大的奇蹄目动物,也是体型仅次于大象的大型陆地动物。所有的犀牛基本上都是腿短和身体粗
  • 古群山群岛古群山群岛(朝鲜语:고군산군도/古群山群島 Gogunsan Gundo */?),是大韩民国的群岛,位于黄海,由16个有人居住的岛屿47个无人居住的岛屿组成,由全罗北道负责管辖,面积约为23km²,2015
  • 仅孕酮避孕仅用孕酮的避孕法属于荷尔蒙避孕法(英语:hormonal contraception)中的一种,(另一种荷尔蒙避孕法是会用孕酮和雌激素)。仅用孕酮的避孕法有以下几种:Note: Though not listed here,
  • 对我干杯《对我干杯》(韩语:나에게 건배,英语:Cheers To Me)为韩国自2015年12月10日起于O`live(朝鲜语:올'리브)与UMAX首播的电视剧。本剧改编自日本漫画家新久千映的作品《和歌子酒》。
  • 格奥尔格五世格奥尔格五世(Georg V,1819年5月27日-1878年6月12日),全名格奥尔格·弗里德里希·亚历山大·卡尔·恩斯特·奥古斯特()1851年—1866年在位为汉诺威国王,1851年—1878年为坎伯兰和特
  • 十二步项目十二步项目是一个通过一套规定指导原则的行为课程来挽回(治疗)上瘾,强迫症,和其他行为习惯问题的项目。这个项目是由一个名为匿名酗酒者(Alcoholics Anonymous)的戒酒组织所发起的
  • 李当泰李当泰,又名俞当泰,字元祉,又字乾修,直隶凤阳府泗州署籍,原籍山东鱼台县人,明朝政治人物。万历二十三年(1595年)乙未科进士。授海盐县知县,官至户部员外郎。
  • PhishTankPhishTank是基于社区的反钓鱼式攻击服务。PhishTank于2006年10月2日作为OpenDNS的子公司建立,用户可以从世界各地向其汇报钓鱼网站,经其他用户以投票的形式认证后,即通过公开的
  • 拟细鲫拟细鲫(学名:)为鲤科拟细鲫属的鱼类,是中国的特有物种。分布于珠江水系广东和广西南部的一些支流中等,多见于山区河流。该物种的模式产地在海南岛。