Principio del Módulo Máximo

Teorema del análisis complejo que afirma: si f es holomorfa y no constante en un abierto conexo, entonces |f| no puede alcanzar un máximo local (o interior); cualquier máximo global de |f| en un dominio acotado ocurre en la frontera del dominio salvo que f sea constante.

Un principio del análisis complejo que afirma que una función holomorfa no constante en un dominio abierto conexo no puede alcanzar un máximo local estricto de su módulo en el interior; si el módulo alcanza un máximo global en el dominio, la función es constante. Equivalente: |f| es subarmónica y alcanza su máximo en la frontera.