9.

¿Cuál de los siguientes subconjuntos de x en los complejos

son conexos? Si x no es conexo ¿Cuáles son sus componentes?

(a) X  Z : Z  1  Z : Z  2 1

 1 
(b) X   0,1  1  : n  1
 n 

(c) 𝑋 = 𝐶 − (𝐴 ∪ 𝐵): 𝐴 = [0, ∞)𝑦𝐵 = {𝑧 = 𝑟𝑐𝑖𝑠𝜃: 𝑟 = 𝜃, 0 ≤ 𝜃 ≤ ∞}

Solución:

a. Definimos X  Z : Z  1  Z : Z  2 1  A  B.

Es suficiente con demostrar que x es conexo por camino.

Se puede ver además que A es conexo por camino y B es
conexo por camino. Por lo tanto demostraremos que X es
conexo por camino:
Nota: un espacio es conexo por camino si para
cualesquiera dos puntos x y y existe una función
continua
f : 0,1  X

Donde f (0)  x y f (1)  y . Sean x A y yB y sea la

función f : 0,1  X definida por:

 1 
(1  3t ) x  3t Re( x), 0  t  3 
 
 1 2
f (t )  (2  3t ) Re( x)  (3t  1) Re( y ),  t  
 3 3
 2 
(3  3t ) Re( y )  (3t  2) y, 3  t  1 
 
 Esta función mencionada anteriormente es continua, desde
la evaluación de
1
f    lim f (t )  lim f (t )  Re( x)  X
 3  t 1 t
1
3 3

2
y f    lim f (t )  lim f (t )  Re( y )  X
 3  t2 t
2
3 3

y sabiendo que f (0)  x y f (1)  y . Entonces X es conexo

por camino y por lo tanto x es conexo.
2
b. No hay manera de establecer conexión entre 2 y  .
3
Entonces los componentes son tomados en base a lo
definido en la función

0,1 , 2 , 
3 4  1
 ,   ,..., 1  
2 3  n
c. Ahora X is no es conexo, debido a que no existe una
conexión entre  2,1 y 1, 2 . Entonces el k-esimo

componente está dado por

f : X  C C   A  B  Donde

A   2K  2 ;2 K  y B queda determinad por la expresión

B  z  r cos  isen : r   , 2 k  2    2 k , k 1, 2,3, 4,5,...

11. decimos que f : X C está acotado si hay una constante

M  0 con f ( x)  M para todo x en X. demuestre que si f y g

están delimitados uniformente continuas (Lipschitz) funciones

de X en C entonces también lo es fg.

Solución:

- Sea f acotada, entonces existe una constante M1  0 con

f ( x)  M1 para todo x  X

- Sea g acotada, entonces existe una constante M 2  0 con

f ( x)  M 2 para todo x  X

Ahora se sabe que por la expresión

f ( x ) g ( x )  f ( x ) g ( x )  M 1M 2 x  X

Existe una constante M  M1M 2 con f ( x) g ( x)  M x  X

Si f es de Lipschitz, es decir, existe una constante
N1  0 tal que

 ( f ( x), f ( y))  N1d ( x, y) x, y  X

Ahora
x, y  X

 ( f ( x) g ( x), f ( y ) g ( y ))  f ( x) g ( x)  f ( y ) g ( y )
 f ( x) g ( x)  f ( x) g ( y )  f ( x) g ( y )  f ( y ) g ( y )
 f ( x) g ( x)  f ( x) g ( y )  f ( x) g ( y )  f ( y ) g ( y )
 f ( x) g ( x)  g ( y )  f ( x) g ( y )  g ( y )
 M 1 N 2 d ( x, y )  M 2 N1d ( x, y )
 ( M 1 N 2  M 2 N1 )d ( x, y )

Existe una constante K  M1 N2  M 2 N1  0 Con

 ( f ( x) g ( x), f ( y ) g ( y ))  Kd ( x, y ) x, y  X

Ahora si fg es Lipschitz y acotada se puede decir que fg es

uniformemente continua

Debido a que:

M 1 Tal que f ( x)  M1 x  X

M 2 Tal que g ( x)  M 2 x  X

1  01  0 Tal que  ( f ( x), f ( y))  f ( x)  f ( y)  1 cuando d ( x, y)  1

 2 0 2  0 Tal que  ( f ( x), f ( y))  f ( x)  f ( y)  1 cuando d ( x, y)   2

Ahora para verificar que es uniformemente continua tenemos

 ( f ( x) g ( x), f ( y ) g ( y ))  f ( x) g ( x)  f ( y ) g ( y )
 f ( x) g ( x)  f ( x) g ( y )  f ( x) g ( y )  f ( y ) g ( y )
 f ( x) g ( x)  f ( x) g ( y )  f ( x) g ( y )  f ( y ) g ( y )
 f ( x) g ( x)  g ( y )  f ( x) g ( y )  g ( y )

 M1 2  M 21

Cuando d ( x, y)  min(1 ,  2 ) . Así que tomando   M1 2  M 21 y

  min(1 ,  2 )

Nosotros tenemos que

  0  0

Satisface que

f ( x) g ( x)  f ( y) g ( y)  

Cuando d ( x, y )   por lo tanto se puede afirmar que fg es

uniformemente continua y acotada.
12. Suponga 𝑓: 𝑋 → 𝛺 es uniformemente continua, probar que si

 x  es
n
una sucesión de cauchy en 𝑋 entonces  f ( xn ) es una

sucesión de cauchy en  . ¿Esto es cierto si asumimos que 𝑓

es continua? (Probar o dar un contraejemplo)

Solución:

Sea 𝑓: 𝑋 → 𝛺 es uniformemente continua, esto es, para cada   

entonces existe    tal que   f ( x), f ( y)    sí d ( x, y )   . Además

xn  es una sucesión de cauchy en 𝑋, tenemos que 1   existe un

N talque d ( xn , xm )  1 para todo n, m  N . Pero luego, por la

continuidad uniforme, tenemos que

  f ( xn ), f ( ym )    n, m  N

Cuando d ( xn , xm )   se cumple que  f ( xn ) es una sucesión de

cauchy en  . Si 𝑓 es continua, la afirmación no es verdad.

13. Escribe la ecuación de una elipse, hipérbola y parábola
en forma compleja.

Para x, y, h, k , a, b  talque a, b  0 definamos una elipse real como

( x  h) 2 ( y  k ) 2
 1
a2 b2

x y h k
Sea z  i y z0   i . Si expandimos la ecuación para una
a b a b
elipse, tenemos

x 2 y 2 h2 k 2 2 xh 2 yk
     2 1
a 2 b2 a 2 b2 a 2 b

x2 y 2 h2 k 2
z   z0   ,
2 2
Notamos que y ahora escribamos la
a 2 b2 a 2 b2
ecuación de la elipse:

2 xh 2 yk yh yh xk xk
z  z0   2  i  i  i  i  z  z0  zz0  z z0  1
2 2 2 2
2
a b ab ab ab ab

Así, la ecuación de una elipse en el plano complejo es

 z  z0  ( z  z0 )  z  z0  1  z  z0  1
2

Donde z y z0 se definieron arriba, adicionalmente la forma de

una elipse en el plano complejo es de la forma

z a  z b  c
Donde c  a  b . Si a y b son los focos de una hipérbola. Luego,

cuando la magnitud de la diferencia de Z como los focos sea

una constante, tendremos una hipérbola

z a  z b  c

14. Probar la desigualdad de cauchy por inducción

Solución:

La desigualdad de cauchy es

a1b1  ...  anbn  ( a1  ...  an )( b1  ...  bn )

2 2 2 2 2

Que se puede escribir de forma más compacta como

n 2 n n

 aibi   ai b
2 2
i
i 1 i 1 i 1

Para el caso i  1 , se tiene

a1b1  (a1b1 )  (a1 b1 )  a1  a1  b1  b1  a1  b1

2 2 2

Para es verdadero para este caso. Ahora la desigualdad se

cumple para k 1 donde k 1  n . Es decir asumimos que

k 1 2 k 1 k 1

a b   ai b
2 2
i i i
i 1 i 1 i 1

Lo que es cierto

k 1 2 k 1 k 1

 aibi  ak bk   ai b  ak bk
2 2 2 2
i
i 1 i 1 i 1

k 1 2 k 1 k 1

 aibi   ai b  (ak bk )(ak bk )

2 2
i
i 1 i 1 i 1
 k 1 k 1
  ai b  ak bk
2 2 2 2
i
i 1 i 1
k k
  ak b
2 2
k
i 1 i 1

Por lo tanto, por el principio de la inducción matemática, la

desigualdad de Cauchy es verdadera para todos n  1 donde n  

15. Muestre que diam A  diamA

diamA  sup d ( x, y ) : x, y  A
Observación:

diamA  sup d ( x, y ) : x, y  A 
Solución:

(1) Sabemos que A  A , entonces


sup d ( x, y ) : x, y  A  sup d ( x, y ) : x, y  A 
diamA  diamA

(2) Sabemos también que A  A  A ' donde

A ' es el derivado de A

Luego, si x, y  A  x, y  A  x, y  A
'

Si x, y  A tenemos que diam A  diamA

Además si x, y  A' entonces existen sucesiones xn  , yn  de puntos

distintos de A, tales que x  Lim  xn  , y  Lim( yn ) .

Luego el  
sup d ( x, y) : x, y  A  sup d ( Lim  xn  , Lim( yn )) : xn  ,  yn   A con

puntos distintos entre sí.

 sup d ( x, y ) : x, y  A'   sup Lim(d ( x, y )) :  xn  ,  yn   A con puntos

distintos entre sí.

 Lim sup{d ( xn , yn ) :{xn },{ yn }  A con puntos distintos entre

sí}(puesto que d es continua). Con lo cual,

sup d ( x, y ) : x, y  A'   sup d ( x, y ) : x, y  A

 
sup d ( x, y ) : x, y  A  sup d ( x, y ) : x, y  A
 diam( A)  diam( A)

 Por (1) y (2) diam A  diamA

16. Muestre que (  , d ) donde d es dado por (I 6.7), (I 6.8)

es un espacio métrico.

2 z  z'
(I 6.7): d  z, z '  1
,  z, z ' 
(1  z )(1  z ' ) 
2 2 2
 

2
(I 6.8) d  z,   
 
1
1 z
2 2

Solución:

a) Sean z, z ', w  

2 z  z'
i) d  z, z '  1
 0,
(1  z )(1  z ' ) 
2 2 2
 

z , z '  0  (1  z )(1  z ' )  0 , además z  z'  0

2 2 2 2
Puesto que (es

cero si z=z´)
 2 z  z'
d  z, z '   0  2 z  z '  0  (1  z )(1  z ' )  0
2 2
1
ii) (1  z 2 )(1  z ' 2 )  2
 
 2 z z'  0  z z'  z z' z  z'

iii) Sabemos que z  z '  z ' z y además

(1  z )(1  z ' )  (1  z ' )(1  z ) con lo cual

2 2 2 2

2 z  z' 2 z  z'

(1  z )(1  z ' ) (1  z ' )(1  z )
2 2 2 2

 d ( z, z ')  d ( z ', z )

2 zw 2 w z'
d ( z , w)  d ( w, z ')  
(1  z )(1  w ) (1  w )(1  z ' )
2 2 2 2

iv)
2 z  w  (1  w )(1  z ' )  2 w  z ' (1  z )(1  w )
2 2 2 2


(1  z )(1  w ) 2 (1  z ' )
2 2 2

2 1 w ( z  w 1 z '  w  z ' 1 z )
2 2 2

d ( z , w)  d ( w, z ') 
(1  z )((1  w ) 2 ((1  z ' )
2 2 2

2( z  w 1  z '  w  z ' 1  z )
2 2

d ( z , w)  d ( w, z ') 
(1  z )(1  z ' )(1  w )3
2 2 2

 zw 
d ( z , w)  d ( w, z ')  2  
 1 z ' 2 
 