UNIVERSIDAD PEDAGÓGICA NACIONAL FRANCISCO MORAZÁN

CENTRO UNIVERSITARIO DE EDUCACION A DISTANCIA

SECCIÓN DE MATEMÁTICA
DE LOS DOCUMENTOS DE MAURICIO MONCADA

ASIGNATURA DE (EMA 4309) ANÁLISIS REAL EJERCICIOS RESUELTOS DEL CAPÍTULO 3

INSTRUCCIONES: Resuelva lo que se le pide a continuación, sea ordenado, presente cálculos y
justifique las demostraciones.

1) Demuestre las siguientes propiedades:

a) Demuestre e interprete gráficamente xy

2
 xy
2
2  x
2
 y
2
. Usando la
desigualdad de Cauchy – Schwartz se tiene:
2 2
xy  xy  x  y, x  y  x  y, x  y
  x, x  y  y , x  y    x, x  y  y , x  y 
  x, x  x, y  x, y  y , y    x, x  x, y  y , x  y , y 
  x, x  2 x, y  y , y   x, x    x, y     x, y        y , y 
  x, x  2 x, y  y , y    x, x  2 x, y  y , y 
  x
2
2 x y  y
2
 x
2
2 x y  y
2

2 2
2 x 2 x y 2 y 2 x y

xy
2
 xy
2
2  x
2
 y
2

b) Demostración usando la definición de norma:
2 2
   
xi  yi  xi  yi 
2 2
 
2 2 2 2
xy  xy    
 i 1   i 1 
   

   xi  yi 
2 2
  xi  yi
2 2

i 1 i 1

   
2 2
  xi2  2 x i y i  yi2   xi2  2 x i y i  yi2
i 1 i 1
2 2 2 2 2 2
  xi2  2  x i y i   yi2   xi2  2  x i y i   yi2
i 1 i 1 i 1 i 1 i 1 i 1
2 2
 2 xi2  2 yi2
i 1 i 1

 2  
2
2 
2

 2


i 1
xi   
2
  
i 1
yi 

2 

    
xy
2
 xy
2
2  x
2
 y
2

c) Interpretación gráfica: Para x   2, 3  , y   5, 2  , x  y   7, 5  :

d) Para x   2,3  , y   5,2  , x  y    3,1 :

2
 Diferencia entre las áreas calculadas:

  74  10  u 2  84 u 2
2 2
A  xy  xy

e) x,  y   x, y   x, y ,  
n n
x,  y   xi  yi   x , y    xi  yi
i 1 i 1
n
   xi yi 
n

   xi  yi i 1
i 1 n
  x, y    xi yi
i 1

  x, y
2
f) Para que valores de k, x , y  x
i1
i y i  x 1 y 1  3 x 1 y 2  3x 2 y 1  k x 2 y 2
2
x , y   x i y i  x 1 y 1  x 2 y 2  x 1 y 1  3 x 1 y 2  3x 2 y 1  k x 2 y 2 , entonces:
i1

3
 x 1 y 1  x 2 y 2  x 1 y 1  3 x 1 y 2  3x 2 y 1  k x 2 y 2
x 2 y 2  k x 2 y 2  3 x 1 y 2  3x 2 y 1

1  k  x 2 y 2   3  x 1 y 2  x 2 y 1 

1 k 

 3 x1 y 2  x 2 y1 
x2 y2

 k

 3 x1 y 2  x 2 y1  1
x2 y2

k  1

3 x1 y 2  x 2 y1 
x2 y2

k

x 2 y 2  3 x1 y 2  x 2 y1  , para x  0  y2  0
2
x2 y2

g) A  A  A, para A  2

Demostración:
A  A  A, para A  2
, por teorema, A  A  A.
i ) Probar que A  A  A
Sustituyendo A: A  A   A  A   A , luego, sea  x , y    A  A   A :
 A  A   A   x , y   2
:  x , y    A  A    x , y   A , por definición de diferencia, luego:
  x , y   2
:  x , y   A   x , y   A   x , y   A , por definición de unión, entonces:
  x , y   2

:  x , y   A   x , y   A   x , y   A  , por propiedad asociativa, luego:
  x , y   2
:  x , y   A  f  , por ley de complementación a  x , y   A   x , y   A ,
  x , y   2
:  x , y   A , por ley de identidad a A  f .
 A  A  A
ii ) Probar que A  A  A  hacer esta parte de la demostración  y concluir que A  A  A.

h) Para que un conjunto M  n sea conexo debe cumplir:

 G1  n , G2  n G1 , G1 deben ser abiertos.
 M  G1  G2 .
 Si A  G1  G2   entonces G1  A    G2  A   .
Con las condiciones dadas anteriormente, demuestre si: M   x, y  2
:  x  1   y  1  4
2 2

es conexo, donde los conjuntos G 1 , G 2 se definen así:
G1   x, y   2

: x  1  x  3 , G2   x, y   2

: y  1  y  3 .

4
En la gráfica se observa que M  G1  G2 . Por no cumplir con esta condición, se concluye que M no es
conexo.
Otro ejemplo: Con las condiciones dadas anteriormente, demuestre si: M   x, y  2 : x 2  y 2  1 es
conexo, donde los conjuntos G 1 , G 2 se definen así:
G 1   x, y   2
: y  x 2  1 , G 2   x, y   2
: y  2  x 2 .

 G1  2
, G2  2
 G1 , G1 son abiertos.
 M  G1  G2 .
Si M  G1  G2   entonces

G1  M   pero G2  M  M   .
Por lo tanto M   x, y  2
: x 2  y 2  1 es
un conjunto conexo.

5
2) Resuelva lo que se le pide en cada caso:
a) Sea G i  B 2  i  , i   discos abiertos de 2
, grafique G i y verifique si es una cubierta de
2
. Por contraejemplo conteste: ¿Por qué G i  B 1  i  , i   no es una cubierta de 2
?
2

n
Si se siguen graficando discos abiertos con centro en i   p , q    , se observa que Gi
i=1
n
cubren a 2
ya que para todo  p , q   2
, G k  G i tal que  p , q   G k , k  .
i=1
b) ¿Por qué G i  B 1  i  , i   no es una cubierta de 2
?
2

Para contestar la pregunta debe encontrarse un par ordenado i   p, q   2

talque  p, q   G i .
Sean los discos abiertos G 1  B 1  0,0  , G 2  B 1  0,1 , G 3  B 1 1,0  , G 4  B 1 1,1 . La grafica
2 2 2 2

correspondiente a los discos es la siguiente:

6
 En la gráfica el punto A   ,   pero, no hay un disco abierto G i talque A   ,   G i .
1 1 2 1 1
2 2 2 2
Por tal razón G i  B 1  i  , i   no es cubierta de 2 . El punto A   ,  no es el único
1 1
2 2 2
punto que no está en algún conjunto de G i  B 1  i  , i   , lo cierto es que hay infinitos
2

puntos que no son cubiertos por G i  B 1  i  , i   .

2

c) ¿Por qué G i  B 2  i  , i   no es una cubierta de 2

?
3

Para contestar la pregunta debe encontrarse un par ordenado i   p, q   2

talque  p, q   G i .
Sean los discos abiertos:
G 1  B 2  1,0  , G 2  B 2  0,0  , G 3  B 2 1,0  , G 4  B 2  0,1 , G 5  B 2   1,  1 , G 6  B 2 1,1 .
3 3 3 3 3 3

La grafica correspondiente a los discos es la siguiente:

En la gráfica los puntos A    ,   , B   ,  2 pero, no hay un disco abierto G i talque

1 1 1 1
 2 2 2 2
A    ,   , B   ,   G i . Por tal razón G i  B 2  i  , i   no es cubierta de 2 .
1 1 1 1
 2 2 2 2 3

d) Sea H una región de 3

definida así: H    x, y , z   3
:  4,4   4,4  5,5  . Grafique
la región del espacio y encuentre: H, H , Int( H), Ext( H), Fr(H) .

H    4, 4   4, 4  5, 5 H Int( H )    4, 4     4, 4     5, 5 

H   4, 4   4, 4  5, 5 H Ext( H )  3
H HC

7
 Fr(H ) =   x , y ,  5   3
:  4  x  4   4  y  4    x, y , 5   3
: 4  x  44  y  4
   x ,  4, z   3
:  4  x  4   5  z  5     x , 4, z   3
: 4  x  45  z  5
    4, y , z   3
:  4  y  4   5  z  5     4, y , z   3
: 4  y  45  z  5

NOTA: La parte azul de la gráfica es la que se ve en el primer octante y la parte punteada es la

que está en el resto de los octantes.

 xy z 
f  x , y , z   ln 
 x  y  z 
3) Sea , defina el Domf, además calcule el valor de
 
f  2,2,  5  , f 1,1,2  , f  0,0,0  y usando teoremas sobre límites calcule
lím f  x, y , z  , lím f  x, y , z  .
 x , y , z  2,2,  5  x , y , z 1,1,2 

 xy z 

 Domf    x , y , z    0 xy z  0  x yz  0 
3
:

 xyz 

 2  2    5 
 f  2, 2,  5   ln    ln  5   ln  5 
 2  2    5   9 3
 
 11 2  0
 f  1,1, 2   ln    ln    No definido, significa que 1,1, 2   Domf
 11 0  0
 0 0  0  0
 f  0,0,0   ln    ln    No definido, significa que  0,0,0   Domf
 000  0
NOTA: Como f  x, y , z   , esta función no puede graficarse usando propiedades de la
4

geometría euclidiana.

8
  xy z   xy z 
ln    ln 
  x , y , z   2 ,2 ,  5  x  y  z 
lím lím
 x , y , z   2 ,2 ,  5   x  y  z 
   
 lím x  y  z 
  x , y , z   2 ,2 ,  5  
  ln   , se sustituyen los valores:
 lím
 x , y , z   2 ,2 ,  5 
 x  y  z 
 
 2  2    5 
 ln    ln  5   ln  5 
 2  2    5   9 3
 
 xy z   xy z 
ln    ln  l í m
  x , y , z  1,1,2  x  y  z 
lím
 x , y , z  1,1,2   x  y  z 
   
 l í m x  y  z 
  x , y , z  1,1,2  
  ln   , se sustituyen los valores:
  x , y , z  1,1,2 
l í m  x  y  z  
 
 11 2   2 
 ln    ln    No definido, el límite no existe
 11 2   0

2
4) Utilizando la definición de límite, acotamiento y la definición de norma en , demuestre que
x2y 3
lím  .
 x , y  1,1 3 x  y 2
x2y 3
Para todo   0 tan pequeño como se quiera, existe   0 tal que    cada vez que
3x  y 2
 x, y   1,1  . Del cálculo se sabe que  x, y   1,1  es equivalente a
x  1    y  1   . Entonces:

x2y 3 2  x  2 y   3  3x  y 
 
3x  y 2 2  3x  y 

2 x  4 y  9x  3y

2  3x  y 

7 x  7 y

2  3x  y 


  7 x  7   7 y  7 
2  3x  y 
 7  x  1  7  y  1 

2  3x  y 

9
  7  x  1  7  y  1 

2  3x  y 
7 x 1 7 y 1

2  3x  y 
7 x 1 7 y 1
 , de la hipótesis x  1    y  1   :
2  3x  y 
7 7

2  3x  y 
14 
 , por la propiedad x y  x y :
2  3x  y 
14 
 con 3 x  y  0, se tiene:
2 3x  y
x2y 3 14 
  
3x  y 2 2  3x  y 
Debe acotarse el denominador 2  3x  y  . Como se está calculando lím f  x , y  , se toma un
 x , y  1,1
9 9
delta cercano a los valores del punto  1,1 . Por ejemplo x  1   y 1  . (En este caso solo
10 10
se toma un valor para delta porque las variables independientes tienden a 1, en caso de que no sea así, se
toma un delta para cada variable)
9 9 9 9 9 9
x 1     x1 y 1     y 1
10 10 10 10 10 10
9 9 9 9
  1 x  1   1 y  1
10 10 10 10
1 19 1 19
 x  y
10 10 10 10
1 1
Acotando inferiormente los valores de x, y: x  , y  , entonces:
10 10
14  14 
  
2  3x  y    1   1 
2 3    
  10   10  
14 
 
6 2

10 10
14 
   , despejando para  :
2
5
2 2 
 14      
5 5  14  35

10
 Se toma   mín  9 
,
10 35  para que el límite exista. Por ejemplo si   0.01 , entonces

  mín  9 0.01
,
10 35 
 mín 0.9, 0.00028 . Se toma   0.00028 para que el límite exista.

3
5) Utilizando la definición de límite, acotamiento y la definición de norma en , demuestre que
x2yz
lím  6 .
 x , y  1,2 ,  1 3 x  y  2 z

Para todo  0 tan pequeño como se quiera, existe  0 tal que

x2yz x2yz
  6   6   cada vez que  x, y   1,1   . Del cálculo se sabe que
3x  y  2 z 3x  y  2 z
 x, y, z   1,2,  1   es equivalente a x  1    y  2    z  1   . Entonces:

x2yz x  2 y  z  6  3x  y  2 z 
6 
3x  y  2 z 3x  y  2 z
x  2 y  z  18 x  6 y  12 z

3x  y  2 z
19 x  4 y  11z

3x  y  2 z
19 x  19  4 y  8  11z  11

3x  y  2 z
19  x  1  4  y  2   11  z  1
 
3x  y  2 z
De la hipótesis x  1    y  2    z  1   , y por las propiedades del valor absoluto, se
tiene:
x2yz 19 x  1   4 y  2  11 z  1
6 
3x  y  2 z 3x  y  2 z
19 x  1  4 y  2  11 z  1
 
3x  y  2 z
9 9 1
Se toman los siguientes valores para delta: x  1   y 2   z 1 
10 10 10
9 9 9 9 9 9
x 1    x1 y 1    y 1
10 10 10 10 10 10
9 9 9 9
 1 x  1  1 y  1
10 10 10 10
1 19 1 19
 x  y
10 10 10 10

11
 1 1 9
z 1    z1
10 10 10
9 9
 1 z  1
10 10
19 1
 z
10 10
Se debe restringir 3x  y  2 z acotando superiormente:

 3    3 x  3  
1 19 1 19
x
10 10  10   10 
3 1 57 1
   3x  y  
10 10 10 10
  2     3 x  y  2 z    2   
3 1 19 57 1 19

10 10  10  10 10  10 
  2     3 x  y  2 z    2   
3 1 19 57 1 19

10 10  10  10 10  10 
3 1 36 57 1 38
    3x  y  2 z   
10 10 10 10 10 10
36 18
  3x  y  2 z 
10 10
18 9
  3x  y  2 z 
5 5
9
Entonces, para 3x  y  2 z  y 3x  y  2 z  0 se tiene:
5
19 x  1  4 y  2  11 z  1  22 19   4  11
 
3x  y  2 z 9
5
34 
   , despejando para 
9
5
9
34  
5
9
 5
34
9

170
Se toma   mín  1 9 9
, ,
10 10 170  para que el límite exista. Por ejemplo si   0.01 , entonces

 1 9 9  0.01 
  mín  , ,   mín 0.1, 0.9, 0.00059 . Se toma   0.00059 para que el límite exista.
 10 10 170 

12
6) Demostrar si S m    x , y    1 m m  
2
: ,  , m   es convergente.
  m1 m1 
Tabla de valores para S m :  
m 0 1 2 3 4 5 6 7 8

S m  1,0  vp   3,0.7    2,0.75   1.7,0.8    1.5,0.83   1.4,0.86    1.3,0.87    1.2,0.88 

Usando el programa se grafican los puntos:

2
Para determinar el punto en al que la sucesión converge, se calculan los límites para cada
subsucesión:
 1 m m   1 m m 
lím      mlím
m 
, , lím
 m 1 m 1    m1 m   m1
 
  ,  , por L'h
  
   lím , lím 
1 1
 m 1 m 1
   1,1
La sucesión converge al punto   1,1 , está de color rojo en la gráfica.

13
 x2  3 y2
7) Dada la función f  x , y   , determine la posibilidad de que el límite de la función exista
2x y
en el punto 1,  1 usando las trayectorias S1 , S2 . (Estas trayectorias pueden sustituir a x o a y)
Sea S1   x, y   2
: y  x  2 , se puede tomar cualquier trayectoria que contenga al punto
1,  1 . Para comprobarlo se sustituye el valor de x  1 : y  1  1  2   1 .
x2  3 y2 x 2  3  x  2
2

lím  lím
 x , y  1, 1 2 x  y x 1 2x x2
yS 1

x 2  3  x 2  4x  4 
 lím
x 1 3x  2
yS 1

x 2  3x 2  12 x  12
 lím
x 1 3x  2
yS 1

4 x 2  12 x  12
 lím
x 1 3x  2
yS 1

4  1  12  1  12
2


3  1  2
4
Sea S2   x, y   2
: x  2  y 2  , se puede tomar cualquier trayectoria que contenga al punto
1,  1 . Para comprobarlo se sustituye el valor de y   1 : x   1  2   1   1 .
2

 2 y2 3 y2
2
x2  3 y2
lím  lím
 x , y   1, 1 2 x  y y 1 2  2  y 2   y
x S 2

44y2  y4 3 y2
 lím
y 1  2y 2  y  4
x S 2

y4  y2 4
 lím
y 1  2 y 2  y  4
x S 2

  1    1   4
4 2


 2   1    1  4
2

4
x2  3 y2
Por los resultados de las trayectorias, existe la posibilidad de que lím  4 . Esto no
 x , y  1, 1 2 x  y
demuestra que el límite existe, se tiene que demostrar por definición. Para todo   0 tan pequeño

14
 x2  3 y2
como se quiera, existe   0 tal que
2x y
 4   cada vez que  x, y   1,  1   . Del

cálculo se sabe que  x, y   1,  1   es equivalente a x  1    y  1   . Entonces:

x2  3 y2 x 2  3 y 2  42 x  y
4 
2x y 2x y
x 2  3 y 2  8x  4 y

2x y


x 2
 8x  7    3 y 2  4 y  7 
, factorizando:
2x y

 x  1 x  7    y  1 3 y  7 

2x y
x  1 x  7  y  1 3y  7
 
2x y
Debe acotarse, x  7 , 3 y  7 , 2 x  y . Como se está calculando lím f  x , y  , se toma un delta
 x , y  1,1
9 1
cercano a los valores del punto 1,  1 . Por ejemplo x  1   y 1  .
10 10
9 9 9 1 1 1
x 1    x1 y 1     y1
10 10 10 10 10 10
9 9 1 1
  1 x  1   1 y  1
10 10 10 10
1 19 19 9
 x  y
10 10 10 10
Acotando x  7 :
1 19
7  x7  7
10 10
69 51
  x7  
10 10
69
Se acota x  7  
10
Acotando 3 y  7 :

3  
19   9 
  3y  3   
 10   10 
57 27
  3y  
10 10
57 27 127 97
  7  3y  7   7    3y  7  
10 10 10 10
127
Se acota 3 y  7  
10

15
 Acotando 2 x  y :

2    2 x  2  
1 19
 10   10 

1 19
 2x 
5 5
1 19 19 19
  2x  y  
5 10 5 10
17 19
  2x  y 
10 10
17
Se acota 2 x  y  
10
Sustituyendo se tiene:
x  1 x  7  y  1 3y  7
2x y
69 127 127
    
10 10    10  
17 17
 
10 10
127
  
17
17 
 
127
 1 9 17  
Se toma   mín  , ,  para que el límite exista. Por ejemplo si   0.01 , entonces
 10 10 127 
 1 9 17  0.01 
  mín  , ,   mín 0.1,0.9, 0.0013 . Se toma   0.0013 para que el límite exista.
 10 10 127 

2 x2  y3  4 z
8) Demuestre usando limites iterados que lím f  x , y , z  de la función f  x, y, z  
 x , y , z  0, 0,0  2 x  3y  z
no existe.
  2 x2  y 3  4 z    2 x2  y 3 
lím  lím  lím 
  x  0  y  0 
lím lím  
x  0  y  0 z  0 2 x  3y  z
     2 x  3y 
2 x2
  lím
x0 2x

 lím x
x0
0

16
   2 x2  y 3  4 z    y3  4 z 
lím  lím  lím   
 z 0 y 0
lím lím  
z  0  y  0 x  0 2 x  3y  z
     3y  z 
 4z 
  lím 
z  0  z 

 lím   4 
z0
 4
Como 0   4 entonces se concluye que el límite no existe.

9) Una función en dos variables es continua en un punto  x0 , y0  si se cumplen las tres condiciones
siguientes:
i ) f  x0 , y0  existe
ii ) lím f  x0 , y0   L
 x , y   x 0 , y 0 

iii ) f  x0 , y0   L

tan  x  y 
Sea f  x , y   , clasifique el tipo de discontinuidad de la función en el punto  0,0  . En
xy
caso de ser posible redefina la función para que sea continua.
tan  x  y  tan  0  0  0
i) f  x , y     , imágen indeterminada.
xy 00 0
 sin  x  y  
 
tan  x  y   cos  x  y  
ii ) l í m  lím
 x , y  0 ,0  xy  x , y  0 ,0   xy 
 
 
 sin  x  y  
 lím  
 x , y  0 ,0   cos  x  y  x  y  
 
 1   sin  x  y  
 lím   lím   , por teorema:
 x , y  0 ,0   cos  x  y    x , y  0 ,0    x  y  
   
 1 
  1
 cos  0  
1
tan  x  y 
iii ) f  x0 , y0   l í m , se concluye que f  x0 , y0  es discontinua en  0,0  .
 x , y  0 ,0  xy
La discontinuidad en el punto  0,0  es removible porque el límite existe. Se puede redefinir la
función para que sea continua en el punto  0,0  .

17
  tan  x  y 
 , si  x , y    0,0 
f  x , y    x  y

0, si  x , y    0,0 


1  x , si x 
2 C

10) Sea f  x   
1
, probar si f es continua en x  . Haga una gráfica de la función
2  x , si x 
3
 2
que ilustre su respuesta.
1
Dado que x   C  Números Irracionales  , debe graficarse de la función seccionada
2
f  x  1  x .
2

2
 1  1 1 3
i) f    1   =1+  , la imágen existe.
 2  2 2 2
2
 1  1 1 3
ii ) l í m f    1   =1+  , el límite existe.
x 1  2   2 2 2
2
 1  1 3
iii ) f    l í m1 f 
 2  x2  2  2
1
Por lo tanto la función es continua en x  .
2

18