Problemario de

Clculo Avanzado
Jos Matas Navarro Soza

Facultad de Matemticas
Universidad Autnoma de Yucatn
2014

Introduccin
La presente recopilacin de problemas de Clculo Avanzado corresponde al
curso obligatorio de la Licenciatura en Matemticas, Plan 2011.
Estos problemas pueden proporcionar al estudiante una ayuda para realizar
una autoevaluacin de su avance en el conocimiento adquirido durante el
curso, sobretodo si hace su mayor esfuerzo por resolver los problemas antes de
mirar las soluciones que se presentan al nal de este problemario. Lo anterior
se debe a que, aunque no se llegue a la solucin completa de un problema
dado, el tiempo dedicado a pensar en su solucin es muy importante para la
generacin de ideas y la aplicacin de los conocimientos, lo que constituye una
preparacin invaluable en esta carrera profesional.
Se ha tratado de ordenar los problemas de manera que la dicultad se vaya
incrementando, siguiendo el desarrollo de los temas de cada unidad del curso.

PROBLEMAS

Topologa bsica en espacios Euclidianos

Pn

1.1. Demostrar que kxk

i=1

jxi j para toda x = (x1 ; : : : ; xn ) 2 Rn .

1.2. Cundo se cumple la igualdad en la desigualdad del tringulo?

1.3. Demostrar que kx

yk

kxk + kyk. Cundo se tiene la igualdad?

1.4. Demostrar que jkxk

kykj

kx

yk.

1.5. Demostrar e interpretar geomtricamente la siguiente desigualdad:

d(z; x)

d(z; y) + d(y; x):

1.6. Se dice que una transformacin lineal T : Rn ! Rn preserva la norma si

kT (x)k = kxk, y se dice que preserva el producto interno si
hT (x); T (y)i = hx; yi :
Demostrar que T preserva la norma si y slo si T preserva el producto interno.
1.7. Denotemos por \(x; y) el ngulo entre x; y 2 Rn . Una transformacin
lineal T : Rn ! Rn se dice que preserva ngulos si es inyectiva y adems
cumple que \(T (x); T (y)) = \(x; y) para todo par de vectores no nulos x; y.
(a) Demostrar que si T preserva la norma entonces T preserva ngulos.
(b) Supngase que existe una base fx1 ; : : : ; xn g de Rn y que existen nmeros
reales 1 ; : : : ; n tales que T (xi ) = i xi . Demostrar que T preserva ngulos si
y slo si j 1 j = j 2 j =
= j n j.
1.8. Si 0

< , sea T : R2 ! R2 la transformacin lineal con matriz

asociada
cos
sen

sen
cos

Demostrar que T preserva ngulos y que si x 6= 0, entonces \(x; T (x)) = .

1.9. Demostrar que si T : Rm ! Rn es una transformacin lineal, entonces
existe un nmero real M tal que
kT (x)k

M kxk para toda x 2 Rm :

1.10. Si x; y 2 Rn y z; w 2 Rm . Demuestra que

h(x; z); (y; w)i = hx; yi + hz; wi
4

y que
q
2
2
k(x; z)k = kxk + kzk :
1.11. Si x; y 2 Rn , se dice que x e y son perpendiculares (o bien, ortogonales)
si hx; yi = 0. Demostrar que si x e y son perpendiculares, entonces
2

kx + yk = kxk + kyk :
1.12. Probar que el subconjunto U = fx 2 Rn : kx

ak < rg es abierto.

1.13. Demuestra que ; y Rn son abiertos y cerrados.

1.14. Demuestra que intersecciones arbitrarias de conjuntos cerrados resultan
ser conjuntos cerrados.
1.15. Demuestra que uniones nitas de conjuntos cerrados son conjuntos
cerrados.
1.16. Demuestra que cualquier conjunto nito de puntos en Rn es cerrado.
1.17. Demuestra que si A

Rn no tiene subconjuntos abiertos =) int A = ;.

1.18. Demuestra que A

Rn es abierto () int A = A.

1.19. Determinar el interior del conjunto

(x; y) 2 R2 : xy
1.20. A

B =) int A

1 :
int B?

1.21. Demuestra que ext A = intfRn

1.22. Demuestra que int A
1.23. Demuestra que ext A

Ag.

A.

fRn

Ag.

1.24. Demuestra que Rn = int A [ ext A [ @A, siendo mutuamente ajenos el

interior, el exterior, y la frontera de A.
1.25. Demuestra que si A y B son subconjuntos abiertos de Rn que no se
intersectan, entonces:
A\B
A\B

= ;;
= ;:
5

Rn es no vaco, abierto y cerrado, entonces

A = Rn .

1.26. Demuestra que si A

1.27. Defnase la distancia de un punto xo 2 R a un conjunto A

dist (xo ; A) = inffkx

Rn por

xo k : x 2 Ag

y demuestra que cuando A es cerrado siempre existe x0 2 A tal que

kx0
1.28. Demuestra que si X

xo k = dist (xo ; A) :
Rn es un conjunto abierto tal que X = A [ B,
donde

A \ B = ;;

y A \ B = ;;

entonces A y B son abiertos.

1.29. Un subconjunto A Rn se dice convexo si todo par de puntos de A se
pueden unir por un segmento de recta completamente contenido en A.
Demuestra que toda bola Br (x) Rn es un conjunto convexo.
1.30. Demuestra que A

Rn es cerrado () A contiene a todos sus puntos

lmite.

1.31. Demuestra que (A [ B) = A [ B.

1.32. Encuentra el interior, exterior y frontera de los siguientes conjuntos:
(a) B" (x),
(b) S n

(c) A = f(x1 ; : : : ; xn ) 2 Rn : xi 2 Qg :
1.33. Demuestra que cualquier conjunto nito de puntos en Rn es compacto.
1.34. Demuestra que Rn no es compacto.
1.35. Son compactos?
(a) fx 2 R : x

0g

(b) [0; 1] [ [2; 3]

(c) (x; y) 2 R2 : x2 + y 2 < 1
6

(d) fx 2 R : 0

1; x 2 Qc g

(e) (x; y) 2 R2 : 0
1.36. Sea A

Rn acotado. Demuestra que A es compacto.

1.37. Muestra un ejemplo de un subconjunto de un compacto que no sea

compacto.
1.38. Demuestra que si A Rn es cerrado y B Rn es un compacto tal que
A B, entonces A es compacto ("cerrados en compactos son compactos").
1.39. Demuestra que si A

R es compacto, entonces A es compacto como

subconjunto de R2 .

1.40. Da un contraejemplo a la armacin: "cualquier subconjunto de un

conexo es conexo".
1.41. Demuestra que un conjunto formado por un solo punto de Rn es conexo.
1.42. Demuestra que el conjunto Q+ = fx 2 Q : x > 0g es disconexo.
1.43. Demuestra que si A

Rn es conexo, entonces su cerradura A tambin es

conexa.

1.44. Demuestra que un conjunto convexo siempre es conexo.

Rn es un conjunto arco-conexo.

1.45. Demuestra que la bola B1 (0)

1.46. Demuestra que Rn

f0g es arco-conexo.

1.47. Demuestra que X = A [ B

A =
B

R2 donde

(x; y) 2 R2 : y = sen (1=x) ; x 6= 0 ;

(0; y) 2 R2 :

1 ;

es un conexo de R2 que no es arco-conexo.

1.48. Sean A; B R2 dos subconjuntos conexos. Demuestra o d un
contraejemplo para las siguientes armaciones:
(a) A \ B es conexo,
(b) A [ B es conexo.

1.49. Sean A; B

Rn subconjuntos conexos tales que A \ B 6= ;. Demuestra

que A [ B es conexo.

1.50. Demuestra que la unin de cualquier coleccin de conjuntos conexos en

Rn que tienen un punto en comn resulta ser un conjunto conexo.
1.51. Demuestra que si A

1.52. Sea A = fAi

Rn es conexo y se tiene A
es conexo.

A, entonces B

Rn : Ai es conexo 8i 2 N; Ai \ Ai+1 6= ;g. Demostrar

que A es conexo.

Continuidad en espacios Euclidianos

2.1. Si f : Rn ! R se dene jf j : Rn ! R por jf (x)j. Demuestra que si f es

continua en un punto, entonces jf j tambin es continua en ese punto.
2.2. Sea f : R ! R denida por
x

f (x) =

si x 2 R Q;
x si
x 2 Q:

Demuestra que:
(a) f es continua en x = 1=2,
(b) f es discontinua en todo punto x 6= 1=2:
2.3. Sea f : Rn ! R continua. Demuestra que si f (xo ) > 0 entonces existe
> 0 tal que f (B (xo )) (0; +1).
2.4. Sea f : Rn ! R continua. Demuestra que si f (xo ) < 0 entonces existe
> 0 tal que f (B (xo )) ( 1; 0).
2.5. Sea f : R ! R continua. Demuestra que si f (x) = 0 para todo x 2 Q,
entonces f (x) = 0 para toda x 2 R.
2.6. Sean f; g : R ! R continuas. Es verdad que f (x) = g(x) para todo
x 2 R () f (y) = g(y) para todo y 2 Q ?
2.7. Demuestra que si f : A Rn ! Rm es continua y B
entonces existe C Rn cerrado tal que
f

Rm es cerrado,

(B) = A \ C:

2.8. Si f : Rn ! R es continua y a < b, demuestra que el conjunto

fx 2 Rn : a

f (x)

bg

es cerrado en Rn .
2.9. Demuestra que la proyeccin
i (x1 ; : : : ; xn )

: Rn ! R denida por

= xi

es una funcin continua.

2.10. Demuestra que si f : A Rn ! Rm es continua y g : B Rm ! Rp es

continua, donde f (A) B, entonces la composicin
g f :A

Rn ! Rp

denida por (g f ) (x) = g (f (x)) es continua.

2.11. Demuestra que f : A Rn ! Rm es continua en un punto x 2 A ()
cada una de sus funciones componentes fi : A Rn ! R es continua en x.
2.12. Demuestra que el conjunto fx 2 Rn : kx ak < rg es abierto utilizando
la continuidad de la funcin f : Rn ! R denida por f (x) = kx ak.
2.13. Si A Rn no es cerrado, demuestra que existe una funcin continua
f : A ! R que no es acotada (no existe M > 0 tal que jf (x)j M para toda
x). Sugerencia: Si x 2 Rn A pero x 2
= int fRn Ag, considerar
f (y) =

1
ky

xk

2.14. Cierto o Falso? Si f : Rn ! R es continua y K

entonces f 1 (K) Rn es compacto.

R es compacto,

2.15. Sea C Rn conexo y sea f : C ! R continua tal que f (x) 6= 0 para

toda x 2 C. Demuestra que f resulta ser siempre positiva o siempre negativa.
2.16. Demuestra que si f : Rn ! Rm es inyectiva y transforma conjuntos
abiertos en conjuntos abiertos, entonces la funcin inversa f 1 es continua.
2.17. Demuestra que si f : K Rn ! Rn es continua e inyectiva con dominio
compacto K, entonces f 1 : f (K) ! K es continua.
2.18. Cierto o Falso? Si f : Rn ! Rm es tal que f 1 (K) es compacto para
todo compacto K Rm , entonces f es continua.
2.19. Demuestra que si K1 ; K2 son compactos en Rm entonces el conjunto
K1 + K2 := fx1 + x2 j x1 2 K1 ; x2 2 K2 g
es compacto.
2.20. Sea K Rn compacto y sea f : Rn ! Rm acotada. Demuestra que f es
continua si y slo si la grca de f es un subconjunto cerrado de Rn+m .

10

Fundamentos de diferenciacin en Rn
2

3.1. Sea f : Rn ! R una funcin tal que jf (x)j kxk . Demuestra que f es
diferenciable en el origen.
p
3.2. Sea f : Rn ! R denida por f (x; y) = jxyj. Demuestra que f no es
diferenciable en (0; 0).
3.3. Una funcin f : Rn ! R se dice homognea de grado m si f (tx) = tm f (x)
para toda x. Si f es diferenciable, demuestra que
n
X

xi Di f (x) = mf (x):

i=1

3.4. Si f : Rn ! R es diferenciable y f (0) = 0, prueba que existen n funciones

gi : Rn ! R tales que
f (x) =

n
X

xi gi (x):

i=1

3.5. Sea f : R2 ! R denida por f (0; 0) = 0 y

f (x; y) = xy=(x2 + y 2 ) si (x; y) 6= (0; 0) :
(a) Para cules vectores u 6= 0 existe Du f (0; 0)?
(b) Existen las derivadas parciales D1 f; D2 f en el origen?
(c) Es f diferenciable en el origen?
(d) Es f continua en el origen?
3.6. Repetir el ejercicio 3.5 para la funcin f (x; y) = jxj + jyj.
3.7. Sea f : R2 ! R denida por f (0; 0) = 0 y
f (x; y) = 2xy 2 =(x2 + y 4 ) si (x; y) 6= (0; 0) :
(a) Demuestra que existen D1 f; D2 f en el origen y que son iguales a cero.
(b) Demuestra que existe la derivada direccional de f en el origen en cualquier
direccin u 6= 0:
(c) Demuestra que f no es continua en el origen.

11

3.8. Demuestra que la funcin f (x; y) = jxyj es diferenciable en el origen, pero

no es de clase C 1 en cualquier vecindad del origen.
3.9. Sea f : R ! R denida por f (0) = 0 y
f (x) = x2 sen (1=x)

si x 6= 0:

(a) Demuestra que f es diferenciable en el origen y encuentra f 0 (0).

(b) Calcular f 0 (x) si x 6= 0.
(c) Demuestra que f 0 no es continua en 0.
(d) Demuestra que f es diferenciable en todo R pero no es de clase C 1 en R.
3.10. Demuestra que si para una funcin f : A Rn ! R existen las
derivadas parciales Di f y estn acotadas en una vecindad de a 2 A, entonces
f es continua en a.
3.11. Sea f : R2 ! R2 denida por f (r; ) = (r cos ; r sen ).
(a) Calcular Df y el determinante Jacobiano de f .
(b) Dibujar la imagen bajo f del conjunto A = [1; 2]

[0; ].

3.12. Repetir el ejercicio 3.11 para la funcin f : R2 ! R2 denida por

f (x; y) = x2

y 2 ; 2xy

y el conjunto
A = (x; y) j x2 + y 2

a2 ; x

0; y

0 :

3.13. Repetir el ejercicio 3.11 para la funcin f : R2 ! R2 denida por

f (x; y) = (ex cos y; ex sen y) y el conjunto A = [0; 1] [0; ] :
3.14. Para la funcin f del ejercicio 3.13 demuestra que f tiene determinante
Jacobiano distinto de cero en todo punto (x; y) pero f no es inyectiva.
3.15. Sea f : R3 ! R2 tal que f (0; 0; 0) = (1; 2) con
Df (0; 0; 0) =

1
0

2
0

3
1

y sea g : R2 ! R2 denida por

g(x; y) = (x + 2y + 1; 3xy) :
12

Encontrar el valor de D(g f ) (0; 0; 0).

2

3.16. Sea f : Rn ! Rn denida por f (x) = kxk x. Demuestra que f 2 C 1 y

transforma la bola B1 (0) sobre s misma de manera inyectiva pero la funcin
inversa no es diferenciable en el origen.
3.17. La funcin real
de variable real f (x) = x3 tiene f 0 (0) = 0, sin embargo
p
1
existe f (x) = 3 x para todo x 2 R. Esto es un contraejemplo para el
Teorema de la Funcin Inversa?
3.18. Para las funciones
f (x; y) = 3x

y 2 ; 2x + y; xy + y 3
y

g(x; y) = 2ye2x ; xey

encuentra D(f

) (2; 0).

3.19. Sea f : R2 ! R de clase C 1 con f (2; 1) =

1. Sean

G(x; y; t) = f (x; y) + t2 ;
y
H(x; y; t) = tx + 3y 3 + t3 :
Las ecuaciones
G(x; y; t) = 0; ::::::::::::(1)
H(x; y; t) = 0; ::::::::::::(2)
tienen la solucin (x; y; t) = (2; 1; 1). Qu condiciones sobre Df nos
garantizan la existencia de funciones diferenciables
x = g(y);

t = h(y);

denidas en un conjunto abierto de R tales que satisfacen las ecuaciones (1) y

(2) con g( 1) = 2; h( 1) = 1?

13

Fundamentos de integracin en Rn
4.1. Sea f : [0; 1]

[0; 1] ! R denida por

0 si 0 x 1=2
1 si 1=2 x 1:

f (x; y) =

Demostrar que f es integrable y que

Z
1
f= :
2
[0;1] [0;1]
4.2. Sea f : [0; 1]
8
< 0
0
f (x; y) =
:
1=q

[0; 1] ! R denida por

si x 2
= Q;
si x 2 Q;
si x 2 Q;

y2
= Q;
y = p=q;

donde la fraccin p=q es irreducible. Demostrar que f es integrable y que

Z
f = 0:
[0;1] [0;1]

4.3. Sea f : A

Rn ! R integrable y sea g = f excepto en un conjunto nito

de puntos. Probar que g es integrable y que
Z
Z
f=
g:
A

4.4. Sean f; g : A

Rn ! R integrables. Demostrar que:

(a) Para cada particin P de A y cada subrectngulo R,

mR (f ) + mR (g)

mR (f + g)

y
MR (f + g)

MR (f ) + MR (g);

de donde
L(f; P ) + L(g; P )

L(f + g; P )

y
U (f + g; P )

U (f; P ) + U (g; P ):

(b) La suma f + g es integrable y

Z
Z
Z
(f + g) =
f+
g:
A

14

(c) Para todo nmero real c,

cf = c

f:

4.5. Probar que si f; g : A Rn ! R son integrables, entonces el producto

f g tambin es integrable sobre A.
4.6. Sean f; g : A

Rn ! R integrables con f
Z
Z
f
g:
A

g. Demostrar que

4.7. Demostrar que si A1 ; : : : ; Ak son subconjuntos acotados de Rn tales que

se anula la medida de cada interseccin Ai \ Aj para toda i 6= j, siendo f
integrable sobre cada Ai , entonces:
(a) existe la integral de f sobre la unin A = A1 [
Z
R
R
(b)
f = A1 f +
+ Ak f .
A1 [

[ Ak ,

[Ak

Rn un rectngulo y sea f : Q ! R integrable sobre Q. Entonces:

R
(a) Si f se anula excepto en un conjunto de medida cero, entonces Q f = 0.
R
(b) Si f 0 y Q f = 0, entonces f se anula excepto en un conjunto de medida
cero.
4.8. Sea Q

4.9. Dar un ejemplo de una funcin f denida en un conjunto acotado A que

se anula, excepto en un subconjunto B A de medida cero, pero no tiene
integral nula sobre A.
4.10. Sea A Jordan medible y sea " > 0. Demostrar que existe un conjunto
compacto C A, Jordan medible tal que
Z
1 < ":
A C

4.11. Sea A = [a1 ; b1 ]

[an ; bn ] y sea f : A ! R continua. Denir

F : A ! R por
Z
F (x) =
f
[a1 ;x1 ]

[an ;xn ]

y encontrar Di F (x) para cualquier x 2 intA.

4.12. Sean A

R2 abierto, f : A ! R de clase C 2 , y Q
15

A un rectngulo.

(a) Usar el teorema de Fubini y el teorema fundamental del clculo para demostrar
que
Z
Z
D2 D1 f =

D1 D2 f:

(b) Demostrar que D2 D1 f (x) = D1 D2 f (x) para cada x 2 A.

16

SOLUCIONES

17

1. Topologa bsica en
espacios Euclidianos.
1.1. (Nigel)
Sea x = (x1 ; x2 ; : : : ; xn ) 2 Rn . Entonces
q
x21 + x22 +
+ x2n ;
q
q
p
x21 + x22 + ::: + x2n ;
6

kxk =

x21 +
x2n ;
n
X
x2i :
=

i=1

Ahora, la demostracin de la desigualdad usada arriba se puede realizar por

induccin sobre la dimensin n. Para n = 1 es obvio.
Supongamos que se cumple la desigualdad para n = k. Entonces tenemos por
hiptesis que
q
q
q
x21 +
+ x2k 6 x21 +
+ x2k :
q
x21 +
q
x21 +

Por demostrar:
q
q
q
+ x2k + x2k+1 6 x21 +
+ x2k + x2k+1 :

La hiptesis de induccin implica que

q
q
q
q
+ x2k + x2k+1 > x2k+1 + x21 +

+ x2k ;

Entonces solo falta demostrar que

q
q
q
x2k+1 + x21 +
+ x2k > x21 +
+ x2k + x2k+1 ;
lo cual es equivalente a demostrar que

q
q
x2k+1 + x21 +

x2k+1 + x21 +

+ x2k

>

q
x21 +

+ x2k + x2k+1

o bien, que
q
q
+ x2k + 2 x2k+1 x21 +
+ x2k > x21 +
18

+ x2k + x2k+1 ;

o que
q
q
2 x2k+1 x21 +
+ x2k ) > 0;
que es evidentemente cierto.

1.2. (Nigel)
La igualdad se tiene cuando los vectores x e y son linealmente dependientes y
tienen el mismo sentido (es decir la constante debe ser positiva en la ecuacin
y = x:
Por lo tanto,
kx + yk = kxk + kyk () 9

> 0 tal que y = x:

1.3. (Bladimir)
Para todo x; y 2 Rn ,
jjx

yjj2

n
X

(xi

yi )2 ;

(x2i

2xi yi + yi2 );

x2i

i=1

n
X

i=1

n
X

i=1

n
X

xi yi +

i=1

= jjxjj2

n
X
i=1

n
X

yi2 ;

i=1

xi yi + jjyjj2 :

Ahora, utilizando que para todo nmero real x,

jxj

x;

se sigue que
jjx

yjj2

jjxjj2 + 2

n
X
i=1

xi yi + jjyjj2 ;

y aplicando la desigualdad de Cauchy-Schwarz,

jjx

yjj2
=

kxk + 2 kxk kyk + kyk ;

2

(kxk + kyk) ;
19

y de ah se obtiene el resultado sacando la raz cuadrada. Por otra parte, la

igualdad se cumple cuando los dos vectores estn en la misma direccin pero
con sentidos opuestos.

1.4. (Cristian)
Para todo x; y 2 Rn , tenemos que

kx

yk

n
X

(xi

yi )2 ;

x2i

i=1

n
X

n
X

i=1

xi yi +

i=1

= kxk

n
X

yi2 ;

i=1

n
X

xi yi + kyk :

n
X

xi yi

i=1

Por otra parte,

n
X

n
X

xi yi

i=1

i=1

xi yi ()

n
X

i=1

xi yi ;

1.4.1

i=1

luego
2

kxk

n
X
i=1

xi yi + kyk

kxk

n
X
i=1

xi yi + kyk :

y por la desigualdad de Cauchy-Schwarz, anlogamente a (1.4.1),

2

kxk

de donde resulta que

n
X
i=1

kx

xi yi + kyk

yk

kxk

kx

2 kxk kyk + kyk ;

2 kxk kyk + kyk ;

(kxk

kyk) ;

yk

jkxk

kykj :

yk

kx

kxk

1.5. (Kelly)
Notemos que la desigualdad d(z; x) d(z; y) + d(y; x) quiere decir, por
denicin,
kz

xk

kz

yk + ky
20

xk :

Para x; y; z 2 Rn , la posicin "general" de esos puntos en el n-espacio

Euclidiano se puede pensar como en la siguiente gura:
(Falta la gura...que luego ser aadida)
Ahora, para x; y; z 2 Rn arbitrarios,
kz

xk = kz

y+y

xk ;

y, por la desigualdad del tringulo,

k(z

y) + (y

x)k

kz

yk + ky

xk ;

donde se ha aplicado dicha desigualdad al par de vectores de Rn denidos por

z y; y por y x. De donde, usando la denicin de distancia nuevamente,
d(z; x)

d(z; y) + d(y; x):

La interpretacin de esta desigualdad, en cualquier dimensin nita, es que la

distancia ms corta entre dos puntos es la longitud del segmento de lnea recta
que los une.
1.6. (Kelly)
( =) ) Supongamos que T preserva la norma, esto es, kT (x)k = kxk para toda
x 2 Rn . Entonces, por la identidad de polarizacin,
1
2
2
kx + yk
kx yk ;
4
1
2
2
=
kT (x + y)k
kT (x y)k ;
4
y por la linealidad de T ,

hx; yi =

1
1
2
2
2
2
kT (x + y)k
kT (x y)k =
kT (x) + T (y)k
kT (x) T (y)k :
4
4
Por ltimo, aplicando la identidad de polarizacin de manera inversa
obtenemos
1
2
kT (x) + T (y)k
kT (x) T (y)k2 = hT (x); T (y)i ;
4
luego
hx; yi = hT (x); T (y)i :
( (= ) Inversamente, si hT (x); T (y)i = hx; yi para todo par de vectores
x; y 2 Rn , por la denicin de norma tenemos que
2

kxk

= hx; xi ;
= hT (x); T (x)i ;
2

= kT (x)k ;
21

de donde obtenemos el resultado al extraer la raz cuadrada en ambos lados.

1.7. ()

1.8. (Kelly)
Por el ejercicio 1.7 (a), para demostrar que T preserva ngulos sera suciente
ver que T preserva la norma, lo cual se cumple en este caso, pues si
x = (x1 ; x2 ), entonces
T (x)

kT (x)k =
=
=
=
=

cos
sen

sen
cos

x1
x2

x1 cos
x1 sen

x2 sen
+ x2 cos

de donde obtenemos que

p
(x1 cos
x2 sen )2 + (x1 sen + x2 cos )2 ;
q
x21 cos2
2 x1 x2 sen cos + x22 sen2 + x21 sen2 + 2 x1 x2 sen cos + x22 cos2 );
q
x21 cos2 + x22 sen2 + x21 sen2 + x22 cos2 );
q
x21 (sen2 + cos2 ) + x22 (sen2 + cos2 );
q
x21 + x22 ;

= kxk :

Ahora, como esta T es inyectiva, para toda x 6= 0 se tiene que T (x) 6= 0 y si

\ (x; y) es el ngulo entre x e y, entonces
cos \(x; T (x))

hx; T (x)i
;
kxk kT (x)k
hx; Axi
2 :
kxk

=
=

Ahora,
hx; Axi = x21 cos + x1 x2 sen
= (x21 + x22 ) cos ;

x1 x2 sen

luego
cos \(x; T (x))

=
=
22

(x21 + x22 ) cos

;
x21 + x22
cos :

+ x22 cos ;

De ah que, como 0

, entonces \ (x; T (x)) = .

1.9. (Rodrigo)
Si A = (aij ) es la matriz asociada a la transformacin lineal T : Rm ! Rn ,
entonces podemos escribir
kT (x)k = kAxk ;
v
uX
n
um X
= t
(aij xi )2 ;
i=1 j=1

v
uX
n
um X
(aij )2 (xi )2 ;
= t
i=1 j=1

v
uX
n
m
X
um X
t
(aij )2
(xi )2 ;
i=1 j=1

i=1

v
v
um
uX
n
uX
um X
(aij )2 t (xi )2 ;
= t
i=1 j=1

i=1

= M kxk ;

donde
v
uX
n
um X
(aij )2 ;
M =t
i=1 j=1

y de ah el resultado.

1.10. (Maril)
(a) Sean x; y 2 Rn , z; w 2 Rm . Entonces usando coordenadas y la denicin
del producto interno usual en un espacio Euclidiano en trminos de esas
coordenadas, tenemos que
h(x; z); (y; w)i = h(x1 ; : : : ; xn ; z1 ; : : : ; zm ); (y1 ; : : : ; yn ; w1 ; : : : ; wm )i ;
= x1 y1 +
+ xn yn + z1 w1 +
+ zm wm ;
= (x1 y1 +
+ xn yn ) + (z1 w1 +
+ zm wm ) ;
= hx; yi + hz; wi :
(b) Sean x; y 2 Rn , z; w 2 Rm . Entonces,
p
k(x; z)k = h(x; z) ; (x; z)i;
23

por tanto

k(x; z)k = h(x; z) ; (x; z)i :

Ahora, usando (a) podemos escribir
h(x; z) ; (x; z)i = hx; xi + hz; zi :
En consequencia,

k(x; z)k = kxk + kyk ;

de donde se obtiene el resultado al extraer la raiz cuadrada.

1.11. (lvaro)
Sean x = (x1 ; : : : ; xn ) ; y = (y1 ; : : : ; yn ) dos vectores de Rn . Entonces
2

kx + yk

n
X

(xi + yi )2 ;

i=1

n
X

x2i + 2

i=1

n
X

xi yi +

i=1

n
X

yi2 :

i=1

Ahora, por la ortogonalidad de x e y;

hx; yi =

n
X

xi yi = 0;

i=1

por lo que
2

kx + yk

n
X

x2i +

i=1

n
X

yi2 ;

i=1
2

= kxk + kyk :

1.12. (Kelly)
Sea x 2 Br (a). Demostraremos que 9 B (x) Br (a) para algn > 0. Para
obtener el deseado se necesita hacer una construccin con la ayuda de la
geometria. En la Figura 2 se muestra la idea para dicha consruccin.
(gura...)
Sea

=r

kx

ak. Si y 2 B (x) tenemos que ky

valor de ,
ky

xk < r
24

kx

ak ;

xk < , y sustituyendo el

de donde resulta que

ky

xk + kx

ak < r:

En consecuencia,
ky

ak = ky
ky
< r;

x + x ak ;
xk + kx ak ;

lo cual implica que y 2 Br (a).

1.13. (Kelly)
Rn es abierto ya que 8x 2 Rn 9 > 0 tal que B (x) Rn . Adems, como el
complemento de Rn es el conjunto vaco ;, entonces ; es cerrado. Por otra
parte, el conjunto ; es abierto por vacuidad y como Rn es su complemento,
entonces es Rn es cerrado.

Sea A = fAi : Ai

1.14. (Kelly)
Rn es cerrado 8i 2 Ig. Queremos probar que A = \i2I Ai
es cerrado.
Mostremos que Ac es abierto. Tenemos que
c

Ac = (\i2I Ai ) = [i2I Ai c ;
y como cada Ai es cerrado, resulta que Ac es unin de abiertos, por tanto es
abierto. Luego A es cerrado.

Sea A =

1.15. (Kelly)
A
donde
cada
A
P.D. A es cerrrado. Mostremos
i
i es cerrado.
i=1
que Ac es abierto:
!c
k
k
[
\
c
A =
Ai
=
Ai c ;

Sk

i=1

donde

Tk

i=1

i=1

Ai c es interseccin nita de conjuntos abiertos, luego Ac es

abierto. Por tanto A es cerrado.

1.16. (Kelly)
Sabemos que un punto x 2 Rn es cerrado ya que no existe vecindad de x de un
solo punto. Sea A = fx1 ; x2 ; : : : ; xn g un conjunto nito de puntos en Rn y sea
n
fxi g el i-simo complemento de cada xi . Notamos que i es abierto
i =R
8i, luego
n
\

= Ac

i=1

25

es abieto por ser interseccin nita de conjuntos abiertos. Por tanto A es

cerrado.

1.17. (Kelly)
Sea A Rn y supongamos que int A 6= ;. Entonces existe x 2 int A. Por
denicin existe U Rn abierto tal que x 2 U A. En consecuencia A tiene
subconjuntos abiertos.

1.18.(Kelly)
(=))
1. Sea x 2 A. Entonces 9 B (x)
abierto, tenemos que x 2 int A.

A para algn

> 0, y como B (x) es

2. Sea x 2 int A. Entonces 9 U

x 2 A.

Rn abierto tal que x 2 U

A, luego

De (1) y (2) resulta que int A = A.

((=)
Sea x 2 int A = A. Por denicin, 9 U Rn tal que x 2 U
abierto, 9 B (x) U A para algn > 0. As que B (x)
> 0, luego A es abierto.

A. Como U es
A para algn

1.19. (lvaro)
Podemos escribir
B = (x; y) 2 R2 j xy

1 = C [ (x; y) 2 R2 j xy = 1 ;
donde

C = (x; y) 2 R2 j xy > 1 ;
por lo que el interior de B coincide con el interior de C pues una curva en el
plano no tiene puntos interiores.
Si probamos que C es abierto tendremos que int C = C y como int B = int C
resultar que el interior de B es el conjunto C. Veamos que para todo punto
p = (p1 ; p2 ) 2 C existe > 0 sucientemente pequeo tal que B (p) C.
Como el crculo con centro en p y que es tangente a la parbola xy = 1 toca a
la misma en un slo punto, digamos (x
q1 ; y1 ), y est contenido en el lado
2

convexo de la parbola, entonces = 21 (p1 x1 ) + (p2

condicin requerida.

1.20. (Nigel)
26

x2 ) satisface la

Sea x 2 int A. Entonces existe U

x2U

Rn abierto tal que

A:

Como por hiptesis A

x2U

B, resulta que
B;

luego x 2 int B.
1.21. (Nigel).
Sea x 2 ext(A). Por denicion de punto exterior, 9 U Rn abierto tal que
x 2 U Rn A.
Entonces, por denicion de punto interior, x 2 intfRn Ag. En consecuencia,
tenemos que
ext(A)

intfRn

Ag,

y como los pasos son reversibles, tenemos la igualdad deseada.

1.22. (Maril)
Sea
x
2
int
A.
Por
demostrar:
x 2 A. Como x 2 int A, tenemos que
S
x2
U , donde U es un abierto tal que U
A. Luego x 2 U
A. As
que x 2 A.
1.23. (Bladimir)
Sea x 2 ext A. Entonces 9 U Rn abierto tal que x 2 U (Rn
x 2 (Rn A), por lo tanto ext A (Rn A).

A), as que

1.24. (Cristian)
Sea x 2 int A [ ext A [ @A. Entonces x 2 int A [ ext A o x 2 @A. Ahora, x
no puede pertenecer a ambos conjuntos ya que
(int A [ @A) \ ext A = (int A \ ext A) [ (@A \ ext A) = ;;
pues son mutuamente ajenos por hiptesis. En consecuencia,
x 2 ext A () x 2
= intA [ @A () x 2 fRn
luego
ext A = Rn

int A [ @A;
27

(int A [ @A)g;

de donde resulta que

int A [ @A [ ext A = (int A [ @A) [ (Rn

int A [ @A) = Rn .

1.25. (Cristian)
Vamos a demostrarlo por contradiccin. Supongamos que A \ B 6= ; y
B \ A 6= ;. Entonces existe x 2 A \ B luego x 2 (A [ A0 ) \ B. De modo que
x 2 (A \ B), por tanto x 2 (A0 \ B). Por hiptesis, A \ B = ;, luego
x 2 (A0 \ B), y como B es abierto, para algn " > 0 existe B" (x) B tal que
B" (x) \ (A fxg) 6= 0. Como A fxg A entonces
B" (x) \ (A fxg) B" (x) \ A, de esta manera, si a 2 B" (x) \ A, entonces
a 2 B" (x) y a 2 A. Ahora, como a 2 B" (x) y x 2 B 8" > 0 tenemos que a 2 A
y a 2 B !. Entonces A \ B = ;.
Sea x 2 B \ A ) x 2 (B [ B 0 ) \ A, entonces x 2 (B \ A), as que x 2 (B 0 \ A),
pero por hiptesis, B \ A = ;, luego x 2 (B 0 \ A), y como A es abierto, para
algn " > 0; 9 B" (x) A tal que B" (x) \ (B fxg) 6= 0. Como
B fxg B ) B" (x) \ (B fxg) B" (x) \ B. De esta manera, si
a 2 B" (x) \ B, entonces a 2 B" (x) y a 2 B, ahora, como a 2 B" (x) y
x 2 A 8" > 0 ) a 2 B y a 2 A !
Entonces B \ A = ;. En consecuencia, si A y B son abiertos y
A \ B = ; ) A \ B = ; y A \ B = ;.
1.26. (Nigel)
Por contradiccion, supongamos que A 6= Rn . Entonces, como A es abierto y
cerrado, Rn A es abierto y cerrado. Notando que los conjuntos A y Rn A
son no vacos, ajenos y abiertos y adems forman una separacin de Rn ,
tenemos una contradiccion, ya que Rn es conexo.

1.27. (Nigel)

1.28. (Nigel)

1.29. (Maril)
Sean y; z 2 Br (x). Entonces k y x k< r y k z
Parametrizando, tenemos w = y + t(z

28

x k< r. Sea w 2 [y; z].

y); t 2 [0; 1];

kw

xk

=
=
=
=
=
<
=

k y + t(z y) x k
k (1 t)y + tz x k
k (1 t)y + tz [(1 t)x + tx]k
k (1 t)(y x) + t(z x)k
j 1 t jk y x k + j t jk z x k
(1 t) k y x k +t k z x k
(1 t)r + tr
r

Por lo que w 2 Br (x), entonces [y; z] 2 Br (x), por lo tanto Br (x) es un

conjunto convexo.

1.30. (Kelly)
(=)) Supongamos A cerrado. Sea x un punto lmite de A. Si x 2
= A entonces
x 2 Rn A, el cual es abierto, por lo tanto existe B (x) Rn A para algn
> 0. De ah que B (x) \ A = ;, lo cual contradice que x es punto lmite de
A. De manera que x 2 A.
((=) Supongamos ahora que todo punto lmite de A pertenece a A. Sea
x 2 Rn A. Entonces x no es punto lmite de A. Por lo tanto existe B (x)
para algn > 0 tal que no intersecta a A. En consecuencia, B (x) Rn A,
luego Rn A es abierto. Entonces A es cerrado.
1.31. (Maril)
Lema: Sean A; B Rn . Si A B entonces A0 B 0 .
Demostracin del Lema. Sea x un punto lmite de A. Entonces, 8 > 0 se
tiene que B (x) \ (A fxg) 6= ;. Como A B, entonces A fxg B fxg,
luego B (x) \ (A fxg) B (x) \ (B fxg)y de ah que
B (x) \ (B fxg) 6= ;; 8 > 0. Por lo tanto, x es un punto lmite de B, as
que A0 B 0
Demostracin del Teorema. Primero probaremos que (A [ B)0 = A0 [ B 0 .
Como A A [ B y B A [ B se tiene que A0 (A [ B)0 y B 0 (A [ B)0 .
Luego A0 [ B 0 (A [ B)0 .
Si x 2 (A [ B)0 entonces 8 > 0, B (x) \ [(A [ B) fxg] 6= ; de modo que
existe y 2 B (x) \ (A [ B) con x 6= y. Por lo tanto y 2 B (x) \ A o
y 2 B (x) \ B, es decir, B (x) \ A 6= ; o B (x) \ B 6= ;.
Si x 2 B (x) \ A, entonces x 2 A0 , luego x 2 A0 [ B 0 , de manera que
(A [ B)0 A0 [ B 0 .
Si x 2 B (x) \ B, entonces x 2 B 0 , luego x 2 A0 [ B 0 y de ah que
(A [ B)0 A0 [ B 0 .
Por lo tanto (A [ B)0 = A0 [ B 0 .
29

Ahora,
= (A [ B) [ (A [ B)0 ;
= (A [ B) [ (A0 [ B 0 );
= (A [ A0 ) [ (B [ B 0 );
= (A [ B).

(A [ B)

1.32.
(a). (Rodrigo)
Sea c = B (x). Entonces
int(c) = B (x)
por denicin de interior existe tal B (y) pero podemos usar
lo cual,

= ; x = y, por

int(c) = B (x):
Adems,
ext(c) = intfRn

cg;

pero int(c) es abierto por lo ext(c) es cerrado, luego

ext(c) = fRn

cg:

La frontera de c coincide con @B.

intS n

(b). (Maril)
extS n 1 = Rn S n 1
Demostracin:
1. intS n 1 = ;

=;

@S n

= Sn

Observacin: k x k= 1 ,k x k2 = 1
Procedamos por contradiccin: Supongamos que intS n
Sea x = (x1 ; x2 ; :::; xn ) 2 intS n
entonces 9B (x)

Sn

con

30

6= ;.

> 0 tal que x 2 B (x)

Sea a y = (x1 ; x2 ; :::; xi + ; :::; xn ); 0 < <

y 2 B (x)

Sn

para alguna i = 1; 2; :::; n P.D.

ky

xk = k(x1 ; x2 ; :::; xn )

(x1 ; x2 ; :::; xi + ; :::; xn )k

= k(0; 0; :::; 0; ; 0; :::; 0)k =

<

por lo tanto y 2 B (x)

Por otro lado kyk2 = x21 + x22 + ::: + (xi + )2 + ::: + x2n
> x21 + x22 + ::: + x2i + ::: + x2n = kxk2
Como kyk2 > 1, entonces y 2
= B (x), y intS n
2. extS n
Si x 2 Rn

Sn

= Rn

Sn

Sea y 2 B (x); entonces kx

,con 0 < < 1

yk < 1

por desigualdad del tringulo tenemos kyk

< kxk + 1
) y 2 Rn
Si kxk > 1, P.D. 9B (x)

Sn

y x 2 extS n
Sn

Sea y 2 B (x); entonces kx

y extS n

kxk + kx

yk

kx

yk

) kxk

kxk + 1 < kyk

Sn
= Sn

1,

kx

yk + kyk

kyk

y x 2 extS n

son ajenos y Rn = intS n

entonces @S n 1 = S n 1
(c). (Maril)
31

yk < kxk

) kxk

) kyk > 1 ) y 2 Rn

Como intS n

kxk,

, con 0 < < kxk

por desigualdad del tringulo tenemos kxk

kxk

kxk = 1

Rn

3.@S n

=;

; kxk < 1 o kxk > 1

Rn

Si kxk < 1, P.D. 9B (x)

Sn

[ extS n

[ @S n

intA = ;

@A = Rn

extA = ;

Demostracin:
1.intA = ;
Sea x = (x1 ; x2 ; :::; xi ; :::; xn ) con xi 2 Q8i = 1; :::; n.
Supongamos que intA 6= ; entonces, 9B (x)
Sea y = (x1 ; x2 ; :::; xi + ; :::; xn ) con 0 <
kx

<

yk = k(x1 ; x2 ; :::; xi ; :::; xn )

= k(0; 0; :::; 0;

; 0; :::; 0)k =

y xi + 2 Qc P.D. y 2 B (x)

(x1 ; x2 ; :::; xi + ; :::; xn )k

luego y 2 B (x) pero y 2

= A por lo tanto
x2
= intA
2.extA = ;

Sea x = (x1 ; x2 ; :::; xi ; :::; xn ) con xi 2 Qc 8i = 1; :::; n.

Supongamos que extA 6= ; entonces, 9B (x)

Sea y = (x1 ; x2 ; :::; xi + ; :::; xn ) con 0 <

kx
= k(0; 0; :::; 0;

<

yk = k(x1 ; x2 ; :::; xi ; :::; xn )

; 0; :::; 0)k =

Rn

y xi + 2 Q: P.D. y 2 B (x)

(x1 ; x2 ; :::; xi + ; :::; xn )k

luego y 2 B (x) pero y 2

= Rn
x2
= extA

A por lo tanto

3. @A = Rn
Como intA y extA son ajenos y Rn = intA [ extA [ @A, entonces @A = Rn

1.33. (Kelly)
Sea A = fa1 ; a2 ; : : : ; an g una coleccin nita de puntos en Rn . Sea A una
cubierta abierta de A, entonces existen U1 ; U2 ; : : : ; Un 2 A tales que ai 2 Ui .
Ahora, denamos
B = fUi : 1

ng:

Entonces B es subcubierta nita de A, y de ah la compacidad de A.

32

1.34. (Kelly)
La coleccin de bolas Bm (0) es una cubierta de Rn , donde
Bm (0) = fx 2 Rn : kxk < m; m 2 Ng:

Es claro que no existe subcubierta nita que cubra a Rn , ya que si existiera,

entonces 9 N 2 N tal que BN (0) cubre todo el conjunto Rn lo cual es falso,
pues, por ejemplo, x = (N + 1; 0; : : : ; 0) 2
= BN (0).
1.35.
(a) Kelly.
No es compacto ya que existe una cubierta de la cual no existe una subcubieta
nita.
La cubierta es la siguiente:
B = f(

; n) : n 2 N; 8 > 0g:

Notamos que B cubre a todo el conjunto A, del cual @ subcubierta nita

que cubra al conjunto ya que si existiera esta subcubierta nita, entonces
9 N 2 N tal que se cubre todo el conjunto A lo cual no es posible.
(b) Cristian.
Sea A cubierta abierta de [0; 1] [ [2; 3] por el Teorema de Heine-Boral [0; 1],
[2; 3] son compactos ) 9 una subcubierta nita 1 para [0; 1] y 9 una cubierta
nita 2 para [2; 3] ) B = 1 [ 2 es una subcubierta nita de [0; 1] [ [2; 3].
Por lo tanto [0; 1] [ [2; 3] es compacto
(c) Rodrigo
No es compacto ya que podemos tomar la cubierta abierta que cumpla
A = f(x; y) 2 R2 : x2 + y 2 < R1 jR 2 (0; 1)g pero no exite una subcoleccion
nita de que cubra a c por que podemos suponer que si existe una subcoleccion
nita de A pero podemos tomar a f(x; y) 2 R2 : x2 + y 2 < 1 1R jR 2 (0; 1)g y
esa circunferencia ya no pertence a la coleccion por lo no puede ser compacto
(d) Kelly
Notemos que si D es un conjunto abierto, entonces no es compacto. Para
demostrar que D es abierto, mostemos que su complemento es cerrado, es
decir, D0 = fx 2 R : 0 x 1; x 2 Qg es cerrado. Supongamos que D0 es
abierto. Entonces, 8 x 2 D0 9 > 0 tal que (x) = ( + x; + x) 2 D0 , pero
8 > 0 siempre 9 p 2 D tal que p 2 (x), entonces p 2 D0 lo cual es una
contradiccin. Por lo tanto D0 es cerrado, luego D no es compacto.
(e) Kelly
No es compacto ya que existe una cubierta de la cual no existe subcubieta
nita de E. La cubierta es:
B = f(

;1 + )

( n; n) : n 2 N; 8 > 0g:
33

Notamos que el conjunto B cubre a todo el conjunto E, del cual @ subcubierta nita que cubra al conjunto ya que si esto ocurriera entonces
signicara que los naturales son nitos lo cual es una contradiccin.

1.36. (Nigel)
Como A es acotado entonces9 B (0) para algn > 0 tal que A B (0). Por
lo tanto A B (0) B2 (0) de donde resulta A acotado. En consecuencia, A
es un cerrado y acotado. Como A Rn entonces es compacto.

1.37. (Maril)
El intervalo cerrado [0; 1] es compacto, pero el intervalo abierto (0; 1)
no es compacto.

[0; 1]

1.38. (Maril)
B compacto ) B acotado, es decir, 9 > 0 tal que B B (0), pero como
A B, entonces A B (0), esto es, A es acotado y cerrado (por hiptesis),
por lo tanto A es compacto.

1.39. (Kelly)
Notemos que por la biyeccin entre A ! fxg A con x 2 R podemos ver al
conjunto A como subconjunto de R2 . Sea A0 = ff0g AjA es compacto g
entonces por el lema 1.4.8 de las notas de clase sabemos que A0 es compacto
en R2 .
1.40. (Nigel).
Sabemos que Rn es conexo. Sean
A = [ 2;

1]

B = [1; 2]

[ 2;

1]

[1; 2]

[ 2;

[1; 2]

1]

Rn ;

Rn ;

y
X =A[B

Rn .

Entonces X es disconexo, ya que existen U = Rn+ y V = Rn que son no

vacos, ajenos y abiertos que separan a X.

1.41. (Nigel)
34

Supongamos que fxg Rn es disconexo. Entonces existen conjuntos U y V no

vacos, ajenos y abiertos que separan a {x}. Lo cual es una contradicci, ya
que {x} consta solamente de un punto luego {x} est totalmente contenido en
U en V ya que U y V son ajenos.

1.42. (Kelly)
El conjunto es disconexo ya que existen U; V 2 R abiertos tales que cumplen la
denicin de disconexo.
Los conjuntos U = ( 1; ) y V = ( ; 1) forman una separacin de Q0 .
1.43. (Nigel)

1.44. (Kelly)
Sea A un conjunto convexo. P.D. A es conexo.
Sean x; y 2 A, por hiptesis existe el segmento entre x e y que cumple:
!
[x; y] = f(1 + t)x + (t)yjt 2 [0; 1]g A:
!
Ahora si x; y 2 A, entonces [x; y] A, por lo que la funcin f : [0; 1] ! A
denida como f (t) = (1 + t)x + (t)y es una funcin continua y cumple que
f (0) = x y f (1) = y. Por lo tanto A es arco-conexo y por la proposicin 1.5.6
de las notas, A es conexo.

1.45. (lvaro)
Sean x; y 2 B1 (0) y consideremos : [0; 1] ! Rn , denida por
(t) = (1 t)x + ty. Notar que es continua y que (0) = x; (1) = t. P.D.:
(t) 2 B1 (0). Como x; y 2 B1 (0), entonces kxk < 1, kyk < 1, y por la
desigualdad del tringulo, k (t)k < 1 t + t = 1 para todo t 2 [0:1]. Por lo
tanto (t) 2 B1 (0), luego B1 (0) es arco-conexo.
1.46. (LIBRE)

1.47. (Rodrigo)
No es arco-conexa porque no importa que tanto intentes unir un punto de la
recta x = 0 con y = sen( x1 ) no podra porque si tomamos una parte muy cerca
de x = 0 existe otra que est ms cerca del punto.

1.48.
(a) (Bladimir)
prueba: caso I: )A \ B = ; por contradiccin.
35

) supongamos que ; es disconexo entonces 9U; V

que:
; \ U 6= ;

; \ V 6= ;

Rn no vacos y ajenos tal

; = (; \ U ) [ (; \ V ) U \ V = ;

) tenemos que ; \ U = ; y ; \ V = ;, por propiedades de conjuntos por lo

que contradice nuestra hiptesis de disconexidad
) ; es conexo.
caso II:) )A \ B 6= ; por contradiccin
) supongamos que ; es disconexo entonces 9U; V
Rn no vacos y ajenos tal
que:
(A\B)\U 6= ; (A\B)\V 6= ; A\B = ((A\B)\U )[((A\B)\V ) U \V = ;
tenemos que A,B son subconjuntos conexos
)A U yB U oA V yB V
entonces de A U y B U tenemos:
)A\B U
)A\B\V
U \ V , pero U \ V = ;
) A \ B \ V = ; lo cual es una contradiccin porque (A \ B) \ V =
6 ;
por otro de A V y B V se tiene :
)A\B V
)A\B\V
U \ V , pero U \ V = ;
) A \ B \ U = ; lo cual es una contradiccin porque (A \ B) \ U =
6 ;
en conclusin, tenemos que en ambos casos llegamos a una contradiccin,
entonces A \ B es un conjunto conexo.
(b) (Rodrigo)
Sean A = [1; 2] y B = [3; 4]. Entonces
A[B
V
U
C \U
C \V

= C = [1; 4] (2; 3);

= ( 1; 2:5);
= (2:5; 1);
= [1; 2];
= [3; 4];

luego existe una separacin de C, de manera que C es disconexo.

1.49. (Cristian)

36

Solucin enviada por William: Supongamos por contradiccin que A [ B no es

conexo. Entonces A [ B = S [ T , con S y T no vacos y separados. Ahora
bien, puesto que A es conexo, o bien A S o A T , supongamos que A T .
Del mismo modo, B es tambin conexo, as que B S o B T , pero si fuera
B S, entonces T sera vaco, as que B T , pero entonces A S y B T
de manera que A y B estaran separados y A \ B = ; !
) Si A y B con conjuntos conexos y A \ B 6= 0, entonces A [ B es conexo.
1.50. (William)
Sea fAi gi2I una coleccin de subespacios
conexos de Rn y sea p un punto de
T
i2I Ai .
Probemos que

Supongamos que

i2I

i2I

Ai es conexo.

Ai = S [ T es una separacin de
vacos y separados.

i2I

Ai con S y T no

El punto p est en S o en T . Supongamos queSp 2 S. Como cada Ai es conexo

y p 2 S, entonces Ai S. Por lo tanto i2I Ai S, lo cual es una
contradiccin ya que T es no vaco.
1.51. (Nigel)
Supongamos que B es disconexo:
) 9 U; V abiertos, no vacos, ajenos tales que
1) (U \ B) \ (V \ B) = ;;
2) U \ B 6= ; ; V \ B 6= ;;
3) (U \ B) [ (V \ B) = B:
Armacin: A es disconexo (lo cual contradice la hiptesis).
Por demostrar: existe una separacin de A :
1) (U \ A) \ (V \ A) = ;;
2) U \ A 6= ; ; V \ A 6= ;;
3) (U \ A) [ (V \ A) = A:
Demostracin de la armacin: Como
1) (U \ B) \ (V \ B) = ; y A
37

B;

tenemos que
(U \ A) \ (V \ A) = ;:
Adems, como
2) U \ B 6= ; y B

A;

resulta que
U \ A 6= ;:
Luego
9 x 2 U \ A y adems A = A [ A0 ;
por tanto
x 2 U \ A o x 2 U \ A0 :
Si x 2 U \ A ya acabamos.
Si x 2 U \ A0 como x 2
= A entonces
x 2 U y x 2 A0 :
Como x 2 U y U es abierto, 9 B (0) para algn
Luego
B (0) \ A

> 0 tal que B (0)

U.

U \ A:

Por otra parte, como x 2 A0 , 9 B (0) 8 > 0 tal que B (0) \ (A

pero x 2
= A luego A = A fxg, de done vemos que

fxg) 6= ;,

8 > 0 ; B (0) \ A 6= ;.
En particular, dado > 0, B (0) \ A 6= ;, y como B (0) \ A U \ A, entonces
U \ A 6= ;. Anlogamente vemos que V \ A 6= ;.

3) P:D : (U \ A) [ (V \ A) = A
[ ]
Como U \ A

A y V \A

) (U \ A) [ (V \ A)
[ ]

Sea x 2 A ) x 2 B
38

A
A

) x 2 (U \ B) [ (V \ B)
) x 2 (U \ B) o x 2 (V \ B)
)x2U ox2V
P ero x 2 A
) x 2 (U \ A) o x 2 (V \ A)
) x 2 (U \ A) [ (V \ A)
) (U \ A) [ (V \ A) = A
Entonces A es disconexo.

Sean A1 ; A2

1.52. (Maril)
Por contradiccin.
Supongamos que (U \ A1 ) \ (V \ A1 ) 6= ;
) 9x 2 (U \ A1 ) \ (V \ A1 )
) x 2 U \ A1 y x 2 V \ A1
) x 2 U \ (A1 [ A2 )
Rn conexos tales que A1 \ A2 6= ;, entonces A = A1 \ A2 es
conexo.

Supongamos que A es disconexo, entonces existen abiertos no vacos tales que:

a)U \ A 6= ; y V \ A 6= ;
b)(U \ A 6= ;) \ (V \ A 6= ;) = ;
c)(U \ A 6= ;) [ (V \ A 6= ;) = A
P.D.A1 es disconexo
(1)P.D. U \ A1 6= ; y V \ A1 6= ;
Como U \ A 6= ; ) 9x 2 U \ A ) x 2 U \ (A1 [ A2 )
) x 2 U \ A1 o x 2 U \ A2 ) U \ A1 6= ; o U \ A2 6= ;,
sin prdida de generalidad supongamos que U \ A1 6= ;
Como V \ A 6= ; ) 9x 2 V \ A ) x 2 V \ (A1 [ A2 )

39

) x 2 V \ A1 o x 2 V \ A2 ) V \ A1 6= ; o V \ A2 6= ;,
sin prdida de generalidad supongamos que V \ A1 6= ;
(2) P.D. (U \ A1 ) \ (V \ A1 ) = ;
y x 2 V \ (A1 [ A2 ) ) x 2 U \ A y x 2 V \ A ) x 2 (U \ A) \ (V \ A) que
contradice a b),
por lo tanto (U \ A1 ) \ (V \ A1 ) = ;
(3) P.D.(U \ A1 ) [ (V \ A1 ) = A1
Como U \ A1

A y V \ A1

A ) (U \ A1 ) [ (V \ A1 )

A1

Sea x 2 A1 ) x 2 A ) x 2 (U \ A 6= ;) [ (V \ A 6= ;) ) x 2 U o x 2 V .
Si x 2 U ) x 2 U \ A1 ) x 2 (U \ A1 ) [ (V \ A1 )
Si x 2 V ) x 2 V \ A1 ) x 2 (U \ A1 ) [ (V \ A1 )
Entonces (U \ A1 ) [ (V \ A1 ) = A1
A1 es disconexo, por (1), (2), (3)
Por lo tanto A es conexo.
Regresando al problema.
Sea Bi :=

Sk=i

k=1

Ak , obsrvese que A =

P.D. Bi es convexo

Bi

Bi = A1 es convexo por hiptesis

Supongamos que Bk es convexo, por demostrar que Bk+1 es convexo

Bk+1 = Bk [ Ak+1 , donde Bk ; Ak+1 son convexos con Bk \ Ak+1 6= ;, por la

proposicin anterior Bk+1 es convexo
) A es convexo.

40

2. Continuidad en espacios Euclidianos.

2.1. (Kelly)
Sea a 2 Rn tal que f es continua en a. P.D. jf j es continua en a.
Sea > 0 y sea tal que si kx ak < se cumple que jf (x) f (a)j < ,
entonces:
j jf (x)j jf (a)j j jf (x) f (a)j < , siempre que kx ak <
) jf j es continua en a.
2.2.
(a) (Maril)
(b) (Maril)

2.3. (Kelly)
P.D. Si f (x0 ) > 0 ) 9 > 0 tal que 8 y 2 (x0 ) ) f (y) > 0.
Como f es continua, entonces 8 > 0 9 > 0 tal que f ( (x0 ))
(f (x0 )).
Sea y 2 (x0 ) ) f (y) 2 (f (x0 ))
)
)

+ f (x0 ) < f (y) < + f (x0 ), tomando a

= f (x0 )

f (x0 ) + f (x) < f (y) < f (x0 ) + f (x0 )

) 0 < f (y) < 2f (x0 )

Entonces f (y) > 0, 8 y 2

(x0 ) y por la continuidad de f obtenemos que

f ( (x0 )) (0; +1).

2.4. (Kelly)
P.D. Si f (x0 ) < 0 ) 9 > 0 tal que 8 y 2 (x0 ) ) f (y) < 0.
Como f es continua, entonces 8 > 0 9 > 0 tal que f ( (x0 ))
(f (x0 )).
Sea y 2 (x0 ) ) f (y) 2 (f (x0 ))
)

+ f (x0 ) < f (y) < + f (x0 ), tomando a

) f (x0 ) + f (x) < f (y) <

f (x0 ) + f (x0 )

) 2f (x0 ) < f (y) < 0

41

f (x0 )

Entonces f (y) < 0, 8 y 2

(x0 ) y por la continuidad de f obtenemos que

f ( (x0 )) ( 1; 0)

2.5. (Cristian)
Por contradiccin. Supongamos que f (x) 6= 0 para toda x 2 R. Entonces,
f (x) > 0 f (x) < 0.
Caso I: f (x) > 0 para toda x 2 R. Como f es continua, por el ejercicio (2:3),
existe > 0 tal que f (B (x)) (0; +1), y eso es una contradiccin ya que por
hiptesis f (x) = 0 para todo x 2 Q.
Caso II: f (x) < 0 para toda x 2 R. Como f es continua, por el ejercicio (2:4),
existe > 0 tal que f (B (x)) ( 1; 0), y eso es una contradiccin ya que por
hiptesis f (x) = 0 para todo x 2 Q.
2.6. (Rodrigo)
S es verdad. Probaremos primero la ida
La ida es trivial porque si x 2 R en particular 9y 2 Q:
Ahora probaremos la vuelta.
Ya habamos probado en el ejercicio anterior que si f : R ! R y f (x) = 0 para
todo x 2 R ) f (y) = 0 para todo y 2 Q:
Sea h(x) = f (x) g(x) = 0 para todo x 2 R. Por el ejercicio anterior esto
implica que h(y) = f (y) g(y) = 0 para todo y 2 Q,
que es lo que queramos probar.

2.7. (Kelly)
(B c ) ) f (x0 ) 2 B c , ahora por la continuidad de f existe
x0 2 Ux0 Rn abierto tal que f (Ux0 \ A) B c .
S
n
1
Sea U =
(B c ) = U \ A.
x0 2f 1 (B c ) Ux0 abieto de R . Armamos que f
Prueba:
(=)) f 1 (B c ) U \ A
Sea z0 2 f 1 (B c ) ) f (z0 ) 2 B c
Sea x0 2 f

) z0 2 Uz0 \ A
) z0 2 U \ A.

42

((=) U \ A f 1 (B c )
Sabemos que f (Ux0 \ A) B c para cada x0 2 f 1 (B c ), entonces
f (U \ A) B c , y se cumple que U \ A f 1 (f (U \ A)) f 1 (B c ), entonces
U \ A f 1 (B c ).
Ahora veamos que:
f

(B)

f 1 (Rm B c )
f 1 (Rm ) f 1 (B c )
A \ (f 1 (B c ))c
A \ (A \ U )c
A \ (Ac [ U c )
(A \ Ac ) [ (A \ U c )
A \ U c;

=
=
=
=
=
=
=

donde U c es un conjunto cerrado.

) f 1 (B) = A \ C donde C es cerrado.

Sea B = f

2.8. (William)
([a; b]), demostremos que su complemento es abierto, es decir,
Rn B es abierto.
Tenemos que Rn

Rn

B = Rn

([a; b]), as

([a; b]) = fx 2 Rn jf (x) > bg [ fx 2 Rn jf (x) < ag

fx 2 Rn jf (x) 2 (b; +1)g [ fx 2 Rn jf (x) 2 ( 1; a)g

=f

((b; +1)) [ f

(( 1; a)), lo cual es abierto.

) B es cerrado.

Sea
jxi

2.9. (Kelly)
> 0 y sea = , entonces:
p
(xi yi )2
yi j =
v
um
uX
t (xi yi )2
i=1

= kx

yk < :

Por lo tanto si se cumple que kx

j i (x)

i (y)j

= jxi
= kx
= :
43

yk < , entonces:
yi j
yk <

: Rn ! R es continua.

2.10. (Kelly)
Sea g(f (x)) 2 V abierto de Rp , por la continuidad de g existe f (x) 2 W abierto
de Rm tal que g(W \ B) V , como W es una vecindad de f (x) entonces por
la continuidad de f existe x 2 U abierto de Rn tal que f (U \ A) W .
Armamos que g f (U \ A) V . En efecto, como f (U \ A) W , entonces
g(f (U \ A) \ B) g(W \ B) V , pero por hiptesis f (U \ A) f (A) B,
entonces f (U \ A) \ B = f (U \ A). Por lo tanto g f (U \ A) V .
) La composicin de funciones continuas es continua.
2.11. (Kelly)
(=)) Para cualquier 1 i m, i : Rm ! R es continua en x. Por lo tanto
fi : i f : A Rn ! R es continua en x, 8i = 1; 2; : : : ; m.
((=) Sea
Sea
kf (x)

> 0. Entonces para cada 1 i m, 9 i > 0 tal que si

kx yk < i ) jfi (x) fi (y)j < p .
n
= minf 1 ; : : : ; m g y se cumple que kx yk < , entonces:

f (y)k = kf1 (x) f1 (y); f2 (x) f2 (y); : : : ; fm (x) fm (y)k;

p
=
(f1 (x) f1 (y))2 ; (f2 (x) f2 (y))2 ; : : : ; (fm (x) fm (y))2 ;
p
=
jf1 (x) f1 (y)j2 ; jf2 (x) f2 (y)j2 ; : : : ; jfm (x) fm (y)j2 ;
r
r
2
2
2
n 2
+
+
+
=
= :
n
n
n
n
) f es continua en x.
2.12. (Cristian)

2.13. (William)

2.14. (Bladimir)
falso
contra-ejemplo :
sea f : R ! R; f (x) = 0 y [ 1; 1] R compacto.
por denicin de imagen inversa se tiene:
f 1 (A) = fa 2 Xjf (a) 2 Ag
1
) f ([ 1; 1]) = fx 2 Rjf (x) 2 [ 1; 1]g
= R, pero sabemos que los reales no es compacto.

44

Solucin escrita por Kelly: FALSO. Consideremos a la funcin continua

f : R ! R denida como x ! 0 y sea K = f0g, entonces f 1 (K) = R el cual
no es compacto.

2.15. (Nigel)

2.16. (Rodrigo)
Sea g = f 1 y g 1 = f . Basta probar que tomando un abierto en g
manda a un abierto entonces es continua f 1 por denicion.

y lo

Adems la inversa existe porque f es inyectiva.

Tomemos un abierto U Rn . Aplicndole U a g 1 tenemos g 1 (U ) pero
g 1 (U ) = f (U ) pero f (U ) manda conjuntos abiertos en conjuntos abiertos,
por lo que f 1 es continua.

2.17. (Cristian)
Sea g = f 1 ) g 1 = f .
Sea C K un conjunto cerrado, por el ejercicio (1:38), C es compacto,
entonces como f es continua f (C) es compacto.
Ahora g 1 (C) = f (C) lo cual ya sabemos que f (C) es compacto y en general
es cerrado. Por lo tanto la imagen inversa de g enva cerrados a cerrados, por
lo que g = f 1 es continua.

2.18. (lvaro)

2.19. (Nigel)

2.20. (William)

2.21. (lvaro)

45

3. Fundamentos de diferenciacin.
3.1. (lvaro)
3.2. (Rodrigo)
Por un teorema sabemos que si f es diferenciables ) f es continua. Usaremos
la contrapositiva, esto es, si f no es continua ) f no es diferenciable.
Probaremos que tomando las direcciones x = y y y = x1 , los lmites son
distintos, luego f no es continua
Tomemos la direccin x = y:

lim

(x;y)!(0;0)

p
jxyj =

lim

(x;y)!(0;0)

p
jx2 j = 0:

Ahora tomemos la direccin y = x1

r
p
1
lim
jxyj =
lim
jx j = 1;
x
(x;y)!(0;0)
(x;y)!(0;0)

por lo que f no es continua, por lo tanto f no es diferenciable.

3.3. (Nigel)
3.4. (Cristian)
Sea h(t) = f (tx), entonces la funcin h va de reales a reales, entonces
R1
f (x) = 0 h0 (t)dt, ya que por el teorema fundamental del clculo
R1 0
h (t)dt = h(1) h(0), pero h(0) = f (0) = 0 y h(1) = f (x).
0
Por la regla de la cadena:
h0 (t) =

d
@
d
@
@
@
f (tx) (tx1 )+:::+
f (tx) (txn ) = x1
f (tx)+:::+xn
f (tx)
@x1
dt
@xn
dt
@x1
@xn

h0 (t) =

n
X

xi Di f (tx)

i=1

f (x) =

1
0

h (t)dt =

n
1X

xi Di f (tx)dt =

i=1

n
X
i=1

46

xi

Di f (tx)dt

donde las gi (x) =

R1
0

Di f (tx)dt.

3.5. (Bladimir)
f (0;0)
sea v = (v1 ; v2 ) ) Dv f (0; 0) = limh!0 f [(0;0)+hv]
h
= limh!0 f [(0;0)+h(v1h;v2 )] f (0;0)
= limh!0 f (hv1h;hv2 ) , pero f (hv1 ; hv2 ) 6= (0; 0)
) limh!0

(v1 v2 )
(v12 +v22 )

f (hv1 ;hv2 )
h

= limh!0

= limh!0

(v1 v2 )
h(v12 +v22 )

limh!0 h1 , pero limh!0

h2 (v1 v2 )
h3 (v12 +v22 )

1
h

es indeterminado ) no existe la derivada

direccional.

b) existen las derivadas parciales D1 f; D2 f en el origen ?

solucion:
D1 f (0; 0) = limh!0 f [(h;0)]h f (0;0)
= limh!0 f (h;0)
h ,pero f (h; 0) 6= (0; 0)
f (h;0)
) limh!0 h = limh!0 h1 ( hh20 )=0
D2 f (0; 0) = limh!0 f [(0;h)]h f (0;0)
= limh!0 f (0;h)
h ,pero f (0; h) 6= (0; 0)
f (0;h)
) limh!0 h = limh!0 h1 ( 0h2h )=0
* existen y son iguales
d) es f continua en el origen?
lim(x;y)!(0;0) f (x; y) = lim(x;y)!(0;0)
)

xy
(x2 +y 2 )

lim(x;y)!(0;0) (x2xy
+y 2 )

, tomemos la direccion x=y

= lim(x;y)!(0;0)

= lim(x;y)!(0;0)
= 12

x2
2x2

1
2

ahora tomemos la direccion x=-y

) lim(x;y)!(0;0) (x2xy
+y 2 ) = lim(x;y)!(0;0)
= lim(x;y)!(0;0) 12
= 12

x2
2x2

* no es continua en el origen.
c) es f diferenciable en el origen?
No, ya vimos que f no es continua en el origen pero sabemos que:
No continua ) no diferenciable.

47

3.6. (Rodrigo)
Para cuales vectores u 6= 0 existe Du f (0; 0)?
Solucin

lim

t!0

f (a + tu)
t

f (a)

= lim

h!0

= lim

h!0

= lim

h!0

f (0; 0 + h(u1 ; u2 ))
h

jhu1 j + jhu2 j
h

jhjju1 j + jhjju2 j
h

jhj(ju1 j + ju2 j)
h!0
h

= lim

jhj +
= (ju1 j + ju2 j)
h!0 h
por lo que este lmite no existe por lo que no existen derivadas direccionales.
= (ju1 j + ju2 j) lim

(b) Existen las derivadas parciales D1 f ; D2 f en el origen?

Solucin

lim

h!0

f (a1 + h; a2 )
h

f (a1 ; a2 )

= lim

h!0

f (0 + h; 0)
h

f (0; 0)

jhj +
jhj + 0 0
= lim
= 1
h!0
h
h
por lo que este lmite no existe por lo que no existen derivadas parciales.
lim

h!0

(c) Es f diferenciable en el origen?

Solucin.
no es diferenciable
por contradiccin. Supongamos que f s es diferenciable.
lim

h!0

jjf (a + h)

= lim

h!0

f (a) + Tf (h)jj
jjhjj

jjf (0 + h)
48

f (0) + Tf (h)jj
jjhjj

= lim

h!0

jjjhj + Tf (h)jj
jjhjj

pero como f es lineal sabemos que su derivada es ella misma. Entonces

lim

h!0

jjjhj + jhjjj
jjhjj

= lim

h!0

jj2jhjjj
jjhjj

jjhjj
= 2;
h!0 jjhjj

= 2 lim

contradiccion por lo que f no es diferenciable.

(d) Es f continua en el origen?
Solucin
si es continua podemos tomar a g1 (x; y) = jxj y g2 (x; y) = jyj sabemos que la
suma de continuas es continua
g1 + g2 = jxj + jyj = f (x; y)
por lo tanto f es continua.

3.7. (Nigel)

3.8. (Bladimir)
Primero veremos que es diferenciable en el origen , sea
T (h) = (0; 0); x = (x; y)h = (h1 ; h2 ) entonces tenemos que ver que dada
nuestra transformacin cumple el siguiente lmite evaluado en el origen.

Df (x) = lim

jjf (x + h)

h!0

49

f (x)
jjhjj

T (h)jj

= 0:

sustituyendo los valores en el origen y nuestra transformacin,

Df (0)

lim

jjf (0 + h)

h!0

=
=

f (0)
jjhjj

T (h)jj

jjf (h) T (h)jj

;
jjhjj
h!0
lim

jjf (h) T (h)jj

;
jjhjj
T (h);
(0; 0);
jj(jh1 h2 j)jj
p
lim
;
(h1 ;h2 ) !0
h21 + h22
jh1 h2 j
lim p 2
:
(h1 ;h2 )!0
h1 + h22
lim

h!0

=
=
=
=

Para continuar haremos un cambio de variable:

h1 = rcos
h2 = rsen
sustituyendo obtenemos que:
jr2 cos sen j
lim p
r!0
r2 (cos2 + sen2 )

=
=
=

jr2 jjcos sen j

;
r!0
jrj
lim

lim jrjjcos sen j;

r!0

0:

* f es diferenciable en el origen.
Ahora veremos que no es de clase C 1 . Calculemos primero las derivadas
parciales en el origen de f (x; y) = jxyj.
D1 f (0; 0)

lim

f [(h; 0)]

h!0

f (0; 0)
h

f (h; 0)
;
h
jh 0j
;
= lim
h!0
h
= 0:
=

lim

h!0

Anlogamente, tenemos D2 f (0; 0) = 0, tenemos cuatro casos ms para las

derivadas parciales, ya que f (x; y) = jxyj = jxjjyj.
caso 1: x; y > 0 ) f (x; y) = jxyj = xy. entonces:

50

@f
= y;
@x

@f
=x
@y

caso 2: x < 0; y > 0 ) f (x; y) = jxyj =

@f
=
@x

y;

@f
=
@y

xy. entonces:

caso 3: x; y < 0 ) f (x; y) = jxyj = xy. entonces:

@f
= y;
@x

@f
=x
@y

caso 4: x > 0; y < 0 ) f (x; y) = jxyj =

@f
=
@x

y;

@f
=
@y

xy. entonces:

de los 4 casos anteriores se sigue que:

@f
@x

@f
@y

8
y
>
>
<
0
=
y
>
>
:
8
x
>
>
<
0
=
x
>
>
:

si(x; y) 2 I; IIIcuadrantes
si(x; y) = (0; 0)
;
si(x; y) 2 II; IV cuadrantes
si(x; y) 2 I; IIIcuadrantes
si(x; y) = (0; 0)
si(x; y) 2 II; IV cuadrantes

es claro ver que las funciones derivada parcial no son continuas en ninguna
vecindad alrededor del origen.

3.9. (William)
a) Demuestra que f es diferenciable en el origen y encuentra f 0 (0).
Solucin:
Basta probar que la derivada en 0 existe y tiene un valor, de esta manera,
calculemos f 0 (0), as:
51

f 0 (0) = lim

h!0

f (0 + h)
h

= lim

h!0

f (0)

f (h)
h

1 2
1
h sen
h!0 h
h
1
= lim h sen = 0
h!0
h
= lim

De esta manera tenemos que f es diferenciable en el origen y f 0 (0) = 0

b) Calcular f 0 (x) si x 6= 0.
Solucin:

f 0 (x) = 2x sen

1
1
+ x2 cos
x
x

= 2x sen

1
x

cos

1
x2

1
x

c) Demuestra que f 0 no es continua en 0.

Solucin:
Veamos que lim+ f 0 (x) 6= lim f 0 (x)
x!0

x!0

lim f 0 (x)

x!0+

= lim+ 2x sen
x!0

1
x

cos

1
x

1
1
lim cos
x x!0+
x
IN DEF IN IDO

= lim+ 2x sen
x!0

=0

, ya que la funcin cos x oscila entre -1 y 1 conforme x vara de 0 a innito.

lim f 0 (x)

x!0

52

= lim 2x sen
x!0

1
x

cos

1
x

1
1
lim cos
x x!0
x
IN DEF IN IDO

= lim 2x sen
x!0

=0

, ya que la funcin cos x oscila entre -1 y 1 conforme x vara de 0 a innito.

As, tenemos que lim f 0 (x) 6= lim f 0 (x)

x!0+

x!0

d) Demuestra que f es diferenciable en todo R pero no es de clase C 1 en R

Solucin:
Sabemos por el inciso a) que f 0 (0) = 0 y por el inciso b) que
f (x) = 2x sen x1 cos x1 para x 6= 0, de esta manera tenemos que:
0

Df =

2x sen

cos x1

1
x

si x 6= 0
si x = 0

De esta manera tenemos que la derivada de f est denida en todo x 2 R, as

f es diferenciable en todo R
f no es de clase C 1 en R ya que por el inciso c), sabemos que
no es continua en 0.

@f
@x

= 2x sen

3.10. (lvaro)
jDi f (x)j M entonces kf (x) f (y)k n2 M kx yk.
Si kx yk < , tomamos = =(n2 M ).
Entonces kf (x) f (y)k n2 M kx yk < n2 M =(n2 M ) = .
Entonces kf (x) f (y)k < .
Por lo tanto, f es continua.

3.11. (Rodrigo)
(a) calcula Df y determina el jacobiano de f
cos
Df (r; ) = sen

rsen
rcos

ahorra calculemos el jacobiano de f

53

1
x

cos
det(Df (r; )) = sen

rsen
rcos

= rcos2 + rsen2 = r(cos2 + sen2 ) = r 6= 0

(b) Dibujar la imagen bajo f el conjunto de A [1; 2]x[0; ]

3.12. (lvaro)

3.13. (Cristian)

3.14. (Bladimir)
1
ex cosy
ex seny
Df (x; y) = @ex seny ex cosy A , matriz jacobiana de f.
0

calculemos el determinante de dicha matriz.

ex cosy
) det(Df (x; y)) = ex seny

ex seny
ex cosy

= e2x cos2 y + e2x sen2 y

= e2x (cos2 y + sen2 y)
2x
= e , lo cual sabemos que 8x siempre es =
6 0.
Ahora veremos que f (x; y) = (ex cosy; ex seny) no es inyectiva.
para que fuese inyectiva tendria que pasar que:
(a; b) 6= (c; d) ) f (a; b) 6= f (c; d), veremos que esto no sucede
sea (0; 4 ) 6= (0; 94 )
ahora f (0; 4 ) = ( p12 ; p12 ) y f (0; 94 ) = ( p12 ; p12 )
entonces :
(0; 4 ) 6= (0; 94 ) ) f (0; 4 ) 6= f (0; 94 ) noo!!
) f es no inyectiva
3.15. (Maril)
Tenemos que D(g f )(0; 0; 0) = Dg(f (0; 0; 0))Df (0; 0; 0)
Ahora

54

Dg(x; y) =

1
3y

2
3x

Dg(f (0; 0; 0)) = Dg(1; 2) =

1
6

2
3

luego,
1
6

D(g f )(0; 0; 0) =

2 1
.
3 0

2
0

3
1
=
1
6

2
12

5
21

3.16. (Cristian)

3.17. (Bladimir)

3.18. (lvaro)

3.19. (Willliam)
Tenemos que (1) y (2) son de clase C 1 con G(2; 1; 1) = H(2; 1; 1) = 0,
tenemos que sus primeras derivadas parciales
@f (x; y) @G
@f (x; y) @G
@G
=
;
=
;
= 3t2
@x
@x
@y
@y
@t
@H
@H
@H
= t;
= 9y 2 ;
= x + 3t2
@x
@y
@t
son continuas en (2,-1,1) por ser de clase C 1 .
Veamos bajo que condicin
@G
@x

@G
@t

@H
@x

@H
@t (2; 1;1)

6= 0

As,
@G
@x

@G
@t

=
@H
@x

@H
@t (2; 1;1)

@f (x; y)
(x + 3t2 )
@x

@f (x; y)
(2 + 3)
@x
55

3(1)

3t2 (t)j(2;

1;1)

=5
5

@f (x; y)
@x

@f (x; y)
3
@f (x; y)
3 6= 0 ,
6=
@x
@x
5
de esta manera, si
@f (x; y)
3
6= ;
@x
5

entonces, por el teorema de la funcin implcita, 9x = g(y); t = h(y) denidas

en un abierto de R conteniendo a (-1,1) tales que g( 1) = 2; h( 1) = 1.

56

4. Fundamentos de integracin.
4.1. (lvaro)
4.2. (William)
4.3. (Bladimir)
4.4. (lvaro)
4.5. (William)

F = fx 2 A : f es discontinua en xg
G = fx 2 A : f es discontinua en xg
H = fx 2 A : f g es discontinua en xg
Demostremos que H es de medida cero, para ello consideremos 2 casos:
1. H = ;, en este caso la demostracin termina ya que H es de medida cero.
2. H 6= ;, entonces 9x 2 H tal que f g es discontinua en x, pero sabemos que
f g es discontinua en x si f es discontinua en x o si g es discontinua en x, de
esta manera x 2 F [ G, as, tenemos que H F [ G , pero como F y G son de
medida cero, entonces F [ G es de medida cero, y por un teorema, tenemos
que H es de medida cero.
4.6. (William)
Sea P una particin de A y R un subrectngulo tal que R 2 P , como f
entonces mR (f ) mR (g), as,
X
X
mR (f )
mR (g)
R2P

R2P

, multiplicando por vol(R) la desigualdad resulta

X
X
mR (f )vol(R)
mR (g)vol(R)
R2P

R2P

57

g,

, lo que por denicin equivale a

L(f; P )

L(g; p)

, entonces,
supfL(f; p)g

supfL(g; p)g

, como f y g son integrables, entonces

Z
Z
supfL(f; p)g =
f supfL(g; p)g =
g
A

, por lo que
Z
Z
f
g
A

4.7. (Cristian)

4.8. (Bladimir)

4.9. (Maril)

4.10. (William)

4.11. (lvaro)

4.12. (LIBRE)

58

Bibliografa
[1] Apostol, T. M. (1980). Calculus (Vol. 1 y 2, 2a. ed.). Revert.
[2] Bartle, R. G. (1980/1982). Introduccin al Anlisis Matemtico. Limusa.
[3] Buck, R. C. (1978). Advanced Calculus. McGraw-Hill.
[4] Courant, R. and John, F. (1974/2000). Introduction to Calculus and
Analysis (Vol 2, 2a. Reimpresin).Springer-Verlag.
[5] Fleming, W. H. (1977). Functions of Several Variables (2a. ed.). Springer.
[6] Fulks (1986). Clculo Avanzado. Limusa.
[7] Ghorpade, S. R. and Limaye, B. V. (2010). Multivariable Calculus and
Analysis. New York: Springer-Verlag.
[8] Homan, K. (1975). Analysis in Euclidean Space. McGraw-Hill.
[9] Knapp, A. (2005). Theory of Calculus in Several Variables. Springer.
[10] Lima, E. L. Analise no espaco R n . Notas mimeograadas.
[11] Loomis, L. H. and Sternberg, S. (1968). Advanced Calculus.
Addison-Wesley.
[12] Marsden, J. E. and Homan, M. J. (1998) Anlisis Clsico Elemental
(2a. ed.). Addison-Wesley Iberoamericana.
[13] Munkres, J. (1997). Analysis on Manifolds. Westview Press.
[14] Trench, W. F. (2013). Introduction to Real Analysis. Books and
Monographs. Book 7.
http://digitalcommons.trinity.edu/mono/7.
[15] Spivak, M. (1965). Calculus on Manifolds. Benjamin.

59