Lemme de Lebesgue sur les compacts

Aide à la résolution d'exercices de mathématiques de tout niveau scolaire.
[participation réservée aux utilisateurs inscrits]
Règles du forum
Merci de soigner la rédaction de vos messages et de consulter ce sujet avant de poster. Pensez également à utiliser la fonction recherche du forum.
paspythagore
Utilisateur chevronné
Utilisateur chevronné
Messages : 2287
Inscription : mercredi 19 novembre 2008, 15:35
Statut actuel : Autre

Lemme de Lebesgue sur les compacts

Message non lu par paspythagore »

Bonjour.
Je ne comprends pas ce lemme. Si $X$ est compact, pour toute famille d'ouverts recouvrant $X$, quel que soit $x\in X$, il existe une boule de centre $x$ incluse dans un des ouverts de la famille. Où est la subtilité ?
Qu'est ce qui ne coule pas de source ?
Soit $(X,d)$ un espace métrique compact. Pour toute famille $(U_\lambda)_{\lambda\in\Lambda}$ d'ouverts recouvrant $X$, il existe un nombre réel $\alpha$ strictement positif tel que :
$$\forall x\in X,\exists\lambda\in \Lambda/B(x,\alpha)\subset U_\lambda.$$
balf
Modérateur spécialisé
Modérateur spécialisé
Messages : 4065
Inscription : mercredi 02 janvier 2008, 23:18

Re: lemme de Lebesgue sur les compacts

Message non lu par balf »

Le rayon de la boule (α) est le même pour tout le monde.
paspythagore
Utilisateur chevronné
Utilisateur chevronné
Messages : 2287
Inscription : mercredi 19 novembre 2008, 15:35
Statut actuel : Autre

Re: lemme de Lebesgue sur les compacts

Message non lu par paspythagore »

J'ai inversé les quantificateurs.
Le lemme veut dire qu'il y a une boule "minimum" dans tout compact ou dans tout recouvrement ?
D'ailleurs cette boule peut être ouverte ou fermée ?
balf
Modérateur spécialisé
Modérateur spécialisé
Messages : 4065
Inscription : mercredi 02 janvier 2008, 23:18

Re: lemme de Lebesgue sur les compacts

Message non lu par balf »

Si la boule n'est pas fermée, la boule ouverte correspondante est a fortiori contenue dans un des U$_\lambda$, et cette boule ouverte contient elle-même les boules fermées de rayon strictement plus petit.

L'énoncé signifie simplement que toute boule de rayon assez petit est entièrement contenue dans un des ouverts de la famille recouvrante, indépendamment du centre de la boule. Mais les boules ne sont pas minimales ( en quel sens, d'ailleurs ?) : les boules de rayon inférieur possèdent la même propriété, bien évidemment.

B.A.
paspythagore
Utilisateur chevronné
Utilisateur chevronné
Messages : 2287
Inscription : mercredi 19 novembre 2008, 15:35
Statut actuel : Autre

Re: lemme de Lebesgue sur les compacts

Message non lu par paspythagore »

Merci.
Répondre