Topologia quoziente: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m r2.7.1) (Bot: Aggiungo: ko:몫공간 |
Nessun oggetto della modifica |
||
Riga 26:
== Proprietà ==
* Se ''X'' soddisfa qualche [[assioma di separazione]], lo spazio quoziente ''X''/~ può non soddisfarlo. Ad esempio, ''X''/~ è [[spazio T1|T1]] se e solo se ogni classe di equivalenza di ~ è chiusa in ''X''. ▼
Poiché la proiezione sul quoziente è continua, la topologia di quest'ultimo eredita alcune proprietà dello spazio iniziale. Quindi:
* Se ''X'' è [[spazio connesso|connesso]], anche ''X''/~ lo è.
* Se ''X'' è [[spazio compatto|compatto]], anche ''X''/~ lo è.
▲* Se ''X'' soddisfa qualche [[assioma di separazione]], lo spazio quoziente ''X''/~ può non soddisfarlo. Ad esempio, ''X''/~ è [[spazio T1|T1]] se e solo se ogni classe di equivalenza di ~ è chiusa in ''X''.
{{Topologia}}
{{Portale|matematica}}
|