Salut
Svp comment reconnaitre un compact dans un espace norme de dim infinie
Exemple : Dans C([0,1])
E={x/x(t)=exp(t-a),t €[0,1],a>0}
Est ce que Adh(E) est compact ?
Un ferme borné n'est pas nécéssairement compact.
Ici l'inclusion de ta partie E se factorise à travers un espace de dimension finie... de dimension 1 meme. Ca devrait pas être dur de conclure.
Si tu appelles V, la droite egendrée par fonction exponentielle dans C([0,1)], alors ta partie E est simplement une partie de V, et l'inclusion de V dans C([0,1]) est continue, donc envoie compacts sur compacts.
Donc tu as simplement à verifier que E, vue comme partie de V est compacte.
bonjour,
@Poncargues En effet je me suis ici laissé emporté par le contexte
Ici toute trace sur E d'un recouvrement de adh(E) pour des ouverts pour la topologie de la norme SUP donnée en hypothèse correspond à un recouvrement de [0,e] de type [0, a[,
il s'agit donc bien d'un raisonnement dans R.
les fermés bornés de Rn sont des compacts
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :