title: Principio del módulo máximo
text: # Principio del módulo máximo
  
  En matemáticas, y en particular en el análisis complejo, el principio del módulo máximo afirma que el módulo de una función holomorfa alcanza su máximo en la frontera del dominio.
  Este resultado es bastante sorprendente al mostrar cuán especiales son las funciones holomorfas, pues es sabido que en $\mathbb {R}$ ese resultado no es cierto (basta tomar cualquier función diferenciable acotada, como $\sin(x)$).
  
  # Principio del módulo máximo
  ## Enunciado formal
  
  Sea $A\subset \mathbb {C}$, un conjunto conexo y abierto (si no es conexo, lo que sigue es válido para cada componente conexa) y $f:A\longrightarrow \mathbb {C}$ una función holomorfa no constante. Entonces $|f|$ no alcanza su máximo sobre $A$, es decir:
      $\forall z\in A,\exists w\in A$, t.q. $|f(w)|>|f(z)|$.
  Si se tuviera la igualdad, la función sería constante.
  
  # Principio del módulo máximo
  ## Consecuencias
  
  Un corolario inmediato es que si $A$ es además acotado, y $f$ puede ser extendida en forma continua a ${\bar {A}}$ (que es un conjunto compacto, por lo que $|f|$ alcanzará un máximo sobre ${\bar {A}}$), entonces: $max_{z\in {\bar {A}}}|f(z)|=max_{z\in \partial {\bar {A}}}|f(z)|$. Más aún, se cumplirá que $\forall z\in A,|f(z)|<max_{z\in \partial {\bar {A}}}|f(z)|$.
  Otro corolario, no tan inmediato, es el principio del módulo mínimo, que dice lo siguiente: si $\forall z\in A,|f(z)|>0$ (i.e., $f$ no se anula), entonces $f$ tampoco alcanza su mínimo, i.e., $\forall z\in A,\exists w\in At.q.|f(w)|<|f(z)|$. Este resultado se basa en aplicar el principio del módulo máximo a la función $g(z)=1/f(z)$, que es analítica pues $f$ no se anula. Obviamente, si $A$ es acotado, se pueden concluir resultados análogos a los del principio del módulo máximo.
  * Datos: Q1050230