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.