Un espace topologique tel que tout recouvrement ouvert admet un sous‑recouvrement dénombrable.

Principe

Le comportement vis‑à‑vis des recouvrements ouverts est contrôlé par des sous‑recouvrements dénombrables : aucun recouvrement ouvert n'exige un choix non dénombrable pour couvrir l'espace.

Démonstration

Tout espace compact est Lindelöf car tout recouvrement ouvert possède déjà un sous‑recouvrement fini ; les espaces à base dénombrable comme R sont aussi Lindelöf en choisissant des éléments de base contenus dans le recouvrement.

Mauvaise application

Considérer la propriété de Lindelöf comme équivalente à la compacité ou supposer qu'elle implique la dénombrabilité de la base en général ; il existe des espaces Lindelöf qui ne sont pas compacts et des espaces séparables qui, selon le contexte, peuvent ne pas être Lindelöf.

Conséquence

La possibilité d'extraire un sous‑recouvrement dénombrable facilite de nombreuses démonstrations impliquant des recouvrements (partitions de l'unité, arguments de paracompacité dans certains cadres) et interagit avec la séparabilité et la dénombrabilité de la base sous structure supplémentaire.

Inversion

Un espace non‑Lindelöf admet au moins un recouvrement ouvert sans sous‑recouvrement dénombrable ; exemple extrême : un espace discret non dénombrable recouvert par des singletons ne possède pas de sous‑recouvrement dénombrable.

Limite

Propriété relative aux recouvrements ouverts dans les espaces topologiques et indépendante des axiomes de séparation ; elle ne commande pas à elle seule des propriétés de finitude comme la compacité ni la dénombrabilité locale des bases.

Tension sémantique

Proche de la compacité mais plus faible : la compacité exige des sous‑recouvrements finis plutôt que dénombrables ; elle se situe aussi vis‑à‑vis d'autres notions de recouvrement (σ‑compacité, paracompacité).

Synthèse

La propriété de Lindelöf affirme que tout recouvrement ouvert admet un sous‑recouvrement dénombrable, une forme affaiblie de compacité centrée sur la dénombrabilité, qui interagit avec les conditions de comptabilité et de séparabilité sous des structures topologiques supplémentaires.