Nombre: Bryan Pichucho. Materia: Optativa 4.

Teorema 2.4.1. Si C es un circulo en Σ y si T ∈ P GL(2, C), entonces T(C)

es un circulo de Σ.
Demostración.
La ecuación dado en (*) es la ecuación general de un circulo en Σ, entonces
suponga que C es cualquier cı́rculo en Σ de tal forma que
C:azz + bz + bz + c = 0 con a, c ∈ R, b ∈ C.
Se nota que con la ayuda del teorema 2.3.1 las homotecias, rotaciones, trasla-
ciones o cualquier composición de estás pueden ser descritas de forma general
mediante
T (z) = mz + n con m, n ∈ C.
w−n
Entonces, si w = mz + n y z ∈ C, se tiene que z = ,y
m
w−n w−n w−n w−n
a( )( )+b + b( )+c=0
m m m m
al multiplicar todo mm, se obtiene
a(w − n)(w − n + b(w − n)m + b(w − n)m + mmc = 0
⇐⇒ aww + w(−an + bm) + w(−an + bm) + (a|n|2 + |m|2 c − bnm − bnm) = 0
Si se define α = −an + bm, entonces α = −an + bm, pues a ∈ R, y β =
a|n|2 + |m|2 c − bnm − bnm ∈ R , pues para todo x ∈ C x + x ∈ R. Luego se
tiene que
T (C) : aww + wα + wα + β = 0 con a, β ∈ R, α ∈ C.
Lo cual es una ecuación de la forma (*), es decir es un circulo en Σ.
1
Cuando se trabaja con la transformación J(z) = , la demostración es inme-
z
1 1
diata pues si w = , entonces z = , por lo tanto
z w
a b b
+ + +c=0
ww w w
Multiplicando por ww se obtiene que
cww + bw + bw + a = 0
lo cual nuevamente es un cı́rculo en Σ.
Con lo cual estaria probado el teorema.