檢視仿紧空间的原始碼

{| class="wikitable" style="float:right; margin: -10px 0px 10px 20px; text-align:left"
|<center>'''仿紧空间'''<br><img src="https://pic.allhistory.com/T1zlETBCVT1RCvBVdK.png?w=3200&h=&rc=resize" width="280"></center><small>[http://mp2.allhistory.com/detail/5910505755b542257a0172a4 圖片來自全知识]</small> 
|}'''仿紧空间'''是数学中，仿紧空间是指一类拓扑空间，他们的每个开覆盖都有局部有限的（开）加细（精细化）。这类空间的概念于1944年由迪厄多内（Dieudonné）引入 。每个紧致空间都是仿紧的。每个仿紧的[[豪斯多夫]]空间都是正规的。一个豪斯多夫空间是仿紧的当且仅当其任意开覆盖都可以[[单位分解]]。仿紧空间有时也被要求为豪斯多夫的。<ref>[https://www.bilibili.com/read/cv14483696/ Strongart数学笔记：如何理解仿紧空间]哔哩哔哩</ref>
==定义==
设X为[[拓扑空间]]。若X的任意[[开覆盖]]都有局部有限开加细，则称X为仿紧空间。
==例子==
[[紧空间]]是仿紧空间。度量空间也是仿紧空间。反之未必成立。
==性质==
[[拓扑流形]]为仿紧空间。
==简介==
仿紧空间是一类重要的拓扑空间。仿紧空间是紧空间的一种最重要的推广。对于这一类空间的研究，不仅从内容上推广了紧空间理论，而且较大地发展了覆盖方法，有力地推动了一般拓扑学的发展，特别是广义度量空间理论和度量化问题的广泛进展。另外，仿紧空间在微分流形、代数拓扑和泛函分析中也有重要的应用。
==历史背景==
为了讨论拓扑空间的可度量化问题，迪厄多内(Dieudonné，J.)于1944年引入仿紧空间的概念。斯通(Stone，A.H.)于1948年、迈克尔(Michael，E.)于1953年给出了仿紧性的几个等价条件。森田纪一(Morita，K.)和玉野(Tamano，H.)于1960—1962年也分别给出了几个等价条件。
==性质==
性质1 集合X的离散拓扑T是X的最大拓扑，即对X的每一个拓扑T1，均有。

证明 由拓扑T1的定义可得： 对A∈T1，有A∈ P(x)。此外，T是X的离散拓扑意味着T =P(x) ，因此，A∈T，从而由A的任意性可知。

性质2离散拓扑空间(X，T) 中：

①点x的邻域系是Ux= AX | x∈ A}，即凡是X的包含x的子集都是x的邻域。

② X的每一个子集既开又闭。

证明对任意的x∈X，有{x}∈P(x)= T，故{x} 是开集。另外，对任意的x ∈ AX，有x∈{x}A，从而由邻域的定义可知A是X的邻域。

设A是X中的任一子集，那么有A∈P(x)=T，即A是开集。另一方面，由X ～ AX可得Ac∈P(x)= T， 故A是闭集。

注： 一般拓扑空间的子集也可能是既不开也不闭的。

性质3离散拓扑空间(X，T) 中，若AX，则A的导集A' =，即A中不含有任何一个聚点。

证明对任意的x∈X，存在x的一个开邻域{x} ，使得{x}∩(A －{x} )=，从而x不是A的聚点，因此，由x的任意性可得：集合A中不含有任何一个聚点，即A' =。

仿紧性具有闭遗传性。仿紧T2空间的闭连续像是仿紧T2的。仿紧T2空间是全体正规空间。全体正规空间是仿紧空间。仿紧T2空间中的Fσ集是仿紧的。在完全映射下，仿紧空间的原像是仿紧的。仿紧空间是亚紧的、可数仿紧的、族正规的。可数紧的仿紧空间是紧空间。林德勒夫空间是仿紧的。

同时为第二可数空间的局部紧豪斯多夫空间为仿紧空间。
==拓扑==
拓扑是研究几何图形或空间在连续改变形状后还能保持不变的一些性质的一个学科。它只考虑物体间的位置关系而不考虑它们的形状和大小。
拓扑英文名是Topology，直译是地志学，最早指研究地形、地貌相类似的有关学科。几何拓扑学是十九世纪形成的一门数学分支，它属于几何学的范畴。有关拓扑学的一些内容早在十八世纪就出现了。那时候发现的一些孤立的问题，在后来的拓扑学的形成中占着重要的地位。
==拓扑性质==
设X是一个非空集合，X的幂集的子集（即是X的某些子集组成的集族）T称为X的一个拓扑。当且仅当：

1．X和空集{}都属于T；

2．T中任意多个成员的并集仍在T中；

3．T中有限多个成员的交集仍在T中。

称集合X连同它的拓扑τ为一个拓扑空间，记作（X,T）。

称T中的成员为这个拓扑空间的开集。

定义中的三个条件称为拓扑公理。（条件（3）可以等价的换为τ中两个成员的交集仍在τ中。）

从定义上看，给出某集合的一个拓扑就是规定它的哪些子集是开集。这些规定不是任意的，必须满足三条拓扑公理。

一般说来，一个集合上可以规定许多不相同的拓扑，因此说到一个拓扑空间时，要同时指明集合及所规定的拓扑。在不引起误解的情况下，也常用集合来代指一个拓扑空间，如拓扑空间X，拓扑空间Y等。

同时，在拓扑范畴中，我们讨论连续映射。定义为：f: (X,T1) ------> (Y,T2) （T1,T2是上述定义的拓扑）是连续的当且仅当开集的原像是开集。两个拓扑空间同胚当且仅当存在一一对应的互逆的连续映射。同时，映射同伦和空间同伦等价也是很有用的定义。<ref>[https://zhuanlan.zhihu.com/p/407973551?utm_id=0 仿紧空间与单位分解]知乎</ref>
==参考文献==

[[Category:310 數學總論]]