Title: Conjuntos de puntos en el plano complejo
1Conjuntos de puntos en el plano complejo
Un conjunto S de puntos en el plano complejo es
cualquier colecci贸n finita o infinita de puntos
en el plano complejo. Por ejemplo las soluciones
de una ecuaci贸n cuadr谩tica, los puntos de una
l铆nea, los puntos del interior de un c铆rculo,
etc.
Qu茅 lugares geom茅tricos describen las siguientes
ecuaciones?
La ecuaci贸n Arg z ? define una semirecta
infinita de pendiente ?. Entonces la desigualdad
anterior define un sector infinito comprendido
entre las semirectas infinitas Arg z ? y Arg z
?.
(...)
2Un 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 c铆rculo 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 un c铆rculo o
un cuadrado, puesto que sus complementarios (los
puntos exteriores al c铆rculo o al cuadrado) son
abiertos.
3La distancia entre dos puntos z y a es z-a. De
modo que un c铆rculo C de radio ? y centrado en
a, puede expresarse como z-a ?
z
C es abierto o cerrado?
En particular, el c铆rculo de radio unidad
centrado en el origen puede escribirse como
z 1
4Los puntos dentro del c铆rculo C vienen
representados por z-a lt ? (un entorno abierto
centrado en a).
0 lt z-a lt ? define un entorno punteado.
z
define un entorno circular cerrado centrado
en a.
z
y
?1
a
El anillo abierto de radios ?1 y ?2, viene dado
por ?1 lt z-a lt ?2
?2
x
5(1) Determina la regi贸n en el plano complejo dada
por z-3-i 4
y
4
3i
Es la regi贸n circular cerrada de radio 4 con
centro en 3i.
x
(2) Determina las regiones (a) zlt1 (b) z
1 (c) z gt1
(a) C铆rculo unidad abierto (b) C铆rculo unidad
cerrado (c) Exterior del c铆rculo unidad.
6Qu茅 lugar geom茅trico describe la siguiente
ecuaci贸n?
Una elipse de focos en -2 y 2 (suma de distancias
a los focos igual a 5) con semieje mayor igual a
5/2).
Ejercicio Qu茅 representan las siguientes
ecuaciones?
7- 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 c铆rculo. - 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 c铆rculo.
- 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 tambi茅n
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 puntos frontera.
8Conjuntos conexos
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. P.ej. todo
entorno es un dominio.
Son los siguientes conjuntos de puntos dominios?
?
?
9- Una regi贸n es un conjunto formado por un dominio,
m谩s, - quiz谩s, algunos o todos sus puntos frontera
(Cuidado - algunos autores usan regi贸n para indicar
dominio). - Un conjunto es acotado si todo punto de S est谩
dentro de - alg煤n c铆rculo z R. En caso contrario es no
acotado. - Un punto de S se dice que es de acumulaci贸n si
cada - entorno punteado del mismo contiene al menos un
punto de S. - Entonces, si S es cerrado contiene a todos sus
puntos de - acumulaci贸n.
- Un punto no es de acumulaci贸n 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 - acumulaci贸n a excepci贸n del cero.
10Semiplanos infinitos
Semiplano superior el conjunto de todos los
puntos z xiy tales que y gt 0 o Im(z) gt 0.
Inferior z xiy tales que y lt 0 o Im(z) lt 0.
Derecho z xiy tales que x gt 0 o Re(z) gt
0.
Izquierdo z xiy tales que x lt 0 o Re(z)
lt 0
- Qu茅 regiones describen?
- Im(z) 0, (b) Im(z) a,
- (c) Re(z) 0, (d) Re(z) a
11Funciones complejas
Sea S un conjunto de n煤meros complejos z
xiy. Una funci贸n f definida sobre S es una regla
que asigna a cada z en S un n煤mero complejo w
llamado valor de f en z.
- w f(z)
- z es una variable compleja.
- S es el dominio de definici贸n de f.
- El conjunto de valores de la funci贸n f se llama
rango de f. -
- Como w es complejo (w ui v con u y v reales)
podemos escribir - w f(z) u(x,y) i v(x,y)
- Una funci贸n compleja f(z) es equivalente a un par
de funciones reales u(x,y) y v(x,y), cada una
dependiente de dos variables reales x e y.
12Ejemplos
Funci贸n de variable compleja
Cu谩les son los dominios de definici贸n de
estas funciones?
Parte real Parte imaginaria
Cu谩l es el valor de en
?
13- Ejemplos
-
- Polinomios de grado n
-
- donde c0, c1...cn son constantes complejas y cn
es distinto de - cero.
- Funciones racionales (cocientes de polinomios)
- Si en f(z) uiv, v v(x,y) 0, entonces f
es una funci贸n de variable compleja con valores
reales. P.ej. f(z) z2 x2 y2 .
14Representaci贸n geom茅trica cartesiana
Funciones de variable real
Variable real
Asignaci贸n
15Funciones de variable compleja
C贸mo representarlas geom茅tricamente?
Parte imaginaria
Imagen
Preimagen. Cu谩l es la otra?
Parte real
Asignaci贸n
16Representaci贸n mediante dos planos z y w.
Plano z
Plano w
C贸mo transforman
?
17Transformaciones mediante funciones
lineales Existen muchas situaciones pr谩cticas
donde podemos simplificar un problema mediante
una transformaci贸n en el plano complejo.
Translaci贸n
Rotaci贸n alrededor del origen y
alargamiento/contracci贸n
18Funciones lineales
Ejemplo
Esta funci贸n transforma el cuadrado A en el
cuadrado B.
19La funci贸n/transformaci贸n
Observemos que la transformaci贸n no es biyectiva.
Los puntos z y z se transforman en el mismo w.
20Curva en el plano z
Transformaci贸n f(z)
Curva en el plano w
En qu茅 curva se transforma el c铆rculo de radio
unidad centrado en el origen a trav茅s de la
funci贸n f(z)z2?
La imagen traza una circunferencia dando dos
vueltas.
21(No Transcript)
22(No Transcript)
23(No Transcript)
24En qu茅 curvas se transforman rectas verticales
en el plano z a trav茅s de la funci贸n f(z)z2 en
el plano w?
La ecuaci贸n de un par谩bola abierta hacia la
izquierda con v茅rtice en (k2, 0) y foco en el
origen. Idem para rectas horizontales (pero
ser谩n par谩bolas hacia la derecha)
25Tomemos como dominio un rect谩ngulo con esquinas
en 3/23/2i. Observa
como las l铆neas verticales, formadas por
complejos de parte real constante, se
convierten en par谩bolas abiertas hacia la
izquierda. Y las l铆neas horizontales,
formadas por n煤meros complejos de parte
imaginaria constante, en par谩bolas
abiertas a la derecha. Observa tambi茅n como los
谩ngulos entre rectas amarillas y
rosas siguen siendo rectos la transformaci贸n es
conforme.
.
Douglas N. Arnold
http//www.ima.umn.edu/arnold/complex.html
26(No Transcript)
27(No Transcript)
28(No Transcript)
29Observa que puesto que la transformaci贸n w
f(z) z2 es
Los puntos z sobre la hip茅rbola x2 y2 k se
transforman en lineas u k. Los puntos z sobre
la hip茅rbola 2xy k se transforman en lineas v
k.
30(No Transcript)
31(No Transcript)
32Transformaci贸n w f(z) 1/z En este caso la
transformaci贸n si es biyectiva excluyendo al
origen. En coordenadas polares la transformaci贸n
es
Una inversi贸n en el c铆rculo unidad (lo de fuera
pasa adentro y al contrario) seguida de una
reflexi贸n respecto al eje x. Los puntos del
c铆rculo unidad permanecen invariantes. Los
c铆rculos se convierten en c铆rculos. Las l铆neas
que pasan por el origen se convierten en l铆neas
que pasan por el origen.
33(No Transcript)
34(No Transcript)
35Veamos con m谩s detalle la transformaci贸n f(z)
1/z.
- a y d distintos de 0 c铆rculos que no pasan por
el centro - se transforman en c铆rculos que no pasan por el
centro. - (2) a distinto de 0 y d 0 c铆rculos 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 c铆rculos que pasan por el
centro. - (4) a d 0 rectas que pasan por el centro se
transforman - en rectas que pasan por el centro.
36Ejemplo Cu谩l es la imagen de la recta x c
bajo la transformaci贸n f(z) 1/z?
Es decir, un c铆rculo de centro (1/2c, 0) que pasa
por el origen. El semiplano x gt c se transforma
en el interior del c铆rculo.
37(No Transcript)
38Transformaciones bilineales o de Moebius
La transformaci贸n inversa es tambi茅n bilineal
Observemos que la transformaci贸n 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.
39C贸mo transforma la bilineal?
De modo que cualquier transformaci贸n bilineal
puede obtenerse como una composici贸n de
transformaciones lineales y la transformaci贸n
1/z.
As铆 que para las transformaciones bilineales
transforman el conjunto de c铆rculos y l铆neas en
si mismo.
40Ejemplo Sea a una constante compleja tal que
Im(a) gt 0. Encontrar la imagen del semiplano
infinito superior bajo la transformaci贸n
bilineal
Consideremos primero el borde. Para los puntos z
sobre el eje x, tenemos
De modo que el eje x se transforma en el
c铆rculo unidad con centro en el origen. z a
se transforma en w 0 (un punto interior del
c铆rculo).
La transformaci贸n es continua, y de aqu铆 podemos
deducir que la imagen del semiplano superior es
el interior del c铆rculo.
41La transformaci贸n de Zhukovsky
M谩s general
Nikolai Egorovich Zhukovskii (1847-1921) (o
Zhukovsky o Joukowski)
La imagen de un c铆rculo que pasa por z 1 o z
-1 es una curva similar a la secci贸n transversal
de un ala de avi贸n.
42L铆mite
Una funci贸n f(z) se dice que tiene l铆mite w0
cuando z tiende a z0, y se escribe
si f est谩 definida en un entorno de z0 (a
excepci贸n tal vez de z0 mismo) y si ? real ? gt
0, ? un real ? gt 0 ? z ? z0 , y z - z0 lt ?,
entonces f(z) - w0 lt ?.
y
v
?
?
En general ??(?, z0) Si el l铆mite existe, es
煤nico.
z0
w0
f(z)
z
u
x
Es decir si dado un entorno de radio ? alrededor
del l铆mite, podemos determinar un entorno de
radio ?(?, z0) alrededor de z0.
43Observemos que como en el caso de variable real,
la definici贸n de l铆mite no nos dice c贸mo
encontrarlo. Demostremos que
Utilizando la notaci贸n anterior, tenemos en este
caso
Tomando ? ?, por ejemplo, siempre se cumple.
Ejercicio Demostrar que si el l铆mite existe, es
煤nico. (Nota Suponer dos valores distintos para
el l铆mite, aplicar definiciones y demostrar
entonces que ambos valores han de ser, a la
fuerza, el mismo).
44Cu谩l es el equivalente a l铆mite por la derecha y
por la izquierda de variable real en el caso de
variable compleja? En el plano complejo podemos
acercarnos al l铆mite a trav茅s de una infinidad
de trayectorias. Por ejemplo
Toda vecindad de z0 contiene valores de Arg z en
el segundo cuadrante arbitrariamente cerca de
, pero tambi茅n del tercer cuadrante
arbitrariamente cerca de . Acerc谩ndonos
por C1 y por C2 obtenemos dos valores distintos
del l铆mite.
45Ejemplo
Esta funci贸n no est谩 definida para z xiy 0,
(x 0, y 0). Veamos que no existe el l铆mite de
la funci贸n cuando z tiende a 0.
- Nos aproximamos al origen a lo largo del eje y.
Tomando - x0 en f(z), tenemos
Que se aproxima a i, a medida que nos acercamos
al origen.
(2) Tomando y0 nos aproximamos a lo largo del
eje x
Que tiende a 1. Como el l铆mite por ambos caminos
no coincide, el l铆mite no existe.
46Ejercicios (1) Sean
Entonces
47Propiedades de los l铆mites Sean w0 y w'0
los l铆mites, cuando z tiende a z0, de f(z) y g(z)
respectivamente. Entonces En particular si
f(z) g(z) z y por inducci贸n Como
adem谩s Entonces, para un polinomio P(z)
a0a1z...anzn, tendremos
Nota Es f谩cil demostrar estas propiedades a
partir de u(x,y) y v(x,y).
48- Punto del infinito
- El n煤mero complejo infinito o punto del infinito,
- denotado por , no posee signo ni argumento.
- Su m贸dulo es mayor que z para todo z complejo.
- Es un punto del plano complejo? No es
localizable, - pero s铆 alcanzable a trav茅s de cualquier
trayectoria - en la que z sea creciente.
- Se opera como en los reales. Por ejemlo
- z / 0, z/0 , etc.
- Cuando el plano complejo incluye al punto del
infinito , - hablamos de plano complejo extendido.
49Esfera de Riemann
Esfera de radio unidad centrada en el cero del
plano complejo. Proyecci贸n estereogr谩fica
hacemos corresponder cada punto del plano con
un punto de la esfera como muestra la gr谩fica.
El polo norte N de la esfera corresponde al
punto del infinito.
Bernhard Riemann (1826 - 1866)
50- Ahora ya podemos definir
- l铆mites al infinito. Si
- para todo real ? gt 0, ? un real
- gt 0 f(z) - w0 lt ? para todo
- z zgt 1/?.
Otra forma de la esfera de Riemann
O si para todo
real ? gt 0, ? un real ? gt 0 f(z) lt 1/?
siempre que z - z0 lt ?.
51Espirales esf茅ricas de M.C. Escher
La proyecci贸n estereogr谩fica tiene dos
propiedades importantes las circunferencias
siempre se transforman en circunferencias y la
transformaci贸n conserva 谩ngulos.
Espiral de Arqu铆medes. Dado que
, la ecuaci贸n anterior solo representa
una espira de la espiral.
52(No Transcript)
53Funciones continuas
Una funci贸n f(z) se dice que es continua en z
z0 si f(z0) est谩 definida en z0 y
Decimos que f(z) es continua en una regi贸n si es
continua en todo punto de la regi贸n.
(Nota si en el l铆mite ? ?(?, z0) no depende
de z0, la continuidad es uniforme).
EjercicioLas 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
composici贸n de funciones continuas es continua.
Sea f(z) u(x,y) iv(x,y), entonces u y v ser谩n
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.
54Ejemplo
Sea
Es continua f(z) en z i? (1) f(i) 3i est谩
definido. (2) Calculemos el l铆mite de la funci贸n
cuando z tiende a i
El l铆mite existe pero no coincide con el valor de
la funci贸n la funci贸n no es continua.
55- Ejercicios
- Demostrar que si f(z) es continua en una regi贸n
cerrada y acotada entonces es uniformemente
continua. - (2) Demostrar que si f(z) es continua en una
regi贸n R, entonces la funci贸n f(z) tambi茅n lo
es. - (3) Demostrar que si se cumplen las condiciones
de (2) entonces existe M gt 0 tal que f(z) M
para todo z de R. Y donde la igualdad estricta es
al menos v谩lida para un punto de R.
56Complex function revisited
Cuando definimos al principio del cap铆tulo una
funci贸n compleja, en realidad lo hicimos para
una funci贸n univaluada a cada valor de z le
correspond铆a un 煤nico valor w f(z). Por
ejemplo f(z) z2. Las funciones complejas
pueden ser multivaluadas cuando para alg煤n valor
de z le corresponde m谩s de un valor de f(z), como
ocurre, por ejemplo con f(z) vz. Podemos
considerar una funci贸n multivaluada como una
colecci贸n de funciones univaluadas. Cada miembro
de esta colecci贸n se llama una rama de la
funci贸n multivaluada. Es usual tomar una de estas
ramas como la rama principal y el valor f(z) en
esta rama como el valor principal. Para el caso
de funciones reales pasa algo semejante. Por
ejemplo, para f(x) vx tendr铆amos dos ramas (la
positiva y la negativa). Y solemos tomar como
rama principal a la positiva y como valor
principal a vx. Pero en variable compleja hay
m谩s sutilezas...
57Puntos de Ramificaci贸n y cortes de rama
Para univaluar la ra铆z cuadrada de z hagamos como
en el caso real, tomando arbitrariamente una de
las dos posibilidades
Si giramos siguiendo un camino continuo como
muestra la figura tendremos
f(z) sufre una crisis de identidad!
58Este camino continuo no nos genera
problemas. Cu谩l es la diferencia? Rodear el
origen z 0 parece ser lo que nos genera la
crisis.
z 0 es en este caso un punto de ramificaci贸n
de la funci贸n ra铆z cuadrada. Qu茅 ocurre si
damos dos vueltas alrededor del origen?
59Decimos que z0 es un punto de ramificaci贸n de
f(z) si el valor de f(z) no regresa a su valor
original cuando trazamos una curva cerrada
alrededor de 茅l, de manera que f var铆a de forma
continua a medida que recorremos la
curva. Observaci贸n debe ocurrir para cualquier
curva alrededor de z0 (lejana o cercana). La
funci贸n no tiene por qu茅 ser continua o existir
en z0.
60Cu谩l es la regi贸n m谩s grande posible sin crisis
de identidad?
Para todos los puntos de la regi贸n R la ra铆z
cuadrada est谩 univaluada.
Deseamos una regi贸n, lo mayor posible, tal que
no exista posibilidad de trazar un camino
continuo y cerrado que contenga al origen en su
interior una rama.
Regi贸n infinitesimal alrededor del eje x
positivo.
61Univaluamos la funci贸n ra铆z cuadrada
cortando el plano complejo a lo largo del eje
real positivo.
A es un punto infinitesimalmente cercano al corte
por arriba. Y B por abajo. La funci贸n es
discontinua a trav茅s del corte de rama.
Cortes de rama
Rama
Rama
Nota El corte es totalmente arbitrario.
62Hojas y superficies de Riemann
En la superficie de Riemann la funci贸n est谩
univaluada. Cada rama corresponde a un piso
(hoja de Riemman). Para el caso de la ra铆z
cuadrada las vueltas impares tocan arriba y
las pares abajo.
63Superficie de Riemann para f(z) z1/3
f(z) z1/n tendr谩 n hojas de Riemann. En
particular si f(z) no posee puntos de
ramificaci贸n, la superficie de Riemann coincide
con el plano complejo C.