## [Propriété de Lindelöf](/fr/node/62190) Définition Un espace topologique satisfait la propriété de Lindelöf si toute couverture ouverte admet un sous-recouvrement dénombrable. ## Principe Principe La règle organisatrice est la réduction dénombrable des recouvrements ouverts arbitraires : bien que les recouvrements puissent être vastes ou non dénombrables, on peut toujours extraire une famille dénombrable qui recouvre encore tout l'espace. ## Démonstration Démonstration La droite réelle avec sa topologie usuelle est Lindelöf parce qu'une base dénombrable permet d'extraire un sous-recouvrement dénombrable de tout recouvrement ouvert ; en revanche, un espace discret non dénombrable n'est pas Lindelöf (le recouvrement par singletons n'admet aucun sous-recouvrement dénombrable). ## Mauvaise application Mauvaise application Assimiler Lindelöf à la compacité est une erreur fréquente : la compacité exige un sous-recouvrement fini pour tout recouvrement ouvert, condition strictement plus forte que l'existence d'un sous-recouvrement dénombrable. ## Conséquence Conséquence La propriété de Lindelöf simplifie de nombreux arguments en réduisant des problèmes globaux de recouvrement à une combinatoire dénombrable et, dans les contextes métriques ou de seconde dénombrabilité, interagit avec la séparabilité et la paracompacité pour produire d'autres conséquences structurelles. ## Inversion Inversion Ne pas être Lindelöf signifie qu'il existe au moins un recouvrement ouvert sans sous-recouvrement dénombrable, indiquant souvent une structure discrète de grande taille ou un comportement pathologique des recouvrements. ## Limite Limite La Lindelöfness concerne uniquement les recouvrements ouverts et les sous-recouvrements dénombrables ; elle n'exige pas que la topologie elle-même soit dénombrable et n'implique pas la compacité. La propriété est héréditaire pour certains sous-espaces mais pas pour des sur-espaces arbitraires ou des produits généraux. ## Tension sémantique Tension sémantique La propriété de Lindelöf est parfois confondue avec la σ-compactité (union dénombrable d'ensembles compacts) ou la séparabilité ; ces notions coïncident dans des espaces métriques mais diffèrent en topologie générale. ## Synthèse Synthèse La Lindelöfness incarne une forme de contrôlabilité dénombrable des ouverts : tout recouvrement global se réduit à des parties dénombrables, une propriété plus faible mais utile, proche de la compacité et qui, combinée avec d'autres axiomes de dénombrabilité, structure le comportement de l'espace.