Principe du Module Maximum

Théorème d'analyse complexe affirmant que si f est holomorphe non constante sur un ouvert connexe, alors la valeur absolue |f| ne peut pas atteindre un maximum local intérieur ; tout maximum global de |f| sur un domaine borné se situe sur le bord du domaine sauf si f est constante.

Un principe de l'analyse complexe affirmant qu'une fonction holomorphe non constante sur un domaine ouvert connexe ne peut pas atteindre un maximum strict local de son module dans l'intérieur ; si le module atteint un maximum global sur le domaine, la fonction est constante. Équivalemment, |f| est sous‑harmonique et prend son maximum sur le bord.