A editar "Espazo compacto"
O contido engadido que viole dereitos de autoría será eliminado. O contido enciclopédico debe ser verificable e neutral. O material publicado na Wikipedia pode ser editado, modificado, usado e redistribuído por calquera, suxeito ós termos e condicións da mesma. |
A edición pódese desfacer. Comprobe a comparación que aparece a continuación para confirmar que isto é o que desexa facer; despois, garde os cambios para desfacer a edición. Se está a desfacer unha edición que non é un vandalismo, explique o motivo no resumo de edición ademais de usar a mensaxe que aparece por defecto. |
Revisión actual | O teu texto | ||
Liña 22: | Liña 22: | ||
A compacidade dun espazo topolóxico ''X'' admite varias formulacións alternativas. As seguintes afirmacións son equivalentes: |
A compacidade dun espazo topolóxico ''X'' admite varias formulacións alternativas. As seguintes afirmacións son equivalentes: |
||
# ''X'' es compacto. |
# ''X'' es compacto. |
||
# Se {''F<sub>i</sub> |
# Se {''F<sub>i''</sub>}<sub>''i'' ∈ ''I''</sub> é unha familia de subconxuntos [[conxunto pechado|pechados]] en ''X'' coa [[propiedade da intersección finita]], entón ∩<sub>''I''</sub>''F<sub>i</sub> ≠ ∅. |
||
# Toda [[Rede (matemáticas)|rede]] en ''X'' admite unha subrede converxente. |
# Toda [[Rede (matemáticas)|rede]] en ''X'' admite unha subrede converxente. |
||
# A función ao punto <math>X\to\ast</math> é [[aplicación propia|propia]]. |
# A función ao punto <math>X\to\ast</math> é [[aplicación propia|propia]]. |