族谱网 头条 人物百科

豪斯多夫空间

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:884
转发:0
评论:0
定义两个点x和y,由它们各自的邻域U和V来分离。假设X是拓扑空间。设x和y是X中的点。我们称x和y可以“由邻域分离”,如果存在x的邻域U和y的邻域V使得U和V是不相交的(U∩V=∅),且X中的任意两个不同的点都可以由这样的邻域分离,那么称X是豪斯多夫空间。这也是豪斯多夫空间叫做T2空间或分离空间的原因。X是预正则空间,如果任何两个拓扑可区分的点可以由邻域分离。预正则空间也叫做R1空间。在这些条件之间的联系如下。拓扑空间是豪斯多夫空间,当且仅当它是预正则空间和柯尔莫果洛夫空间的二者(就是说独特的点是拓扑可区分的)。拓扑空间是预正则空间,当且仅当它的柯尔莫果洛夫商空间是豪斯多夫空间。等价对于拓扑空间X,以下论述等价:X{\displaystyleX}是豪斯多夫空间。{(x,x)|x∈∈-->X}{\displaystyle\{(x,x)|x\inX\}}是积空间X××-->X{\display...

定义

豪斯多夫空间

两个点x和y,由它们各自的邻域U和V来分离。

假设 X 是拓扑空间。设 x 和 y 是 X 中的点。我们称 x 和 y 可以“由邻域分离”,如果存在 x 的邻域 U 和 y 的邻域 V 使得 U 和 V 是不相交的( U ∩ V = ∅),且 X 中的任意两个不同的点都可以由这样的邻域分离,那么称 X 是 豪斯多夫空间 。这也是豪斯多夫空间叫做 T 2 空间 或 分离空间 的原因。

X 是 预正则空间 ,如果任何两个拓扑可区分的点可以由邻域分离。预正则空间也叫做 R 1 空间 。

在这些条件之间的联系如下。拓扑空间是豪斯多夫空间,当且仅当它是预正则空间和柯尔莫果洛夫空间的二者(就是说独特的点是拓扑可区分的)。拓扑空间是预正则空间,当且仅当它的柯尔莫果洛夫商空间是豪斯多夫空间。

等价

对于拓扑空间 X ,以下论述等价:

X {\displaystyle X} 是豪斯多夫空间。

{ ( x , x ) | x ∈ ∈ --> X } {\displaystyle \{(x,x)|x\in X\}} 是积空间 X × × --> X {\displaystyle X\times X} 的闭集。

X 中极限是唯一的(就是序列、网和滤子收敛于最多一个点)。

所有包含在 X 中的单元素集合都等于包含它的所有闭邻域的交集。

例子和反例

在数学分析所遇到的几乎所有空间都是豪斯多夫空间;最重要的实数是豪斯多夫空间。更一般的说,所有度量空间都是豪斯多夫空间。事实上,在分析中用到的很多空间,比如拓扑群和拓扑流形在其定义中明确的声明了豪斯多夫条件。

最简单的是T 1 空间而非T 2 空间的拓扑的例子是余有限空间。

伪度量空间典型的不是豪斯多夫空间,但是它们是预正则的,并且它们在分析中通常只用于构造豪斯多夫gauge空间。实际上,在分析家处理非豪斯多夫空间的时候,它至少要是预正则的,他们简单的把它替代为是豪斯多夫空间的它的柯尔莫果洛夫商空间。

相反的,在抽象代数和代数几何更经常见到非预正则空间,特别是作为在代数簇或交换环谱上的扎里斯基拓扑。他们还出现在直觉逻辑的模型论中:所有完全Heyting代数都是某个拓扑空间的开集的代数,但是这个空间不需要是预正则的,更少见豪斯多夫空间。

性质

豪斯多夫空间的子空间和乘积是豪斯多夫空间, 但是豪斯多夫空间的商空间不必须是豪斯多夫空间。事实上,所有拓扑空间都可以实现为某个豪斯多夫空间的商。

豪斯多夫空间是T 1 空间,这意味着所有单元素集合是闭集。类似的,预正则空间是R 0 空间。

豪斯多夫空间另一个美好的性质是紧致集合总是闭集。 这对于非豪斯多夫空间就可能失效(例如有其失效的T 1 空间的例子)。

豪斯多夫空间的定义声称点可以由邻域分离。它蕴涵了表象上更强的东西:在豪斯多夫空间中所有成对的不相交的紧致集合都可以由邻域分离。 这是紧致集合经常表现得如同点的一般规则的一个例子。

紧致性条件与预正则一起经常蕴涵了更强的分离公理。例如,任何局部紧致预正则空间都是完全正则空间。紧致预正则空间是正规空间,意味着它们满足乌雷松引理和蒂茨扩张定理,并且有服从局部有限开覆盖的单位划分。这些陈述的豪斯多夫版本是:所有局部紧致豪斯多夫空间是吉洪诺夫空间,而所有紧致豪斯多夫空间是正规豪斯多夫空间。

下列结果是关于来或到豪斯多夫空间的映射(连续函数和其他)的技术上的性质。

设 f : X → Y 是连续函数并假定 Y 是豪斯多夫空间。则 f 的图象 { ( x , f ( x ) ) : x ∈ ∈ --> X } {\displaystyle \{(x,f(x)):x\in X\}} 是 X × Y 的闭子集。

设 f : X → Y 是函数并设 ker ( f ) = { ( x , x ′ ) : f ( x ) = f ( x ′ ) } {\displaystyle {\mbox{ker}}(f)=\{(x,x"):f(x)=f(x")\}} 是作为 X × X 的子空间的它的核。

如果 f 是连续函数并且 Y 是豪斯多夫空间则ker( f )闭集。

如果 f 是开满射而ker( f )是闭集则 Y 豪斯多夫空间。

如果 f 是连续开满射(就是开商映射),则 Y 是豪斯多夫空间,当且仅当ker(f)是闭集。

如果 f,g : X → Y 是连续映射而 Y 是豪斯多夫空间,则均衡子 eq ( f , g ) = { x : f ( x ) = g ( x ) } {\displaystyle {\mbox{eq}}(f,g)=\{x:f(x)=g(x)\}} 在 X 是闭集。可得出如果 Y 是豪斯多夫空间而 f 和 g 一致于 X 的稠密子集,则 f = g 。换句话说,到豪斯多夫空间的连续函数确定自它们在稠密子集上的值。

设 f : X → Y 是闭满射使得 f ( y )对于所有 y ∈ Y 是紧致的。则如果 X 是豪斯多夫空间则 Y 也是。

设 f : X → Y 是商映射带有 X 是紧致豪斯多夫空间。则下列是等价的

Y 是豪斯多夫空间

f 是闭映射

ker( f )是闭集

预正则性和正则性

所有正则空间都是预正则空间,也都是豪斯多夫空间。有很多拓扑空间的结果对正则空间和豪斯多夫空间二者都成立。多数时候这些结果对于所有预正则空间也成立;它们对正则空间和豪斯多夫空间要分开列出,因为预正则空间的概念要更晚。在另一方面,这些对于正则性为真的结果一般不适用于非正则豪斯多夫空间。

有很多情况拓扑空间的其他条件(比如仿紧致性或局部紧致性)也蕴涵正则性,如果它满足预正则性的话。这种条件经常有两个版本:正则版本和豪斯多夫版本。尽管豪斯多夫空间一般不是正则性的,局部紧致的豪斯多夫空间是正则性的,因为任何豪斯多夫空间都是预正则性的。因此从特定角度来看,在有关这些情况的时候它实际是预正则性的,而非正则性的。但是,定义仍依据正则性来措辞,因为这些条件比预正则性更周知。

更详细细节请参见分离公理的历史。

变体

术语“豪斯多夫”、“分离”和“预正则”还可以用于在拓扑空间上的变体如一致空间、柯西空间和收敛空间。在所有这些例子中统一的概念特征是网或滤子(在它们存在的时候)的极限是唯一的(对于分离空间)或在拓扑同构意义下唯一的(对于预正则空间)。

这显现出一致空间和更一般的柯西空间总是预正则的,所有在这些情况下豪斯多夫条件简约为T 0 条件。还有完备性在其中有意义的空间,豪斯多夫性在这些情况下是完备性的自然伙伴。特别是,一个空间是完备的,当且仅当所有柯西网有至少一个极限,而一个空间是豪斯多夫的,当且仅当所有柯西网都有最多一个极限(因为只有柯西网可以首先有极限)。

引用

Munkres, J. R., 2000, Topology , 2nd edition, Upper Saddle River, NJ: Prentice Hall. ISBN 978-0-13-181629-9

赵文敏,《拓扑学导论》,九章出版社,ISBN 978-957-603-018-5

Arkhangelskii, A.V., L.S.Pontryagin, General Topology I ,(1990)Springer-Verlag, Berlin. ISBN 978-3-540-18178-1

Bourbaki; Elements of Mathematics: General Topology , Addison-Wesley (1966).

Willard, Stephen. General Topology. Dover Publications. 2004. ISBN 978-0-486-43479-7.


免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。

——— 没有了 ———
编辑:阿族小谱

相关资料

展开
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 纳特·洛夫特豪斯
生平球员洛夫特豪斯于1925年8月27日在兰开夏郡博尔顿出生,是家中四名儿子的幼子,其父是一名管家。自小已显露出非凡的足球天赋,他曾代表博尔顿学童队对贝里学童队,他个人包办己队全部进球大胜7-1。1939年9月4日时任保顿主教练查尔斯·福尔雷克(CharlesFoweraker)签入年仅14岁的洛夫特豪斯,以业余球员身份效力这支家乡球队。1941年3月22日洛夫特豪斯在战时联赛对貝里获得首次上场机会,当时球队过去两年的首席射手乔治·亨特(GeorgeHunt)移任右辅锋,让出中锋位置予15岁的洛夫特豪斯,他不负所托踢进两球协助球队大胜5-1。第二次世界大战爆发后,全体保顿球员跟随队长哈里·戈斯林(HarryGoslin)的号召而参军,而年青的洛夫特豪斯则在煤矿义务劳动代替兵役及继续参加战时东北联赛,于1945年协助保顿在足球联赛北部战争杯决赛两回合累计3-2击败曼联,再于6月2日以2-1击...
· 威廉·豪夫
早年豪夫生于符腾堡王国首都斯图加特,父亲奥古斯特·弗里德里希·豪夫是符腾堡外交大臣的秘书。豪夫是家中的次子,哥哥赫尔曼·豪夫后来成为了一位翻译家,他还有两个妹妹玛丽和索菲亚。豪夫不到七岁时,父亲就去世了,母亲带着四个孩子迁居到外祖父所住的图宾根。豪夫进入图宾根当地的乌兰德语法学校就读,课余之时喜欢在外祖父的图书室里广泛阅读各国文学作品,歌德和席勒的戏剧,亨利·菲尔丁与奥立佛·高德史密斯的小说都给他留下了很深的印象。1817年,他被送往位于布劳博伊伦的修道院学校(Klosterschule)就读。1820年开始就读于图宾根大学,四年中在图宾根神学院(TübingerStift)完成了哲学和神学的研究,获得哲学博士学位,并被授予新教牧师资格,但从未正式从事过牧师职业。创作位于斯图加特的豪夫家庭墓,葬有他和妻子与女儿从图宾根大学毕业之后,豪夫到符腾堡军事大臣恩斯特·范胡格尔(ErnstvonHü...
· 约瑟夫·马蒂亚斯·豪尔
参见古典音乐作曲家列表
· 包豪斯
历史1919-1925年魏玛时期背景第一次世界大战后,德意志帝国掀起“十一月革命”改制魏玛共和,知识分子们面对战败的屈辱,怀抱狂热的社会改革理想,沃尔特·格罗皮乌斯在这股思想潮流下,欲建立一所崭新的建筑与设计学校,以实现他对团队合作精神、发扬手工艺传统训练及乌托邦式的理想。1915年,位于魏玛的魏玛市立工艺美术学校(GrandDucalSchoolofArtsandCraftsinWeimar,由萨克森-魏玛-艾森纳赫大公创办)校长亨利·范·德费尔德退休,推荐格罗皮乌斯为继任人选。之后学校被强制解散,此举受到魏玛部分官员反对,并在魏玛艺术学院(KunstgewerbeschuleWeimar(德语:KunstgewerbeschuleWeimar))院长弗列兹·麦肯逊(FritzMackensen(英语:FritzMackensen))的支持协商下,将工艺学校缩小为艺术学院的一个科系,同时...
· 斯皮策空间望远镜
简史斯皮策空间望远镜耗资8亿美元,原名为空间红外望远镜设备(SIRTF),2003年12月,经过公众评选,该卫星以空间望远镜概念的提出者、美国天文学家莱曼·斯皮策(LymanSpitzer,Jr.)的名字命名。望远镜工作在波长为3-180微米的红外线波段,以取代先前的红外线天文卫星(IRAS)。斯皮策空间望远镜虽然不比它口径大很多,但得益于红外探测设备的快速发展,性能上有了显著的提高。2003年8月25日,斯皮策空间望远镜在美国佛罗里达州的卡纳维尔角由德尔塔Ⅱ型火箭发射升空,运行在一条位于地球公转轨道后方、环绕太阳的轨道上,并以每年0.1天文单位的速度逐渐远离地球,这使得一旦出现故障,将无法使用航天飞机对其进行维修。规格及设备斯皮策空间望远镜总长约4米,重量为950千克,主镜口径为85厘米,用铍制作。除此之外还有3台观测仪器,分别为:红外阵列相机(IRAC),大小为256×256像素,工作...

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信