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 :

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

Analyse , Gourdon (utilisée dans 596 versions au total)
Algèbre , Gourdon (utilisée dans 334 versions au total)