网 (数学)

✍ dations ◷ 2025-11-21 16: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.

相关

  • 工业区工业区指的是一个工业设施(特别是造船、采煤、钢铁业、陶瓷业等重工业)聚集的地区。通常在工厂工作的工人们也会居住在附近。在英格兰,这样工人居住的地方大部分会以排房(连栋房
  • 劳勃·阿特曼罗伯特·奥特曼(Robert Altman,1925年2月20日-2006年11月20日)是一位美国电影及电视导演,曾经5次入围奥斯卡最佳导演奖,于2006年获得奥斯卡荣誉奖。知名的作品包括《陆军野战医院
  • 路是中国宋朝、金朝、元朝时行政区划名称,明朝废除;越南陈朝也有名为“路”的行政区划。宋太祖汲取了唐朝藩镇割据的教训,一级行政区划改为“路”。至道三年(997年)始定为十五路,
  • 多摩动物公园多摩动物公园(日语:多摩動物公園/たまどうぶつこうえん)是东京都日野市的动物园,也称多摩动物园,是与恩赐上野动物园并列的日本知名动物园。作为都市公园的正式名称为都立七生公园
  • 京酱肉丝京酱肉丝是一道传统的北京风味菜肴。以猪里脊肉为主料,辅以黄酱或甜面酱及其它调味品,用北方“酱爆”技法烹制而成。食用时以葱丝、腐皮为作。口味咸甜适中,酱香浓郁,风味独特。
  • 中国地震局地球物理研究所中国地震局地球物理研究所是中国地震局下属事业单位,地址位于北京市海淀区民族大学南路5号,北京舞蹈学院西侧,中央社会主义学院南侧。具有固体地球物理学和防灾减灾工程与防护
  • 米切尔·埃雷罗米切尔·阿方索·埃雷罗·雅瓦卢瓦(西班牙语:Miguel Alfonso Herrero Javaloyas,1988年7月29日-),西班牙足球运动员,通常司职中场。现效力于西甲球队巴利亚多利德,曾效力于广州富力
  • 靳梦佳靳梦佳(1993年6月5日-),出生于河南濮阳,中国大陆女主持人。2013年进入湖南电视台,次年签约芒果娱乐。2015年毕业于武汉大学新闻与传播学院播音主持专业。主持的节目有《娱乐急先锋
  • 池田悦子池田悦子(日语:池田悦子,1938年-),是日本的漫画原作者、编剧。出生于宫崎县日向市,早期担任过电视剧编剧,1972年以其原作的漫画《绯纹の女》(作画:牧美也子)出道,本作品于1974年获得日本
  • 正丸站正丸站(日语:正丸駅/しょうまるえき  */?)是一个位于埼玉县饭能市坂元,属于西武铁道西武秩父线的铁路车站。车站编号是SI33。此站近西武秩父站有正丸隧道(日语:正丸トンネル#西武