Topologia spaco: Malsamoj inter versioj

[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
eNeniu resumo de redakto
eNeniu resumo de redakto
Linio 48:
[[Funkcio (matematiko)|Funkcio]] inter topologiaj spacoj estas [[kontinua funkcio|kontinua]] se la [[inversa bildo]] de ĉiu malfermita aro estas malfermita. Ĉi tio pavas esti komprenita kiel postulo de foresto de rompoj aŭ apartigoj en la funkcio. Anstataŭigi nocion "inversa bildo" per (ne inversa) "bildo" ĉi tie ne eblas, la kontraŭekzemplo estas konduto de funkcio ĉirkaŭ [[ekstremumo]]; ekzemple por funkcio ''f(x)=x<sup>2</sup>'', bildo de malfermita aro ''(-1, 1)'' estas aro ''[0, 1)'' kiu ne estas malfermita; ĉi tiu ekzemplo uzas la norman topologion sur '''''R''''', vidu sube.
 
[[Homeomorfio]] estas [[ensurĵeto]] ([[reciproke unuvalora surĵeto]]) kiu estas kontinua kaj kies [[retroĵeto]] estas ankaŭ kontinua. Du spacoj estas ''homeomorfiaj[[homeomorfa]]j'' se ekzistas homeomorfio inter ili. De vidpunkto de topologio, homeomorfiajhomeomorfaj spacoj estas esence identaj.
 
== Topologioj de kutimaj spacoj ==
Linio 80:
== Klasifiko de topologiaj spacoj ==
 
Topologiaj spacoj povas esti larĝe klasifikita, [[supren ĝis]] homeomorfio, per iliaj [[topologiaj propraĵoj]]. Topologia propraĵo estas propraĵo de spaco kiu estas invarianta sub homeomorfioj. Por pruvi ke du spacoj estas ne homeomorfiahomeomorfa ĝi sufiĉas trovi topologian propraĵon kiu estas ne komunigita per ili. Ekzemploj de tiaj propraĵoj estas [[konekteco (topologio)|konekteco]], [[kompakteco (topologio)|kompakteco]], kaj diversaj [[apartigaj aksiomoj]].
 
== Rilatantaj spacoj ==