Separare (matematică)

În topologie și geometrie , separarea este o proprietate care caracterizează posibilitatea separării convenabile a două părți disjuncte date ale unui spațiu topologic. Modul de separare a acestor părți depinde de proprietățile acestui spațiu și de alegerea părților pe care doriți să le separați. Separarea poate fi invocată pentru a obține un control mai bun asupra obiectelor manipulate (funcții, secțiuni, ...).

Separarea pieselor compacte

Într-un spațiu topologic separat X , două părți compacte disjuncte A și B pot fi separate prin două deschideri disjuncte. În special, deoarece orice parte închisă a unui spațiu compact este compactă, orice spațiu compact este normal.

Pentru toate piesele compacte A și B - o separat topologic spațiu X , există două disjuncte deschise U și V , respectiv , conținând A și B .

Această proprietate are multe aplicații.

Separarea funcțională a punctelor

Un set A de hărți definit pe X cu valori într-un set Y separă punctele lui X când pentru toate punctele x și y din X există o hartă f în A astfel încât f ( x ) și f ( y ) să fie distincte .

Această noțiune de separare apare în special în ipotezele teoremei Weierstrass .

Articol asociat