UNIVERSIDAD TECNOLGICA NACIONAL

FACULTAD REGIONAL AVELLANEDA

Depto: Materias Bsicas.

U.D.B: MATEMTICA.

Ctedra : ANLISIS MATEMTICO II

UNIDAD 2

Funciones de varias variables

Autor: Prof. Gabriela Righetti.

Revisin: Prof. Sandra Barrile.

2008
 Anlisis Matemtico II: Distancia. Topologa en Rn

DISTANCIA. TOPOLOGA EN Rn

Definicin:
Se llama distancia entre dos puntos A y B de n a una d: n x n que verifi-
ca:
i) la distancia entre dos puntos cualesquiera es no negativa .
A,B:( A n B n d(A,B) 0 )
ii) La distancia entre dos puntos es cero si y slo si los puntos son coinci-
dentes.
A,B:( A n B n [d(A,B)=0 A = B] )
iii) la propiedad simtrica.
A,B: (A n B n d(A,B)= d(B,A) )
iv) la propiedad triangular.
A,B, C : (A n B n C n d(A,B) + d(B,C) d(A,C))

Las definiciones de distancia ms usuales son:

1) En
d(A;B)= |b - a|
A B

a b

2
2) En
Si A= (a1; a2) y B=(b1;b2)
b2 B
d(A;B)= AB = (b2 a2 ) 2 + (b1 a1 ) 2
A
a2

a1 b1

Prof. Gabriela Righetti 1

 Anlisis Matemtico II: Distancia. Topologa en Rn

3
3) En

z
a3 A Si A= (a1;a2;a3) y B =(b1;b2;b3)
b3 d (A;B) = AB

d(A;B)= (a 3 b3 ) 2 + (a 2 b2 ) 2 + (a1 b1 ) 2
B

a2 b2 y
a1
b1

Definicin:
Si A n , se llama entorno de centro A y radio o amplitud (E(A;)) al conjunto
de puntos del espacio que se encuentran a una distancia de A menor que .

En smbolos, E(A;) = { X n
/ d(X;A) < }

Las representaciones de los entornos en los espacios que utilizaremos en la mate-

ria son:

1) En
A E(A;)={x / |x a|< }
(////|////)
a- a a+

2
2) En
y

A E(A;)={(x;y) 2
/ (x - a1 )2 + (y - a2 )2 < 2}

Prof. Gabriela Righetti 2

 Anlisis Matemtico II: Distancia. Topologa en Rn

3 z
3) En a3

A
A

a2
y

a1
x

E(A;)={(x;y;z) 3
/ (x - a1 )2 + (y - a2 )2 +(z- a3 )2 < 2}

Definicin:
Si A n , se llama entorno reducido de centro A y radio o amplitud (E(A;)) al
conjunto de puntos, distintos de A del espacio que se encuentran a una distancia
de A menor que .

En smbolos, E(A;) = E(A;) -{A}= { X n

/d(X;A) < X A }

Definiciones:
Consideremos C n
y A=( a1; a2 ;....;an ) n

- A es punto interior de C si y slo si existe al menos un entorno de A totalmente

incluido en C
En smbolos: A es punto interior de C >0 / E(A; ) C

- Al conjunto de puntos interiores de C lo indicamos C .

- Un conjunto es abierto si y slo si todos sus puntos son interiores.

En smbolos: C es abierto C = C

- A es punto exterior a C si y slo si existe un entorno de A al que no pertenece

ningn elemento de C.
En smbolos: A es punto exterior > 0 /E(A, ) C =

- A es punto frontera de C si y slo si no es interior ni exterior.

- La frontera de un conjunto (Fr C o C ) es el conjunto al que pertenecen todos

los puntos frontera del mismo.

Prof. Gabriela Righetti 3

 Anlisis Matemtico II: Distancia. Topologa en Rn

- A es punto de acumulacin de C si y slo si cualquier entorno reducido de A

tiene interseccin no vaca con C.
En smbolos:
A es punto de acumulacin de C >0 , X C/ X E(A; ) C

- Al conjunto de puntos de acumulacin de C , lo llamamos conjunto derivado de

C y lo indicamos C.

- Un conjunto es cerrado si y slo si le pertenecen todos sus puntos de acumula-

cin.
En smbolos: C es cerrado C C

- Un conjunto es acotado si y slo si se puede incluir en un entorno centrado en el

origen.
En smbolos: C es acotado > 0 / C E(0, )

Ejemplos:

1. En , consideremos A=[-3,2), resulta A=(-3;2), A=[-3;2], FrA={-3;2}.

Como A A y A / A, resulta que A no es abierto ni cerrado. A es acotado.

2. En 2
, sea B = {(x; y) 2
/x 2 2x + y 2 < 3 x = 5} .
Para determinar B y B, realicemos un grfico del conjunto B.
Para graficar x 2 2x + y 2 < 3 , debemos completar cuadrados. Entonces:
x 2 2x + y 2 < 3 x 2 2x + 1 + y 2 < 4 (x 1)2 + y 2 < 4
Esta ltima inecuacin permite saber que el grfico de x 2 2x + y 2 < 3 es un crcu-
lo de centro (1;0) y radio 2 (sin la circunferencia).
Entonces, el grfico de B es:

Por lo tanto:
B'= {(x; y) 2
/x 2 2x + y 2 3 x = 5}
B = {(x; y) 2
/x 2 2x + y 2 < 3}
FrB = {(x; y) 2
/x 2 2x + y 2 = 3 x = 5}
y B no es abierto ni cerrado.
B no es acotado

Prof. Gabriela Righetti 4

Anlisis Matemtico II: Funciones de varias variables

FUNCIONES DE VARIAS VARIABLES

En Anlisis I trabajamos con funciones escalares y ya vimos las funciones

vectoriales. Ahora, comenzaremos a estudiar funciones que tengan como dominio
un subconjunto de n .

Definicin:
Un campo escalar es una funcin F :A B con A n
B (n n 2)

Ejemplos:
1. H: 2
/ H(x;y) = x 2 + y 2

z
Se trata de una superficie cnica circular
recta con vrtice en (0;0;0) , eje z, con z 0

Es posible graficarla en Matemathica

2 2 mediante la instruccin:
1 Plot3D[Sqrt[x^2+y^2],{x,-2,2},{y,-2,2}];
y1
0
-2 0
-1

0
x -1

-2
2

2. G: 2
/ G(x;y) = x2 + y2

z Se trata de un paraboloide circular.

Utilizando el Matemathica:
8 Plot3D[x^2+y^2,{x,-2,2},{y,-2,2}];
6
2
4
2 1

0 y
-2 0
-1

x
0 -1

2 -2

Prof. Gabriela Righetti 5

Anlisis Matemtico II: Funciones de varias variables

3. F: 2
/ F(x;y) = - 4 x - 2 y+4

z
4

1
x

y
2

4. U: 3 / U(x;y;z)= x + y + z (Como el dominio est incluido en 3

no
tiene representacin cartesiana)

En Anlisis I, se vio que una expresin puede no definir una funcin de en ,

pero s definirla de un subconjunto de en . De la misma forma, puede ocurrir
que una expresin en n variables no defina una funcin de n en , pero a veces,
es posible determinar algn subconjunto de n para el cual quede definido un
campo escalar.

2
Ejemplos: Hallar A para que las siguientes expresiones definidas de A
sean campo escalar:

1. F(x;y)= 1 x2 y2

Para que el resultado de una raz cuadrada sea un nmero real, el radicando debe
ser no negativo.
y
1- x2 y2 0 1 x + y
2 2
x +y 1
2 2 1

A 1 x
A={(x;y) 2
/x 2 + y 2 1}

1
2. G(x;y)=
ln|x y 2 |
2

Para que el logaritmo sea un nmero real, el argumento debe ser mayor que cero y
para poder efectuar la divisin, el denominador debe ser distinto de cero.

Prof. Gabriela Righetti 6

Anlisis Matemtico II: Funciones de varias variables

Como | x2 y2| 0, entonces:

| x2 y2| 0 | x2 y2| 1 |x||y| x 2 y 2 1 x 2 y 2 1

Resulta:
A= { (x;y) 2
/|x||y| x 2 y 2 1 y 2 x 2 1}

3. H(x;y)=ln(x+y)

Como el argumento del logaritmo debe ser positivo, se tiene: x + y > 0 x>-y

Luego: A={(x;y) 2
/ y >-x} y

Definiciones:
- Consideremos un campo escalar de dos variables F: A 2 . Llamamos
curva de nivel de F correspondiente al valor k al conjunto:
Ck = {(x;y) A / F(x;y) = k} con k Im(F)

- Si G: A 3 es un campo escalar de tres variables, llamamos superficie de

nivel de G correspondiente al valor k, al conjunto:
S k= { (x;y;z) A / G(x;y;z) = k} con k Im(G)

- En general , si H : A R n R con n 2, llamamos conjunto de nivel de H

correspondiente a k a:
Lk ={(x1;x2 ;.....x n) A / H(x1;x2 ;.....x n) = k } con k Im (H)

Prof. Gabriela Righetti 7

Anlisis Matemtico II: Funciones de varias variables

Ejemplos:

+
1. F(x;y)= x2 + y2, DomF= Im(F)= 0

+
Si hacemos x2 + y2= k con k 0 , se obtiene el origen de coordenadas (k=0) o
circunferencias con centro en (0;0) y radio k

Con el programa Mathematica graficamos la funcin y algunas de sus curvas de

nivel:

El grfico del campo escalar

es una paraboliode circular.

Grficos de las curvas de nivel

2. G(x;y)= y x 2 , G:A 2
, A= {(x;y) 2
/ y x2}, Im(G)= +
0

+
Para determinar las curvas de nivel, consideramos k 0 y planteamos:
+
y x 2 = k y x 2 = k 2 y = k 2 + x 2 =k (k 0 ).

Los grficos de estas curvas son parbolas de eje y que lo cortan en (0; k2), yal
como se muestra en el grfico:

Prof. Gabriela Righetti 8

Anlisis Matemtico II: Funciones de varias variables

Grfico de G

3. Si el campo escalar est definido de un subconjunto de 3 en , es imposible

mostrar su grfico cartesiano. En cambio si podemos representar sus superficies
de nivel.

H:A / H(x;y;z) = ln(x2+y2+z2), con A= {(x;y;z) 3

/
x2+y2+z2 0}= 3 {(0; 0; 0)}

Como Im(H)= , al plantear ln(x2+y2+z2)=k, resulta x2+y2+z2 = ek (son superficies

esfricas con centro en (0;0;0) y radio ek/2

y
x

La figura muestra las superficies de nivel correspondientes a k<0, k=0 y k>0.

Prof. Gabriela Righetti 9

Anlisis Matemtico II: Funciones de varias variables

Definicin: F : A B es un campo vectorial A n

B m
, con n 2 m 2

Los conjuntos imagen de algunos campos vectoriales definidos de subconjuntos de

2
en 3 estn asociados a superficies en 3 cuyas ecuaciones en coordenadas
cartesianas se obtienen desparametrizando.

Ejemplo:

1. F : 2
3
/F(u; v) = (cos u.sen v; sen u.sen v; cos v)

Utilizando el Matemathica observamos que se trata de una superficie esfrica de

radio 1 y centro en (0;0;0)
ParametricPlot3D[{Cos[u]*Sin[v],Sin[u]*Sin[v],Cos[v]},{u,0,2Pi},{v,0,Pi}]

1
0.5
Para desparametrizar, debemos considerar que:
0
-0.5 z x = cos u.sen v
1
-1 y = sen u.sen v . Elevando x, y z, al cuadrado y
z = cos v
0.5
sumando, obtenemos:
y
0 x 2 + y 2 + z 2 = cos 2 u.sen 2 v + sen 2 u.sen 2 v + cos 2 v
-0.5
x Sacando factor comn entre los dos primeros
-1
trminos del segundo miembro:
-1
-0.5 x 2 + y 2 + z 2 = sen 2 v ( cos 2 u + sen 2 u ) + cos 2 v = 1
0
0.5 1
1

2. F : 2
2
/F(x; y) = (x 2 ; y) . Cada punto de 2
tiene una correspondencia con
2
un vector en , tal como se muestra en el grfico que est a continuacin y que se
realiz en el Mathematica. S grafica el conjunto imagen del campo.

Prof. Gabriela Righetti 10

Anlisis Matemtico II: Funciones de varias variables

Graphics`PlotField`
PlotVectorField[{x^2,y},{x,-2,2},{y,-2,2},{y,-2,2},{z,-2,2},VectorHeads->True];
2
y

-2 -1 1 2
x
-1

-2

3. F : 2 3 /F(u; v) = (2senv 1; u; 2 cos v)

El grfico del conjunto imagen es una superficie cilindrica circular de eje y, tal
comos e muestra en la figura:

Para escribir la superficie en coordenadas

cartesianas, consideramos:
x = 2senv 1 x + 1 = 2senv
y=u y=u
z = 2 cos v z = 2 cos v
Elevando al cuadrado y sumando, resulta:
( x + 1 )2 + z 2 = 4 y .

Prof. Gabriela Righetti 11

Anlisis Matemtico II: Funciones de varias variables

4. G : 3
3
/G(x; y;z) = xi + yj + zk .

Graphics`PlotField3D`PlotVectorField3D[{x,y,z},{x,-2,2}, Axes->True];

y
x

Para encontrar el dominio de campos vectoriales, hay que buscar la interseccin de

los dominios de cada una de sus componentes.

1
Ejemplo: F : A 2
2
/F(x; y) = ; ln ( y x 2 + 1 )
xy
Para encontrar A debemos plantear: x y > 0 y x 2 + 1 > 0 x > y y > x 2 1 .
Es decir: A = {(x; y) 2
/x > y y > x 2 1} , cuyo grfico es:

Prof. Gabriela Righetti 12