徽标
联盟百科
通讯
下载应用,请到 Google Play
新! 在您的Android™设备上下载联盟百科!
自由
比浏览器更快的访问!
 

紧生成空间

指数 紧生成空间

在拓扑学中,紧生成空间(又称k-空间)是一种拓扑空间、其拓扑为所有紧致子空间族的凝聚。具体而言,我们称拓扑空间X 为紧生成空间,当它满足: 等价地,我们也可以将以上条件中的“闭集”替换成“开集”。实际上,只要X 的拓扑是任意紧覆盖的凝聚(在以上的意义上),那么它的拓扑就是所有紧致子空间的凝聚。 相似地,紧生成豪斯多夫空间 是紧生成的豪斯多夫空间。与许多紧致性条件类似,“紧生成空间”也经常代指紧生成豪斯多夫空间。.

21 关系: 单纯集合可数生成空间度量空间开集当且仅当函子CW复形积空间第一可數空間笛卡儿闭范畴紧空间紧致开拓扑覆盖 (拓扑学)闭集連續函數 (拓撲學)PDF拓撲空間範疇拓撲比較拓扑学拓扑空间拓扑流形

单纯集合

数学裡,单纯集合(simplical set)是范畴同伦论中一个构造,这是“良态”拓扑空间的一个纯代数模型。历史上,这个模型源自组合拓扑学特别是单纯复形。.

新!!: 紧生成空间和单纯集合 · 查看更多 »

可数生成空间

在数学中,若X 的拓扑由可数集决定,决定方式与收敛序列决定序列空间或Fréchet空间拓扑的方式相同,则称拓扑空间X 是可数生成的(countably generated)。 可数生成空间准确地说是具有可数胎紧性的空间,因此也可以形容为可数胎紧的。.

新!!: 紧生成空间和可数生成空间 · 查看更多 »

度量空间

在数学中,度量空间是个具有距離函數的集合,該距離函數定義集合內所有元素間之距離。此一距離函數被稱為集合上的度量。 度量空间中最符合人们对于现实直观理解的為三维欧几里得空间。事实上,“度量”的概念即是欧几里得距离四个周知的性质之推广。欧几里得度量定义了两点间之距离为连接這兩點的直线段之长度。此外,亦存在其他的度量空間,如橢圓幾何與雙曲幾何,而在球體上以角度量測之距離亦為一度量。狭义相對論使用雙曲幾何的雙曲面模型,作為速度之度量空間。 度量空间还能導出开集與闭集之類的拓扑性质,这导致了对更抽象的拓扑空间之研究。.

新!!: 紧生成空间和度量空间 · 查看更多 »

开集

開集是指不包含任何自己邊界點的集合。或者說,開集包含的任意一點的充分小的鄰域都包含在其自身中。 例如,实数线上的由不等式2规定的集合称为开区间,是开集。这时候的边界为实数轴上的点2和5,如由不等式2\leq x \leq 5,或者2规定的区间由于包含其边界,因此不能称之为开集。 开集的概念一般与拓扑概念是紧密联系着的,通常先公理化开集,然后通过其定义边界的概念。(详细请参照拓扑空间).

新!!: 紧生成空间和开集 · 查看更多 »

当且仅当

当且仅当(If and only if)(中国大陆又称作当且--仅当,臺灣又称作若且--唯若),在--邏輯中,逻辑算符反互斥或閘(exclusive or)是对两个运算元的一种邏輯分析类型,符号为XNOR或ENOR或\Leftrightarrow。与一般的邏輯或非NOR不同,當兩兩數值相同為是,而數值不同時為否。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在,并且仅仅在这些条件成立的时候”之意,在英语中的对应标记为iff。“A当且仅当B”其他等价的说法有“当且仅当A則B”;“A是B的充分必要条件(充要條件)”。 一般而言,當我們看到“A当且仅当B”,我們可以知道“如果A成立時,則B一定成立;如果B成立時,則A也一定成立”;“如果A不成立時,則B一定不成立;如果B不成立時,則A也一定不成立”。.

新!!: 紧生成空间和当且仅当 · 查看更多 »

函子

在範疇論中,函子是範疇間的一類映射。函子也可以解釋為小範疇範疇內的態射。 函子首先現身於代數拓撲學,其中拓撲空間的連續映射給出相應的代數对象(如基本群、同調群或上同調群)的代數同態。在當代數學中,函子被用來描述各種範疇間的關係。「函子」(英文:Functor)一詞借自哲學家魯道夫·卡爾納普的用語。卡爾納普使用「函子」這一詞和函數之間的相關來類比謂詞和性質之間的相關。對卡爾納普而言,不同於當代範疇論的用法,函子是個語言學的詞彙。對範疇論者來說,函子則是個特別類型的函數。.

新!!: 紧生成空间和函子 · 查看更多 »

CW复形

CW复形,又称胞腔复形,在拓扑学上屬於拓扑空间之一類,由J.H.C.怀特海德引入,用于同伦理论。其思想是构造一类空间,比单纯复形更为广泛(我们现在可以说,有更好的范畴论属性);但还要保留组合的本质,因此计算方面的考虑没有被忽略。.

新!!: 紧生成空间和CW复形 · 查看更多 »

积空间

拓扑学和数学的相关领域中,积空间是指一族拓扑空间的笛卡儿积,并配备了一个称为积拓扑的自然的拓扑结构。.

新!!: 紧生成空间和积空间 · 查看更多 »

第一可數空間

在拓撲學上,第一可數空間(First-countable space)是指有可數的邻域基的拓撲空間,即對於x \in X,存在x的開鄰域序列U_1,U_2,U_3,...

新!!: 紧生成空间和第一可數空間 · 查看更多 »

笛卡儿闭范畴

在范畴论中,如果任何积的态射都可通过其某个因子的态射来自然确定,那么称该范畴具有笛卡儿闭性。此类范畴在数理逻辑和程序设计理论中尤为重要。.

新!!: 紧生成空间和笛卡儿闭范畴 · 查看更多 »

紧空间

在数学中,如果欧几里得空间Rn的子集是闭合的并且是有界的,那么称它是--的。例如,在R中,闭合单位区间是紧致的,但整数集合Z不是(它不是有界的),半开区间.

新!!: 紧生成空间和紧空间 · 查看更多 »

紧致开拓扑

在数学中,紧致开拓扑是定义在两个拓扑空间之间的所有连续映射的集合上的一种拓扑。紧致开拓扑是函数空间上的常用拓扑之一,在同伦理论和泛函分析中有应用。.

新!!: 紧生成空间和紧致开拓扑 · 查看更多 »

覆盖 (拓扑学)

在数学中,若 X 是一個集合搜集 C 索引的集合中并集的子集,則集合搜集 C 是集合 X 的覆盖。用符号来说,如果 C.

新!!: 紧生成空间和覆盖 (拓扑学) · 查看更多 »

闭集

在拓扑空间中,闭集是指其补集为开集的集合。在一个拓扑空间内,闭集可以定义为一个包含所有其极限点的集合。在完备度量空间中,一个闭集的极限运算是闭合的。.

新!!: 紧生成空间和闭集 · 查看更多 »

連續函數 (拓撲學)

在拓撲學和數學的相關領域裡,連續函數是指在拓撲空間之間的一種態射。直觀上來說,其為一個函數f,其中每一群在f(x)附近的點都會含有在x附近的一群點之值。對一個一般的拓撲空間來說,這是指f(x)的鄰域總會包含著x之鄰域的值。 在一個度量空間(如實數)裡,這是指在f(x)一定距離內的點總會包含著在x某些距離內的所有點。.

新!!: 紧生成空间和連續函數 (拓撲學) · 查看更多 »

PDF

#重定向 可移植文档格式.

新!!: 紧生成空间和PDF · 查看更多 »

拓撲空間範疇

在數學裡,拓撲空間範疇(通常標記為Top)是一個範疇,其物件為拓撲空間,態射為連續函數。拓撲空間範疇符合範疇的公理,因為兩個連續函數的複合函數依然是連續的。研究拓撲空間範疇及運用範疇論的技術來研究拓撲空間的性質之類的學科稱為「範疇拓撲學(categorical topology)」。 注意,有些作者會將Top這個標記用來指物件為拓撲流形,態射為連續函數的範疇。.

新!!: 紧生成空间和拓撲空間範疇 · 查看更多 »

拓撲比較

在拓撲學和其相關的數學領域裡,拓撲比較是指在同一個給定的集合上的兩個拓撲結構之間的關係。在一給定的集合上的所有拓撲會形成一個偏序集合。此一序關係可以用來做不同拓撲之間的比較。.

新!!: 紧生成空间和拓撲比較 · 查看更多 »

拓扑学

在數學裡,拓撲學(topology),或意譯為位相幾何學,是一門研究拓撲空間的學科,主要研究空間內,在連續變化(如拉伸或彎曲,但不包括撕開或黏合)下維持不變的性質。在拓撲學裡,重要的拓撲性質包括連通性與緊緻性。 拓撲學是由幾何學與集合論裡發展出來的學科,研究空間、維度與變換等概念。這些詞彙的來源可追溯至哥特佛萊德·萊布尼茲,他在17世紀提出「位置的幾何學」(geometria situs)和「位相分析」(analysis situs)的說法。莱昂哈德·歐拉的柯尼斯堡七橋問題與歐拉示性數被認為是該領域最初的定理。「拓撲學」一詞由利斯廷於19世紀提出,雖然直到20世紀初,拓撲空間的概念才開始發展起來。到了20世紀中葉,拓撲學已成為數學的一大分支。 拓撲學有許多子領域:.

新!!: 紧生成空间和拓扑学 · 查看更多 »

拓扑空间

拓扑空间是一种数学结构,可以在上頭形式化地定義出如收敛、连通、连续等概念。拓扑空间在现代数学的各个分支都有应用,是一个居于中心地位的、统一性的概念。拓扑空间有独立研究的价值,研究拓扑空间的数学分支称为拓扑学。.

新!!: 紧生成空间和拓扑空间 · 查看更多 »

拓扑流形

拓扑流形的定义为:拓扑空间\mathcal在满足以下条件时,称\mathcal为m维流形,即.

新!!: 紧生成空间和拓扑流形 · 查看更多 »

传出传入
嘿!我们在Facebook上吧! »