Inscription / Connexion Nouveau Sujet
Niveau Master
Partager :

Compacité

Posté par
Charly88
20-05-09 à 11:37

Bonjour à tous.
Je cherche une démonstration de l'affirmation suivante:
Un espace relativement compacte est précompacte.

Si quelqu'un a une idée se serait sympa. Merci d'avance

Posté par
romu
re : Compacité 20-05-09 à 11:50

Salut,

On prend un espace métrique E, et une partie A de E qui est relativement compacte.
On fixe \varepsilon>0. Tu peux montrer que la famille des boules de E \{B(x,\varepsilon):\ x\in A\} recouvrent \overline{A}, et tu conclus grâce à la compacité de \overline{A}.

Posté par
Charly88
re : Compacité 20-05-09 à 11:57

A c (E,d)
Soit epsilon > 0
Soit x un point de Adh(A). Donc il existe une suite (xn) de A tel que xn tend vers x.
Donc il existe un no tel que pour tout n>no, d(xn,x)<epsilon. Donc x c B(xno,epsilon).
Ainsi Adh(A) c {B(x,epsilon); x dans A}. Comme Adh(A) est compacte on en extrait un sous-recouvrement fini.
Donc Adh(A) c U B(xi,epsilon) pour un nombre fini de xi dans A, de même pour A.
C'est ça?
Merci beaucoup Romu

Posté par
1 Schumi 1
re : Compacité 20-05-09 à 12:01

Salut

Comprends pas... l'espace est relativement compacte? T'entends quoi par là? Tous les fermés sont compacts?

Posté par
1 Schumi 1
re : Compacité 20-05-09 à 12:02

Au temps pour moi...

Posté par
romu
re : Compacité 20-05-09 à 12:13

Salut Ayoub

un espace est relativement compact si son adhérence est compacte.
les concours se passent bien ?

Charly >> c'est bien ça, il faut juste faire gaffe à ne pas prendre des boules centrées sur des points de la frontière de A, car leurs traces sur A ne sont pas des boules de A.

Posté par
1 Schumi 1
re : Compacité 20-05-09 à 22:26

"un espace est relativement compact si son adhérence est compacte." >> Oui, c'est bien la définition que j'ai pour une partie relativement compacte. Mais pour l'espace lui-même ça veut dire qu'il est compacte ou que toutes ses parties sont relativement compactes? Visiblement, et c'est ce qui me semblait le plus logique, c'est la deuxième alternative.

Bah, c'est presque fini, plus que deux épreuves d'admission qui ne seront donc p'tet même pas lues. C'est quasi impossible de prévoire ses notes aux ens... On verra le 16 juin. ssssspoir.

Posté par
romu
re : Compacité 21-05-09 à 00:02

ah ok, j'avais pensé que charly n'avait pas précisé que cette partie relativement compacte était dans un espace topologique ambiant. Je ne vois pas différence entre tes deux alternatives.

En tout cas je te dis m**** pour la suite, et bon courage. Tu nous tiendras au courant en juin sur l'île.



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 !