Analyse

Gourdon

Utilisée dans les 89 développements suivants :

Théorème taubérien fort
Théorème de Müntz
Optimisation dans un Hilbert
Théorème de Banach-Steinhaus et série de Fourier divergente
Théorème de Sturm
Théorème de Cauchy-Lipschitz local
Théorème de Weierstrass (par les probabilités)
Théorème d'Abel angulaire
Théorème d'inversion locale
Formule sommatoire de Poisson
Théorème de Borel
Résolution d'une équation matricielle grâce aux équations différentielles
Fonction continue 2Pi-périodique dont la série de Fourier diverge en 0
Méthode de Laplace
Densité des fonctions continues nulles part dérivables
Partition d'un entier en parts fixées
Réduction des endomorphismes normaux
Un développement limité
Développement asymptotique de la série harmonique
Équation de Sylvester : AX + BX = C
Théorème de Kronecker
Extrema liés
Intégrale de Fresnel
Algorithme du gradient à pas optimal
Projection sur un convexe fermé
Théorème de Fejer
Dénombrement des solutions d'une équation diophantienne
Théorème de Bernstein pour les séries entières
Intégrale de Dirichlet
Théorème de Helly
Connexité valeurs d'adhérence suite dans un compact
Théorème de Carathéodory et équations diophantiennes
Fonction dont la différentielle en tout point est une isométrie
Théorème de Weierstrass (par la convolution)
Solutions périodiques d'une ED pseudo périodique
Théorèmes d'Abel angulaire et taubérien faible
Suite des sinus itérés
Théorème de Bernstein-Valiron
Continuité des fonctions convexes
Développement asymptotique de suites definies par récurrence
Inégalités de Kolmogorov
Densité des fonctions dérivables partout continues nulle part
Théorème de l'élément primitif en caractéristique 0
Lemme de Gronwall et une application
Formule de Stirling (par les intégrales de Wallis)
Critère de convergence des séries télescopiques
Continuité d'une limite de suite de fonctions
Étude de la fonction Gamma sur la droite réelle
Formule d'Euler-Maclaurin et série harmonique
Calcul de $\int_{0}^{\infty} t^{\alpha-1}\operatorname{e}^{it} \, \mathrm{d}t$
Théorèmes de point fixe compact ( métrique )
Critère de Sylvester et applications
Théorème de la limite simple de Baire
Caractérisation réelle de Gamma avec la log convexité
Étude des fonctions à variations bornées
Théorème de Bohr-Mollerup (par la méthode d'Artin)
Abel angulaire et Taubérien faible
Formule de Stirling généralisée
Théorème de représentation de Riesz et application
Valeurs d'adhérence de la suite sin(n)
Analyticité des fonctions holomorphes
Caractérisation des fonctions différentiables convexes
Calcul d'une somme par les séries de Fourier
Exemple de série numérique et recherche de sa nature (convergent ou divergent)
Fonction de Takagi
Théorème de Cantor sur l'unicité des coefficients d'une série trigonométrique
Théorème de Weierstrass par les polynômes de Berstein
Contre-exemple au théorème de Dirichlet
Connexité et non connexité par arcs
Equivalence des normes en dimension finie et théorème de Riesz
Fonction zeta et nombres premiers
Intégrale elliptique et longueur du lemniscate
Lemme de la grenouille
Fonctions strictement monotones
Etude des fonctions à variations bornées.
Critère fonction convexe ou affine
Minimum d'une norme matricielle
Théorème de Sunyer i Balaguer
Développement en produit eulérien du sinus
Connexité de $\mathbb{R}$, TVI, TAF, applications
DA à 3 termes des log itérés
Étude de la fonction Γ sur R
Formule d’Euler-Maclaurin
Matrices minimisant la norme sur SL_n(R)
Le théorème d’Abel angulaire
Théorème de Banach-Steinhaus
Théorème d’inversion locale
Equivalence entre Borel-Lebesgue et Bolzano-Weierstrass (Compacité)
Résolution d'une équation de Ricatti

Utilisée dans les 44 leçons suivantes :

149 (2025) Déterminant. Exemples et applications.
159 (2025) Formes linéaires et dualité en dimension finie. Exemples et applications.
208 (2025) Espaces vectoriels normés, applications linéaires continues. Exemples.
215 (2025) Applications différentiables définies sur un ouvert de Rn. Exemples et applications.
218 (2025) Formules de Taylor. Exemples et applications.
219 (2025) Extremums : existence, caractérisation, recherche. Exemples et applications.
221 (2025) Equations différentielles linéaires. Systèmes d’équations différentielles linéaires. Exemples et applications.
223 (2025) Suites réelles et complexes. Convergence, valeurs d’adhérence. Exemples et applications.
239 (2025) Fonctions définies par une intégrale dépendant d’un paramètre. Exemples et applications.
201 (2025) Espaces de fonctions. Exemples et applications.
205 (2025) Espaces complets. Exemples et applications.
207 (2022) Prolongement de fonctions. Exemples et applications.
243 (2025) Séries entières, propriétés de la somme. Exemples et applications.
228 (2025) Continuité, dérivabilité des fonctions réelles d’une variable réelle. Exemples et applications.
202 (2019) Exemples de parties denses et applications.
204 (2025) Connexité. Exemples d’applications.
203 (2025) Utilisation de la notion de compacité.
209 (2025) Approximation d’une fonction par des fonctions régulières. Exemples d’applications.
230 (2025) Séries de nombres réels et complexes. Comportement des restes ou des sommes partielles des séries numériques. Exemples.
246 (2025) Séries de Fourier. Exemples et applications.
244 (2024) Exemples d'études et d'applcations de fonctions usuelles et spéciales.
213 (2025) Espaces de Hilbert. Exemples d’applications.
226 (2025) Suites vectorielles et réelles définies par une relation de récurrence $u_{n+1} = f(u_n)$. Exemples. Applications à la résolution approchée d’équations.
253 (2025) Utilisation de la notion de convexité en analyse.
148 (2025) Dimension d’un espace vectoriel (on se limitera au cas de la dimension finie). Rang. Exemples et applications.
157 (2025) Matrices symétriques réelles, matrices hermitiennes.
170 (2025) Formes quadratiques sur un espace vectoriel de dimension finie. Orthogonalité. Applications.
171 (2025) Formes quadratiques réelles. Coniques. Exemples et applications.
220 (2025) Illustrer par des exemples la théorie des équations différentielles ordinaires.
229 (2025) Fonctions monotones. Fonctions convexes. Exemples et applications.
235 (2025) Problèmes d’interversion de symboles en analyse
236 (2025) Illustrer par des exemples quelques méthodes de calcul d’intégrales de fonctions d’une ou plusieurs variables.
241 (2025) Suites et séries de fonctions. Exemples et contre-exemples.
267 (2023) Exemples d’utilisation de courbes en dimension 2 ou supérieure.
214 (2025) Théorème d’inversion locale, théorème des fonctions implicites. Illustrations en analyse et en géométrie.
155 (2025) Exponentielle de matrices. Applications.
152 (2025) Endomorphismes diagonalisables en dimension finie.
222 (2022) Exemples d'études d'équations différentielles linéaires et d'équations aux dérivées partielles linéaires.
250 (2025) Transformation de Fourier. Applications.
206 (2025) Exemples d’utilisation de la notion de dimension finie en analyse.
154 (2024) Exemples de décompositions de matrices. Applications.
224 (2025) Exemples de développements asymptotiques de suites et de fonctions.
190 (2025) Méthodes combinatoires, problèmes de dénombrement.
161 (2025) Espaces vectoriels et espaces affines euclidiens : distances, isométries.

Utilisée dans les 199 versions de développements suivants :

  • Développement :
  • Remarque :
    Bon développement pas compliqué utilisant le théorème du changement de variables, le théorème Fubini et le théorème de convergence dominée.

    NB:
    Peut se recaser sur la leçon 236
  • Référence :
  • Fichier :
  • Développement :
  • 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 :
  • Développement :
  • Remarque :
    D'après moi pour les leçons : 228, 236, 239, 253 et 265.

    Ma référence principale a été le remarquable document de Vincent Douce (bien supérieur au mien), mais je me suis rendu compte par la suite que c'est également fait dans le Gourdon (p315 de la 3e édition).

    Pour information je n'arrive à faire tenir en 15 mins que les 1), 2), 3) et 6) du document.

    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 :
  • Développement :
  • Remarque :
    D'après moi pour les leçons : 223 et 236.

    Attention à la petite coquille dans le Gourdon, et la suite $v_n$ est certes un $O(\frac{1}{n^2})$ mais n'est pas positive, donc le critère de comparaison des séries à terme positif ne s'applique pas, et je pense qu'il est plus sûr de préciser que $v_n$ est alors absolument convergente donc convergente.

    J'ai également légèrement modifié l'indiçage sur les intégrales de Wallis pour avoir des calculs qui, d'après moi, se goupillent mieux.

    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 :
  • Développement :
  • Remarque :
    Exemple pratique de construction de fonction continue partout dérivable nulle part.
    Développement original pas très difficile (même s'il faut faire attention à pas se perdre) mais je le trouve difficilement recasable.
    (p84)
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    Développement n°2.2 de https://perso.ens-lyon.fr/benjamin.fleuriault/agreg/dev.pdf
    Ne pas hésiter à faire un petit dessin de l'hyperbole, du cercle unité et du lemniscate, c'est joli.
    Attention les calculs sont assez techniques.
  • Référence :
  • Développement :
  • Remarque :
    Recasages: 203, 208

    Pour que le développement soit assez long, il faut déjà ne pas aller trop vite, et montrer l'un ou les deux détails suivants:
    - les compacts en dimension finie sont les fermés bornés (et non dire que c'est immédiat parce que c'est isomorphe à $\mathbb{K}^n$ ou je ne sais quel autre revers de la main) (c'est un procédé d'extraction diagonale, c'est intéressant en soi)
    - une application continue coercive en dimension finie atteint un minimum pour montrer que la distance à un sev est atteinte

    Gourdon Analyse [3e édition] p50+56

    Rekasator alternatif (test exhaustif cherchant la plus petite quantité sans prendre en compte la qualité) + tableur pour le suivi des leçons: https://sites.google.com/view/ospoam/accueil
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    J'ajoute comme application (plus générale que celle de Gourdon) $\sum_{n=1}^\infty \frac{\mathrm{e}^{\mathrm{i}n\theta}}{n} = -\log(1-\mathrm{e}^{\mathrm{i}\theta})$ pour $0<\theta<2\pi$.
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    Ce document est très (très) long, mais c'est parce que j'ai tenu à faire une sorte de recueil de méthodes permettant de donner un équivalent de telles suites. Le gros du développement est celui qu'on trouve dans le Bernis, c'est pourquoi je poste ici.
    On retrouve par exemple parmi ces méthodes la comparaison à une équation différentielle et une approche géométrique comme on voit dans le Bernis. Dans tous les cas, j'essaie au maximum de mettre l'intuition en avant. L'intuition est vraiment essentielle pour réussir les exercices de ce type. Et c'est toujours plus intéressant que de parachuter les astuces.
    On étudie également deux problèmes voisins : celui où la dérivée en 0 est positive strictement inférieure à 1, et celui où la fonction colle à la droite y=x mais à l'infini. Les deux problèmes sont abordés dans le Bernis mais j'ai essayé de creuser un peu plus. Ces problèmes permettent de voir les limites des méthodes présentées et permettent de bien se préparer aux questions de jury. Je suis tombé sur ce développement dans la leçon 224 donc j'en ai profité aussi pour glisser quelques questions que le jury m'a posées.
  • Références :
  • Fichier :
  • Développement :
  • Remarque :
    Développement assez original, pas trop dur mais assez long. On utilise le théorème d'inertie de Sylvester, le développement par colonne du déterminant et le fait que si f est une fonction continue, positive, d'intégrale nulle alors f est nulle. Je propose comme recasages supplémentaires la 170 et la 171, à condition de bien insister sur le lemme. NB1 : Il faut se convaincre soi-même de la pertinence d'un recasage et être capable de défendre son choix le jour J devant le jury. Vous pouvez, évidemment, ne pas être d'accord avec moi. NB2 : Il peut y avoir des fautes dans ce que j'écris, faites attention.
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    La version de Gourdon peut paraître déroutante car elle est faite comme un exercice de prépa. L'ordre des étapes, notamment, n'est pas forcément naturel. Je vous conseille donc de bien vous approprier la démonstration pour remettre les étapes dans l'ordre qui vous semble le plus naturel ! Mettez aussi des dessins pour bien justifier comment on approche l'indicatrice !

    Sinon, un développement très solide à recaser dans pas mal de leçons auxquelles on ne s'attend pas forcément ! Je remercie Thomas Cavallazzi pour son application aux séries de Fourier !

    PS : Au début de mon pdf, je mets qu'il est légitime de se demander comment "prolonger" une fonction sur le disque d'incertitude. Attention, comme le fais remarquer le rapport du jury, le théorème d'Abel angulaire n'est pas un théorème de prolongement, mais un théorème de continuité ! Cependant, il permet de définir un procédé de sommation convenable lorsque la série diverge en $1$.
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    Ce qu'il y a dans le document prend laaargement 15 minutes donc il ne faut pas hésiter à en sauter une partie (typiquement, je ne pense pas passer trop de temps sur l'équivalence du théorème, si ce n'est aucun).

    Je le prends pour les leçons 205, 208, 213, 219 et 253.

    La preuve se trouve à la fin du Gourdon, il y a une partie consacrée aux espaces de Hilbert (aux alentours de la page 407 dans la 2nd édition et 427 dans la 3ème)
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    Je trouve ce développement d'une difficulté très correcte, il n'y a rien de très compliqué. Il faut juste être très au clair sur la réduction des formes quadratiques. L'application peut faire dépasser les 15 minutes, je pense qu'il faut la faire "rapidement", le jury posera de toute façon des questions dessus s'il veut en savoir plus.

    Je prends ce développement pour les leçons 149, 170 et 171. Prenez du temps pour réfléchir à la leçon 149, c'est peut-être un peu léger mais ça ne me dérange pas.

    On trouvera la preuve aux alentours de la page 233 et 248.
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    Pas le développement le plus fun mais il est quand même important dans certaines leçons. Il y a plein de manières de faire ces preuves, à vous de choisir. On peut vite tomber dans des preuves à base de "$E$ est isomorphe à $\mathbb R^n$ et comme on sait ce qu'il se passe dans $\mathbb R$, on en déduit le résultat". C'est peut-être juste mais je trouve ça moins intéressant, à vous de voir là aussi.

    Je prends ce développement pour les leçons 206 et 208.

    On trouvera les preuves aux alentours des pages 50 (pour équivalence des normes) et 56 (pour Riesz).
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    Théorème incroyable ! Je pense que c'est bien de le faire en développement parce qu'il est d'une importance capitale en calcul différentiel. C'est un peu technique mais une fois qu'on l'a travaillé ça se fait bien.

    Je le prends pour les leçons 214 et 215.

    On trouvera la preuve aux alentours de la page 321.
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    De la topologie élémentaire mais pas simple ! Je pense qu'il faut bien s'approprier la preuve pour la présenter, on y introduit beaucoup de notations. Les dessins sont obligatoires lors de la définition de A' et B'.

    Je le prends pour les leçons 204, 223 et 226.

    On trouvera la preuve aux alentours de la page 46 de la référence.
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    *Mes développements n’ont pas été pensés pour être partagés au départ, vous excuserez mon écriture et mes notations un peu brouillonnes. Soyez vigilants sur les coquilles/erreurs possibles et critiques sur ce que vous lisez. N’hésitez pas à me contacter pour des clarifications.

    *La plupart de mes dévs contiennent un plan et un rappel des énoncés, pour être au clair sur ce qu’on a à disposition et ce qu’on veut faire.

    *Les recasages inscrits sur le document sont les numéros de 2023/2024.
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    *Mes développements n’ont pas été pensés pour être partagés au départ, vous excuserez mon écriture et mes notations un peu brouillonnes. Soyez vigilants sur les coquilles/erreurs possibles et critiques sur ce que vous lisez. N’hésitez pas à me contacter pour des clarifications.

    *La plupart de mes dévs contiennent un plan et un rappel des énoncés, pour être au clair sur ce qu’on a à disposition et ce qu’on veut faire.

    *Les recasages inscrits sur le document sont les numéros de 2023/2024.

    Ma version du théorème de Reisz est différente de celle habituelle, et sans référence mais très jolie.
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    *Mes développements n’ont pas été pensés pour être partagés au départ, vous excuserez mon écriture et mes notations un peu brouillonnes. Soyez vigilants sur les coquilles/erreurs possibles et critiques sur ce que vous lisez. N’hésitez pas à me contacter pour des clarifications.

    *La plupart de mes dévs contiennent un plan et un rappel des énoncés, pour être au clair sur ce qu’on a à disposition et ce qu’on veut faire.

    *Les recasages inscrits sur le document sont les numéros de 2023/2024.

    Recasages : 203 - 223 - (226 en adaptant)
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    *Mes développements n’ont pas été pensés pour être partagés au départ, vous excuserez mon écriture et mes notations un peu brouillonnes. Soyez vigilants sur les coquilles/erreurs possibles et critiques sur ce que vous lisez. N’hésitez pas à me contacter pour des clarifications.

    *La plupart de mes dévs contiennent un plan et un rappel des énoncés, pour être au clair sur ce qu’on a à disposition et ce qu’on veut faire.

    *Les recasages inscrits sur le document sont les numéros de 2023/2024.
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    Version manuscrite, désolée pour l'écriture .

    Je n'ai pas pris beaucoup de temps pour travailler ce développement étant donné que je le plaçais dans des leçons que je n'aimais pas. C'est donc un plus ou moins un copier coller du Gourdon.

    Il se peut qu'il reste des coquilles, n'hésitez pas à me contacter au besoin.
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    Le développement est un peu long alors il faut aller assez vite sur les calculs et bien connaître le développement (en particulier les calculs). De plus, il faut bien défendre le développement pour la leçon 223 en insistant sur l'exemple.

    N'hésitez pas à me contacter si vous constatez ce qui semble être une erreur (typographie, mathématique, etc).
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    Contrairement aux évaluations "1 étoile" qui sont mises sur le site, ce développement rentre très bien dans 241, 243 et 230 !
    C'est pas mal de savoir justifier rapidement qu'en général la réciproque d'Abel angulaire et fausse. Le problème avec ce développement est que le rapport du jury requiert une application "significative", chose que je n'ai pas vraiment trouvée...
    Il faut avoir conscience que c'est un résultat de continuité.
    Désolé, la 2e page est un petit peu coupée, mais tout est dans la référence.
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    Ce développement est difficile, j'ai eu besoin de le refaire de nombreuses fois.
    Comme d'habitude, Gourdon expédie des choses qui ne sont pas triviales, notamment au début quand il dit "quitte à considérer telle fonction immonde, on peut supposer que ...." Il faut savoir justifier cela, c'est ce que j'ai essayé de faire sur le côté gauche de la première page, n'hésitez pas à me contacter si vous n'arrivez pas à tout faire à cause du fait que c'est coupé...
    Gourdon le fait du point de vue général dans un Banach, mais le cadre des leçons se situe en dimension finie donc je recommande de le faire dans ce cadre et de ne pas dire "isomorphisme bicontinu" mais simplement "inversible" (en dimension finie, la continuité des applications linéaires est automatique).
    Il faut aussi savoir appliquer ce théorème, je conseillerais de faire pas mal d'exos plus ou moins subtils dessus.
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    Ce développement n'est pas très difficile, et fournit une belle application du théorème des extrema liés.
    Je ne faisais pas la première proposition dans le développement, le reste était suffisant pour faire quasi 15 minutes.
    Même si on ne fait pas ce développement, il est essentiel de connaître (et savoir retrouver) la différentielle du déterminant, on peut retenir la petite phrase : "la différentielle du déterminant en l'identité, c'est la trace".
    Le petit argument de compacité au début de la 2e page est assez crucial, il faut savoir le justifier correctement.
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    Ce développement a le gros avantage de très bien se recaser dans 224 ! Et même dans 230 en prime !
    Sa difficulté repose dans son caractère très calculatoire, mais une fois qu'on s'est entraîné plusieurs fois, il n'est pas difficile. Cependant, il faut bien maîtriser tout ce qui tourne autour des polynômes et nombres de Bernoulli (d'où ils viennent ? Quelles sont leurs propriétés ? Comment les démontrer ?) Tout est dans le Gourdon.
    A la fin on affirme que $\gamma_r$ ne dépend pas de $r$ car on sait que : $H_n=\ln(n)+\gamma+o(1)$, mais il faut savoir démontrer ce fait (voir bas de la 2e page). Je n'avais jamais le temps de le loger dans les 15 minutes, déjà qu'il faut pas mal se dépêcher pour faire tout tenir...
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    On montre la continuité des fonctions convexes de $\mathbb{R}^n$, bien moins directe que la continuité des fonctions convexes de $\mathbb{R}$. Je mets en référence le Gourdon dans lequel une preuve de ce théorème est donnée en exercice, mais comme je l'ai écrit dans les remarques à la fin du document, ce n'est pas la référence que j'ai utilisée pour travailler ce développement. Je me suis servi du sujet d'écrit d'agreg 2011, donc je n'ai pas trouvé de référence valable pour cette version du développement, utilisable le jour J.
    Le développement amène à parler de fonctions convexes dans le plan de la leçon, c'est pas mal de donner les caractérisations de la convexité pour les fonctions $C^1$ et $C^2$. C'est très bien fait dans un exo du Gourdon.

    Les recasages à mon avis:
    Dimension finie en analyse
    Fonctions monotones et fonctions convexes
    Utilisation de la convexité en analyse

    Les remarques que j'ai mises à la fin du document sont purement personnelles ; elles font souvent référence aux difficultés que j'ai pu avoir au moment de préparer mes développements, peut-être certains pourront les trouver utiles... S'il y a une erreur dans le document ou quelque chose de douteux, vous pouvez me contacter par mail avec plaisir.
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    Développement pas trop difficile mais sympa quand même.

    Les recasages à mon avis:
    Connexité
    Thm d'inversion locale et des fonctions implicites
    Applications différentiables sur un ouvert de $\mathbb{R}^n$.

    Les remarques que j'ai mises à la fin du document sont purement personnelles ; elles font souvent référence aux difficultés que j'ai pu avoir au moment de préparer mes développements, peut-être certains pourront les trouver utiles... S'il y a une erreur dans le document ou quelque chose de douteux, vous pouvez me contacter par mail avec plaisir.
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    Il n'y a pas grand chose à dire, hormis que l'on utilise dans la preuve le fait que l'on connaisse les compacts de $\mathbb{R}^n$, donc il faut bien l'avoir écrit dans le plan de la leçon avant, et savoir le démontrer.

    Côté recasages à mon avis:
    Utilisation de la compacité
    Dimension finie en analyse
    Espaces vectoriels normés

    Les remarques que j'ai mises à la fin du document sont purement personnelles ; elles font souvent référence aux difficultés que j'ai pu avoir au moment de préparer mes développements, peut-être certains pourront les trouver utiles... S'il y a une erreur dans le document ou quelque chose de douteux, vous pouvez me contacter par mail avec plaisir.
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    Développement vraiment mignon, je l'aime beaucoup. On peut bien prendre le temps d'expliquer le choses et de faire un joli dessin, qui est je pense indispensable pour cette preuve.

    Côté recasages à mon avis:
    Utilisation de la compacité
    Connexité
    Je ne le mettais ni dans "suites numériques" ni dans "suites de la forme $u_{n+1}=f(u_n)$" car la partie où on s'intéresse à ces objets est dans l'application qui n'est pas longue et qui n'est pas vraiment le centre du développement.

    Les remarques que j'ai mises à la fin du document sont purement personnelles ; elles font souvent référence aux difficultés que j'ai pu avoir au moment de préparer mes développements, peut-être certains pourront les trouver utiles... S'il y a une erreur dans le document ou quelque chose de douteux, vous pouvez me contacter par mail avec plaisir.
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    Mes documents sont longs, déjà parce que je parle vite (donc il faut beaucoup de contenus), que j'écris gros, et que j'aime bien comprendre dans les détails, mais aussi et surtout parce qu'il y a beaucoup de remarques/infos à la fin, pour essayer d'être capable de répondre au max de questions liées au dev !

    Evidemment, il est fort possible qu'il y ait des coquilles de ci de là, n'hésitez pas à me les signaler !

    (Bon courage !)
  • Référence :
  • Fichier :
  • Développement :
  • 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 :

Utilisée dans les 397 versions de leçons suivantes :

  • Leçon :
  • Remarque :
    Références en fin de plan.

    C’est une leçon très vaste dans laquelle on peut mettre beaucoup de choses. J’ai choisi de me concentrer sur les espaces vectoriels normés, le calcul différentiel et les espaces préhilbertiens, avec les séries de Fourier. En partie IV, je donne d’autres applications possibles.

    Développements :
    1) Équivalence des normes et théorème de Riesz [je ne l’ai pas encore appris, si c’est trop court je rajouterai le contre-exemple 4]
    2) Lemme de Morse

    Plan :
    I. Espaces vectoriels normés
    1) Toplogie
    2) Applications linéaires
    3) Compacité
    II. Calcul différentiel
    1) Différentielle et dérivée partielle
    2) Théorème d’inversion locale et lemme de Morse
    III. Espaces préhilbertiens et séries de Fourier
    1) Projection orthogonale dans un espace préhilbertien
    2) Application aux séries de Fourier
    IV. Autres applications possibles
    1) Optimisation en dimension finie
    2) Équations différentielles

    On aurait aussi pu parler de la mesure de Lebesgue. Le Briane Pagès le fait très bien. De même, dans la partie Calcul Différentiel, on peut aussi évoquer les matrices jacobiennes (c’est fait dans le Gourdon) et les espaces tangents pour aller plus loin.

    On peut aussi taper dans des notions plus difficiles (notamment dans tout ce qui est lié aux opérateurs) mais mon niveau ne me le permet pas xD
  • Références :
  • Fichier :