Compacts de Coo

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 17:30

Compacts de Coo

par Nightmare » 11 Mar 2009, 17:45

Bonjour :happy3:

Je vous propose un petit exercice qu'un ami en spé m'a proposé et dont j'ai trouvé la résolution sympathique (après je me suis peut être compliqué la vie avec ma preuve).

On se fixe un ouvert de . Montrer que les compacts de sont exactement les fermés bornés.


Voila, si l'exercice vous intéresse !

:happy3:



ffpower
Membre Complexe
Messages: 2542
Enregistré le: 13 Déc 2007, 04:25

par ffpower » 11 Mar 2009, 18:12

On prend une suite de fonctions et pour tout k,on applique ascoli a la suite des dérivées k-iemes,et ca a l air de marcher non?

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 17:30

par Nightmare » 11 Mar 2009, 18:24

Ouaip j'ai eu la même idée ! Il y a quand même des choses à écrire mais ça découle tout seul quand on a cette idée.

ThSQ
Membre Complexe
Messages: 2077
Enregistré le: 10 Oct 2007, 17:40

par ThSQ » 11 Mar 2009, 20:50

Une question (probablement stupide mais tant pis) de curiosité : c'est avec quelle norme ? La norme infinie (si oui faut que Omega soit relativement compacte non ?) ?
Joli résultat en tout cas.

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 17:30

par Nightmare » 11 Mar 2009, 20:59

Bonne question, effectivement ce n'est pas précisé. Cependant la question précédente nécessite la complétude de l'espace. Je suppose donc qu'on munit l'espace des semi-normes où les sont des compacts recouvrant

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 17:30

par Nightmare » 11 Mar 2009, 21:03

(D'ailleurs ce n'est pas inintéressant de montrer que la topologie induite par ces semi-normes font des des espaces complets !)

ThSQ
Membre Complexe
Messages: 2077
Enregistré le: 10 Oct 2007, 17:40

par ThSQ » 11 Mar 2009, 21:49

Merci pour ces infos Nightmare,

Nightmare a écrit:des compacts recouvrant


recouvrant ou 'inclus dans' (et d'union = Omega) ?

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 17:30

par Nightmare » 11 Mar 2009, 21:56


ThSQ
Membre Complexe
Messages: 2077
Enregistré le: 10 Oct 2007, 17:40

par ThSQ » 11 Mar 2009, 22:01

Je t'ai connu plus sanguin ;)

Merci en tout cas pour les précisions. On doit surement utiliser le fait que tout ouvert de R^n est réunion dénombrable de compacts.

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 11 Mar 2009, 22:10

Bonsoir à tous : :happy3:
Pourquoi tout ouvert de est : - compact ?
Merci d'avance ! :happy3:

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 11 Mar 2009, 22:13

Nightmare : :happy3:
Quant la completure n'existe pas dans un espace, on travaille avec des semi -normes ? Et si on travaille avec des semi - normes ! peut - t - on transposer la notion de convegrence d'une suite d'éléments de l'espace au moyen de ses semi - normes ?
Merci d'avance ! :happy3:

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 17:30

par Nightmare » 11 Mar 2009, 22:20

barbu23 > On peut même exhiber cette suite de compact.

On prend (un) une suite dense dans l'ouvert et de tel sorte que soit incluse dans . On prend alors la réunion dénombrable sur n des boules fermés centrée en u(n) et de rayon , ça semble marcher !

Ensuite pour l'histoire des semi-normes, ici on les considères justement parce qu'elles rendent l'espace complet. Oui effectivement, on peut parler de convergence en semi-norme.

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 11 Mar 2009, 22:29

Merci "Nightmare" ! :happy3:

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 17:30

par Nightmare » 11 Mar 2009, 22:29

Je me suis gouré dans mon rayon : On prend les 1/n e(n)

Edit : Ah bah non, je m'étais pas gouré en fait.

ThSQ
Membre Complexe
Messages: 2077
Enregistré le: 10 Oct 2007, 17:40

par ThSQ » 12 Mar 2009, 21:38

barbu23 a écrit:Bonsoir à tous : :happy3:
Pourquoi tout ouvert de est : - compact ?
Merci d'avance ! :happy3:


[mode généralisateur fou]
Dans un espace métrique séparable localement compact tout ouvert est réunion dénombrable (ou finie) de compacts.
[/mode généralisateur fou]

ThSQ
Membre Complexe
Messages: 2077
Enregistré le: 10 Oct 2007, 17:40

par ThSQ » 12 Mar 2009, 21:41

Nightmare a écrit:Ensuite pour l'histoire des semi-normes, ici on les considères justement parce qu'elles rendent l'espace complet. Oui effectivement, on peut parler de convergence en semi-norme.


Sans vouloir encore pinailler pour le plaisir, complet c'est pour une distance en général donc l'énoncé complet (haha) n'est-il pas que l'espace obtenu est métrisable et complet pour cette métrique ?

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 17:30

par Nightmare » 13 Mar 2009, 00:36

Si bien sûr il est démontré métrisable.

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 58 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite