« Fonctions d'une variable complexe/Théorèmes de Liouville et de Weierstrass » : différence entre les versions

Une page de Wikiversité, la communauté pédagogique libre.
Contenu supprimé Contenu ajouté
m ortho
RvH (discussion | contributions)
Aucun résumé des modifications
Ligne 16 : Ligne 16 :
Si <math> f</math> est holomorphe dans <math>\mathbb{C}</math> et si il existe <math>N \in \mathbb{N}</math> et <math>C>0</math> tels que: <math>|f(z)|\leq C(1+|z|)^{N} \; \; \forall z \in \mathbb{C}</math> </br>
Si <math> f</math> est holomorphe dans <math>\mathbb{C}</math> et si il existe <math>N \in \mathbb{N}</math> et <math>C>0</math> tels que: <math>|f(z)|\leq C(1+|z|)^{N} \; \; \forall z \in \mathbb{C}</math> </br>
alors <math>f</math> est un polynôme de degré inférieur ou égal à <math>N</math>
alors <math>f</math> est un polynôme de degré inférieur ou égal à <math>N</math>
}}
==Principe du (module) maximum==
Ce théorème énonce qu'une fonction holomorphe sur un ouvert connexe de <math>\mathbb{C}</math> dont le module admet un maximum local dans cet ouvert est constante. </br>
Il indique aussi que le module d'une fonction holomorphe sur un ouvert connexe réalise sa borne supérieure sur la forntière de l'adhérence de cet ouvert connexe.
{{Théorème
|titre=Principe du maximum
|contenu=
-Si <math>f</math> est holomorphe dans l'ouvert <math>\Omega \subset \mathbb{C}</math> connexe et si il existe <math>z_{0} \in \Omega</math> tel que <math>|f(z_{0})|\geq |f(z)| \; \; \forall z</math> dans un voisinage de <math>z_{0}</math> (<math>|f|</math> admet un maximum local dans <math>\Omega</math>) alors <math>f</math> est constante dans <math>\Omega</math>.</br>
-Si l'ouvert <math>\Omega </math> est borné et <math>f</math> dans <math>\Omega</math> et continue dans <math>\bar{\Omega}</math> (<math>\bar{\Omega}</math> désignant l'adhérence de <math>\Omega</math>) alors <math>sup_{\bar{\Omega}}|f|=sup_{\partial \Omega} |f|</math>
}}
}}

Version du 6 septembre 2010 à 19:03

Début de la boite de navigation du chapitre
Théorèmes de Liouville et de Weierstrass
Icône de la faculté
Chapitre no {{{numéro}}}
Leçon : Fonctions d'une variable complexe
Chap. préc. :Formule intégrale de Cauchy
Chap. suiv. :Développement en séries entières
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Fonctions d'une variable complexe : Théorèmes de Liouville et de Weierstrass
Fonctions d'une variable complexe/Théorèmes de Liouville et de Weierstrass
 », n'a pu être restituée correctement ci-dessus.

Théorème de Liouville

Ce théorème permet de déterminer les fonctions holomorphes sur (appelées aussi fonctions entières) qui sont polynomiales, il permet aussi de montrer le théorème fondamental de l'algèbre avec une remarquable simplicité.

Début d’un théorème
Fin du théorème

Principe du (module) maximum

Ce théorème énonce qu'une fonction holomorphe sur un ouvert connexe de dont le module admet un maximum local dans cet ouvert est constante.
Il indique aussi que le module d'une fonction holomorphe sur un ouvert connexe réalise sa borne supérieure sur la forntière de l'adhérence de cet ouvert connexe.

Début d’un théorème
Fin du théorème