« Topologie générale/Compacité » : différence entre les versions
Contenu supprimé Contenu ajouté
m →Définitions : déf de "relativement compact" |
|||
Ligne 32 :
{{Définition
| titre = Définition : espace compact, partie compacte, partie relativement compacte
| contenu =
*Un '''espace''' topologique ''X'' est dit '''compact''' s'il est [[../Espace topologique#Définitions fondamentales|séparé]] et si pour tout recouvrement ouvert de ''X'', il existe un sous-recouvrement fini.
*Une '''partie''' ''A'' de ''X'' est dite '''compacte''' si l'espace topologique ''A'' (muni de la [[../Espace topologique#Exemples classiques d'espaces topologiques|topologie induite]]) est compact.
*Une partie de ''X'' est dite '''relativement compacte''' si elle est incluse dans une partie compacte de ''X''.
{{Wikipédia|Partie relativement compacte}}
}}
|