Développement : Théorème de Weierstrass (par la convolution)

Détails/Enoncé :

Réf : Gourdon analyse p283-286 (problème 18)

Recasages pour l'année 2025 :

Autres années :

Versions :

  • Auteur :
  • Remarque :
    Le Gourdon fait le cas à valeur dans C. On peut faire comme ici le cas à valeur dans R et se ramener au cas à valeur dans C en remarquant que x dans C n'est autre que a + ib avec a dans R et b dans R.
    Ce développement est souvent plus apprécié que sa version probabiliste ;)
  • Référence :
  • Fichier :
  • Auteur :
  • Remarque :
    D'après moi pour les leçons : 201, 203, 209 et 228.

    La dernière partie avec les changements de variable est à mon sens extrêmement pénible.

    NB : tous mes développements sont généralement très détaillés car j'ai besoin de bien comprendre toutes les étapes. En l'état ils sont donc généralement trop longs pour tenir en 15 mins, et les parties "faciles" ne sont donc pas à mentionner ou juste à l'oral.
    J'écris assez mal également, toutes mes excuses.
  • Référence :
  • Fichier :
  • Auteur :
  • Remarque :
    Développement plus technique qu'il n'y paraît, surtout la troisième partie de la preuve du théorème. À part ça il n'y a pas pré-requis je trouve donc c'est bien !

    Je le prends pour les leçons 201, 203, 209 et 228.

    La preuve se trouve aux alentours de la page 283 de la référence.
  • Référence :
  • Fichier :
  • Auteur :
  • Remarque :
    Certains arguments de la preuve étaient requis dans une question de l'écrit de cette année.

    Les références sont indiquées à la fin du plan. N'hésitez pas à me contacter pour me signaler toute erreur ou imprécision.
  • Fichier :
  • Auteur :
  • Remarque :
    Développement rédigé pour l'oral, attention aux éventuelles coquilles/erreurs.

    Gourdon démontre ce thm pour une application f définie sur [-1/2;1/2] puis montre que n'importe quelle fonction peut être ramenée à une telle application.

    Je trouve plus logique de partir d'une fonction dont on ne contraint pas l'ensemble de définition, et on adapte notre étude et notamment nos polynôme Pn à cette fonction quelconque.

    Je pars donc de ma fonction f, à support compact quelconque [a;b], puis je fixe un c réel tel que [a;b] soit inclus dans [-c/2;c/2] et enfin je fonctionne comme Gourdon mais avec une normalisation par c dans le polynôme pn.
  • Référence :
  • Fichier :
  • Auteur :
  • Remarque :
    Recasages: 201, 203, 209, 228, 239, 241

    Passe bien en 15 minutes.

    Je suis tombé dessus le jour J pour la leçon sur la compacité. Voici les questions posées:
    - Dans votre définition de la convolution, l'intégrale est sur R, or ici elle est sur [-1/2,1/2]. Comment vous le justifiez ?
    - Est-ce que l'on pourrait montrer que le coefficient a_n tend vers 0, indépendamment de ce que vous avez fait ?
    - Qu'est-ce qu'on peut dire du résultat si f est cette fois-ci de classe C^1 ?
    - Comment vous démontrez le théorème de Heine ?
    - Est-ce que vous connaissez des applications du théorème de Heine ?

    Cependant, je n'ai pas eu d'exos utilisant le théorème de Weierstrass.
  • Référence :
  • Fichier :

Références utilisées dans les versions de ce développement :

Analyse , Gourdon (utilisée dans 677 versions au total)
Algèbre , Gourdon (utilisée dans 349 versions au total)