title: Rama principal
text: # Rama principal
  
  En matemáticas, una rama principal es una función que selecciona una rama ("segmento") de una función multivaluada. La mayoría de las veces, esto se aplica a las funciones definidas en el plano complejo.
  
  # Rama principal
  ## Ejemplos
  ### Inversas trigonométricas
  
  Las ramas principales se utilizan en la definición de muchas funciones trigonométricas inversas, como la selección para definir que
      $\arcsin :[-1,+1]\rightarrow \left[-{\frac {\pi }{2}},{\frac {\pi }{2}}\right]$
  o esta otra
      $\arccos :[-1,+1]\rightarrow [0,\pi ]$.
  
  # Rama principal
  ## Ejemplos
  ### Exponenciación a potencias fraccionarias
  
  Una función de rama principal más familiar, limitada a números reales, es la de un número real positivo elevado a la potencia de 1/2.
  Por ejemplo, tamando la relación y = x$^{1/2}$, donde x es cualquier número real positivo.
  Esta relación puede satisfacerse con cualquier valor de y igual a una raíz cuadrada de x (positiva o negativa). Por convención, √x se usa para denotar la raíz cuadrada positiva de x.
  En este caso, la función raíz cuadrada positiva se toma como la rama principal de la relación de múltiples valores x$^{1/2}$.
  
  # Rama principal
  ## Ejemplos
  ### Logaritmos complejos
  
  Una forma de ver una rama principal es analizar específicamente la función exponencial y el logaritmo, como se define en análisis complejo.
  La función exponencial es de un solo valor, donde e$^z$ se define como:
      $e^{z}=e^{a}\cos b+ie^{a}\sin b$
  donde $z=a+ib$.
  Sin embargo, la naturaleza periódica de las funciones trigonométricas involucradas deja en claro que el logaritmo no está determinado de manera tan única. Una forma de ver esto es tener en cuenta que:
      $\operatorname {Re} (\log z)=\log {\sqrt {a^{2}+b^{2}}}$
  y
      $\operatorname {Im} (\log z)=\operatorname {atan2} (b,a)+2\pi k$
  donde k es cualquier número entero y atan2 continúa los valores de la función arctan(b/a) de su rango de valor principal $(-\pi /2,\;\pi /2]$, correspondiente a $a>0$ en el rango de valor principal de la función arg(z) $(-\pi ,\;\pi ]$, que cubre los cuatro cuadrantes en el plano complejo.
  Cualquier número log z definido por tales criterios tiene la propiedad de que e$^{logz}$ = z.
  De esta manera, la función logaritmo es una función multivaluada (a menudo denominado "multifunción" en el contexto del análisis complejo). Un corte de rama, generalmente en el eje real negativo, puede limitar la parte imaginaria para que se encuentre entre −π y π. Estos son los valores principales elegidos.
  Esta es la rama principal de la función logaritmo. A menudo se define con una letra mayúscula, Log z.