Résumé
En mathématiques et plus précisément en topologie, la topologie grossière (ou topologie triviale) associée à un ensemble X est la topologie sur X dont les seuls ouverts sont l'ensemble vide et X. Cette topologie est la moins fine de toutes les topologies qu'il est possible de définir sur un ensemble ; intuitivement, tous les points de l'espace topologique ainsi créé sont « groupés ensemble » et ne peuvent pas être distingués du point de vue topologique. La topologie grossière est la topologie possédant le moins d'ouverts qu'il soit possible de définir sur un ensemble X, la définition d'une topologie supposant précisément que X et l'ensemble vide font partie de ces ouverts. Parmi les autres propriétés d'un tel espace topologique X : Les seuls fermés sont l'ensemble vide et X. La seule base possible de la topologie grossière sur X est {X}. Si X a au moins deux éléments, ce n'est pas un espace séparé, ni même un espace de Kolmogorov. A fortiori, il n'est pas régulier. En revanche, il vérifie les axiomes de séparation T3 1/2 (donc aussi T3) et T4. N'étant pas séparé, X n'est ni une topologie d'ordre, ni métrisable. X est quasi-compact. Toute fonction définie sur un espace topologique et à valeurs dans X est continue. X est connexe. Tout point de X admet une base dénombrable, X est à base dénombrable et séparable. Tout sous-espace de X possède la topologie grossière. Tout espace quotient de X possède la topologie grossière. Sur tout produit cartésien d'espaces topologiquement grossiers, la topologie produit est la topologie grossière. Toute suite de X converge vers tout point de X. En particulier, toute suite possède une sous-suite convergente (la suite elle-même) et X est donc séquentiellement compact. L'intérieur de tout sous-ensemble de X, à l'exception de X lui-même, est vide. L'adhérence de tout sous-ensemble non-vide de X est X. Tout sous-ensemble non-vide de X est donc dense dans X, une propriété qui caractérise les espaces topologiquement grossiers. Si S est un sous-ensemble de X ayant au moins deux points, tout élément de X est un point d'accumulation de S.
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.