ensemble relativement compacte
Répondre à la discussion
Page 1 sur 2 1 DernièreDernière
Affichage des résultats 1 à 30 sur 41

ensemble relativement compacte



  1. #1
    invite0a7ad9a0

    ensemble relativement compacte


    ------

    Bonjour, Prière de m’aider à répondre au problème suivant :
    Pour $r\in \mathbb{N}$ ,On pose $E_r=\{P\in \mathbb{R}[x_1,x_2,\ldots,x_d] \mid \deg P\le r \}$.
    Et pour $P\in E_r$ on définie la fonction $R_P:\mathbb{R}^d \rightarrow \mathbb{R}$ par $\displaystyle R_P(x)=\sum_{1\le|\alpha|\le r} |\partial_x^{\alpha}P(x)|^{\fr ac{1}{|\alpha|}} $
    Question :
    en utilisant la formule de Taylor pour un polynôme : $$
    P(x_0+t)=\sum_{|\alpha |\le \deg P} \frac{\partial_x^{(\alpha)} P(x_0)}{\alpha !} t^{\alpha }
    $$montrer que la famille des polynômes $\big(P(x_0+\frac{x}{R_P(x_0)} )-P(x_0)\big)_{x_0\in \mathbb{R}^d,\,P\in E_r}$ est relativement compacte dans $\mathbb{R}[x_1,x_2,\ldots,x_d]$ muni de la norme de $L^{\infty}(R^d)$.

    Voici ce que j’ai fait :
    Par définition, $A=(P(x_0+\frac{x}{R_P(x_0)})-P(x_0))_{x_0\in \mathbb{R}^d,P\in E_r}$ sous-ensemble de $E=\mathbb{R}[x_1,x_2,...,x_d]$ est relatviement compact quand de toute suite d'éléments de A on peut extraire une suite convergente, dont la limite est dans $E$.

    En utilisant la formule de Taylor on obtient:
    $P(x_0+\frac{x}{R_P(x_0)})-P(x_0)=\sum_{1\le|\alpha|\le r} \frac{\partial_x^{\alpha}P(x_0 )}{\alpha !}(\frac{x}{R_P(x_0)})^{\alpha }$

    -----

  2. #2
    invitecbade190

    Re : ensemble relativement compacte

    Salut,

    Je me permets de corriger votre Code Latex comme suit :

    ============================== =======

    Bonjour, Prière de m’aider à répondre au problème suivant :
    Pour ,On pose .
    Et pour on définie la fonction par
    Question :
    en utilisant la formule de Taylor pour un polynôme :

    montrer que la famille des polynômes est relativement compacte dans muni de la norme de .

    Voici ce que j’ai fait :
    Par définition, sous-ensemble de est relatviement compact quand de toute suite d'éléments de A on peut extraire une suite convergente, dont la limite est dans E.

    En utilisant la formule de Taylor on obtient:


    ============================== =============

    Pour voir ton nouvel code : Un clic sur ''Modifier le message''

  3. #3
    invite0a7ad9a0

    Re : ensemble relativement compacte

    Merci Chentouf pour votre modification.Pouvez vous s'il vous plait m'aider à terminer la suite de la preuve? Je suis vraiment bloqué

  4. #4
    invitecbade190

    Re : ensemble relativement compacte

    Bonjour,
    Juste une petite contribution de ma part ( Je ne suis pas fort dans ce genre de choses ).

    Montrer que :
    est relativement compacte dans , revient à montrer que : est compacte dans , c'est à dire que si on pose : définie par : , alors, il faut montrer que : est compact dans .

    edit : non, c'est faux. Je raconte n'importe quoi.

  5. A voir en vidéo sur Futura
  6. #5
    invite0a7ad9a0

    Re : ensemble relativement compacte

    savez vous des personnes qui peuvent m'aider à résoudre ce problème?Vraiment je suis désespéré

  7. #6
    invitecbade190

    Re : ensemble relativement compacte

    Salut :

    Moi non, il me semble qu'il faut chercher s'il existe une version du théorème d'Ascoli pour l'espace : .
    Bon, je quitte ce sujet et laisser d'autres intervenants participer.

    Cordialement.

  8. #7
    invitecbade190

    Re : ensemble relativement compacte

    escusez moi, je corrige ce que j'ai affirmé au début :

    Montrer que :
    est relativement compacte dans , revient à montrer que : est compacte dans , c'est à dire que si on pose : définie par : , alors, il faut montrer que : est compact dans .
    J'espère que c'est correct maintenant, mais, je ne sais pas si ça mène à grand-chose.

  9. #8
    invite0a7ad9a0

    Re : ensemble relativement compacte

    je croit que dans la definition de f ,les variables sont et et non pas et

  10. #9
    invitecbade190

    Re : ensemble relativement compacte

    Peux être que ce lien peut aider : https://fr.wikipedia.org/wiki/Op%C3%A9rateur_compact
    va y, travaille, tu es presque au bout du problème.
    Cordialement.

    Citation Envoyé par amine1234 Voir le message
    je croit que dans la definition de f ,les variables sont et et non pas et
    Ah d'accord, oui.
    J'ai un problème dans les yeux ces temps çi.

  11. #10
    invite0a7ad9a0

    Re : ensemble relativement compacte

    @Chentouf,
    est de dimension finie. En dimension finie on a l’équivalence entre un compact ssi fermé et borné,
    donc pour montrer qu'un ensemble relativement compact en dimension finie il faux montrer qu'il est borné.Mais je n'arrive pas à montrer que A est borné: voici ce que j'ai ecrit:
    Montrons que est borné avec la norme de
    Soit , x_0 ,x_1\in R^d



  12. #11
    invitecbade190

    Re : ensemble relativement compacte

    Ah d'accord, je crois que j'ai compris ton raisonnement, tu voulais dire, que l'image directe d'un espace vectoriel de dimension finie : par l'opérateur de rang fini est de dimension finie. Mais, qu'est ce qui nous dit que est un opérateur de rang fini ? Je n'ai pas compris ça. en plus, ça mène à rien il me semble.
    Pour montrer que est fermée bornée donc, compact, il faut que l'espace d'arrivée : de soit de dimension finie ce qui n'est pas le cas il me semble, non ?
    Cordialement.

  13. #12
    invite0a7ad9a0

    Re : ensemble relativement compacte

    l'ensemble d'arriver est l'ensemble des polynomes de degré inferieur ou egal à r et non pas R[x_1,x_2,..x_d] tout entier

  14. #13
    invitecbade190

    Re : ensemble relativement compacte

    est un opérateur de rang fini car il a la même forme que ce qui est écrit ici :https://fr.wikipedia.org/wiki/Op%C3%A9rateur_compact , paragraphe : Opérateurs de rang fini. C'est à dire il prend la forme suivante :
    avec : sont des formes linéaires continues, n'est ce pas ?

  15. #14
    invitecbade190

    Re : ensemble relativement compacte

    Citation Envoyé par amine1234 Voir le message
    l'ensemble d'arriver est l'ensemble des polynomes de degré inferieur ou egal à r et non pas R[x_1,x_2,..x_d] tout entier
    Non, ton exo dit, relativement compact dans et non dans , regarde bien.

  16. #15
    invite0a7ad9a0

    Re : ensemble relativement compacte

    Vous avez raison .
    Si on pose
    comment montrer que sont des formes linéaires continues?
    on a a_\alphaest borné mais je ne vois pas pourquoi c'est linéaire

  17. #16
    invitecbade190

    Re : ensemble relativement compacte

    Citation Envoyé par amine1234 Voir le message
    Vous avez raison .
    Si on pose
    comment montrer que sont des formes linéaires continues?
    on a a_\alphaest borné mais je ne vois pas pourquoi c'est linéaire
    Oui, on parlera de ça après, mais on termine d'abord l'autre question. Pour le moment, je ne sais pas. je crois que est l'opérateur qui opère sur , c'est à dire : . Bon ...

  18. #17
    invite0a7ad9a0

    Re : ensemble relativement compacte

    Si on suppose que dans la question il y a une faute de frappe et on a E=l'ensembles des polynôme de degré inférieur ou égale à au lieu de ,
    on a .
    donc est borné avec la norme

    si on suppose qu'on a une faute dans la question peut on répondre à la question qui suit dans le problème:
    Pour fixé dans montrer qu'il existe telque :
    () implique ( ) ?

  19. #18
    invitecbade190

    Re : ensemble relativement compacte

    Je corrige d'abord ton code Latex, puis je le lirai après :

    ============================== =

    Si on suppose que dans la question il y a une faute de frappe et on a au lieu de ,
    on a .
    doc A est borné avec la norme

    si on suppose qu'on a une faute dans la question peut on répondre à la question qui suit dans le problème:
    Pour fixé dans montrer qu'il existe telque :
    implique ?

  20. #19
    invite0a7ad9a0

    Re : ensemble relativement compacte

    vous avez un P dans R_p donc l'application que vous avez noté n'est pas linéaire.

  21. #20
    invitecbade190

    Re : ensemble relativement compacte

    Je ne saisis pas bien votre question :
    De quelle application vous parlez ? ? est linéaire en , et continue en , non ?.

  22. #21
    invitecbade190

    Re : ensemble relativement compacte

    Qu'est ce qu'il faut faire pour montrer que : est bornée ? Quelle est l'idée ? Moi, je ne sais pas, franchement.

  23. #22
    invite0a7ad9a0

    Re : ensemble relativement compacte

    f n'est pas linéaire en P car dans la definition de f en a R_p qui n'est pas linéaire en P

  24. #23
    invite0a7ad9a0

    Re : ensemble relativement compacte

    Je ne sais pa ssi il ya une faute de frappe dans le problème et ona ensemble des polynome de degré inferieur ou egal à r au lieu de
    dans ce cas on a .
    doc A est borné avec la norme

    si on suppose qu'on a une faute dans la question peut on répondre à la question qui suit dans le problème:
    Pour fixé dans montrer qu'il existe telque :
    implique ?

  25. #24
    invitecbade190

    Re : ensemble relativement compacte

    Citation Envoyé par amine1234 Voir le message
    f n'est pas linéaire en P car dans la definition de f en a R_p qui n'est pas linéaire en P
    Oui, c'est vrai. Alors, je ne sais pas quoi te répondre.
    Toutes mes excuses.
    Voilà ! Je t'ai tout donné ! c'est tout ce que je peux faire. Je m’arrête là.
    Cordialement.

    Edit : Il me semble que pas besoin que soit linéaire en , parce que est un opérateur continuE qui par définition est une application compact qui transforme tout bornée en relativement compact, non ? donc, ici, f est continue et pas nécessairement linéaire, n'est ce pas. Jette un œil sur la page wiki que je t'ai indiqué au début de ce fil.

  26. #25
    invite0a7ad9a0

    Re : ensemble relativement compacte

    d'accord comment peut on dans ce cas montrer que f est continue?

  27. #26
    invitecbade190

    Re : ensemble relativement compacte

    ... En majorant la quantité par une succession de majorations :

    ... pour fixé, quelconque.

  28. #27
    invite0a7ad9a0

    Re : ensemble relativement compacte

    Soit ,


    mais je n'arrive pas à continuer.Pouvez vous m'aider s'il vous plait?

  29. #28
    invitecbade190

    Re : ensemble relativement compacte

    Je ne suis pas capable de le faire, c'est super compliqué ce genre de calcul. Mais, ce n'est pas ça ce qui compte, ce qui compte est que tu sois capable de comprendre la méthode qu'il faut suivre. Alors, quelle l'idée qu'il faut suivre pour établir la bornitude de ? Moi, je ne sais pas ce que tu as écrit plus haut ... etc. Tu peux dévoiler l'idée générale ?

  30. #29
    invitecbade190

    Re : ensemble relativement compacte

    Tu peux montrer que : est continue comme somme finie de produit finie de composée finie de fonctions continues. C'est plus facile de cette manière, non ? c'est juste une idée parmi d'autres.

  31. #30
    invite0a7ad9a0

    Re : ensemble relativement compacte

    Dans ce cas on a A est compacte comme image par une application continue d'un compacte.n'est ce pas?

Page 1 sur 2 1 DernièreDernière

Discussions similaires

  1. partie relativement compacte
    Par invited9c54417 dans le forum Mathématiques du supérieur
    Réponses: 3
    Dernier message: 22/12/2009, 13h19
  2. Un montage relativement simple ??
    Par invite70a6d0ab dans le forum Électronique
    Réponses: 2
    Dernier message: 05/05/2006, 16h28
  3. Relativement mal et vous ?
    Par Kimby dans le forum Archives
    Réponses: 2
    Dernier message: 25/07/2005, 20h51
  4. Relativement compact dans relativement compacte
    Par GuYem dans le forum Mathématiques du supérieur
    Réponses: 26
    Dernier message: 28/06/2005, 11h46
  5. Un calcul relativement simple.
    Par invited494020f dans le forum Environnement, développement durable et écologie
    Réponses: 1
    Dernier message: 21/07/2004, 16h06