Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

Répondre

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante (donner le résultat en chiffres)?
cinquante sept moins dix
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Retour

Résumé de la discussion (messages les plus récents en premier)

Starkrye
11-06-2019 08:01:04

Bonjour,

Je pose en fait alpha qui depend des Ui alors que les Ui sont construits a partir des alpha ! :) Merci piur la reponse !

Fred
11-06-2019 06:16:52

Bonjour,

  IL y a quelque chose qui ne va pas dans l'enchaînement :
1. Pour tout $\alpha>0$, il existe une famille $(U_i)$ qui recouvre $X$ (quel rapport avec $\alpha$?).
2. Puis on pose $\alpha=\cdots$.

Qui est défini avant? $\alpha$ ou la famille $(U_i)$???

F.

starkrye
06-06-2019 09:08:49

Bonjour,

Pour la réciproque de la démonstration j'ai envie de prendre une suite $(x_n)$ de X (complet et précompact), de choisir un $\epsilon > 0$. On sait que X est précompact donc $\forall \alpha > 0 \exists$ une famille finie de $(U_i)_{i<k}$ qui recouvre X.

Donc on pose$ \alpha = \frac{\epsilon}{diamètre(U_i)}$; le diamètre existe car c'est une famille finie d'ouverts;

Donc $\forall n \in N \exists i < k, x_n \in U_i$. Donc $\forall n \in N$ et $p > 0$, $d(x_n,x_{n+p})< \epsilon$. Donc$ (x_n)$ est de caucgy dans un expace complet.

J'ai l'impression que ça marche mais je sais que c'est faux, je ne vois pas l'erreur. Quelqu'un pourrait m'aider ?

Merci :)

Pied de page des forums