分离空间

lilianjie

拉丁字母 T 是由德文单词“Trennung”而来，意义是分离。
4 B+ g" B# E+ I4 W, w
, Z, A7 Z( Y0 K( w" ^/ E
T0 公理: 满足这条公理的拓扑空间叫做 T0空间。又叫做柯尔莫果洛夫空间。T0 定义为：对于拓扑空间中任意两个不同的点 x 和 y，至少存在一个 x 的邻域不包含 y 或存在一个 y 的邻域不包含 x。
R0 公理: X 是 R0 空间或“对称空间”，如果 X 中任何两个拓扑可区分点是可分离的。
T1 公理: 满足这条公理的拓扑空间叫做 T1 空间。T1 定义为：对于拓扑空间中任意两个不同的点 x 和 y，存在一个 x 的邻域不包含 y 且存在一个 y 的邻域不包含 x。
R1 公理: X 是 R1 空间或“预正则空间”，如果 X 中任何两个拓扑可区分点可以由邻域来分离。R1 空间必定也是 R0 空间。
T2 公理: 满足这条公理的拓扑空间叫做 T2 空间。又叫做豪斯多夫空间。这条公理说：对于空间中任意两个不同的点 x 和 y，存在 x 的邻域 U 和 y 的邻域 V，满足条件 。
7 W! A( I& ?- C" V/ w! {正则公理: 若对空间X里的任意闭集 F 及 ，都存在邻域 U,V，使得  且 ，则称 X 为正则空间。
6 \7 F8 c, ?: N5 j: MT3 公理: 满足这条公理的空间叫做 T3空间。T3 定义为：对于该拓扑空间中任意的闭子集 F 与不属于 F 的点 x，存在二个开集 U 与 V，使得 x 属于 U 且  同时 。
完全正则公理: 若对上述 x,F，存在连续函数 使得f(x) = 0,f | F = 1，则称 X 为完全正则空间，又称吉洪诺夫空间。
# d8 v: w* O3 m. _$ n正规公理: 若对空间中任两个不相交闭集 F1,F2，都存在邻域 ，使之满足 ，则称之正规空间。
: ]+ F. u6 l) k- G  p4 ]T4 公理: T1 且正规的拓扑空间叫做 T4 空间，或称满足 T4 公理。
完全正规公理: 若上述条件对任何两个不相交集合均成立，则称之完全正规空间。
T5 公理: 完全正规的 T1 空间叫做 T5 空间，或称满足 T5 公理。
' Z( [* g% M, x

lilianjie

8 h$ ?( O9 w/ s- W; q. h; M
$ V+ k: b4 T# @1 ET0 公理: 满足这条公理的拓扑空间叫做 T0空间。又叫做柯尔莫果洛夫空间。T0 定义为：对于拓扑空间中任意两个不同的点 x 和 y，至少存在一个 x 的邻域不包含 y 或存在一个 y 的邻域不包含 x。
+ ^! P4 Q/ C4 ?" k! r: D  [) \; d7 D

lilianjie

; K# {5 S. r$ v( v

楚洁cmj 发表于 2011-12-31 09:51
. ?% {, ?5 W# G, r) @( \谢谢楼主，好久没看到这么好的贴了

多谢！再接再励。。。。
* Z  \! s; h' m7 b, ]8 v$ a
T2:

0 p6 {+ p: ~: S0 j6 U$ WT2 公理: 满足这条公理的拓扑空间叫做 T2 空间。又叫做豪斯多夫空间。这条公理说：对于空间中任意两个不同的点 x 和 y，存在 x 的邻域 U 和 y 的邻域 V，满足条件U∩V ＝φ。
$ |. A  K" ^; R

lilianjie

lilianjie 发表于 2012-1-1 10:52
多谢！再接再励。。。。
7 V$ M3 v  q+ J3 |0 }& B
2 h0 r- g4 B" ]) L, RT2:

正则公理: 若对空间X里的任意闭集 F 及 x∈X-F,，都存在邻域 U,V，使得x ∈U 且F属于 V，则称 X 为正则空间。
1 L: H" }7 A% V3 k# rT3 公理: 满足这条公理的空间叫做 T3空间。T3 定义为：对于该拓扑空间中任意的闭子集 F 与不属于 F 的点 x，存在二个开集 U 与 V，使得 x  ∈U 且 F属于 V 同时U∧V＝φ 。
完全正则公理: 若对上述 x,F，存在连续函数 使得f(x) = 0,f | F = 1，则称 X 为完全正则空间，又称吉洪诺夫空间。

lilianjie

正规公理: 若对空间中任两个不相交闭集 F1,F2，都存在邻域 ，使之满足U1⊃F1，U2 ⊃F1，则称之正规空间。
T4 公理: T1 且正规的拓扑空间叫做 T4 空间，或称满足 T4 公理。
% _8 o  e3 v- ~' I( e完全正规公理: 若上述条件对任何两个不相交集合均成立，则称之完全正规空间。

lilianjie

T1 公理: 满足这条公理的拓扑空间叫做 T1 空间。T1 定义为：对于拓扑空间中任意两个不同的点 x 和 y，存在一个 x 的邻域不包含 y 且存在一个 y 的邻域不包含 x。

lilianjie

正规的T1空间叫做 T4 空间
/ K; b7 x: W  W# A; \完全正规的 T1 空间叫做 T5 空间
+ C! r' [) f) R
T0---------- (Kolmogorov)
" [0 F$ i. `" z* {# i, PT1-----------Fréchet)
T2----------Hausdorff
T3----------Vietoris
T4----------Tietze 第一公理
T5----------Tietze)第二公理
T6 --------Kuratowski
0 G/ A9 I/ @7 \7 |, LT3+1/2-----Tikhonov  
# ], G- d3 L* k& ^: u
T2+1/2
& ]' Q- i. R3 K3 ^8 c4 k. Z

' @4 v: W7 T' U) }; a/ _' J8 u2 NT3+1-------Tikhonov
" P* X" P5 w$ n4 h
- A# r0 u; M" M, k
* I3 n) u/ ^: ]+ @/ |) O: ~8 `9 j
/ r: S/ r$ i5 U

lilianjie

1234567890

hbdkfk2

看不懂！！！！！！！！！@@@@@@@@

wuxiedanran

囧了，果真是智商问题……