Ensemble discret

Un article de Wikipédia, l'encyclopédie libre.

En optimisation combinatoire, on parle d'ensemble discret pour désigner des ensembles "fondamentalement" discrets, il s'agit en général des ensembles finis ou d'ensembles qui ont essentiellement la même nature que l'ensemble des entiers naturels. En toute rigueur, un ensemble n'est discret que par rapport à un espace topologique. C'est-à-dire, qu'un sous-ensemble F d'un espace topologique sera dit discret si pour tout x de F il existe un voisinage contenant x et aucun autre élément de F. Les ensembles discrets sont tous dénombrables mais remarquons que l'ensemble des rationnels est dénombrable mais pas discret. L'exemple typique d'un ensemble de réels discret infini et borné est celui des 1/n pour tout n entier non nul.