Version #5618 de développement
Lecon ID : 1547
User ID : 67296
Comment : Cette leçon vient compléter la 243, on y met beaucoup plus l'accent sur l'aspect \"holomorphe\". Je conseillerais d'utiliser plus le Tauvel que le Queffelec-Queffelec, mais c'est selon ses sensibilités. J'aurais sûrement dû mettre plus de choses sur le Log complexe, là encore, le Tauvel est mieux là-dessus. Il y a une multitude de versions des théorèmes de Cauchy (triangulaire, convexe, simplement connexe, homologique...) j'ai mis les versions les plus simples, qui suffisaient à établir l'équivalence holomorphe-analytique... /!\ J'ai changé mon DEV1 après coup car il était trop court : à la place, j'ai mis le calcul de l'intégrale par la méthode des résidus (voir ma leçon 236), qui se placerait en III-2) dans leçon, et qui deviendrait donc le DEV2... Evidemment, les résultats de mon ex-DEV1 doivent obligatoirement figurer dans la leçon, et c'est bien de connaître les déomonstrations. La partie sur les produits infinis n'est pas obligatoire, mais je pense que c'est pas mal de mentionner le théorème de Weierstrass sur la convergence dans $\mathcal{H}(\Omega)$, et de dire à quel point il est puissant : il suffit d'avoir la convergence uniforme sur tout compact pour que la limite soit holomorphe et en plus, toutes les dérivées convergent uniformément sur tout compact vers les dérivées de la limite ! On pouvait aussi parler de la topologie de cet espace, avec le théorème de Montel et le fait que la topologie de la convergence uniforme sur les compacts est métrisable mais pas normable (voir mes leçons 201 et 203, c'est un résultat assez avancé). C'est une leçon très très vaste, on pourrait mettre plein d'autres choses... Je pense que pour cette leçon, faire des exercices est indispensable car ils peuvent être vite difficiles. Fichier : Leçon 245.pdf
User ID : 67296
Comment : Cette leçon vient compléter la 243, on y met beaucoup plus l'accent sur l'aspect \"holomorphe\". Je conseillerais d'utiliser plus le Tauvel que le Queffelec-Queffelec, mais c'est selon ses sensibilités. J'aurais sûrement dû mettre plus de choses sur le Log complexe, là encore, le Tauvel est mieux là-dessus. Il y a une multitude de versions des théorèmes de Cauchy (triangulaire, convexe, simplement connexe, homologique...) j'ai mis les versions les plus simples, qui suffisaient à établir l'équivalence holomorphe-analytique... /!\ J'ai changé mon DEV1 après coup car il était trop court : à la place, j'ai mis le calcul de l'intégrale par la méthode des résidus (voir ma leçon 236), qui se placerait en III-2) dans leçon, et qui deviendrait donc le DEV2... Evidemment, les résultats de mon ex-DEV1 doivent obligatoirement figurer dans la leçon, et c'est bien de connaître les déomonstrations. La partie sur les produits infinis n'est pas obligatoire, mais je pense que c'est pas mal de mentionner le théorème de Weierstrass sur la convergence dans $\mathcal{H}(\Omega)$, et de dire à quel point il est puissant : il suffit d'avoir la convergence uniforme sur tout compact pour que la limite soit holomorphe et en plus, toutes les dérivées convergent uniformément sur tout compact vers les dérivées de la limite ! On pouvait aussi parler de la topologie de cet espace, avec le théorème de Montel et le fait que la topologie de la convergence uniforme sur les compacts est métrisable mais pas normable (voir mes leçons 201 et 203, c'est un résultat assez avancé). C'est une leçon très très vaste, on pourrait mettre plein d'autres choses... Je pense que pour cette leçon, faire des exercices est indispensable car ils peuvent être vite difficiles. Fichier : Leçon 245.pdf