Hausdorff-a spaco: Malsamoj inter versioj

[kontrolita revizio][kontrolita revizio]
Enhavo forigita Enhavo aldonita
eNeniu resumo de redakto
 
Linio 2:
 
== Difino ==
Se <math>X</math> estas [[topologia spaco]], du punktoj <math>x,y\in X</math> estas '''apartigeblaj per ĉirkaŭaĵoj''' se ekzistas [[malfermita subaroaro|malfermitaj subaroj]] <math>U,V \subseteq X</math> tiaj ke <math>x\in U</math> kaj <math>y\in V</math> kaj <math>U\cap V = \varnothing</math>.
 
La '''apartiga aksiomo de Hausdorff'''<ref>[[Nova Plena Ilustrita Vortaro de Esperanto]]: [http://vortaro.net/#topologio topolog/i/o] “la plej gravaj topologiaj spacoj plenumas la apartigan aksiomon de Hausdorff.”</ref> estas la kondiĉo, ke ĉiu paro de malsamaj punktoj estu apartigebla per ĉirkaŭaĵoj. Topologia spaco plenumanta la apartigan aksiomon de Hausdorff estas '''Hausdorff-a spaco''' aŭ '''T<sub>2</sub>-spaco'''.