Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Gary Larson
(...)
Un conjunto de puntos S se llama abierto si cada punto de S tiene un vecindad constituida enteramente por puntos que pertenecen a S. Por ejemplo los puntos del interior de un crculo o un cuadrado. El complementario de un conjunto de puntos S es el conjunto de todos los puntos que no pertenecen a S. Un conjunto de puntos S se llama cerrado si su complementario es abierto. Ej.: los puntos sobre y dentro de una circunferencia o un cuadrado, puesto que sus complementarios (los puntos exteriores a la circunferencia o al cuadrado) son abiertos.
5
La distancia entre dos puntos z y a es |z-a|. De modo que un crculo C de radio y centrado en a, puede expresarse como:
|z-a| =
C es abierto o cerrado? a
y
i 1
6
|z| = 1
B(a, ) = {z C / | z a |< }
0 < |z-a| < define un entorno punteado
x
o reducido.
a
x
1 a
x
|z-3-i| 4
Es la regin circular cerrada de radio 4 con centro en 3+i.
4 3+i
x
(2) Determina las regiones: (a) |z|<1; (b) |z| 1; (c) |z| >1
(a) Crculo unidad abierto (b) Crculo unidad cerrado (c) Exterior del crculo unidad.
10
11
| z 2 | + | z + 2 |= 5
Una elipse de focos en -2 y 2 (suma de distancias a los focos igual a 5) con semieje mayor igual a 5/2).
-2
(d ) | z a | | z b |= c (e) | z 2 |= Re( z ) + 3 ( f ) | z i |= Im z + 1
Nota: Busca las definiciones de parbola e hiprbola.
13
Un punto interior de un conjunto S es un punto para el que podemos encontrar un entorno o vecindad cuyos puntos pertenecen todos a S. Por ejemplo, el centro de un crculo. Un punto frontera de un conjunto S es un punto tal que todo entorno alrededor de l contiene puntos que pertenecen a S y que no pertenecen a S. Por ejemplo los puntos que forman la frontera de un crculo. Si un punto no es interior ni frontera de un conjunto de puntos S, entonces es un punto exterior a S. Entonces, si S es abierto no posee puntos frontera, solo puntos interiores. Si S es cerrado posee tambin a sus puntos frontera. Algunos conjuntos no son ni abiertos ni cerrados. Contienen algunos puntos frontera. Por ejemplo un entorno punteado. El plano complejo C es abierto y cerrado a la vez. No posee 14 puntos frontera.
Una regin es un conjunto formado por un dominio, ms, quizs, algunos o todos sus puntos frontera (Cuidado: algunos autores usan regin para indicar dominio). Un conjunto es acotado si todo punto de S est dentro de algn crculo |z| = R. En caso contrario es no acotado. Un punto de S se dice que es de acumulacin si cada entorno punteado del mismo contiene al menos un punto de S. Entonces, si S es cerrado contiene a todos sus puntos de acumulacin. Un punto no es de acumulacin si existe un entorno punteado del mismo que no contenga puntos de S. P.ej.: Todos los puntos del conjunto S = {i/n} (n = 1,2,...) no son de acumulacin a excepcin del cero.
15
Semiplanos infinitos
Semiplano superior: el conjunto de todos los puntos z = x+iy tales que y > 0 o Im(z) > 0.
y
Inferior: z = x+iy tales que y < 0 o Im(z) < 0. Derecho: z = x+iy tales que x > 0 o Re(z) > 0.
y
x y
Qu regiones describen? (a) Im(z) = 0, (b) Im(z) = a, (c) Re(z) = 0, (d) Re(z) = a
16
17
Conjuntos de Julia
Cuando deca en 1980 a mis amigos que estaba trabajando con H. Hubbard en el estudio de polinomios de grado 2 en variable compleja (y ms especficamente en z z2 + c ), me preguntaban: Esperas encontrar alguna cosa nueva? Adrien Douady
=z
1
2 n
{z , ( z ) , (( z ) ) ,...}= {z , z , z ,...}
0 2
{r (cos + i sin ), r
z0 = r (cos + i sin )
z n = r [cos(2n ) + i sin( 2n )]
2n
Si comenzamos con un nmero complejo de mdulo r < 1, sucesivamente el mdulo ir disminuyendo hasta tomar valor r = 0 para n infinito. Al contrario, si r > 1 el mdulo aumentar exponencialmente, tendiendo a infinito. El caso frontera, r = 1, mantendr los valores de la iteracin en un crculo de radio unidad sobre el plano complejo.
19
De modo que todos los puntos del plano complejo pertenecen a uno de estos dos conjuntos: (a) Si escapan al infinito (r > 1): conjunto de escape E. En este caso los puntos exteriores del crculo unidad. (b) Si permanecen recluidos en una regin finita (r 1): conjunto prisionero P. En este caso el crculo unidad cerrado. La frontera de P (r = 1) es el conjunto de Julia de esta iteracin: la circunferencia unidad.
20
z n +1 = z + c
2 n
Al potenciar el mdulo, la iteracin nos manda al origen o al infinito, Elevar al cuadrado implica excepto para el mdulo de valor 1 multiplicar el ngulo por dos. (con c = 0).
21
c = 0.275
c = 1/4
c=0
c = -3/4
c = -1.312
c = -1.375
c = -2
c=i
c=(+0.285,+0.535)
c=(-0.125,+0.750)
c=(-0.500,+0.563)
22 c=(-0.687,+0.312)
Cmo discriminar si un punto del plano complejo pertenece o no al conjunto de escape Ec? Existe un sencillo criterio: Si |z| |c| y |z| > 2, entonces z es un punto de escape de la iteracin zn+1 = zn2 + c. Supongamos que definimos r(c) = max (|c|, 2), y que se cumplen las condiciones del criterio. Entonces, existe un > 0 tal que r(c) = 2 + y |z| r(c).
23
Observemos que: |z2 + c| |z2| - |c| = |z|2 - |c| |z|2 - |z| = (|z| - 1)|z| Recordemos que |z| r(c) = 2 + . Entonces: (|z| - 1)|z| (1 + )|z|. En conclusin, si z cumple las condiciones previas, entonces: |z2 + c| (1 + )|z|. De modo que en cada iteracin el mdulo del nuevo valor crece.
24
Fractint/Winfract Ultrafractal (UF) probablemente es el programa de generacin de fractales ms usado por la comunidad de ciberartistas que experimentan con fractales. Puedes bajarte una versin de evaluacin en http://www.ultrafractal.com/, la pgina oficial del programa. No te pierdas la galera de imgenes en: http://www.ultrafractal.com/showcase.html. Te hars una idea de las posibilidades de UF.
Ejecutar Ultrafractal localmente.
25
Un conjunto S se llama conexo si cualquier par de sus puntos pueden conectarse mediante un camino formado por puntos que pertenecen a S. Un abierto conexo se denomina dominio (en algunos textos se denomina regin). P.ej.: todo entorno es un dominio. Son los siguientes conjuntos de puntos dominios? Un anillo y abierto Un disco abierto y
1
Conjuntos conexos
x x y
Teorema: Cualesquiera dos puntos de un dominio pueden unirse por medio de una lnea poligonal contenida en el dominio.
27
El conjunto de Mandelbrot
28
z n +1 = z + c
2 n
29
z n +1 = z + c
2 n
El valor de c determina si un conjunto de Julia es conexo o no. Para determinar qu valores de c producen conjuntos de Julia conexos parece que no quede ms remedio que determinar cada conjunto iterando todos los puntos del plano complejo para cada funcin z2 + c. Afortunadamente, se puede demostrar que basta con iterar z0 = (0, 0) para cada c.
30
Si la rbita con semilla z0 = (0, 0) no escapa al infinito, entonces el conjunto de Julia es conexo. El conjunto de todos los valores c tales que sus correspondientes conjuntos de Julia son conexos forman en el plano complejo el famoso conjunto de Mandelbrot.
Este es el dibujo original que Mandelbrot descubri a la comunidad cientfica a finales de los 70 cuando trabajaba en el centro de investigacin Thomas J. Watson.
31
En la figura de la izquierda estn representados algunos conjuntos de Julia con distintos valores de c (indicados en el plano complejo por las lneas de color azul). Para valores de c dentro del conjunto de Mandelbrot la forma de los conjuntos de Julia es semejante a crculos. Fuera del conjunto tenemos nubes de puntos desconectados (conjuntos de Julia no conexos). Los conjuntos de Julia ms interesantes estticamente se observan en la frontera. Las formas dendrticas de los conjuntos de Julia corresponden a las fronteras filamentosas del conjunto de Mandelbrot. En la imagen inferior puedes observar un gif animado del efecto de la variacin continua del parmetro c en las formas de los conjuntos J a lo largo de una lnea que va desde la frontera de M (forma dendrtica) hasta su interior 32 (forma circular).
33
34
35
36
37
Funciones complejas
Sea S un conjunto de nmeros complejos z = x+iy. Una funcin f definida sobre S es una regla que asigna a cada z en S un nmero complejo w llamado valor de f en z.
w = f(z)
z es una variable compleja. S es el dominio de definicin de f. El conjunto de valores de la funcin f se llama rango de f.
Ejemplos:
f ( z) = z
= ( x + iy ) 2
Cules son los dominios de definicin de estas funciones?
2 2
w = f (z )
= ( x y ) + i (2 xy )
v ( x, y )
u ( x, y )
w = u ( x, y ) + i v ( x, y )
Parte real Parte imaginaria
f ( z ) = 2iz + 6 z = 2i ( x + i y ) + 6( x i y ) = (6 x 2 y ) + i ( 2 x 6 y )
Cul es el valor de f (z ) en z = 3 + 2i ?
f ( z ) = (6 x 2 y ) + i ( 2 x 6 y ) = ( 6 3 2 2) + i ( 2 3 6 2) = 14 6i
39
u ( x, y )
v ( x, y )
P( z ) = c0 + c1 z + c2 z + c3 z + c4 z +
2 3 4
+ cn z
donde c0, c1...cn son constantes complejas y cn es distinto de cero. P( z ) Funciones racionales (cocientes de polinomios): Si en f(z) = u+iv, v = v(x,y) = 0, entonces f es una funcin de variable compleja con valores reales. P.ej.: f(z)= |z|2 = x2 + y2 .
Q( z )
40
41
y = f (x)
y
f ( x) = x
x
42
w = f (z )
f ( z) = z
2 2 2
y
Parte imaginaria
Imagen
f (1) = (1) = 1 f (1 + i ) = (1 + i ) = 2i
Preimagen. Cul es la otra?
2i
1+ i
Asignacin Parte real
+1
x
43
z = x+iy
Plano z
f ( z) = z 2
w = u + iv
Plano w
y
z3 = 1 + i
v
w3 = 2i
w1 = 3 + 4i
z 4 = 1
z1 = 2 i
x
z2 = 1 2i
w2 = 3 4i
w4 = +1
45
w = f ( z) = z + c
con c = (c1 , c2 )
z = ( x, y ) w = ( x + c1 , y + c2 )
Rotacin alrededor del origen y alargamiento/contraccin:
Funciones lineales
w = f ( z ) = bz + c
Ejemplo:
Translacin
Rotacin y alargamiento/contraccin
w = f ( z ) = iz + (i + 1)
47
La funcin/transformacin
y
Plano z
f ( z) = z 2 2 z w = z = r [cos(2 ) + i sin( 2 )]
2
v
Plano w
Es biyectiva la transformacin?
48
f ( z) = z 2 2 z w = z = r [cos(2 ) + i sin( 2 )]
2
y
Plano z
v
Plano w
Cmo puede ser? Si a cada punto de la semicircunferencia del plano z le corresponde un solo punto del plano w, cmo media circunferencia se transforma en una entera? No hay el doble de puntos en una circunferencia que en media?
49
f ( z ) = (1 ) z + z ; [0,1]
2
50
f ( z ) = (1 ) z + z ; [0,1]
2
51
En general
Curva en el plano z Curva en el plano w
Obtenemos la transformacin de la parametrizacin:
F ( x, y ) = 0
Parametrizamos la curva:
z = z (t ) = x(t ) + iy (t )
(u , v) = 0
Transformacin f(z)
w = f ( z ) = u ( x, y ) + iv( x, y )
52
En qu curva se transforma una circunferencia de radio unidad centrado en el origen a travs de la funcin f(z)=z2?
Circunferencia de radio unidad centrada en el origen: F ( x, y ) = x 2 + y 2 1 = 0 La transformacin es: Parametrizamos. Todos los puntos de la cincurferencia pueden expresarse como:
f ( z ) = z 2 = ( x + iy ) 2 = = ( x y ) + i (2 xy )
2 2
En componentes:
(u , v) = u 2 + v 2 1 = 0 La imagen traza una circunferencia de radio unidad centrada en el origen dando dos vueltas.
u ( x, y ) = x 2 y 2 v( x, y ) = 2 xy
53
f ( z ) = (1 ) z + z ; [0,1]
2
54
Re(z) = x = 1,
u ( x, y ) = x 2 y 2 = 1 y 2 v( x, y ) = 2 xy = 2 y
y = v / 2, entonces u = 1 v 2 / 4
55
z = k + iy
y = k2 u u ( x, y ) = x y = k y 2 v = 4k 2 (u k 2 ) v v( x, y ) = 2 xy = 2ky y= 2k
2 2 2 2
La ecuacin de un parbola abierta hacia la izquierda: con vrtice en (k2, 0) y foco en el origen. Idem para rectas horizontales (pero sern parbolas hacia la derecha):
y=k z = x + ik
u ( x, y ) = x y = x k
2 2 2 2
v( x, y ) = 2 xy = 2kx
x = u k2 2 2 2 v v = 4k (u k ) x= 2k
56
Tomemos como dominio un rectngulo con esquinas en 3/23/2i. Observa como las lneas verticales, formadas por complejos de parte real constante, se convierten en parbolas abiertas hacia la izquierda. Y las lneas horizontales, formadas por nmeros complejos de parte imaginaria constante, en parbolas abiertas a la derecha. Observa tambin como los ngulos entre rectas amarillas y . rosas siguen siendo rectos: la transformacin es conforme.
http://www.ima.umn.edu/~arnold/complex.html
Douglas N. Arnold
57
f ( z ) = (1 ) z + z ; [0,1]
2
58
59
60
u ( x, y ) = x 2 y 2
v( x, y ) = 2 xy
( x, y ) ( x 2 y 2 , 2 xy )
Los puntos z sobre la hiprbola x2 y2 = k se transforman en lineas u = k. Los puntos z sobre la hiprbola 2xy = k se transforman en lineas v = k.
61
f(z) = z
http://winnie.fit.edu/~gabdo/function.html
62
f(z) = z
63
64
lim f ( z ) = w0
si f est definida en un entorno de z0 (a excepcin tal vez de z0 mismo) y si: real > 0, un real > 0: z z0 , y |z - z0| < , entonces |f(z) - w0| < .
y
z0 z
f(z) w0
Es decir: si dado un entorno de radio alrededor del lmite, podemos determinar un entorno de radio (, z0) alrededor de z0.
65
Observemos que como en el caso de variable real, la definicin de lmite no nos dice cmo encontrarlo. Demostremos que:
lim( z + i ) = 2i
z i
0 <| z i |<
Tomando = , por ejemplo, siempre se cumple.
Ejercicio: Demostrar que si el lmite existe, es nico. (Nota: Suponer dos valores distintos para el lmite, aplicar definiciones y demostrar entonces que ambos valores han de ser, a la fuerza, el mismo).
0 <| z i |<
66
Cul es el equivalente a lmite por la derecha y por la izquierda de variable real en el caso de variable compleja? En el plano complejo podemos acercarnos al lmite a travs de una infinidad de trayectorias. Por ejemplo:
f ( z ) = Arg z
< Arg z + C2 Toda vecindad de z0 contiene valores de Arg z en el segundo cuadrante arbitrariamente cerca de , pero tambin del tercer cuadrante arbitrariamente cerca 0 de . Acercndonos por C1 y por C2 obtenemos dos valores distintos del lmite.
x
C1
67
Ejemplo
x + x i( y + y) f ( z) = + x+ y x+ y
2 2
Esta funcin no est definida para z = x+iy = 0, (x = 0, y = 0). Veamos que no existe el lmite de la funcin cuando z tiende a 0. (1) Nos aproximamos al origen a lo largo del eje y. Tomando x=0 en f(z), tenemos: Que se aproxima a i, a medida que nos acercamos al origen.
2
f ( z ) x =0
i( y + y) = = i ( y + 1) y
(2) Tomando y=0 nos aproximamos a lo largo del eje x: Que tiende a 1. 2 x +x Como el lmite por ambos f ( z ) y =0 = = x +1 caminos no coincide, el x lmite no existe.
68
69
Ejercicios:
(1) Sean: f ( z ) = u ( x, y ) + i v( x, y ), z0 = x0 + iy0 y w0 = u0 + iv0 Entonces:
z z0 ( x , y ) ( x0 , y 0 )
lim f ( z ) = w0 sii
( x , y ) ( x0 , y 0 )
lim
u ( x, y ) = u 0 y
lim
v( x, y ) = v0
lim f ( z ) = w 0 lim | f ( z ) | = | w 0 |
z z0
| f ( z) | | w0 | | f ( z) w0 |
70
f ( z ) w0 lim = ' z z0 g ( z ) w0
si w 0
' 0
z z0
2 lim z 2 = w0
Como adems:
z z0
lim c = c
z z0
lim f ( z ) = lim f ( z )
z z0
72
73
Ejemplo: Sea
z 1 f ( z) = z2
75
z z0
lim f ( z ) =
lim f ( z ) = w0
z
lim f ( z ) =
z
77
78
Sol.: No existe.
79
La esfera de Riemann
Esfera de radio unidad centrada en el cero del plano complejo. Proyeccin estereogrfica: hacemos corresponder cada punto del plano con un punto de la esfera como muestra la grfica. El polo norte N de la esfera corresponde al punto del infinito.
80
para todo real > 0, un real > 0: |f(z) - w0| < para todo z: |z|> 1/.
O:
z z0
lim f ( z ) =
| z |= r = Arg( z )
Espiral de Arqumedes. Dado que < Arg z + , la ecuacin anterior solo representa una espira de la espiral.
82
83
84
Ejercicio:Las sumas, diferencias y productos de funciones continuas son continuas. El cociente de dos funciones continuas es continuo salvo en los puntos en que se anula el denominador. La composicin de funciones continuas es continua. Sea f(z) = u(x,y) + iv(x,y), entonces u y v sern continuas en todo punto en el que f(z) lo sea. Y a la inversa: f(z) ser continua en todo punto en que u(x,y) y v(x,y) lo sean.
85
Ejemplo:
z2 +1 , zi Sea: f ( z ) = z i 3i, z = i
Es continua f(z) en z = i? (1) f(i) = 3i est definido. (2) Calculemos el lmite de la funcin cuando z tiende a i:
86
Funciones continuas
Ejercicios: (1) Sea f(z) = u(x,y) + iv(x,y), entonces u y v sern continuas en todo punto en el que f(z) lo sea. (2) Y a la inversa: f(z) ser continua en todo punto en que u(x,y) y v(x,y) lo sean. Nota: Recuerda que, u(x,y) ser continua en (a,b) sii lim(x,y)(a,b) u(x,y) = u(a,b).
87
(r , ) (1 / r , )
Una inversin en el crculo unidad (lo de fuera pasa adentro y al contrario) seguida de una reflexin respecto al eje x. Las circunferencias de radio r se convierten en circunferencias de radio 1/r. En particular, una circunferencia de radio unidad permanece invariante.
88
f(z) = 1/z
Esquema de color dependiente del argumento Dominio
(r , ) (1 / r , )
Rango
Biyeccin
"We may thus think of the interior of the unit circle as a condensed image, a microcosmos, of its exterior". To infinity and beyond, Eli Maor
89
f(z) = 1/z
Esquema de color dependiente del mdulo Dominio
(r , ) (1 / r , )
Rango
90
Gardner, M. The Sixth Book of Mathematical Games from Scientific American. Chicago, IL: University of Chicago Press, 1984.
http://mathworld.wolfram.com/Inversion.html
91
Planos z y w superpuestos
Una lnea que pase por el centro O, permanece invariante... Una lnea que no pase por el centro O se transforma en un crculo k que pasa por O (y al revs) y est completamente dentro del crculo unitario de inversin c. Si la lnea es tangente al crculo unitario de inversin c, el crculo k toca en el mismo punto a la lnea y al centro O. ... Vamos a describirlo con algo de mates...
92
93
1 1 2 u + v = 2c 2c
Es decir, un crculo de centro (1/2c, 0) que pasa por el origen. El semiplano x > c se transforma en el interior del crculo.
94
a( x 2 + y 2 ) + bx + cy + d = 0 v u x= 2 2 ; y= 2 2 u +v u +v u 2 v 2 u v a 2 2 + 2 2 + b 2 2 c 2 2 + d = 0 u +v u +v u + v u + v a + bu cv +d =0 2 2 u +v d (u 2 + v 2 ) + bu cv + a = 0
95
d 0 ecuacin de un crculo
(1) a y d distintos de 0: crculos que no pasan por el centro se transforman en crculos que no pasan por el centro. (2) a distinto de 0 y d = 0: crculos que pasan por el centro se transforman en rectas que no pasan por el centro. (3) a = 0 y d distinto de 0: rectas que no pasan por el centro se transforman en crculos que pasan por el centro. (4) a = d = 0: rectas que pasan por el centro se transforman en rectas que pasan por el centro.
De hecho, si pensamos en rectas como crculos de radio infinito, 1/z transforma crculos en crculos.
96
f(z) = 1/z
Esquema de color dependiente del argumento Dominio Rango
97
v = -ku
98
az + b M ( z) = w = cz + d
La transformacin inversa es tambin bilineal:
(ad bc 0, a, b, c, d C )
dw + b M ( w) = z = cw a
1
Observemos que la transformacin no est definida para z = -d/c. Y lo mismo ocurre con w = a/c en el caso de la inversa. El conjunto de posibles transformaciones bilineales forman un grupo.
99
az + b M ( z) = w = cz + d
(ad bc 0, a, b, c, d C )
100
lim T ( z ) = ,
T (i ) = lim T ( z ) = , T (i ) =
z i
101
102
As que para las transformaciones bilineales transforman el conjunto de crculos y lneas en s mismo.
103
z 1 2 f ( z) = = 2z + 8 2 z + 4
C: z2 2
Re(z)
z ' = z + 4 (traslacin )
z ' 6 2
2 4 6 8 Re(z')
1 2 z = f ( z) = 2z + 8 2 z + 4 1 2 C : z ' 6 2 2 z'
C: z2 2
1 16
105
3/16 1/4
Re(z'')
C: z2 2
1/2
Re(z''')
106
Z = z ' ' ' = ei z ' ' ' (giro de todos los afijos 180 , manteniendo el mdulo, claro) 3 1 Z+ 8 8
Re(Z)
-1/2
-3/8
1 w = + Z (traslacin ) 2 1 1 w 8 8
1/8 1/4 Re(Z)
107
Ejemplo: Sea a una constante compleja tal que Im(a) > 0. Encontrar la imagen del semiplano infinito za w= superior bajo la transformacin bilineal:
za
Consideremos primero el borde. Para los puntos z sobre el eje x, tenemos: | za|
| z a |=| z a |
| w |=
De modo que el eje x se transforma en el crculo unidad con centro en el origen. z = a se transforma en w = 0 (un punto interior del crculo).
| za|
=1
La transformacin es continua, y de aqu podemos deducir que la imagen del semiplano superior es el interior del crculo.
108
109
110
111
112
113
114
115
Mbius Transformations Revealed is a short video by Douglas Arnold and Jonathan Rogness which depicts the beauty of Mbius transformations and shows how moving to a higher dimension reveals their essential unity. It was one of the winners in the 2007 Science and Visualization Challenge and was featured along with the other winning entries in the September 28, 2007 issue of journal Science. The video, which was first released on YouTube in June 2007, has been watched there by more than a million viewers and classified as a "Top Favorite of All Time" first in the Film & Animation category and later in the Education category. It has been selected for inclusion in MathFilm Festival 2008. 116
Tripletes a Tripletes
Observa que podemos crear una transformacin de Moebius a partir de tres puntos:
z z1 z 2 z3 ( z 2 z3 )z z1 az + b = = M ( z) = z z3 z 2 z1 ( z 2 z1 )z z3 cz + d
b = z1 ; d = z3 ; a = z 2 z3 = z 2 + d ;
esta transformacin tendr un cero en z = z1 (T(z1) = 0 , T(z2) = 1 y tiene un polo en z = z3 (T(z3) = ). De modo que T(z) transforma los complejos z1, z2, z3 en 0, 1, e , respectivamente.
c = z 2 z1 = z 2 + b.
117
transforma w1, w2, w3 en 0, 1 e , y S-1 transforma 0, 1 e en w1, w2, w3. De modo que w = S-1(T(z)) transforma el triplete z1, z2, z3 en el triplete w1, w2, w3. Observa que como w = S-1(T(z)), tenemos que S(w) = T(z) y
w w1 w2 w3 z z1 z 2 z3 = w w3 w2 w1 z z3 z 2 z1
118
Ejemplo: Construye una transformacin de Moebius que transforma los puntos 1, i, 1 sobre el crculo unidad |z| = 1 a los puntos 1, 0 y 1 sobre el eje real.
w w1 w2 w3 z z1 z 2 z3 = w w3 w2 w1 z z3 z 2 z1
w +1 0 1 z 1 i +1 w +1 z 1 o = = i w 1 0 (1) z + 1 i 1 w 1 z +1
Despejando w, tenemos w = i(z i)/(z + i).
119
120
121
122
Ejemplo: Construye una transformacin de Moebius que transforma los puntos , 0, 1 sobre el eje real en los puntos 1, i, 1 sobre el crculo |w| = 1. Puesto que z1 = , los trminos z z1 y z2 z1 z z1 z2 z3 en: T ( z) =
z z3 z2 z1
son 1. Y entonces:
1 0 1 w 1 i +1 w +1 1 o S ( w) = i = = T ( z) = w 1 z 1 w +1 i 1 z 1 1
123
Versin matricial
Podemos asociar la transformacin bilineal a una matriz:
a La matriz A = c a1 z + b1 Si T1 ( z ) = , c1 z + d1 b az + b representa la transformaci T ( z ) = d cz + d a2 z + b2 T2 ( z ) = , c2 z + d 2
1 i 2 1 2 + i 1 + 2i , = i 1 1 2 = 1 2i 2+i (2 + i ) z + 1 + 2i 1 entonces : S (T ( z )) = (1 2i ) z + 2 + i
125
127
128
129
130
131
132
133
134
135
136
137
138
La banda de Moebius
(Mbius strip)
Max Bill, Endless surface. From 1953 to 1956. Size125 x 125 x 80 cm. Open air Sculpture Middlelheim Museum, Antverpen, Belgium.
139
140
141
142