Ampliación de Variable Compleja

Índice general

1 Funciones holomorfas y meromorfas 1

1.1 Función holomorfa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1 Definición . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.2 Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.3 Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.4 Véase también . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.5 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Función meromorfa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2.1 Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2.2 Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.3 Funciones meromorfas sobre superficies de Riemann . . . . . . . . . . . . . . . . . . . . 4
1.2.4 Diversas variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.5 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Productorio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3.1 Ejemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3.2 Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3.3 Véase también . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4 Teorema de factorización de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4.1 Motivación . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4.2 Las dos formas del teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4.3 Véase también . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4.4 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

2 Sucesiones y series de funciones analíticas 10

3 Transformación conforme. 11
3.1 Transformación conforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.1.1 Análisis complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.2 Fracción continua generalizada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.2.1 Historia de las fracciones continuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3.2.2 Notación . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3.2.3 Algunas consideraciones elementales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.2.4 Transformaciones fraccionarias lineales . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

i
ii ÍNDICE GENERAL

3.2.5 Véase también . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

3.2.6 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.3 Teorema de representación conforme de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . 19

4 Funciones elípticas 20
4.1 Función elíptica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
4.1.1 Definición . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
4.1.2 Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
4.1.3 Véase también . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4.2 Funciones de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4.2.1 Función sigma de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4.2.2 Función zeta de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4.2.3 Función eta de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
4.2.4 Función p de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

5 Superficies de Riemann 23
5.1 Superficie de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
5.1.1 Historia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
5.1.2 Concepto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
5.1.3 Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
5.1.4 Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
5.1.5 Clasificación de superficies de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
5.1.6 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

6 Text and image sources, contributors, and licenses 26

6.1 Text . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
6.2 Images . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
6.3 Content license . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
Capítulo 1

Funciones holomorfas y meromorfas

1.1 Función holomorfa

Las funciones holomorfas son el principal objeto de estudio del análisis complejo; son funciones que se definen
sobre un subconjunto abierto del plano complejo C y con valores en C, que además son complejo-diferenciables en
cada punto. Esta condición es mucho más fuerte que la diferenciabilidad en caso real e implica que la función es
infinitamente diferenciable y que puede ser descrita mediante su serie de Taylor.
El término función analítica se usa a menudo en vez del de “función holomorfa”, especialmente para cuando se
trata de la restricción a los números reales de una función holomorfa. Una función que sea holomorfa sobre todo el
plano complejo se dice función entera. La frase “holomorfa en un punto a" significa no sólo diferenciable en a, sino
diferenciable en todo un disco abierto centrado en a, en el plano complejo.

1.1.1 Definición
Si U es un conjunto abierto de C (ver espacio métrico para la definición de “abierto”) y f :U →C es una función, se
dice que f es complejo-diferenciable en el punto z0 de U si existe el siguiente límite:

f (z) − f (z0 )
f ′ (z0 ) = lim
z→z0 z − z0

Este límite se toma aquí sobre todas las sucesiones de números complejos que se aproximen a z0 , y para todas esas
sucesiones el cociente de diferencias tiene que dar el mismo número f '(z0 ).
Intuitivamente, si f es complejo-diferenciable en z0 y nos aproximamos al punto z0 desde la dirección r, entonces las
imágenes se acercarán al punto f(z0 ) desde la dirección f '(z0 ) r, donde el último producto es la multiplicación de
números complejos. Este concepto de diferenciabilidad comparte varias propiedades con la diferenciabilidad en caso
real: es lineal y obedece a las reglas de derivación del producto, del cociente y de la cadena.
Si f es complejo-diferenciable y las derivadas son continuas en cada punto z0 en U, se dice que f es holomorfa en U.
Es claro que, al igual que en el caso real, si f es holomorfa e inyectiva en U — con inversa continua — entonces f −1
es holomorfa y su derivada vale:

1
(f −1 )′ (z) =
f ′ (f −1 (z))

1.1.2 Ejemplos
Todas las funciones polinómicas en z con coeficientes complejos son holomorfas sobre C, y también lo son las
funciones trigonométricas de z y la función exponencial. (Las funciones trigonométricas están de hecho relacionadas

1
2 CAPÍTULO 1. FUNCIONES HOLOMORFAS Y MEROMORFAS

estrechamente con esta última y pueden definirse a partir de ella usando la fórmula de Euler). La rama principal de
la función
√ logaritmo es holomorfa sobre el conjunto C - {z ∈ R : z ≤ 0}. La función raíz cuadrada se puede definir
1
como : z = e 2 ln z y es por tanto allá donde lo sea la función logaritmo ln(z). La función 1/z es holomorfa sobre {z
: z ≠ 0}. Las funciones trigonométricas inversas tienen cortes y son holomorfas en todos los puntos excepto en estos
cortes.

1.1.3 Propiedades
Ya que la diferenciación compleja es lineal y cumple las reglas del producto, del cociente y de la cadena, se tendrá
que las sumas, productos, composiciones son también holomorfas, y el cociente de dos funciones holomorfas lo será
allá donde el denominador sea distinto de cero.
Cada función holomorfa es infinitamente diferenciable en cada punto, y coincide con su propia serie de Taylor; esta
serie convergerá sobre cada disco abierto que se encuentre dentro del dominio U. La serie de Taylor puede converger
en un disco más grande; por ejemplo, la serie de Taylor para el logaritmo converge sobre cada disco que no contenga al
0, incluso en las cercanías de la línea real negativa. Ver demostración de que las funciones holomorfas son analíticas.
Si se identifica C con R², entonces las funciones holomorfas son las mismas que aquellas funciones de dos variables
reales diferenciables y que cumplan las ecuaciones de Cauchy-Riemann, que son un par de ecuaciones diferenciales
parciales.
Las funciones holomorfas son conformes cerca de los puntos con derivada distinta de cero, en el sentido de que
preservan ángulos y la forma (pero no el tamaño) de las figuras pequeñas.
La fórmula integral de Cauchy dice que los valores, dentro de un disco, de una función holomorfa, quedan determi-
nados por los valores de la función en la frontera del disco.

1.1.4 Véase también

• función meromorfa

• función antiholomorfa

1.1.5 Referencias
• Weisstein, Eric W. «Holomorphic function». En Weisstein, Eric W. MathWorld (en inglés). Wolfram Research.

1.2 Función meromorfa

En análisis complejo, una función meromorfa sobre un subconjunto abierto D del plano complejo es una función
que es holomorfa en todo D excepto en un conjunto de puntos aislados, llamados polos de la función. (La terminología
viene del Griego clásico “meros”, que significa parte, en contrapunto a “holos”, que significa todo.) Dichas funciones
son a veces conocidas como funciones regulares o regulares sobre D.
Toda función meromorfa sobre D puede ser expresada como el cociente entre dos funciones holomorfas (no siendo
el denominador la función constante 0) definidas sobre D: los polos de la función meromorfa ocurren en los ceros del
denominador.
Intuitivamente, una función meromorfa es un cociente de dos “buenas” funciones (holomorfas). Dicha función seguirá
siendo “buena” excepto en los puntos en el que el denominador se anula, en los cuales el valor tiende a infinito.
Desde un punto de vista algebraico, si D es un espacio conexo, entonces el conjunto de funciones meromorfas es un
cuerpo de fracciones del dominio de integridad del conjunto de funciones holomorfas. Esta relación es análoga a la
existente entre Q , los racionales, y Z , los enteros.

1.2.1 Ejemplos
• Toda función racional como
1.2. FUNCIÓN MEROMORFA 3

La función gamma es meromorfa en todo el plano complejo.

f(z) = (z3 − 2z + 1)/(z5 + 3z − 1)

es meromorfa en todo el plano complejo.

• Las funciones

f(z) = exp(z)/z and f(z) = sin(z)/(z − 1)2

así como la función gamma y la función zeta de Riemann son meromorfas en todo el plano complejo.

• La función

f(z) = exp(1/z)
está definida en todo el plano complejo exceptuando el origen, z=0. Sin embargo, el punto z=0 no es
un polo de la función sino una singularidad esencial. Por tanto, esta función no es meromorfa en todo el
plano complejo. Sin embargo, es meromorfa (incluso holomorfa) en C-{0}.

• La función f(z) = ln(z) no es meromorfa en todo el plano complejo, ya que no puede ser definida de forma
contínua en todo el plano y ni siguiera quitando un conjunto de puntos aislados.

1.2.2 Propiedades
Como los polos de una función meromorfa son aislados, como mucho puede haber una cantidad numerable de ellos.
El conjunto de polos puede ser infinito, como se puede ver en la función

f(z)=1/sin(z).

Mediante la continuación analítica para eliminar las singularidades evitables, las funciones meromorfas pueden ser
sumadas, restadas, multiplicadas, y el cociente f/g está bien definido a no ser que g(z) = 0 sobre una componente
conexa de D. Por lo que, si D es conexo, las funciones meromorfas constituyen un cuerpo, de hecho constituyen una
extensión de los complejos.
4 CAPÍTULO 1. FUNCIONES HOLOMORFAS Y MEROMORFAS

1.2.3 Funciones meromorfas sobre superficies de Riemann

En una superficie de Riemann todo punto admite un entorno abierto que es isomorfo a un subconjunto abierto del
plano complejo. De este modo la noción de función meromorfa puede ser definida para toda superficie de Riemann.
Cuando el conjunto D es la esfera de Riemann, el cuerpo de funciones meromorfas es simplemente el cuerpo de fun-
ciones racionales de una variable sobre el plano complejo, por lo que se puede demostrar que toda función meromorfa
sobre la esfera es racional.
Para toda superficie de Riemann, una función meromorfa es lo mismo que una función holomorfa cuyo espacio de
llegada es la esfera de Riemann y que no toma el valor ∞ en todo punto. Los polos corresponden a aquellos números
complejos cuya imagen es ∞.
En una superficie de Riemann no compacta, toda función meromorfa puede ser expresada como el cociente de dos
(globalmente definidas) funciones holomorfas. En cambio, sobre una superficie de Riemann compacta toda función
holomorfa es constante, mientras que siempre existen funciones meromorfas no constantes.
Las funciones meromorfas sobre una curva elíptica se les conoce como funciones elípticas.

1.2.4 Diversas variables

Con múltiples variables complejas, una función meromorfa se define como el cociente local de dos funciones holo-
morfas. Por ejemplo, f(z1 ,z2 )=z1 /z2 es una función meromorfa sobre el espacio afín complejo de dos dimensiones.
En este nuevo contexto, no es cierto que cada función meromorfa puede ser pensada como una función holomorfa
con valores dentro de la esfera de Riemann: hay un conjunto de indeterminación de codimensión 2 (en el ejemplo
que se ha mostrado, este conjunto consiste en el origen (0,0)). A diferencia de una sola dimensión, en dimensiones
más altas existen variedades complejas sobre las cuales no hay ninguna función meromorfa no constante.

1.2.5 Referencias
• Lars Ahlfors, Complex Analysis, McGraw-Hill Education, ISBN 0-07-085008-9
• Serge Lang, Complex Analysis, Springer, 2003. ISBN 0-387-98592-1.

1.3 Productorio
El operador productorio o productoria, también conocido como multiplicatoria o simplemente producto (por
denotarse como una letra pi mayúscula), es un operador matemático que representa una multiplicación de una cantidad
arbitraria (finita o infinita).

∏
n
ak = am · am+1 · ... · an
k=m

Para todos los valores m < n, si m = n tenemos que:

∏
n ∏
m
m=n, ak = ak = am
k=m k=m

En el caso de que m sea mayor que n, m > n, se le asigna el valor del elemento neutro de la multiplicación, el uno:

∏
n
m>n, ak = 1
k=m

Se puede definir por inducción como sigue.

1. Se define
1.3. PRODUCTORIO 5

∏
1
ak = a1
k=1

2. Supuesta definida para un n ≥ 1 fijo, se define

( )
∏
n+1 ∏
n
ak = ak an+1
k=1 k=1

1.3.1 Ejemplo
Se puede usar el productorio para definir otras igualdades importantes.
Se puede tomar n=1 y aplicar la segunda igualdad para obtener:

( )
∏
2 ∏
1
ak = ak (a2 ) = a1 a2
k=1 k=1

Definida para n=2, se puede aplicar otra vez la segunda igualdad con n=2 para luego obtener

( )
∏
3 ∏
2
ak = ak (a3 ) = (a1 a2 )a3
k=1 k=1

Así, usando la propiedad asociativa de la multiplicación, el producto (a1 a2 )a3 es el mismo que a1 (a2 a3 ) y, por lo
tanto, podemos prescindir del uso de paréntesis sin peligro de confusión y usar simplemente

∏
3
a1 a2 a3 = ak
k=1

Se puede entonces, usar este razonamiento para cualquier n ∈ N sin que haya peligro de confusión.
Luego, se puede aplicar la definición de Multiplicatoria, para definir n! (n factorial) como sigue:

∏
n
k = n!
k=1

Se define 0! = 1! = 1

1.3.2 Propiedades
Se puede usar el Método de Inducción Matemática para demostrar algunas propiedades. Para ello, nos basaremos
en la definición formal por inducción descrita anteriormente.

Propiedad Multiplicativa

( )( )
∏
n ∏
n ∏
n
(ak bk ) = ak bk
k=1 k=1 k=1
6 CAPÍTULO 1. FUNCIONES HOLOMORFAS Y MEROMORFAS

Demostración por Inducción i) Tomemos n=1 y veamos si se cumple la igualdad

( )( )
∏
1 ∏
1 ∏
1
(ak bk ) = a1 b1 = ak bk
k=1 k=1 k=1

y la igualdad es cierta para n=1

ii) Supongámosla cierta para n y analicémosla para n+1

[ ]
∏
n+1 ∏
n
(ak bk ) = (ak bk ) (an+1 bn+1 )
k=1 k=1
( )( )
∏
n+1 ∏
n ∏
n
(ak bk ) = ak bk an+1 bn+1
k=1 k=1 k=1
(Definición por inducción)

[( ) ] [( ) ]
∏
n+1 ∏
n ∏
n
(ak bk ) = ak (an+1 ) bk (bn+1 )
k=1 k=1 k=1

(Asociatividad en IR) Luego,

(n+1 ) (n+1 )
∏
n+1 ∏ ∏
(ak bk ) = ak bk
k=1 k=1 k=1

Propiedad Telescópica

∏
n
ak an
= , si cada ak ̸= 0
ak−1 a0
k=1

Demostración por Inducción

i) Analicemos para n=1

∏
1
ak a1
= , con : a0 ̸= 0 y la igualdad es cierta para : n = 1
ak−1 a0
k=1

ii) Supongámosla cierta para n y analicémosla para n+1

∏n+1 ak (∏ )( )
n ak an+1
k=1 ak−1 = k=1 ak−1 an (Definición por inducción)

Luego,

∏
n+1
ak an an+1
=
ak−1 a0 an
k=1

que es lo que queríamos demostrar.

Nótese que nuestra exigencia era que para cada k , ak ̸= 0 . En particular, para k = n , ak = an ̸= 0 . Luego la
simplificación es posible y

∏
n+1
ak an+1
=
ak−1 a0
k=1
1.4. TEOREMA DE FACTORIZACIÓN DE WEIERSTRASS 7

1.3.3 Véase también

• Sumatoria

• Factorial

• Suma

• Multiplicación

1.4 Teorema de factorización de Weierstrass

En matemática, concretamente en análisis complejo, el teorema de factorización de Weierstrass, llamado así en
honor a Karl Weierstrass, asegura que las funciones enteras pueden ser representadas mediante un producto que
envuelve sus ceros. Además, cualquier sucesión que tienda al infinito tiene asociada una función entera con ceros
precisamente en los puntos de esa sucesión.
Una segunda forma extendida a funciones meromorfas permite considerar una función meromorfa dada como un
producto de tres factores: los polos, los ceros, y una función holomorfa asociada distinta de cero.

1.4.1 Motivación

Las consecuencias del teorema fundamental del álgebra son dobles.[1] La primera de ellas, cualquier sucesión finita
{c
∏n } en el plano complejo tiene asociado un polinomio que tiene ceros precisamente en los puntos de esa sucesión,
n (z − cn ).
∏
La segunda de ellas, cualquier función polinómica p(z) es el plano complejo tiene una factorización p(z) = a n (z−
cn ), donde a es una constante distinta de cero y cn son los ceros de p.
Las dos formas del teorema de factorización de Weierstrass pueden ser pensadas como extensiones superiores
∏ de las
funciones enteras. La necesidad de un mecanismo extra se demuestra cuando se considera el producto n (z − cn )
si la sucesión {cn } no es finita. Esto nunca puede definir una función entera, porque el producto infinito no converge.
Así que, en general, no se puede definir una función entera de una sucesión de ceros preestablecidos o representar
una función entera mediante sus ceros usando las expresiones dadas mediante el teorema fundamental del algebra.
Una condición necesaria para la convergencia de un producto infinito en cuestión es que, cada factor (z − cn ) debe
aproximarse a 1 cuando n → ∞ . Así que, parece lógico que se deba buscar una función que podría ser 0 en el punto
preestablecido y sin embargo, permanecer próximo a 1 cuando no se encuentre en ese punto, además de no introducir
más ceros de los establecidos. Esto se define con los factores elementales de Weierstrass. Estos factores sirven para el
mismo propósito que los factores (z − cn ) de arriba.

Los factores elementales

También se les conoce como factores primarios.[2]

Para n ∈ N , se definen los factores elementales como:[3]

{
(1 − z) ( ) si n = 0,
En (z) = z1 z2 zn
(1 − z) exp 1 + 2 + ··· + n de otra forma.

Su utilidad radica en el siguiente lema:[3]

Lema (15.8, Rudin) para |z| ≤ 1, n ∈ Nₒ

|1 − En (z)| ≤ |z|n+1 .
8 CAPÍTULO 1. FUNCIONES HOLOMORFAS Y MEROMORFAS

1.4.2 Las dos formas del teorema

Existencia de una función entera con ceros específicos

A veces llamado como teorema de Weierstrass.[4]

Sea {an } una sucesión de números complejos distintos de cero tales que |an | → ∞ . Si {pn } es cualquier sucesión
de enteros tales que para todo r > 0 ,

∞
∑ 1+pn
(r/|an |) < ∞,
n=1

entonces la función

∞
∏
f (z) = Epn (z/an )
n=1

es entera con ceros únicamente en los puntos an . Si el número z0 se produce en la sucesión {an } exactamente m
veces, entonces la función f tiene un cero en z = z0 de multiplicidad m.

• Nótese que la sucesión {pn } en la declaración del teorema siempre existe. Por ejemplo siempre se podría tomar
pn = n y se obtendría convergencia. Tal sucesión no es única: cambiando ésta un número finito de posiciones,
o tomando otra secuencia p'n ≥ pn, no se «romperá» la convergencia.
• El teorema generaliza lo siguiente: sucesiones en conjuntos abiertos (y por lo tanto regiones) de la esfera de
Riemann tienen funciones asociadas que son holomorfas en esos subconjuntos y tienen ceros en los puntos de
la sucesión.[3]
• Nótese también que el caso dado por el teorema fundamental del álgebra
∏ está incorporado aquí. Si la sucesión
{an } es finita entonces se puede tomar pn = 0 y obtener: f (z) = c (z − an ) .
n

El teorema de factorización de Weierstrass

A veces llamado como Teorema del producto/factor de Weierstrass.[5]

Sea ƒ una función entera, y sea {an } los ceros distintos de 0 de ƒ, repetidos acorde con su multiplicidad; supóngase
también que ƒ tiene un cero en z = 0 de orden m ≥ 0 (un cero de orden m = 0 en z = 0 significa que ƒ(0) ≠ 0). Entonces
existe una función entera g y una sucesión de enteros {pn } tales que

∏∞ ( )
z [6]
f (z) = z m eg(z) n=1 E pn an .

Ejemplos de factorización
∏ ( ) ∏∞ ( z2
)
• sin πz = πz n̸=0 1− z
n ez/n = πz n=1 1− n2

∏ ( ) ∏∞ ( )
4z 2
• cos πz = n̸=0 1− 2z
2n−1 e2z/(2n−1) = n=1 1− (2n−1)2

Teorema de factorización de Hadamard

Si ƒ es una función finita con un orden ρ, entonces ésta admite una factorización

∏∞
f (z) = z m eg(z) Ep (z/an )
n=1

donde g(z) es un polinomio de grado q, y q ≤ ρ.[6]

1.4. TEOREMA DE FACTORIZACIÓN DE WEIERSTRASS 9

1.4.3 Véase también

• Teorema de Mittag-Leffler

1.4.4 Referencias
[1] Knopp, K. (1996), «Weierstrass’s Factor-Theorem», Theory of Functions, Part II, New York: Dover, pp. 1–7.

[2] Boas, R. P. (1954), Entire Functions, New York: Academic Press Inc., ISBN 0821845055, OCLC 6487790, chapter 2.

[3] Rudin, W. (1987), Real and Complex Analysis (3rd edición), Boston: McGraw Hill, pp. 301–304, ISBN 0070542341,
OCLC 13093736.

[4] Weisstein, Eric W. «Weierstrass’s Theorem». En Weisstein, Eric W. MathWorld (en inglés). Wolfram Research.

[5] Weisstein, Eric W. «Weierstrass Product Theorem». En Weisstein, Eric W. MathWorld (en inglés). Wolfram Research.

[6] Conway, J. B. (1995), Functions of One Complex Variable I, 2nd ed., springer.com: Springer, ISBN 0387903283
Capítulo 2

Sucesiones y series de funciones analíticas

10
Capítulo 3

Transformación conforme.

3.1 Transformación conforme

En matemáticas, una transformación conforme es una función que preserva ángulos. En el caso más común la
función es entre dominios del plano complejo.

3.1.1 Análisis complejo

En el análisis complejo, una transformación conforme es una función f : A → C , diferenciable en z0 ∈ A ⊂ C ,
que preserva el ángulo que dos curvas
α : [a, b] → A y β : [a, b] → A , diferenciables en α−1 (z0 ) y β −1 (z0 ) , respectivamente, forman entre sí en z0 . Es
decir f es conforme en z0 cuando se verifica

[ ] [ ′ ]
(f ◦ α)′ (z0 ) α (z0 )
arg = arg ′
(f ◦ β)′ (z0 ) β (z0 )

siempre y cuando α ′ (z0 ) y β ′ (z0 ) sean vectores tangentes no nulos.

Una definición equivalente es que una función es conforme si y solamente si es holomorfa o antiholomorfa (es decir
conjugada de una holomorfa) y su derivada es por todas partes diferente a cero. El teorema de representación conforme
de Riemann establece que cualquiera subconjunto propio abierto y simplemente conexo de C admite una función
conforme sobre un disco unitario abierto en C.
Una función del plano complejo extendido (que es equivalente conforme a una esfera) sobre sí mismo es conforme
(si y sólo si) es una transformación de Moebius o su conjugada.

3.2 Fracción continua generalizada

En análisis complejo, una rama de las matemáticas, una fracción continua generalizada o fracción fractal es una
generalización de una fracción continua en la cual los numeradores parciales y los denominadores parciales pueden
tomar cualesquiera valores reales o complejos.[1]
Una fracción continua generalizada es una expresión de la forma:

a1
x = b0 +
a2
b1 +
a3
b2 +
a4
b3 +
.
b4 + . .

11
12 CAPÍTULO 3. TRANSFORMACIÓN CONFORME.

donde los an (n > 0) son los numeradores parciales, los bn son los denominadores parciales y el término principal b0
es el llamado parte entera de la fracción continua.
Las convergentes sucesivas de la fracción continua se forma aplicando las fórmulas fundamentales de recurrencia:

A0 A1 b1 b0 + a1 A2 b2 (b1 b0 + a1 ) + a2 b0
x0 = = b0 , x1 = = , x2 = = , ···
B0 B1 b1 B2 b2 b1 + a2
donde An es el numerador y Bn es el denominador (también llamado continuante [2][3] ) del n-ésimo convergente.
Si la sucesión de convergentes {xn} tiene límite, la fracción continua es convergente y tiene un valor definido. Si la
sucesión de convergentes no tiene límite, la fracción continua es divergente. La divergencia puede darse por osci-
lación (por ejemplo, los convergentes pares e impares pueden tender a distinto límite) o por tendencia a infinito o
denominadores Bn iguales a cero.

3.2.1 Historia de las fracciones continuas

La historia de las fracciones continuas comienza con el Algoritmo de Euclides,[4] un procedimiento para encontrar
el máximo común divisor de dos números naturales m y n. Ese algoritmo introdujo la idea de dividir para extraer un
nuevo resto y entonces dividir por el nuevo resto de nuevo y así, sucesivamente.
Cerca de dos mil años después, Rafael Bombelli[5] encontró una técnica para la aproximación de las raíces de ecua-
ciones cuadráticas con fracciones continuas. A partir de ahí, el ritmo de desarrollo se aceleró. Justo 24 años después
Pietro Cataldi presentó la primera notación formal[6] para la fracción continua generalizada. Cataldi representaba
una fracción continua como

n1 n2 n3
a0 . & & & ,
d1 . d2 . d3
donde los puntos indicaban dónde iría la siguiente fracción y cada & representa al actual signo «más».
Más tarde, en el siglo XVII John Wallis[7] introdujo el término “fracción continua” en la literatura matemática. Nuevas
técnicas de análisis mátematico habían sido presentadas por Newton y Leibniz y una generación de contemporáneos
de Wallis se pusieron a usar el término inmediatamente.
En 1748 Euler publicó un teorema muy importante mostrando que un tipo particular de fracción continua es equiva-
lente a cierta serie infinita muy general.[8] El teorema de fracciones continuas de Euler tiene todavía una importancia
crucial en los intentos actuales de reducción en el problema de convergencia.
Las fracciones continuas pueden aplicarse también a problemas de la teoría de números y son especialmente útiles
en el estudio de ecuaciones diofánticas. A finales del siglo XVIII Lagrange usó fracciones continuas para construir
la solución general de la ecuación de Pell, dando así respuesta a una cuestión que había fascinado a los matemáticos
durante más de mil años.[9] Sorprendentemente, el descubrimiento de Lagrange implicaba que la expansión de raíz
cuadrada de la fracción continua canónica de cualquier entero no cuadrado perfecto es periódica y así, si el periodo
es de longitud p > 1, contiene una sucesión palindrómica de longitud p - 1.
En 1813 Gauss usó un ingenioso truco con la función hipergeométrica compleja para derivar una expresión en for-
ma de fracción continua que ha sido denominada en su honor.[10] Esa fórmula puede usarse para expresar muchas
funciones elementales (e incluso más funciones avanzadas, como las funciones de Bessel como fracciones continuas
rápidamente convergentes válidas casi siempre en el plano complejo.

3.2.2 Notación
La gran expresión de fracción continua mostrada en la introducción es, probablemente, la forma más intuitiva de
fracción continua para el lector. Desafortunadamente, ocupa un montón de espacio en un libro (y tampoco es fácil su
escritura). Así que los matemáticos han encontrado algunas notaciones alternativas. Una forma apropiada de expresar
una fracción continua generalizada tiene el siguiente aspecto:

a1 a2 a3
x = b0 + ···
b1 + b2 + b3 +
3.2. FRACCIÓN CONTINUA GENERALIZADA 13

Pringsheim escribió una fracción continua generalizada del siguiente modo:

a1 | a2 | a3 |
x = b0 + + + + ···
| b1 | b2 | b3
Karl Friedrich Gauss evocaba el más familiar producto infinito Π cuando ideó esta notación:

∞ ai
x = b0 + K .
i=1 bi

Aquí K significa Kettenbrüche, la palabra alemana para “fracción continua”. Esta es probablemente la forma más
compacta y conveniente para expresar fracciones continuas.

3.2.3 Algunas consideraciones elementales

Aquí se muestran algunos resultados elementales que son de importancia fundamental en el posterior desarrollo de la
teoría analítica de fracciones continuas.

Numeradores y denominadores parciales

Si uno de los numeradores parciales an₊₁ es cero, la fracción continua infinita

∞ ai
b0 + K
i=1 bi

es, precisamente, una fracción continua finita con n términos fraccionarios y, por consiguiente, una función racional
de el primer n ais y el primer (n + 1) bis. Tal objeto es de poco interés desde el punto de vista adoptado en el análisis
matemático, así que habitualmente se asume que ninguno de los ai = 0. No hay necesidad de aplicar esta restricción
a los denominadores parciales bi.

La fórmula determinante

Cuando el n-ésimo convergente de una fracción continua

n ai
xn = b0 + K
i=1 bi

se expresa como una fracción simple xn = An/Bn podemos usar la fórmula determinante

An−1 Bn − An Bn−1 = (−1)n a1 a2 · · · an = Πni=1 (−ai )

para relacionar los numeradores y denominadores de los convergentes sucesivos xn and xn−₁ entre sí. Específicamente,
si ni Bn ni Bn−₁ son cero, podemos expresar la diferencia entre el n-primero y el n-ésimo (n > 0) convergente como
sigue:

An−1 An a1 a2 · · · an Πn (−ai )
xn−1 − xn = − = (−1)n = i=1 .
Bn−1 Bn Bn Bn−1 Bn Bn−1

La transformación de equivalencia

Si {ci} = {c1 , c2 , c3 , ...} es cualquier sucesión infinita de números complejos no nulos, puede probarse por inducción
que
14 CAPÍTULO 3. TRANSFORMACIÓN CONFORME.

a1 c1 a1
b0 + = b0 +
a2 c1 c2 a2
b1 + c1 b1 +
a3 c2 c3 a3
b2 + c2 b2 +
a4 c3 c4 a4
b3 + c3 b3 +
.. ..
. .
donde la igualdad se entiende como una equivalencia, es decir, que los convergentes sucesivos de la fracción continua
de la izquierda son, exactamente, los mismos que los convergentes de la fracción de la derecha.
La transformación de equivalencia es perfectamente general, pero dos casos particulares merecen una mención es-
pecial. En primer lugar, si uno de los ai es cero, se puede elegir una sucesión {ci} para hacer 1 cada numerador
parcial:

∞ ai ∞ 1
b0 + K = b0 + K
i=1 bi i=1 ci bi

donde c1 = 1/a1 , c2 = a1 /a2 , c3 = a2 /(a1 a3 ) y, en general, cn₊₁ = 1/(an₊₁cn).

En segundo lugar, si uno de los denominadores parciales bi es cero, podemos usar un procedimiento similar para
elegir otra sucesión {di} que haga 1 cada denominador parcial:

∞ ai ∞ d a
i i
b0 + K = b0 + K
i=1 bi i=1 1

donde d1 = 1/b1 y por otra parte dn₊₁ = 1/(bnbn₊₁).

Estos dos casos especiales de transformaciones de equivalencia son enormemente útiles cuando se analiza el problema
de convergencia general.

Conceptos de convergencia simple

Como ya se ha dicho, la fracción continua

∞ ai
x = b0 + K
i=1 bi

converge si la sucesión de convergencia {xn} tiende a un límite finito.

La noción de convergencia absoluta juega un papel central en la teoría de series infinitas. No existe una noción
correspondiente en la teoría analítica de fracciones continuas, en otras palabras, los matemáticos no hablan de una
fracción continua absolutamente convergente. A veces la noción de convergencia absoluta entra, no obstante, en la
discusión, especialmente en el estudio de el problema de la convergencia. Por ejemplo, una fracción continua en
concreto

∞ 1
x= K
i=1 bi

diverge por oscilación si la serie b1 + b2 + b3 + ... es absolutamente convergente.[11]

A veces los numeradores y denominadores parciales de una fracción continua se expresan como funciones de variable
compleja z. Por ejemplo, una función relativamente simple[12] podría estar definida como

∞ 1
f (z) = K .
i=1 z

Para una fracción continua como esta, la noción de convergencia uniforme surge de forma bastante natural. Una
fracción continua de una o más variables complejas es uniformemente convergente en un entorno abierto Ω si los
3.2. FRACCIÓN CONTINUA GENERALIZADA 15

convergentes de la fracción convergen uniformemente en cada punto de Ω. O, dicho de otro modo, si para cada ε >
0 puede encontrarse un entero M tal que el valor absoluto de la diferencia

∞ ai (z) n ai (z)
f (z) − fn (z) = K − K
i=1 bi (z) i=1 bi (z)

es menor que ε para cada punto z en un entorno abierto Ω cuando n > M, la fracción continua definida por f(z) es
uniformemente convergente en Ω. (Aquí fn(z) denota el n-ésimo convergente de la fracción continua, evaluado en el
punto z del interior de Ω, y f(z) es el valor de la fracción continua infinita en el punto z.)

Convergentes pares e impares

Es en ocasiones necesario separar una fracción continua en sus partes pares e impares. Por ejemplo, si la fracción
continua diverge por oscilación entre dos puntos límite distintos p y q, entonces la sucesión {x0 , x2 , x4 , ...} debe
converger a uno de estos y {x1 , x3 , x5 , ...} debe converger al otro. En tal situación puede ser conveniente expresar la
fracción continua original como dos fracciones continuas diferentes, una de ellas convergiendo a p y la otra a q.
Las fórmulas para las partes pares e impares de una fracción continua pueden escribirse de forma más compacta si
la fracción ya se ha transformado, de este modo todos sus denominadores parciales son uno. Específicamente, si

∞ ai
x= K
i=1 1
es una fracción continua, entonces la parte par xₑᵥₑ y la parte impar xₒ vienen dadas por

a1
xeven =
a2 a3
1 + a2 −
a4 a5
1 + a3 + a4 −
a6 a7
1 + a5 + a6 −
..
.
y

a1 a2
xodd = a1 −
a3 a4
1 + a2 + a3 −
a5 a6
1 + a4 + a5 −
a7 a8
1 + a6 + a7 −
..
.
respectivamente. Con más precisión, si los sucesivos convergentes de la fracción continua x son {x1 , x2 , x3 , ...},
entonces los sucesivos convergentes de xₑᵥₑ como se escribían más arriba son {x2 , x4 , x6 , ...} y los convergentes
sucesivos de xₒ son {x1 , x3 , x5 , ...}.[13]

Condiciones para la irracionalidad

Si a1 , a2 , . . . y b1 , b2 , . . . son enteros positivos con ak ≤ bk para todo k suficientemente grande, entonces

∞ ai
x = b0 + K
i=1 bi

converge a un límite irracional.[14]

16 CAPÍTULO 3. TRANSFORMACIÓN CONFORME.

3.2.4 Transformaciones fraccionarias lineales

Una transformación fraccionaria lineal (TFL) es una función compleja de la forma

a + bz
w = f (z) = ,
c + dz
donde z es una variable compleja y a, b, c, d son constantes complejas arbitrarias. Suele imponerse una restricción
adicional – que ad ≠ bc –, para dejar fuera los casos en los cuales w = f(z) es una constante. La transformación
fraccionaria lineal, también conocida como transformación de Möbius, tiene muchas propiedades fascinantes. Cuatro
de ellas son de importancia primordial en el desarrollo de la teoría analítica de fracciones continuas.

• Si d ≠ 0, la TFL tiene uno o dos puntos fijos. Esto puede verse si se considera la ecuación

f (z) = z ⇒ dz 2 + cz = a + bz

que es claramente una ecuación cuadrática en z. Las raíces de esta ecuación son puntos fijos de f(z). Si
el discriminante (c − b)2 + 4ad es cero, la TFL da lugar a un punto fijo; en otro caso, tiene dos puntos
fijos.

• Si ad ≠ bc, la TFL es una biyección del plano complejo extendido en sí mismo . En otras palabras esta TFL
tiene función inversa

−a + cw
z = g(w) =
b − dw

tal que f(g(z)) = g(f(z)) = z para todo punto z en el plano complejo extendido y ambos, f y g preservan
ángulos y formas a escalas muy pequeñas. Desde la formulación z = g(w) se comprueba que g es también
una TFL.

• La composición de dos TFL diferentes para las cuales ad ≠ bc es también una TFL para la cual ad ≠ bc. En otras
palabras, el conjunto de todas las TFL para las cuales ad ≠ bc es cerrado para la composición de funciones.
El conjunto de tales TFL – juntas con la operación como grupo de composición - se conoce como un grupo
automórfico del plano complejo extendido.

• Si b = 0 la TFL se reduce a

a
w = f (z) = ,
c + dz

lo cual es una función mermórfica muy simple de z con un polo simple (at −c/d) y un resto igual a a/d.
(Véase también Serie de Laurent).

La fracción continua como una composición de TFL

Considérese una sucesión de transformaciones fraccionarias lineales simples

a1 a2 a3
τ0 (z) = b0 + z, τ1 (z) = , τ2 (z) = , τ3 (z) = , ···
b1 + z b2 + z b3 + z
3.2. FRACCIÓN CONTINUA GENERALIZADA 17

Aquí se usa la letra griega τ (tau) para representar cada TFL simple y se adopta la notación habitual para la com-
posicción de funciones. También se introduce un nuevo símbolo Τn para representar la composición de n+1 - τ, es
decir,

T1 (z) = τ0 ◦ τ1 (z) = τ0 (τ1 (z)), T2 (z) = τ0 ◦ τ1 ◦ τ2 (z) = τ0 (τ1 (τ2 (z))),

y así, sucesivamente. Por substitución directa desde el primer conjunto de expreseiones en el segundo, se ve que

a1
T1 (z) = τ0 ◦ τ1 (z) = b0 +
b1 + z
a1
T2 (z) = τ0 ◦ τ1 ◦ τ2 (z) = b0 +
a2
b1 +
b2 + z
y, en general,

n ai
Tn (z) = τ0 ◦ τ1 ◦ τ2 ◦ · · · ◦ τn (z) = b0 + K
i=1 bi

donde el último denominador parcial en la fracción continua finita K se entiende que es bn + z. Y, desde bn + 0 =
bn, la imagen del punto z = 0 bajo la iteración de la TFL Τn es de hecho el valor de la fracción continua finita con n
numeradores parciales:

n ai
Tn (0) = Tn+1 (∞) = b0 + K .
i=1 bi

Una interpretación geométrica

La intuición no puede nunca reemplazar una prueba matemática. No obstante, es una útil herramienta que, a me-
nudo, sugiere nuevas líneas de ataque que finalmente resuelven problemas inicialmente intratables. Si se define una
fracción continua finita como la imagen de un punto bajo la iteración de una TFL Τ (z) se llega intuitivamente a una
interpretación geométrica de la fracciones continuas infinitas. A continuación se puede ver cómo funciona.
La relación

n ai An
xn = b0 + K = = Tn (0) = Tn+1 (∞)
i=1 bi Bn
es probablemente mejor comprendida mediante la reescritura de las TFL Τn(z) y Τn₊₁(z) en términos de fórmulas
fundamentales de recurrencia:

(bn + z)An−1 + an An−2 zAn−1 + An

Tn (z) = Tn (z) = ;
(bn + z)Bn−1 + an Bn−2 zBn−1 + Bn
(bn+1 + z)An + an+1 An−1 zAn + An+1
Tn+1 (z) = Tn+1 (z) = .
(bn+1 + z)Bn + an+1 Bn−1 zBn + Bn+1
En la primera de estas ecuaciones la razón tiende a An/Bn así como z tiende a cero. En la segunda, la razón tiende a
An/Bn como z tiende a infinito. Esto lleva a la primera interpretación geométrica. Si la fracción continua converge,
los convergentes sucesivos An/Bn están eventualmente tan juntos como se desee. En virtud de que la transformación
fraccionaria lineal Τn(z) es una transformación continua , debe haber un entorno de z = 0 que se transforma en
un entorndo arbitrariamente pequeño de Τn(0) = An/Bn. De un modo similar, debe haber un entorno del punto en
infinito que se transforma en un entorno arbitrariamente pequeño de Τn(∞) = An−₁/Bn−₁. Así, si la fracción continua
converge la transformación Τn(z) convierten z muy pequeñas y z muy grandes en un entorno arbitrariamente pequeño
de x, el valor de la fracción continua, cuando n se hace más y más grande.
18 CAPÍTULO 3. TRANSFORMACIÓN CONFORME.

¿Y qué ocurre con los valores intermedios de z? Bien, en virtud de que los sucesivos convergentes se hacen más
cercanos entre sí, se tiene

An−1 An An−1 Bn−1

≈ ⇒ ≈ =k
Bn−1 Bn An Bn

donde k es una constante, introducida por conveniencia. Pero entonces, sustituyendo en la expresión por Τn(z) se
obtiene

( ) ( )
zAn−1 + An An z AAn−1 +1 An zk + 1 An
Tn (z) = = n
≈ =
zBn−1 + Bn Bn z BBn−1
n
+1 Bn zk + 1 Bn

así que incluso los valores intermedios de z (excepto cuando z ≈ −k−1 ) se transforman en entornos arbitrariamente
pequeños de x, el valor de la fracción continua, así como n se hace más y más grande. Intuitivamente es casi como si
el convergente de la fracción continua transformara por completo el plano complejo extendido en un simple punto.[15]
Nótese que la sucesión {Τn} cae dentro del grupo de automorfismo del plano complejo extendido, en el momento en
que cada Τn es una transformación lineal fraccionaria para la cual ab ≠ cd. Y cada miembro del grupo de automorfismo
se aplica desde el plano complejo extendido en sí mismo – no uno de los Τn puede posiblemente aplicar el plano en
un solo punto. Todavía en el límite de la sucesión {Τn} define una fracción continua infinita la cual (si converge)
representa un solo punto en el plano complejo.
¿Cómo es esto posible? Piénsese del siguiente modo: cuando una fracción continua infinita converge, la sucesión
correspondiente {Τn} de TFL se “enfoca” en el plano en la dirección de x, el valor de la fracción continua. En cada
etapa del proceso una región más y más grande del plano se aplica en un entorno de x, y una región más y más pequeña
del plano se va achicando hasta cubrir el borde de ese entorno.[16]
¿Y qué hay de las fracciones continuas divergentes? ¿Pueden también ser interpretadas geométricamente? En una
palabra, sí. Se distinguen tres casos:

1. Las dos sucesiones {Τ₂n−₁} y {Τ₂n} podrían definirse como dos fracciones continuas convergentes que tienen
dos valores diferentes, xₒ y xₑᵥₑ . En este caso, la fracción continua definida por la sucesión {Τn} diverge
por oscilación entre dos distintos puntos límite. Y de hecho esta idea puede generalizarse (pueden construirse
sucesiones {Τn} que oscilan entre tres o cuatro o incluso cualquier número de puntos límite. Se llega a intere-
santes instancias de este caso cuando la sucesión {Τn} constituye un subgrupo de orden finico en el grupo de
automorfismos sobre el plano complejo extendido.

2. La sucesión {Τn} puede producir un número infinito de denominadores cero Bi mientras que también produce
una subsucesión de convergentes finitos. Estos convergentes finitos podrían no repetirse o caer en un patrón de
oscilación reconocible. O podrían converger a un límite finito o incluso oscilar entre múltiples límites finitos.
Sin importar como se comporten los convergentes finitos, la fracción definida por la sucesión {Τn} diverge por
oscilación con el punto en infinito en este caso.[17]

3. La sucesión {Τn} podría producir no más de un número finito de denominadores cero Bi, mientras que la
subsucesión de convergentes finitos baila ampliamente alrededor de el plano en un patrón que nunca se repite
y nunca alcanza un límite finito tampoco.

Se pueden construir interesantes ejemplos de los casos 1 y 3 mediante el estudio de la fracción simple continua

z
x=1+
z
1+
z
1+
z
1+
..
.
donde z es cualquier número real tal que z < −¼.
3.3. TEOREMA DE REPRESENTACIÓN CONFORME DE RIEMANN 19

3.2.5 Véase también

• Fracción continua
• Fracción continua de Gauss

• Fracción continua de Euler

3.2.6 Referencias
[1] Medra \cfrac{a_3}{b_3 + \cfrac{a_4}{\ddots\,. Falta el |título= (ayuda)}}</math>

[2] Thomas W. Cusick; Mary E. Flahive (1989). The Markoff and Lagrange Spectra. American Mathematical Society. p. 89.
ISBN 0-8218-1531-8.

[3] George Chrystal (1999). Algebra, an Elementary Text-book for the Higher Classes of Secondary Schools and for Colleges:
Pt. 1. American Mathematical Society. p. 500. ISBN 0-8218-1649-7.

[4] 300 BC Euclides, Elements - El algoritmo de Euclides genera una fracción continua como un producto-por

[5] 1579 Rafael Bombelli, L'Algebra Opera

[6] 1613 Pietro Cataldi, Trattato del modo brevissimo di trovar la radice quadra delli numeri, (Tratado sobre un modo rápido
de encontrar la raíz cuadrada de un número”).

[7] 1695 John Wallis, Opera Mathematica

[8] 1748 Leonhard Euler, Introductio in analysin infinitorum, Vol. I, Chapter 18.

[9] Brahmagupta (598 - 670) fue el primer matemático en hacer un estudio sistemático de la ecuación de Pell.

[10] 1813 Karl Friedrich Gauss, Werke, Vol. 3, pp. 134-138.

[11] 1895 Helge von Koch, Bull. Soc. Math. de France, “Sur un théorème de Stieltjes et sur les fractions continues”.

[12] Cuando z se toma entero, esta función es bastante famosa, genera la razón aúrea y la sucesión estrechamente relacionada
de medias plateadas.

[13] 1929 Oskar Perron, Die Lehre von den Kettenbrüchen derives even more general extension and contraction formulas for
continued fractions.

[14] Angell, David. (2007), Irrationality and Transcendence - Lambert’s Irrationality Proofs, School of Mathematics, University
of New South Wales, http://web.maths.unsw.edu.au/~{}angell/5535

[15] Esta interpretación intuitiva no es rigurosa porque una fracción continua no es una transformación , sino el límite de una su-
cesión de transformaciones. Esta construcción de una fracción continua infinita es completamente análoga a la construcción
de un número irracional como el límite de una sucesión de Cauchy de números racionales.

[16] Because of analogies like this one, the theory of conformal mapping is sometimes described as “rubber sheet geometry”.

[17] Una aproximación al problema de la convergencia es construir fracciones continuas definidas positivas, para las cuales los
denominadores Bi nunca son cero.

3.3 Teorema de representación conforme de Riemann

En análisis complejo el teorema del mapeo de Riemann o teorema de representación conforme de Riemann
establece que dado un dominio del plano complejo simplemente conexo cuya frontera contenga al menos un punto,
existe una aplicación holomorfa y biyectiva de dicho dominio sobre el disco unidad. Tiene una relación inversa con
la geometría hiperbólica de Lobachebski.
El teorema se debe al matemático Bernhard Riemann quien lo enunció en su tesis doctoral de 1851 sobre funciones
de variable compleja.
Capítulo 4

Funciones elípticas

4.1 Función elíptica

En análisis complejo, una función elíptica es, hablando toscamente, una función definida sobre el plano complejo
y periódica en ambas direcciones. Las funciones elípticas pueden ser vistas como generalizaciones de las funciones
trigonométricas (las cuales únicamente tienen la periodicidad en una dirección, paralela a la recta real). Histórica-
mente, las funciones elípticas fueron descubiertas como las funciones inversas de las integrales elípticas; estas fueron
estudiadas en relación con el problema de la longitud de arco en una elipse, de donde el nombre se deriva.

4.1.1 Definición
Formalmente, una función elíptica es una función meromorfa f definida sobre C para la que existen dos números
complejos no nulos a y b tal que

f(z + a) = f(z + b) = f(z) para todo z perteneciente a C

y tal que a/b no es un real. De esto se deduce que

f(z + ma + nb) = f(z) para todo z perteneciente a C y para todo entero m y n.

En el desarrollo de la teoría de las funciones elípticas, la mayoría de autores modernos utilizan la notación creada por
Karl Weierstrass: la notación de las funciones elípticas en forma de Weierstrass basadas en la función ℘ es cómoda
y cualquier función elíptica puede ser expresada a partir de estas. Weierstrass se interesó en estas funciones cuando
era estudiante de Christoph Gudermann, un estudiante de Carl Friedrich Gauss. Las funciones elípticas introducidas
por Carl Jacobi, y la función auxiliar theta (no doble periódica), son más complicadas pero ambas importantes para
la historia y para la teoría general. La diferencia más importante entre estas dos teorías es que las funciones de
Weierstrass tienen polos de alto orden situados en las esquinas de un retículo periódico, mientras que las funciones
de Jacobi tienen polos simples.
El estudio de las funciones elípticas está estrechamente relacionado con el estudio de las funciones modulares y las
formas modulares, relación demostrada por el teorema de Taniyama-Shimura. Algunos ejemplos de esta relación son
el invariante j, las series de Eisenstein y la función eta de Dedekind.

4.1.2 Propiedades
Cualquier número ω tal que f(z + ω) = f(z) para toda z de C se le llama period de f. Si dos periodos a y b son tales
que cualquier otro periodo ω puede ser escrito como ω = ma + nb con m y n enteros , entonces a y b se les llama
periodos fundamentales. Toda función elíptica tiene un par fundamental de períodos, aunque este par no es único,
como se describe más adelante.
Si a y b son periodos fundamentales que describen un retículo, entonces exactamente el mismo retículo puede ser
obtenido por los periodos fundamentales a' y b' donde a' = p a + q b y b' = r a + s b donde p, q, r y s son enteros

20
4.2. FUNCIONES DE WEIERSTRASS 21

( )
p q
que satisfacen p s − q r = 1. Dicho de otra forma, la matriz tiene determinante unidad, por lo que pertenece
r s
al grupo modular. En otras palabras, si a y b son periodos fundamentales de una función elíptica, entonces también
lo son a' y b' .
Si a y b son periodos fundamentales, entonces cualquier paralelogramo con vertices z, z + a, z + b, z + a + b se
le llama paralelogramo fundamental. Moviendo dicho paralelogramo múltiples de a y b obtenemos una copia del
paralelogramo, y la función f se comporta idénticamente sobre todas esas copias, debido a esta periodicidad.
El número de polos es cualquier paralelogramo es finito (e igualmente para todo paralelogramo fundamental). A no
ser que la función elíptica sea constante, todo paralelogramo fundamental tiene al menos un polo como consecuencia
del teorema de Liouville.
La suma de los órdenes de los polos en cualquier paralelogramo fundamental se le llama el orden de la función elíptica.
La suma de los residuos de los polos en cualquier paralelogramos fundamental es igual a cero, en particular, ninguna
función elíptica puede tener orden uno.
El número de ceros (contados con su multiplicidad) en cualquier paralelogramo fundamental es igual al orden de la
función elíptica.
La derivada de una función elíptica es otra función elíptica con los mismos periodos. El conjunto de todas las funciones
elípticas con el mismo periodo fundamental forman un cuerpo.
Las funciones elípticas en forma de Weierstrass ℘ son el prototipo de función elíptica, y de hecho, el cuerpo de
funciones elípticas para un retículo dado se genera a partir de ℘ y su derivada ℘′ .

4.1.3 Véase también

• Función elíptica de Jacobi

• Función elíptica de Weierstrass

4.2 Funciones de Weierstrass

En el ámbito de las matemáticas, las funciones de Weierstrass son un conjunto de funciones especiales de variable
compleja que son auxiliares a la función elíptica de Weierstrass. Han sido nombradas en honor al matemático alemán
Karl Weierstrass (1815 – 1897), considerado el padre del análisis moderno.

4.2.1 Función sigma de Weierstrass

La función sigma de Weierstrass asociada a una grilla bidimensional Λ ⊂ C se encuentra definida por el producto

∏ ( ) 1 2
σ(z; Λ) = z w∈Λ∗ 1− z
w ez/w+ 2 (z/w)

donde:

Λ∗ denota el conjunto Λ − {0}

4.2.2 Función zeta de Weierstrass

La función zeta de Weierstrass se encuentra definida por la suma

∑ ( )
σ ′ (z;Λ) 1 1 1 z
ζ(z; Λ) = σ(z;Λ) = z + w∈Λ∗ z−w + w + w2 .

Notar que la función zeta de Weierstrass es básicamente la derivada logarítmica de la función sigma. La función zeta
puede ser re-escrita como:
22 CAPÍTULO 4. FUNCIONES ELÍPTICAS

∑∞
ζ(z; Λ) = 1
z − k=1 G2k+2 (Λ)z 2k+1 donde G2k+2 es la serie de Eisenstein de peso 2k + 2 .

También es interesante notar que la derivada de la función zeta es −℘(z) , donde ℘(z) es la función elíptica de Weiers-
trass.
No debe confundirse la función zeta de Weierstrass con la función zeta de Riemann de la teoría de números.

4.2.3 Función eta de Weierstrass

La función eta de Weierstrass está definida por la expresión

η(w; Λ) = ζ(z + w; Λ) − ζ(z; Λ), para todo z ∈ C

Se puede demostrar que está bien definida, o sea ζ(z + w; Λ) − ζ(z; Λ) solo depende de w. No se debe confundir la
función eta de Weierstrass con la función eta de Dedekind.

4.2.4 Función p de Weierstrass

La función p de Weierstrass está definida por la expresión

℘(z; Λ) = −ζ ′ (z; Λ), para todo z ∈ C

La función p de Weierstrass es una función par elíptica de órden N=2 con un único polo doble en cada grilla.
Capítulo 5

Superficies de Riemann

5.1 Superficie de Riemann

√
Superficie de Riemann que aparece al extender el dominio de la función f (z) = z

En geometría algebraica, una superficie de Riemann es una variedad compleja de dimensión (compleja) uno. Con-
secuentemente, la variedad real subyacente será de dimensión 2.

5.1.1 Historia

El desarrollo de la idea de superficie de Riemann comenzó a mediados del siglo XIX de la mano del matemático
Bernhard Riemann, con los intentos de extender el dominio de definición de funciones analíticas f:U → C definidas
sobre un abierto U del plano complejo. La extensión maximal (extensión analítica) se lograba no sobre el propio plano

23
24 CAPÍTULO 5. SUPERFICIES DE RIEMANN

complejo, sino sobre copias de abiertos del mismo que se solapaban, en lo que hoy día conocemos como variedad
compleja de dimensión uno.

5.1.2 Concepto
Una variedad real de dimensión 2 puede convertirse en una superficie de Riemann (frecuentemente de varios modos
no equivalentes) si y sólo sí es orientable. De este modo, la esfera y el toro admitirán estructuras complejas, pero la
banda de Möbius, la botella de Klein y el plano proyectivo real no.
Se sabe que la 2-esfera tiene una sola estructura analítica. Mientras que cada superficie orientable de género mayor
que cero tiene una infinidad, constrastando con el punto de vista diferenciable ya que las superficies sólo tienen una
estructura diferenciable.
Las superficies de Riemann
√ constituyen el lugar natural donde estudiar el comportamiento global de numerosas fun-
ciones (p ej f (z) = (z) , f (z) = log(z) ).

5.1.3 Ejemplos
• Sea S = C ∪ {∞} y sea f(z) = z donde z pertenece a S \ {∞} y g(z) = 1 / z donde z pertenece a S \ {0} y 1/∞ se
define como 0. Así definidas, f y g son cartas complejas compatibles, y { f, g } es un atlas para S, convirtiendo
a S en una superficie de Riemann compacta llamada la esfera de Riemann.

• Sea G un grupo de biholomorfismos de una superficie de Riemann X , que actúa de modo libre y propiamente
discontinuo, entonces el espacio cociente Y es una superficie de Riemann y la proyección p: X → Y es una
aplicación recubridora.

Por ejemplo, G puede ser un grupo de traslaciones del plano complejo,. Sea G el grupo generado por
dos traslaciones independientes, por ejemplo:
T : z → z + 1, U :z →z+a
donde a es un número complejo no real. El espacio cociente será homeomorfo al toro, La topología no
dependerá de la elección de a (es siempre un toro), pero la estructura compleja cambia sensiblemente al
variar a.

• Numerosos ejemplos de superficies de Riemann no compactas se obtienen por el procedimiento de extensión

analítica.

•
•
•
•

5.1.4 Funciones
Toda superficie de Riemann no compacta admite funciones holomorfas no constantes.
Esto contrasta con que en una superficie de Riemann compacta toda función holomorfa es constante debido al princi-
pio del máximo. Sin embargo, en superficies compactas siempre existirán funciones meromorfas no constantes, que
pueden considerarse como aplicaciones holomorfas de la superficie sobre la esfera de Riemann C ∪ {∞}).

5.1.5 Clasificación de superficies de Riemann

El conjunto de superficies de Riemann puede dividirse en tres tipos: las superficies hiperbólicas, las parabólicas y las
elípticas. Esta división viene dada por el teorema de uniformización, que garantiza que toda superficie de Riemann
simplemente conexa es conformemente equivalente a una de las siguientes:
5.1. SUPERFICIE DE RIEMANN 25

• al plano complejo C

• a la esfera de Rieman C ∪ {∞}, también llamada línea proyectiva compleja P1 C o

• al disco abierto D := {z ∈ C : |z| < 1} o a la superficie equivalente formada por el semiplano superior H := {z
∈ C : Im(z) > 0}.

En caso de que la superficie X no sea simplemente conexa, podremos afirmar que su recubridor universal Y es con-
formemente equivalente a uno de los tres modelos anteriores. En ese caso, la superficie X podrá obetenersese como
el espacio cociente de Y bajo la acción de un grupo de biholomorfismos del recubridor Y que actúe de modo libre
(es decir, sin puntos fijos) y propiamente discontinuo.

Cocientes de la esfera (superficies elípticas)

Los biholomorfismos de la esfera son exactamente las transformaciones de Moebius. Como una transformación de
Moebius siempre deja un punto fijo, no obtendremos ningún cociente de la esfera.

Cocientes del plano (superficies parabólicas).

Los biholomorfismos del plano complejo que actúan de modo libre y propiamente discontinuo son las traslaciones, en
concreto los grupos de traslaciones con uno o dos generadores, isomorfos a Z o a Z + Z . Los cocientes respectivos
son topológicamente equivalentes a una corona circular o a un toro.
Al ser las traslaciones isometrías respecto de la métrica plana del plano, inducen una métrica plana en el cociente.

Cocientes del disco (superficies hiperbólicas).

Un grupo de biholomorfismos del disco que actúe de modo libre y propiamente discontinuo se dice un grupo Fuch-
siano. Existen numerosos grupos Fuchsianos, y su estudio es un ramo importante de la geometría moderna.
Como todo biholomorfismo del disco resulta ser una isometría de la métrica hiperbólica del disco unidad, también
conocida como métrica de Poincaré, se induce una métrica hiperbólica en el cociente.

5.1.6 Referencias
• Hershel M. Farkas and Irwin Kra, Riemann Surfaces (1980), Springer-Verlag, New York. ISBN 0-387-90465-4

• Jürgen Jost, Compact Riemann Surfaces (2002), Springer-Verlag, New York. ISBN 3-540-43299-X
• Artículo Riemann surface en Encyclopaedia of Mathematics
Capítulo 6

Text and image sources, contributors, and

licenses

6.1 Text
• Función holomorfa Fuente: http://es.wikipedia.org/wiki/Funci%C3%B3n%20holomorfa?oldid=79103160 Colaboradores: Sms, Tano4595,
Jsanchezes, Rembiapo pohyiete (bot), Orgullobot~eswiki, RobotQuistnix, Francosrodriguez, Yrbot, YurikBot, KnightRider, Giro720, Da-
vius, Thijs!bot, JAnDbot, TXiKiBoT, Rei-bot, VolkovBot, BOTarate, DragonBot, Estirabot, Artra, Alexbot, Juan Mayordomo, Raulshc,
Kadellar, Alecas000, Xario, Luckas-bot, MystBot, ArthurBot, Xqbot, Belerofontesp, Kismalac, TobeBot, ZéroBot, ChuispastonBot, Me-
troBot, Acratta, YFdyh-bot, Addbot y Anónimos: 22
• Función meromorfa Fuente: http://es.wikipedia.org/wiki/Funci%C3%B3n%20meromorfa?oldid=64945865 Colaboradores: Tano4595,
GermanX, Wewe, Ricard Delgado Gonzalo, CEM-bot, JAnDbot, Uruk, VolkovBot, Muro Bot, Gerakibot, Gato ocioso, Farisori, Juan
Mayordomo, MastiBot, SpBot, DumZiBoT, Luckas-bot, MystBot, ArthurBot, Xqbot, TobeBot, Dinamik-bot, ZéroBot, KLBot2 y Anó-
nimos: 4
• Productorio Fuente: http://es.wikipedia.org/wiki/Productorio?oldid=77941027 Colaboradores: Sabbut, Magister Mathematicae, Cami-
ma, Marianov, Rovnet, VolkovBot, Feministo, Loveless, Bigsus-bot, Camiloalcubo2, Dnu72, Botito777, Raulshc, Luckas-bot, Anselmi-
Juan, Euclides, Proferichardperez, EmausBot, ZéroBot, MerlIwBot, Thehelpfulbot, MahdiBot, Addbot y Anónimos: 12
• Teorema de factorización de Weierstrass Fuente: http://es.wikipedia.org/wiki/Teorema%20de%20factorizaci%C3%B3n%20de%20Weierstrass?
oldid=73929112 Colaboradores: BOT-Superzerocool, Urdangaray, Drinibot, Raulshc, LucienBOT, KLBot2, Invadibot y Makecat-bot
• Transformación conforme Fuente: http://es.wikipedia.org/wiki/Transformaci%C3%B3n%20conforme?oldid=73758495 Colaborado-
res: Wewe, Alfredobi, Rosarinagazo, Felipe Cruz G., SieBot, Juan Mayordomo, Raulshc, Luckas-bot, Xqbot, Kismalac, EmausBot, Zé-
roBot, KLBot2, Elvisor, Addbot y Anónimos: 1
• Fracción continua generalizada Fuente: http://es.wikipedia.org/wiki/Fracci%C3%B3n%20continua%20generalizada?oldid=67946194
Colaboradores: Tartaglia, CEM-bot, Drinibot, Bigsus-bot, Raulshc, CayoMarcio, MAfotBOT, MerlIwBot, KLBot2 y Anónimos: 4
• Teorema de representación conforme de Riemann Fuente: http://es.wikipedia.org/wiki/Teorema%20de%20representaci%C3%B3n%
20conforme%20de%20Riemann?oldid=73929059 Colaboradores: Lourdes Cardenal, Digigalos, Drini2, CEM-bot, Davius, Botones, Ur-
dangaray, Belgrano, Muro Bot, PaintBot, Juan Mayordomo, SilvonenBot, Luckas-bot, Barnacaga, KLBot2, Nawiks y Anónimos: 3
• Función elíptica Fuente: http://es.wikipedia.org/wiki/Funci%C3%B3n%20el%C3%ADptica?oldid=64945769 Colaboradores: Tano4595,
Aadrover, RobotQuistnix, Yrbot, BOTijo, GermanX, Ricard Delgado Gonzalo, CEM-bot, Davius, TXiKiBoT, AlleborgoBot, Muro Bot,
SieBot, Macarrones, Farisori, Alexbot, Juan Mayordomo, Raulshc, David0811, Luckas-bot, RedBot, Dinamik-bot, EmausBot, KLBot2,
YFdyh-bot y Anónimos: 3
• Funciones de Weierstrass Fuente: http://es.wikipedia.org/wiki/Funciones%20de%20Weierstrass?oldid=74559280 Colaboradores: Sab-
but, CEM-bot, Davius, Uruk, VolkovBot, Urdangaray, Xqbot, KLBot2 y Anónimos: 1
• Superficie de Riemann Fuente: http://es.wikipedia.org/wiki/Superficie%20de%20Riemann?oldid=78782891 Colaboradores: Vitami-
ne, GermanX, Er Komandante, Siabef, Juan Marquez, Tamorlan, CEM-bot, Drake 81, Botones, TXiKiBoT, Muro Bot, Alexandrosas,
YonaBot, SieBot, Drinibot, Gato ocioso, Alexbot, Juan Mayordomo, Raulshc, AVBOT, DumZiBoT, Joelcuervo, Luckas-bot, Lu Tup,
Erud, Jkbw, D'ohBot, Jerowiki, GrouchoBot, ZéroBot, KLBot2, Vagobot y Anónimos: 6

6.2 Images
• Archivo:Gamma_abs.png Fuente: http://upload.wikimedia.org/wikipedia/commons/4/44/Gamma_abs.png Licencia: Public domain Co-
laboradores: Trabajo propio Artista original: FredStober
• Archivo:Riemann_sqrt.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/b/b5/Riemann_sqrt.jpg Licencia: CC-BY-SA-3.0
Colaboradores: Transferido desde en.wikipedia a Commons. Artista original: Elb2000 de Wikipedia en inglés

26
6.3. CONTENT LICENSE 27

6.3 Content license

• Creative Commons Attribution-Share Alike 3.0