新语丝(www.xys.org)(xys3.dxiong.com)(www.xysforum.org)(xys2 ...
光滑流形(Smooth Manifold) | 法蘭克的數學世界
frankliou.wordpress.com/2012/03/07/流形/
转载]关于开集(2012-11-24 22:07:19)
转载▼标签： 转载 |
在拓扑空间中，有这样一类集合。它们可能包含有无数个点，但在这无数个点中，某一些点的极限点却与这些点天各一方，人鬼殊途：我们在集合内，却眼巴巴地望着集合外的你。换一个说法，当你孜孜不倦地在集合里找点的时候，这一列点总能一个接一个地被你找着，但在那无穷大的另一端，永远有那么一个点完成了质的飞跃，与身后无穷多个弟兄们挥手告别，跨过顶着大括号的集合边界，幸运抵达了幸福的彼端。这个时候，我们便称这个点“极限点”，称这类集合为“开集”。
从人生意义上来说，开集们表现得十分励志：不像它的弟兄闭集，把出去的路全都封死了，普通点极限点都给老子老老实实待在肚子里，开集则告诉大家：路在脚下：只要追随极限点，飞跃的光芒就在前方！可科学往往相悖于直觉。在实际操作中，大家却不愿意看到开集的身影。在欧几里得空间里，开集一定不紧。所以每当开集带着他的励志点点们出现在我们的视线中时，紧集的许多有益身心健康的定理与结论都无法应用，闹得学生们，特别是经济系的学生们抓耳挠腮思前想后，直想着挠出一个条件开集变闭集。好让集合上面那传说中的连续函数的最值点别恰好是天人相隔的极限点。
不幸的是，开集不进在草稿纸上祸害同学，还在现实生活中大展拳脚。张俊山老先生曾经在园阶举过这么一个例子：
“一开始是出去上个厕所，书包暂时放在位置上，这很正常；之后是人还没到，书就占着地儿，这就有点不对劲了；再之后，人想，既然都得放书，我干嘛不放没用的书？于是什么读者什么的都出现了；发展到现在，干脆连书都不要了，我就贴个条吧。”
张老先生根据自己的学科背景，把这个现象叫做“异化”，指的是原来一个很正常、很合理的事情慢慢就变得不正常、不合理了。但我们不妨套用一下开集的概念，就会发现在“占座”这一列点上，存在着那么一个点“嘣”一下越过了合理这一开集的禁区，实现了质的飞跃，为占座事业做出了突出的贡献，使其进化成最终形态，贴条占座。
不单单是贴条占座，传谣也是在“真实”这么一个开集上飞跃出来的。举一个极端的例子，A跟B说彩票中了两块钱，转天A正吃这火锅，Z跑过来就是一句，你小子中了两亿？当然，现实生活中这情况基本不会发生，但“死亡35人”、“秋裤的故事”等等极限点们实在显示不出其原有励志色彩，反而时不时透出几股阴森的气息。
-
2013年5月30日 - 每個點的一個”附近”(鄰域)總是可以指定一種座標(觀察者區域有效的刻度量尺所訂出來的，對"附近"包括的事件點都有效) 3.不同坐標之間的轉換是" ...
-
2013年2月2日 - 這裏，重正化的意思是簡單統一場論是局部可重正的，用微分幾何的話說，在切空間的一個鄰域內是可以重正的。註意，簡單統一場論是一次量子化
-
2013年10月3日 - 拉普拉斯算子可以将其滤波邻域范围内变化较为缓慢或相同的数值做 ... 标架表述就是将GR 的对称群从微分同胚群扩张到该群与局域洛伦兹群的半.
-
2013年10月6日 - 拉普拉斯算子可以将其滤波邻域范围内变化较为缓慢或相同的数值做 ... 正交标架表述就是将GR 的对称群从微分同胚群扩张到该群与局域洛伦兹群 ...
光滑流形(Smooth Manifold) | 法蘭克的數學世界
frankliou.wordpress.com/2012/03/07/流形/
拓扑空间 一切开球组成的集族称为这个拓扑的一个基
拓扑空间（topological space），赋予拓扑结构的集合。如果对一个非空集合X给予适当的结构，使之能引入微积分中的极限和连续的概念，这样的结构就称为拓扑，具有拓扑结构的空间称为拓扑空间。引入拓扑结构的方法有多种，如邻域系、开集系、闭集系、闭包系、内部系等不同方法。
在微积分学中，实一维欧几里得空间R′上的开集具有性质： ①任意个开集的并是开集 。
拓扑空间
②有限个开集的交是开集。 ③R′及空集是开集。对任一非空集合X，若X的一个子集族J 满足： ①J中元的任意并在J中。 ②J中元的有限交在J中。 ③X、空集在J中，则称J是X的一个拓扑，J中的元称为开集，X连同拓扑J称为一个拓扑空间，记为（X，J）。 注意到如能在X中给出度量则自然在X中给出拓扑（由度量决定的开集）。 于是度量空间都是拓扑空间。但不是所有拓扑空间都可定义度量，使得该度量下的开集族与原拓扑空间的开集族一致；详见度量化定理。
对任意x∈X，如果Z的子集U包含含有x的一个开集则U称为x的一个邻域。如果X的子集A满足X－A是开集，则称X是闭集。
拓扑空间
设X是非空集合，令J0＝｛X，｝，称（X，J0）为平庸拓扑空间，J0为平庸拓扑。令J1＝｛A｜AÌX｝，称（X，J1）为离散拓扑空间。在离散拓扑空间中任意子集均是开集。对实数集R1，令J＝｛BÌR1｜"x∈G，∈ε＞0，使（x－ε，x＋ε）ÌG｝，则（R1，J）就是一维欧几里得空间。类似地可定义n维欧几里得空间Rn。 设X是拓扑空间，如果X可写为非空开集的分离并，则X称为连通空间；如果对X中任意两点 ，存在X中的道路相连接，则称X为道路连通空间 ；如果X的任意开集作成的覆盖存在有限子覆盖 ，则称X为紧空间；如果X中的任意序列有收敛子列，则称X是列紧空间 ；如果X中任意两点都存在不相交的邻域 ，则称X是豪斯多夫空间（或T2空间）。上面所提连通性，道路连通性、紧性、列紧性、T2性均是拓扑不变性。连通空间上的实值连续函数具有介值性，即若f∶X→R1连续，X是连通空间，r∈（f（x1），f（x2），则存在c∈（x1，x2）（或c∈（x2，x1）），使f（c）＝r。紧空间上的实值连续函数具有最大值、最小值。紧空间上的连续函数一致连续。若AÌRn，则A为紧，当且仅当A是有界闭集。
拓扑空间
称拓扑空间为Hausdorff空间，如果空间中任意两点有不交的邻域。注意有些拓扑空间不是Hausdorff空间，如定义了平凡拓扑的空间，连续函数芽集等。
欧几里得空间的一种推广。给定任意一个集，在它的每一点赋予一种确定的邻近结构便成为一个拓扑空间。构造邻近结构有多种方法，常用的是指定开集的方法。给定集x,它的一个子集族J称为x上的一个拓扑结构,简称拓扑,是指J满足下列三个条件：
相关书籍
①空集和x本身是J的元; ②J内任意有限多个元的交仍是J的元； ③J内任意多个元的并仍是J的元。 集x连同它上面的一个拓扑J,构成一个拓扑空间,简称空间。J的元叫x的开集,开集的补集叫闭集。任何集x上总可以赋予拓扑。例如，x的一切子集组成的族就是x上的一个拓扑, 叫离散拓扑，对应的空间叫离散空间;另一个拓扑仅由空集与x自己所组成,叫平凡拓扑。如果集x上定义了一个度量或距离函数，那么x内可以用一些开球的并表示的一切子集组成x上的一个拓扑，叫度量拓扑。一切开球组成的集族称为这个拓扑的一个基。一般地，拓扑J的一个子族B称为J的......余下全文>>
一个基，是指 J的每个元可表为B的一些元的并。这时,也说拓扑J是由B生成的。拓扑J的一个子族φ称为J的一个子基是指φ中元的所有有限交构成的集族是J的一个基。设A是拓扑空间x的任一子集。规定A的开集是x的开集与A的交，于是A自己构成一个拓扑空间,称为x的子空间。
积空间
任意两个集 A1和 A2的笛卡儿积定义为集。两个拓扑空间x1与x2的笛卡儿积x1×x2上可以引入乘积拓扑如下:其基中的元是形如 A1×A2的集, 这里 Ai是 xi的任意开集,i=1,2。这样得到的拓扑空间称为空间x1与x2的积空间。x1与x2叫因子空间。积空间可以推广到任意多个因子的情况。 任意集族{Aα}α∈I的笛卡儿积可类似地定义为集这里Aα是xα的任意开集，并且这些Aα(α∈I)中除有限多个外都等于xα。这样得到的拓扑空间称为空间族{xα}α∈I的积空间。
拓扑空间
商空间
设x 是拓扑空间，将x 划分为两两不相交的子集, 把每个子集看作一个点, 就得到一个新的集H。H的每个点可以看作是由x 的某个相应子集中的点重叠而成。规定H的子集U是开集当且仅当U的一切元的并是x的开集。这样，H便构成一个拓扑空间，叫x的商空间。例如,让x表平面上的长方形带ABCDEF,并作为数平面R2的子空间。先把带扭转180°,再把FD边与CA边粘合起来，这样得到的图形叫麦比乌斯带。这时点A与D重合，C与F、B与E也重合,等等。如果将x划分为下列两两不相交的子集：｛A,D｝,｛C,F｝,｛B,E｝,…以及所有单点集｛p｝，这里p是x的不在两条竖直边上的点。所得的商空间就是麦比乌斯带。
连续映射与同胚
设ƒ是空间x 到空间Y的映射，即对于x内每一点x,Y内有惟一一点y与它对应。这个y叫x在ƒ下的像,记为ƒ(x)；称ƒ是连续映射是指对Y的每个开集G,其逆像ƒ-1【G】={x∈x｜ƒ(x)∈G}是x的开集。如果x内任意两个不同的点有不同的像，就称ƒ是单射。如果Y内每一点必是x 内某一点的像，就称ƒ是满射。从空间x到Y的每个既单又满映射ƒ必有逆映射g,它是Y到x上的既单又满映射，这里g(y)=x当且仅当ƒ(x)=y。这时如果ƒ和g都连续，便称ƒ为同胚映射。两个拓扑空间称为同胚的,是指它们之间存在一个同胚映射。n维欧几里得空间Rn的任一开球作为子空间与Rn同胚。另一方面，1913年荷兰数学家L.E.J.布劳威尔证明了：当m不等于n时,Rm与Rn不同胚。
第一与第二可数空间
拓扑空间称为第二可数的是指它的拓扑有一个可数基。Rn是第二可数空间，因为半径与球心坐标皆为有理数的一切开球组成Rn上拓扑的可数基。设A是空间x的任一子集。x的子集W 称为子集A的邻域是指存在开集U包含A且包含在W内。点x的邻域即子集{x}的邻域。由点x的一切邻域组成的集族Ux叫点的邻域系。Ux的子族Bx称为x的邻域基或局部基是指对于Ux的每个元U，Bx中相应地有元B,使B吇U。如果空间x 的每一点都有一个可数局部基，便称为第一可数空间。第二可数空间与度量空间都是第一可数空间。
相关书籍
紧空间
拓扑空间x的子集族 U称为x 的覆盖是指x 可表为U的一切元的并。由开集组成的覆盖叫开覆盖。如果T2空间x的每个开覆盖有一个有限子族仍是x的覆盖，则x称为紧空间。n维欧几里得空间Rn中的有界闭集，即可以包含于某个球内的闭集，作为Rn的子空间是紧空间。但Rn本身不是紧空间。任意一族紧空间的积空间仍是紧空间。连续映射把紧空间映成紧空间，只要映成的空间是T2的。与一个度量空间同胚的拓扑空间叫可度量空间。1924年，苏联拓扑学家∏.C.乌雷松证明了：紧空间是可度量的当且仅当它是第二可数的。在第二可数或度量空间范围内，一个空间是紧的当且仅当它是列紧的，即是T2空间且它的每个点列有一个收敛子序列。
仿紧空间
1944年由法国数学家J.迪厄多内提出的仿紧空间是紧空间的一种重要推广。空间内的一个子集族U称为局部有限的是指空间内每一点有一个邻域与U内至多有限多个元相交。设U、V是空间x的任二开覆盖,如果U的每个元是V的某个元的子集，则称U加细V或U是V的一个加细。一个T2空间称为仿紧空间是指对于它的每个开覆盖V，存在一个局部有限的开覆盖U加细V。紧空间和度量空间都是仿紧空间。
连通空间
有一类简单的几何图形只由“一片”所组成，这就是连通空间的直观含义。拓扑空间称为连通空间是指它不能表示为两个不相交的不空开集的并。等价地，从它到由两个点组成的离散空间的每个连续函数是常值的，即每一点的像皆相同。Rn是连通空间。R1内的连通子空间恰好是区间，包括带一个或两个端点的或不带端点的，有限或无限的。每个紧连通空间称为连续统。编辑本段分离公理
主要有下面几条。
T1分离公理
空间内任何两个不同的点都各有一个领域不含另一点。
豪斯多夫分离公理
（T2分离公理) 空间内任何两个不同的点都各有邻域互不相交。
正则分离公理
空间内每一点以及不含该点的任一闭集都各有邻域互不相交。
全正则分离公理
对于空间x 内每一点x及不含x的任一闭集B，存在连续映射ƒ∶x→【0,1】，使得ƒ(x)=0且对B内每一点y，ƒ(y)=1。
正规分离公理
空间内任何两个不相交的闭集都各有邻域互不相交。 满足T1分离公理的空间叫T1空间。满足T2分离公理的空间叫T2空间或豪斯多夫空间。一个T1空间如果还满足正则分离公理或全正则分离公理或正规分离公理，则分别称为正则空间，全正则空间和正规空间。各空间之间的蕴含关系可用“崊”表示如下：正规空间崊全正则空间崊正则空间崊T2空间崊T1空间。度量空间以及下述的紧空间和仿紧空间都是正规空间。
在微积分学中，实一维欧几里得空间R′上的开集具有性质： ①任意个开集的并是开集 。
拓扑空间
②有限个开集的交是开集。 ③R′及空集是开集。对任一非空集合X，若X的一个子集族J 满足： ①J中元的任意并在J中。 ②J中元的有限交在J中。 ③X、空集在J中，则称J是X的一个拓扑，J中的元称为开集，X连同拓扑J称为一个拓扑空间，记为（X，J）。 注意到如能在X中给出度量则自然在X中给出拓扑（由度量决定的开集）。 于是度量空间都是拓扑空间。但不是所有拓扑空间都可定义度量，使得该度量下的开集族与原拓扑空间的开集族一致；详见度量化定理。
对任意x∈X，如果Z的子集U包含含有x的一个开集则U称为x的一个邻域。如果X的子集A满足X－A是开集，则称X是闭集。
拓扑空间
设X是非空集合，令J0＝｛X，｝，称（X，J0）为平庸拓扑空间，J0为平庸拓扑。令J1＝｛A｜AÌX｝，称（X，J1）为离散拓扑空间。在离散拓扑空间中任意子集均是开集。对实数集R1，令J＝｛BÌR1｜"x∈G，∈ε＞0，使（x－ε，x＋ε）ÌG｝，则（R1，J）就是一维欧几里得空间。类似地可定义n维欧几里得空间Rn。 设X是拓扑空间，如果X可写为非空开集的分离并，则X称为连通空间；如果对X中任意两点 ，存在X中的道路相连接，则称X为道路连通空间 ；如果X的任意开集作成的覆盖存在有限子覆盖 ，则称X为紧空间；如果X中的任意序列有收敛子列，则称X是列紧空间 ；如果X中任意两点都存在不相交的邻域 ，则称X是豪斯多夫空间（或T2空间）。上面所提连通性，道路连通性、紧性、列紧性、T2性均是拓扑不变性。连通空间上的实值连续函数具有介值性，即若f∶X→R1连续，X是连通空间，r∈（f（x1），f（x2），则存在c∈（x1，x2）（或c∈（x2，x1）），使f（c）＝r。紧空间上的实值连续函数具有最大值、最小值。紧空间上的连续函数一致连续。若AÌRn，则A为紧，当且仅当A是有界闭集。
拓扑空间
称拓扑空间为Hausdorff空间，如果空间中任意两点有不交的邻域。注意有些拓扑空间不是Hausdorff空间，如定义了平凡拓扑的空间，连续函数芽集等。
欧几里得空间的一种推广。给定任意一个集，在它的每一点赋予一种确定的邻近结构便成为一个拓扑空间。构造邻近结构有多种方法，常用的是指定开集的方法。给定集x,它的一个子集族J称为x上的一个拓扑结构,简称拓扑,是指J满足下列三个条件：
相关书籍
①空集和x本身是J的元; ②J内任意有限多个元的交仍是J的元； ③J内任意多个元的并仍是J的元。 集x连同它上面的一个拓扑J,构成一个拓扑空间,简称空间。J的元叫x的开集,开集的补集叫闭集。任何集x上总可以赋予拓扑。例如，x的一切子集组成的族就是x上的一个拓扑, 叫离散拓扑，对应的空间叫离散空间;另一个拓扑仅由空集与x自己所组成,叫平凡拓扑。如果集x上定义了一个度量或距离函数，那么x内可以用一些开球的并表示的一切子集组成x上的一个拓扑，叫度量拓扑。一切开球组成的集族称为这个拓扑的一个基。一般地，拓扑J的一个子族B称为J的......余下全文>>
一个基，是指 J的每个元可表为B的一些元的并。这时,也说拓扑J是由B生成的。拓扑J的一个子族φ称为J的一个子基是指φ中元的所有有限交构成的集族是J的一个基。设A是拓扑空间x的任一子集。规定A的开集是x的开集与A的交，于是A自己构成一个拓扑空间,称为x的子空间。
积空间
任意两个集 A1和 A2的笛卡儿积定义为集。两个拓扑空间x1与x2的笛卡儿积x1×x2上可以引入乘积拓扑如下:其基中的元是形如 A1×A2的集, 这里 Ai是 xi的任意开集,i=1,2。这样得到的拓扑空间称为空间x1与x2的积空间。x1与x2叫因子空间。积空间可以推广到任意多个因子的情况。 任意集族{Aα}α∈I的笛卡儿积可类似地定义为集这里Aα是xα的任意开集，并且这些Aα(α∈I)中除有限多个外都等于xα。这样得到的拓扑空间称为空间族{xα}α∈I的积空间。
拓扑空间
商空间
设x 是拓扑空间，将x 划分为两两不相交的子集, 把每个子集看作一个点, 就得到一个新的集H。H的每个点可以看作是由x 的某个相应子集中的点重叠而成。规定H的子集U是开集当且仅当U的一切元的并是x的开集。这样，H便构成一个拓扑空间，叫x的商空间。例如,让x表平面上的长方形带ABCDEF,并作为数平面R2的子空间。先把带扭转180°,再把FD边与CA边粘合起来，这样得到的图形叫麦比乌斯带。这时点A与D重合，C与F、B与E也重合,等等。如果将x划分为下列两两不相交的子集：｛A,D｝,｛C,F｝,｛B,E｝,…以及所有单点集｛p｝，这里p是x的不在两条竖直边上的点。所得的商空间就是麦比乌斯带。
连续映射与同胚
设ƒ是空间x 到空间Y的映射，即对于x内每一点x,Y内有惟一一点y与它对应。这个y叫x在ƒ下的像,记为ƒ(x)；称ƒ是连续映射是指对Y的每个开集G,其逆像ƒ-1【G】={x∈x｜ƒ(x)∈G}是x的开集。如果x内任意两个不同的点有不同的像，就称ƒ是单射。如果Y内每一点必是x 内某一点的像，就称ƒ是满射。从空间x到Y的每个既单又满映射ƒ必有逆映射g,它是Y到x上的既单又满映射，这里g(y)=x当且仅当ƒ(x)=y。这时如果ƒ和g都连续，便称ƒ为同胚映射。两个拓扑空间称为同胚的,是指它们之间存在一个同胚映射。n维欧几里得空间Rn的任一开球作为子空间与Rn同胚。另一方面，1913年荷兰数学家L.E.J.布劳威尔证明了：当m不等于n时,Rm与Rn不同胚。
第一与第二可数空间
拓扑空间称为第二可数的是指它的拓扑有一个可数基。Rn是第二可数空间，因为半径与球心坐标皆为有理数的一切开球组成Rn上拓扑的可数基。设A是空间x的任一子集。x的子集W 称为子集A的邻域是指存在开集U包含A且包含在W内。点x的邻域即子集{x}的邻域。由点x的一切邻域组成的集族Ux叫点的邻域系。Ux的子族Bx称为x的邻域基或局部基是指对于Ux的每个元U，Bx中相应地有元B,使B吇U。如果空间x 的每一点都有一个可数局部基，便称为第一可数空间。第二可数空间与度量空间都是第一可数空间。
相关书籍
紧空间
拓扑空间x的子集族 U称为x 的覆盖是指x 可表为U的一切元的并。由开集组成的覆盖叫开覆盖。如果T2空间x的每个开覆盖有一个有限子族仍是x的覆盖，则x称为紧空间。n维欧几里得空间Rn中的有界闭集，即可以包含于某个球内的闭集，作为Rn的子空间是紧空间。但Rn本身不是紧空间。任意一族紧空间的积空间仍是紧空间。连续映射把紧空间映成紧空间，只要映成的空间是T2的。与一个度量空间同胚的拓扑空间叫可度量空间。1924年，苏联拓扑学家∏.C.乌雷松证明了：紧空间是可度量的当且仅当它是第二可数的。在第二可数或度量空间范围内，一个空间是紧的当且仅当它是列紧的，即是T2空间且它的每个点列有一个收敛子序列。
仿紧空间
1944年由法国数学家J.迪厄多内提出的仿紧空间是紧空间的一种重要推广。空间内的一个子集族U称为局部有限的是指空间内每一点有一个邻域与U内至多有限多个元相交。设U、V是空间x的任二开覆盖,如果U的每个元是V的某个元的子集，则称U加细V或U是V的一个加细。一个T2空间称为仿紧空间是指对于它的每个开覆盖V，存在一个局部有限的开覆盖U加细V。紧空间和度量空间都是仿紧空间。
连通空间
有一类简单的几何图形只由“一片”所组成，这就是连通空间的直观含义。拓扑空间称为连通空间是指它不能表示为两个不相交的不空开集的并。等价地，从它到由两个点组成的离散空间的每个连续函数是常值的，即每一点的像皆相同。Rn是连通空间。R1内的连通子空间恰好是区间，包括带一个或两个端点的或不带端点的，有限或无限的。每个紧连通空间称为连续统。编辑本段分离公理
主要有下面几条。
T1分离公理
空间内任何两个不同的点都各有一个领域不含另一点。
豪斯多夫分离公理
（T2分离公理) 空间内任何两个不同的点都各有邻域互不相交。
正则分离公理
空间内每一点以及不含该点的任一闭集都各有邻域互不相交。
全正则分离公理
对于空间x 内每一点x及不含x的任一闭集B，存在连续映射ƒ∶x→【0,1】，使得ƒ(x)=0且对B内每一点y，ƒ(y)=1。
正规分离公理
空间内任何两个不相交的闭集都各有邻域互不相交。 满足T1分离公理的空间叫T1空间。满足T2分离公理的空间叫T2空间或豪斯多夫空间。一个T1空间如果还满足正则分离公理或全正则分离公理或正规分离公理，则分别称为正则空间，全正则空间和正规空间。各空间之间的蕴含关系可用“崊”表示如下：正规空间崊全正则空间崊正则空间崊T2空间崊T1空间。度量空间以及下述的紧空间和仿紧空间都是正规空间。
No comments:
Post a Comment