Diferencia entre revisiones de «Punto de ramificación»

Contenido eliminado Contenido añadido
Línea 14:
Normalmente, ''ƒ'' no tiene interés por sí misma, sino su [[función inversa (análisis matemático)|función inversa]]. Sin embargo, la inversa de una función holomórfica en la vecindad de un punto de ramificación no existe correctamente, por lo que es obligado definirla en un sentido de múltiples valores como [[función analítica global]]. Esta es una denominación ambigua, que se refiere a un punto de ramificación ''w''<sub>0</sub>&nbsp;=&nbsp;''ƒ''(''z''<sub>0</sub>) de ''ƒ'' como un punto de ramificación de la función analítica global ''ƒ''<sup>&minus;1</sup>. Son posibles definiciones más generales de puntos de bifurcación para otros tipos de funciones analíticas globales de valores múltiples, como las que se definen [[Función implícita|implícitamente]]. A continuación se proporciona un marco unificador para tratar con tales ejemplos en el lenguaje de las [[superficie de Riemann|superficies de Riemann]]. En particular, en esta imagen más general, los [[Polo (análisis complejo)|polos]] de orden mayor que 1 también se pueden considerar puntos de ramificación.
 
En términos de la función analítica global inversa ''ƒ''<sup>&minus;1</sup>, los puntos de ramificación son aquellos puntos alrededor de los cuales hay [[monodromía]] no trivial. Por ejemplo, la función ''ƒ''(''z'')&nbsp;=&nbsp;''z''<sup>2</sup> tiene un punto de ramificación en ''z''<sub>0</sub>&nbsp;=&nbsp;0. La función inversa es la raíz cuadrada ''ƒ''<sup>&minus;1</sup> (''w'')&nbsp;=&nbsp;''w''<sup>1/2</sup>, que tiene un punto de ramificación en ''w''<sub>0</sub>&nbsp;=&nbsp;0. De hecho, dando la vuelta al recorrido cerrado ''w''&nbsp;=&nbsp;''e''<sup>i''θ''</sup>, se comienza en ''θ''&nbsp;=&nbsp;0 y ''e''<sup>i0/2</sup>&nbsp;=&nbsp;1. Pero después de dar la vuelta al bucle hasta ''θ''&nbsp;=&nbsp;2&pi;, se tiene que ''e''<sup>2&pi;i/2</sup>&nbsp;=&nbsp;&minus;1. Por lo tanto, existe monodromía alrededor de este bucle que encierra el origen.
 
==Puntos de ramificación trascendental y logarítmica==