az + b

Consideremos el mapeo L(z) = , a, b, c, d ∈ C.

cz + d
a b
Supongamos primero que c = 0 , ası́ L(z) = αz + β, α = y β = , si d 6= 0.
d d
Esta es una transformación lineal. Si α 6= 0, luego L0 (z) = α, se sigue que todas las
curvas son rotadas Argα y se magnifican en |α|.

Observemos que este mapeo tiene un punto fijo

β
z0 = αzo + β ⇒ zo =
1−α
β
De ahı́, L(z) = αz + β es una rotacı́on al rededor del punto zo = si α 6= 1.
1−α
Cuando α = 1 L(z) = z + β es sólo un desplazamiento del plano en ”β”.

Consideremos ahora el caso c 6= 0.

Derivando
ad − bc (cz + d)a − (az + b)c d
L0 (z) = 2
= si δ = −
(cz + d) (cz + d)2 c
⇒ La derivada existe si z 6= δ. Lo anterior resulta igual a:
ad − bc ad − bc ad − bc 1
d2
= = · (?)
c2 (z 2+ 2 dc + c2
) c2 (z
− δ) 2 c 2 (z − δ)2

Consideremos el determinante
a b
ad − bc =
c d
Si el determinante se anula los renglones son proporcionales:
a b
ad − bc = 0 ⇒ = = µ con µ =cte a = µc, b = µd ⇒
c d
az + b µcz + µd
L(z) = = = µ.
cz + d cz + d
Si ad − bc 6= 0,entonces L0 (z) 6= 0, ∀z 6= δ.
Luego L(z) es un mapeo conforme en todo C menos (posiblemente en) δ
Bajo este mapeo todas las tangentes a las curvas son rotadas :
ad − bc
Arg L0 (z) = Arg − 2Arg(z − δ)
c2
Si la curva no pasa por δ.

Mientras que su magnificaciı́on en z es igual a:

ad − bc 1
|L0 (z)| = 2
c |z − δ|2
Luego el ángulo a través del cual las tangentes son rotadass es el mismo si:

Arg(z − δ) ≡ cte, es decir un rayo acotado de δ.

Mientras que su magnificación es constante si
|z − δ| ≡cte.

Continuando con las hipótesis de que c 6= 0 y ad − bc 6= 0

Consideraremos los limites:
   
d az + b az + b a
δ = − , lı́m = ∞, lı́m = =A
c z→δ cz + d z→∞ cz + d c
Completaremos la definición de L(z), proponiendo:

L(δ) = ∞ , L(∞) = A
De esta forma estamos definiendo L(z) en C∗ = C ∪ {∞}.

Ya sabemos que L(z) es un mapeo conforme en C menos (posiblemente) δ.

A continuacion verificamos que L(z) tambien es un mapeo conforme en δ y en ∞.

Para ello requerimos la siguiente definición:

Definición: Dos curvas γ1 y γ2 en C∗ forman un ángulo α con

vértice en ∞ ⇔ sus imágenes γ˜1 y γ˜2 en C∗ bajo la transformación
1
ϕ = forman un ángulo α con vértice en el origen.
z
Veamos primero que L(z) es conforme en ”δ”:
Supongamos que γ1 y γ2 forman un ángulo θ con vértice en δ.
Bajo L(z), sean Γ1 y Γ2 sus correspondientes imágenes

Para ver el ángulo que forman Γ1 y Γ2 en ∞ consideramos por definicion

1
las correspondientes imágenes bajo η = , digamos Γ∗1 y Γ∗2
ω

γ1 γ2

delta δ
 ω
∞
Γ1

Γ2

Γ∗2

Γ∗1

Luego el punto ∞ va al origen en el plano η.

Observemos que podemos enviar γ1 y γ2 en Γ∗1 y Γ∗2 a traves de la composición:

cz + d
η(z) =
az + b
Pero esta transformación es conforme en z = δ,

pues η(z) también es de Mobius y cb − ad 6= 0, ası́:

Γ∗1 y Γ∗2 forman un ángulo θ con vértice en el origen.

Ası́ tambien Γ1 y Γ2 en ∞.

Para ver la conformalidad en ∞ de L(Z) lo haremos de manera similar:

Si γ1 y γ2 forman un ángulo θ con vértice en ∞

luego sus imagenes Γ1 y Γ2 tendran vértice en el punto ”A”
1
Por definicion, las imágenes γ1∗ y γ2∗ bajo la tranformación δ =
z
forman un ángulo θ con vértice en el origen.

Componiendo notemos que podemos ir de γ1∗ y γ2∗ en Γ1 y Γ2

a través de la transformación de Mobius:
az + b a 1ξ + b a + bξ
ω= = 1 =
cz + d cξ + d c + dξ
y esta transformacion es conforme en δ = 0.
a
Ası́ también Γ1 y Γ2 forman un ángulo θ con vértice en A = ,
c
Luego L(z) es conforme en ∞.

Concluimos L(z) es nun mapeo conforme de C∗ en C∗ !!

Definición:Diremos que una  función f es analı́tica en z = ∞,

1
si la función es f ∗ (ξ) = f es analı́tica en ξ = 0.
ξ
En particular si f es analı́tica en z = ∞ lı́m f (z) = lı́m f ∗ (ξ) = f (∞)
z→∞ ξ→0
siempre existe y es finito. Definimos la derivada de f (z) en ∞ como:
0
f 0 (∞) = f ∗ (0).