Inscription / Connexion Nouveau Sujet
Niveau Maths sup
Partager :

ensemble borné

Posté par
romu
07-03-08 à 21:44

Bonsoir,

j'ai un souci avec un exo du cours:

Soit (E,d) un espace métrique.

1) Montrer qu'un compact de E est fermé borné.

2) Est-ce réciproque?


Déjà pour la 1), je bloque

merci pour votre aide.

Posté par
romu
re : ensemble borné 07-03-08 à 21:47

En fait plus précisément, je pensais montrer qu'un tel compact K peut être recouvert par un ensemble fini de boules ouvertes B(x_i,\varepsilon_i),
et essayer de montrer que ces boules sont incluses dans la boule B(x_1,\bigsum_i \varepsilon_i), mais je n'arrive pas à montrer l'inclusion dans cette grosse boule.

Posté par
romu
re : ensemble borné 07-03-08 à 21:51

Pour la 2), la boule unité fermée n'est pas compacte d'après le théorème de Riesz, mais c'est un exemple un peu trop marteau piqueur, je pense.

Posté par
kaiser Moderateur
re : ensemble borné 07-03-08 à 21:59

salut romu

Pour l'inclusion que tu veux montrer je ne sais pas si elle est vraie (on est tenté d'avoir une vision "euclidienne" de la chose mais la distance peut être assez bizarre). Il faut revenir à la définition de borné dans un espace métrique : pour ma part, c'est être de diamètre fini.

Pour la 2 :

Citation :
Pour la 2), la boule unité fermée n'est pas compacte d'après le théorème de Riesz


En dimension infinie uniquement bien entendu.

Tu peux par exemple, prendre un exemple simple : l'ensemble des suites réelles sommables. (exhibe une suite dont on ne peut extraire aucune sous-suite convergente)

Kaiser

Posté par
romu
re : ensemble borné 07-03-08 à 22:08

Bonsoir Kaiser,

oui je me demandais quelle définition d'"être borné" adopter,
et si justement il y avait équivalence entre être de diamètre fini et être dans une boule ?

Posté par
romu
re : ensemble borné 07-03-08 à 22:13

Si une partie A de E est dans une boule, A est donc borné.

Mais la réciproque je ne sais pas.


Ensuite pour en revenir au problème, il fudrait montrer que la réunion de deux parties bornées est bornée.

Posté par
kaiser Moderateur
re : ensemble borné 07-03-08 à 22:13

Citation :
et si justement il y avait équivalence entre être de diamètre fini et être dans une boule ?


ça doit être le cas. En bidouillant un peu (avec des bornes sup et compagnie), on peut arriver à montrer ça.
Ici, on peut montrer facilement qu'un compact est de diamètre fini (comment ?)

Kaiser

Posté par
kaiser Moderateur
re : ensemble borné 07-03-08 à 22:23

Citation :
Si une partie A de E est dans une boule, A est donc borné.

Mais la réciproque je ne sais pas.


En fait, c'est plus simple qu'il n'y parait :

Soit A une partie non vide de E.

Si A est inclus dans une boule de rayon r, alors A est borné de diamètre inférieur à 2r.

Si A est borné de diamètre égale à r, alors A est inclus dans une boule de rayon r dont le centre peut être n'importe quel élément de A.

Citation :
Ensuite pour en revenir au problème, il faudrait montrer que la réunion de deux parties bornées est bornée.


Si tu veux raisonner ainsi, il faut peut-être faire intervenir la distance entre ces deux parties.

Kaiser

Posté par
romu
re : ensemble borné 07-03-08 à 22:30

ah oui mais pourquoi je me prends autant la tête

Citation :
Si tu veux raisonner ainsi, il faut peut-être faire intervenir la distance entre ces deux parties.


ok je pensais à ça aussi, merci je vais développer dans cette direction plus confiant, tu pensais raisonner autrement pour montrer qu'un compact est de diamètre fini?

Posté par
kaiser Moderateur
re : ensemble borné 07-03-08 à 22:35

Citation :
tu pensais raisonner autrement pour montrer qu'un compact est de diamètre fini?


on peut considérer f l'application définie sur le compact K² par f(x,y)=d(x,y).

Cette application est continue (car 1-lipschitzienne, étant donné l'inégalité triangulaire de gauche) sur le compact K² donc est bornée (et accessoirement atteint ses bornes). Le diamètre de K, étant égal à la borne supérieure de f, est donc fini.

Kaiser

Posté par
romu
re : ensemble borné 07-03-08 à 22:54

ah oui et c'est plus direct, merci Kaiser.

Posté par
kaiser Moderateur
re : ensemble borné 07-03-08 à 22:55

Mais je t'en prie !



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1675 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !