UNIVERSIDAD CENTRAL DEL ECUADOR

Facultad de Ciencias

Carrera de Matemática

Geometria de curvas y supeficies

TRABAJO GRUPAL

2021-2021

Rubio Jhastin
 1

Transformaciones de Mobius

Definición : Esfera de Riemann.

También conocido como plano complejo extendido la cual denotaremos como Σ = C ∪ {∞},
donde ∞ debe ser entendido como un punto adicional que no pertenece a C cuyo nombre es el
punto en el infinito o solo infinito.

¿Por qué es necesario definir el plano complejo extendido?

El plano complejo cuando se analiza funciones, sucesiones se tiene un problema es que el infinito
no es un solo punto o está orientado a una solo dirección, sino que es una basta región, esto oca-
siona la dificuldad del análisis de el dominio, recorrido, convergencia y divergencia de la función,
es por eso que es necesario definir el plano complejo.

Interpretación de la Esfera de Riemman

Para visualizar este conjunto vamos a considerar la esfera S 2 dada por la ecuación x2 +y 2 +z 1 = 1
y sea N = (0, 0, 1) llamado polo norte y S = (0, 0, −1) llamado polo sur. Ahora identificamos los
números complejos en plano z = −1,, es decir se va escrbir de la siguiente manera a+ib = (a, b, −1)
y consideramos la siguiente aplicación biyectiva definida por

ρ :S 2 \ {N } → C2
−2(x + iy)
(x, y, z) → ρ(x, y, z) :=
(z − 1)
y que se obtiene de la intersección de la recta que pasa por N y el punto (x, y, z) con el plano z = 1
2

Definición :Función derivable en un punto y función holomorfa.

Sea Ω abierto contenido en C, f : Ω → C, Zo ∈ Ω, f (z) es derivable en zo si existe el lı́mite

siguiente, llamado derivada en f en zo :

f (z) − f (zo )
lı́m = f ′ (zo )
z→zo z − zo

f es holomorfa en Ω si es derivable en zo para tdo zo ∈ Ω.

Ejemplos de funciones holomorfas

a) si f (z) = k constante en Ω, entonces f ′ (z) = 0, ∀z ∈ Ω.

b) Si f (z) = z para todo z ∈ Ω (funcion identidad), entonces f ′ (z) = 1 constante

Ejemplos de funciones no holomorfas

1. La función f (z) = z̄ = x − iy. Se ve claramente que f (z) no es derivable . . En efecto, sea

zo ∈ C. Se tiene que

f (z) − f (zo ) z¯o + h − zo h

lı́m = lı́m = lı́m .
h→0 h h→0 h h→0 h

Ası́ se ve que f no es función diferenciable, puesto que si h fuera real el lı́mite serı́a 1 y si
h = i,entoncesel lı́mite es igual −1. Por lo tanto, f no es holomorfa.

2. La función f (z) = |z|2 no es holomorfa, en efecto f (z) solo es diferenciable z = 0.

Función Meromorfa

Polinomios y ceros

Como ejemplos triviales de funciones holomorfas tenemos la función constante f (z) = c, y la

funcion lineal f (z) = z, evidentemente que son evidentemente holomorfas pues en ambos casos
¯ = 0. Por otro lado, la suma de y el producto de polinomios es una función holomorfa, lo cual
∂f
nos permite definir una función holomorfa de grado n.

P (z) = a0 + a1 z + a2 z 2 + ... + an z n
Luego, por el teorema fundamental del algebra, la ecuación
P (z) = 0, n > 0.
 3

tiene n soluciones, α1 , ..., αn y entonces

P (z) = an (z − α1 )...(z − αn )
o, si tomamos α1 , ..., αs , s ≤ n con soluciones sin repetición pero con multiplicidades m(α1 ) + ... +
m(αs )
P (z) = an (z − α1 )m(α1 ) ...(z − αs )m(αs )
donde m(α1 ) + ... + m(αs ) = n.

Definición Decimos que α es un cero de P (z) de orden m si,P (α) = 0 y su multiplicidad es

m(α) = m

Criterio para caracterizar los ceros

Sea α ∈ C Es un cero de P (z) de orden m si
P (α) = 0
y las derivadas sucesivas cumplen
P ′ (α) = P ′′ (α) = ... = P m−1 (α)

P m (α) ̸= 0
Funciones racionales y polos

Una función racional es el cociente de dos polinomios P (z), Q(z) no tienen ceros comunes.

P (z)
R(z) =
Q(z)
Se entiende que una función racional R : C → C∞ donde C∞ denota la representación esférica de
los números complejos de tal modo que R(z) = ∞ en los ceros de Q(z).

Definición Llamamos polos de R(z) a los ceros de Q(z). El orden de un polo α es el orden de
α como cero Q(z).

Luego vamos a definir una función R no como una función de C → C∞ como una función exten-
dida en C∞ → C∞ . Para ello se define la función R1 (z) := R(1/z) de tal modo que R(∞) = R1 (z)
en z = 0

Ahora supongamos que R1 (0) = 0. Entonces R tendrı́a un cero en ∞, en lo contrario si

R1 (0) = ∞, diremos que R tiene un polo en ∞. El correspondiente orden del cero (o el polo)
de R en ∞ es el orden del cero de R1 en cero.

a0 + a1 z + ... + an z n
R(z) =
b0 + b1 z + ... + bm z m
4

entonces
a0 + a1 z −1 + ... + an z −n
R1 (z) =
b0 + b1 z −1 + ... + bm z −m
a0 z n + a1 z n−1 + ... + an
 
m−n
=z
b0 z m + b1 z m−1 + ... + bm
Por tanto,
1. Si m > n ⇒ R1 (0) = 0 ⇒ R(∞) = 0 es un cero de orden v∞ (R) = m − n.
2. Si m = n ⇒ R1 (0) = abnn ⇒ R(∞) = abnn y el orden es v∞ (R) = 0.
3. Si m < n ⇒ R1 (0) = ∞ ⇒ R(∞) = ∞ y el orden es v∞ (R) = n − m

Ejemplos
z+4
F (z) = z(z 2 +2)2
. Calcule los polos de función Desarrollo

z+4 z+4
2 2
=
z(z + 2) z[(z + i)(z − i)]2
z+4
=
z(z + i)2 (z − i)2
Asi se ve que los polos de la función son:

z = 0 Polo de Orden 1
z = −i Polo de Orden 2
z = i Polo de Orden 2

Ahora se va introducir la definición de la función meromorfa

Definición 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. P
P Definición
P 1 Un automorfismo de la esfera de Riemann se define como una función T :
→ meromorfa y bieyectiva.

Teorema Una función f : Σ −→ Σ es racional si y solo si esta es meromorfica en Σ.

Demostración. Si nosotros descompònemos una función racional f como arriba, entonces f es
diferenciable para cada z ̸= ∞, βj (1 ≤ j ≤ s), asi f es analitica en C\{β1 , . . . βs }. Para cada βj , f
tiene un polo de orden nj mientras que en ∞, f es analitica si deg(p) ≤ deg(q) y f tiene un polo
de orden deg(p) − deg(q) si deg(p) > deg(q). Ası́ f es meromorfica en Σ.
Consecuentemente, suponga que f es meromorfica en Σ. Por el corolario, f tiene finitamente
muchos polos en C, digamos β1 , . . . , βs de ordenes n1 , . . . , ns . Entonces la función

g(z) = (z − β1 )n1 (z − β2 )n2 . . . (z − βs )ns f (z)

es analitica en C, asi g tiene una expanción de Taylor
 5

g(z) = a0 + a1 z + a2 z 2 + . . . ,
valido para todo z ∈ C. Ahora g es meromorfica en ∞ (ya que f es), asi

(g ◦ J)(z) = a0 + a1 z −1 + a2 z −2 + . . .
es meromorfica en 0, y por lo tanto aj = 0 para todos lo suficientemente grandes j. Luego, g es
polinomio, asi
f (z) = g(z)(z − β1 )−n1 . . . (z − βs )−ns
es una función racional.
Corolario. Sea f : Σ −→ Σ una función racional de grado d > 0. Entonces
(i) f tiene solo finitamente muchos puntos multiples en Σ.
(ii) |f −1 (c)| = d para todos pero finitamente muchos puntos c ∈ Σ, y 1 ≤ |f −1 (c)| ≤ d para los
puntos restantes c.
Demostración.
(i) Dado que la derivada f ′ es racional y no es identicamente 0, f ′ tiene sólo finitamente muchos
ceros en Σ; ya que f tiene sólo finitamente muchos pòlos, (i) se sigue.
(ii) Si c ∈ Σ entonces hay soluciones z = a1 , . . . , ar de f (z) = c con multiplicidades k1 , . . . , kr
satisfaciendo k1 + · · · + kr = d. Ası́ |f −1 (c)| = r para 1 ≤ |f −1 (c)| ≤ d, y tenemos |f −1 (c)| = d a
menos que algunos kj ≥ 2. Dado que f tiene solo finitamente muchos puntos múltiples, por (i), el
resultado se sigue.
Teorema. Aut(Σ) consiste de las funciones
az + b
T (z) = (a, b, c, d ∈ C, ad − bc ̸= 0)
cz + d
Demostración. Por el Teorema 1 la función T : Σ −→ Σ es meromorfica si y solo si esta
es racional y por el Corolario 1 tal función T es una biyección si y solo si tiene grado 1. Los
automorfismos de Σ son por lo tanto las funciones T (z) = (az + b)/(cz + d) donde az + b y cz + d
son polinomios coprimos, esto es, cz + d ̸= 0
Inyectividad Las codndición ad − bc ̸= 0 nos ayudará para la demostración de la inyectividad.
Para esto, Sea z1 , z2 ∈ C, tales que T (z1 ) = T (z2 ) entonces
az1 + b az2 + b
=
cz1 + d cz2 + d
⇒(az1 + b)(cz2 + d) = (az2 + b)(cz1 + d)
⇒(acz1 z2 + az1 d + bcz2 + bd) − (acz2 z1 + az2 d + bcz1 + bd) = 0
⇒acz1 z2 + az1 d + bcz2 + bd − acz2 z1 − az2 d − bcz1 − bd = 0
⇒ac(z1 z2 − z2 z1 ) + bc(z2 − z1 ) + ad(z1 − z2 ) = 0
⇒ad(z1 − z2 ) − bc(z1 − z2 ) = 0
⇒(z1 − z2 )(ad − bc) = 0
⇒z1 = z2
Asi se concluye que T es inyectiva.
6

Referencias
[1] Frank Ayres, Lloyd R Jaisingh, Schaum outline of- Theory and Problems of Abstrac Algebra, Segunda edición,
McGraw-Hill Companies Inc, Morehead State University, Estados Unidos, 2004