Regula spaco

En topologio, regula spaco estas topologia spaco, kies punktoj estas apartigeblaj de fermita subaro, se la punktoj ne apartenas al la fermita subaro, per ĉirkaŭaĵoj.

 Difino 
En topologia spaco , du subaroj  estas apartigebla per ĉirkaŭaĵoj se kaj nur se ekzistas ĉirkaŭaĵo  de  kaj ĉirkaŭaĵo  de , kies kunaĵo estas malplena:
.

Topologia spaco  estas regula, se kaj nur se por ajna fermita aro  kaj ajna punkto , se , tiam la du subaroj  kaj  estas apartigeblaj per ĉirkaŭaĵoj.

 Ecoj 
Ne ĉiu regula spaco estas hausdorfa.

Hausdorfa normala spaco estas regula, ĉar la hausdorfeco implicas, ke unuelementa subaro estas fermita.

 Ekzemploj 
Ĉiu metrika spaco estas regula (fakte, normala kaj hausdorfa). Ĉiu diskreta spaco estas regula. Ĉiu maldiskreta spaco estas regula.

 Eksteraj ligiloj 


Kategorio:Ĝenerala topologio