1.

FUNCIONES DE R
:
EN R
:
1.1. Espacio Euclideo n-dimensional
Denicin 1 El espacio euclideo es un espacio vectorial (R
n
, R, +, ) que tiene denido un producto escalar.
Segn sea el caso, podremos visualizar una terna (r, j, .) R
3
, como un punto (r, j, .) en el espacio o
como un vector con origen en el origen de coordenadas y extremo en el punto (r, j, .). As, describimos a R
3
indistintamente en forma:
Algebraica: como el conjunto de ternas (r, j, .), donde r, j, . son nmeros reales
Geomtrica: como el conjunto de vectores (o segmentos dirigidos) en el espacio
Inmediatamente se generaliza para describir a R
n
de manera indistinta como
el conjunto de :-uplas (r
1
, ..., r
n
), donde r
i
son nmeros reales.
el conjunto de vectores (o segmentos dirigidos) en R
n
.
Denicin 2 Denimos producto escalar (o interno) como la funcin , : R
n
R
n
R, tal que:
r, j = r j = r
1
j
1
+ .... + r
n
j
n
=
n

i=1
r
i
j
i
Denicin 3 Denimos distancia como la funcin d : R
n
R
n
R, tal que
d (r, j) =
_
2

i=1
(r
i
j
i
)
2
_
1=2
=
_
(r
1
j
1
)
2
+ (r
2
j
2
)
2
+ + (r
n
j
n
)
2
Denicin 4 Denimos longitud de un vector ren R
n
por la frmula:
[[r[[ =

_
n

i=1
r
2
i
tambin conocida como norma eucldea.
Denicin 5 Dados r R
+
y a R
n
, denimos entorno con centro en a y radio r denotado
r
(a), al
conjunto

r
(a) = r 1 : d(r, a) < r
Denicin 6 Sea a R
n
y sea r R
+
, denimos entorno abierto de centro a y radio r a:

r
(a) = r R
n
: |r a| < r
En particular a
r
(a).
Si excluimos el centro se dicimos que el entorno es reducido, esto es:

0
r
(a) =
r
(a) a = r R
n
: 0 < |r a| < r
1.2. Topologa en R
n
1.2.1. Clasicacin de los puntos en el espacio R
n
Para un conjunto R
n
y un punto r R
n
, se tenemos las siguientes deniciones:
Punto Interior
Un punto r es un punto interior a si existe un nmero r 0 tal que
r
(r) . (Notar que en este
caso r )
1
Punto Exterior
Un punto r es un punto exterior de , si existe un nmero r 0 tal que
r
(r) = O. Esto es:

r
(r)
c
Punto Frontera
Un punto r es un punto frontera de si no es un punto interior ni exterior de . Esto es:
\r 0,
r
(r) ,= O y
r
(r)
c
,= O
Punto de Acumulacin
Un punto r es un punto de acumulacin de si
\r 0,
0
r
(r) ,= O
Punto Aislado
Un punto r es un punto aislado de si existe un nmero r 0 tal que
0
r
(r) = O y r . Esto es:
r 0 tal que
r
(r) = r
Conjunto Interior de

0
es el conjunto de los puntos interiores de . Esto es:

0
= r R
n
: res punto interior de
Conjunto Frontera de
0 es el conjunto de los puntos frontera de . Esto es:
0 = r R
n
: r es punto frontera de
Conjunto Derivado de

0
es el conjunto de los puntos de acumulacin. Esto es:

0
= r R
n
: res punto de acumulacin de
Denicin 7 El conjunto R
n
es abierto si y slo si todos sus puntos son interiores. Esto es es
abierto si y slo si =
o
.
Denicin 8 El conjunto R
n
es cerrado si y slo si su complemento es abierto.
Denicin 9 El conjunto R
n
es acotado si y slo si existe r 0 tal que
r
(0).
Denicin 10 El conjunto R
n
es compacto si y solo si es cerrado y acotado.(Teorema de Heine
- Borel)
Denicin 11 El conjunto R
n
es convexo si dos puntos cualesquiera de se pueden unir por un
segmento totalmente contenido en .
Denicin 12 Dados
1
,
2
, . . . ,
n
R
n
, decimos que es una combinacin lineal convexa de ellos
si verica
= c
1

1
+ c
2

2
+ . . . + c
k

k
con
c
1
+ c
2
+ . . . + c
n
= 1, c
1
, c
2
, . . . , c
k
_ 0
Tambin lo podemos como denir como
es convexo = \r
1
, r
2
: `r
1
+ (1 `) r
2
, 0 _ ` _ 1
2
1.2.1.1. Propiedades de los conjuntos convexos
Suma: Dados 1 y H conjuntos convexos, la suma de ellos, 1+H = r R
n
: r = / + /, / 1, / H,
es un conjunto convexo.
Interseccin: La interseccin arbitraria de conjuntos convexos, es un conjunto convexo.
Ver las demostraciones en el TP.
Denicin 13 Si R
n
es un conjunto convexo, decimos que n es un punto extremo o vrtice de
si no es posible expresar a n como clc de otros puntos de distintos del propio n; o sea n no es interior a
ningn segmento contenido en . O tambin:
n ,= `n
1
+ (1 `) n
2
, 0 < ` < 1
1.3. Funciones en R
n
1.3.1. Funciones escalares y vectoriales
Una funcin ) denida en 1 R
n
e imagen contenida en R
m
(:, : N), se expresa como:
) : 1 R
n
R
m
r j
As, ) asigna a r = (r
1
, r
2
, ..., r
n
) 1 R
n
un nico elemento j R
m
siendo
j = ) (r) =
_
_
_
)
1
(r)
.
.
.
)
m
(r)
_
_
_ =
_
_
_
j
1
.
.
.
j
m
_
_
_ R
m
Expresaremos a ) como vector columna o la, segn convenga. Las )
i
, con i = 1, 2, ..., :, se llaman funciones
coordenadas de la funcin ).
Distinguiremos entre funciones escalares y vectoriales, ya sea que la imagen de la funcin sea un escalar
o un vector, respectivamente. Es decir, cuando : 1, ) es una funcin vectorial y las funciones coordenadas
)
i
, con i = 1, 2, ..., :, son funciones escalares
)
i
: 1 R
n
R
(r
1
, r
2
, ..., r
n
) j
i
Ejemplo 1 Ecuacin vectorial de la recta en R
3
: ) : RR
3
tal que:
) (t) = (r, j, .) = (r
0
, j
0
, .
0
) + t(
1
,
2
,
3
) = ()
1
(t), )
2
(t), )
3
(t)) , con (
1
,
2
,
3
) ,= 0
es una funcin vectorial de una variable, t R y la funciones coordenadas son las funciones escalares de una
variable
)
1
(t) = r = r
0
+ t
1
)
2
(t) = j = j
0
+ t
2
)
3
(t) = . = .
0
+ t
3
Ejemplo 2 Ecuacin vectorial del plano: ) : R
2
R
3
tal que:
) (:, t) = (r, j, .) = (r
0
, j
0
, .
0
) + : (n
1
, n
2
, n
3
) + t(
1
,
2
,
3
), con (n
1
, n
2
, n
3
) ,= 0, (
1
,
2
,
3
) ,= 0
es una funcin vectorial de dos variables, (:, t) R
2
y la funciones coordenadas son las funciones escalares de
dos variables
)
1
(:, t) = r = r
0
+ :n
1
+ t
1
)
2
(:, t) = j = j
0
+ :n
2
+ t
2
)
3
(:, t) = . = .
0
+ :n
3
+ t
3
3
1.3.2. Grca de funciones
Denicin 14 Sea ) : 1 R
n
R
m
, denimos grca de ) como el subconjunto de R
n+m
que consta de todos
los puntos
(r
1
, ..., r
n
, )
1
(r
1
, ..., r
n
), ..., )
m
(r
1
, ..., r
n
)) para (r
1
, ..., r
n
) de 1. En smbolos:
qra) ( )) =
_
(r
1
, ..., r
n
, )
1
(r
1
, ..., r
n
), ..., )
m
(r
1
, ..., r
n
)) R
n+m
: (r
1
, ..., r
n
) 1
_
1.3.3. Conjuntos de nivel
Denicin 15 Sea ) : 1 R
n
R, denimos un conjunto de nivel como el conjunto de puntos r 1 para
los que )(r) = c, para alguna constante c R.
En particular:
Si la funcin no es constante y : = 2, en general el conjunto es una curva y la llamamos curva de nivel.
Esto es:
( =(r, j) 1 : )(r, j) = c R
2
Si la funcin no es constante y : = 3, en general el conjunto es una supercie y la llamamos supercie
de nivel. Esto es:
o =(r, j, .) 1 : )(r, j, .) = c R
3
1.3.3.1. Composicin de funciones
Denicin 16 Dadas las funciones ) : 1
1
R
n
R
m
, q : 1
2
R
m
R
k
, si Im) 1
2
, es posible denir la
composicin de ) con q como una nueva funcin, que se simboliza / = q ) como sigue
/ = q ) : 1 R
n
R
k
, tal que /(r) =
_
q )
_
(r) = q()(r))
Ejemplo 3 Sea ) : R R
2
, tal que )(r) = (r, 0) y q : R
2
R tal que q(r, j) = r
2
+j
2
, entonces q ) : RR
tal que q )(r) = r
2
, y ) q : R
2
R
2
tal que ) q(r, j) = (r
2
+ j
2
, 0).
Notar que no siempre es posible realizar la composicin
Ejemplo 4 Sea ) : RR, tal que )(r) = r
3
, y sea q : 1 R
+
0
R
2
, tal que q(r) = (
_
r, r). no es posible
hacer la composicin q ) pues q no est denida para r < 0 (en este caso se podra restringir el dominio de
)), ni tampoco ) q pues la imagen de q y el dominio de ) viven en distintos espacios.
1.3.3.2. Epgrafe de una funcin
Denicin 17 Dada una funcin ) : 1 R
n
R denimos epgrafe de dicha funcin como el conjunto
1 ()) =
_
(r, j) R
n+1
: r 1, j R, j _ ) (r)
_
R
n+1
1.3.3.3. Funcin convexa
Denicin 18 Una funcin escalar ) : 1 R
n
R es convexa en 1, 1 conjunto convexo, siempre que su
epgrafe sea un conjunto convexo.
Tambin podemos decir que ) es convexa en 1, si \r
1
, r
2
1 se verica:
) [`r
1
+ (1 `) r
2
] _ `) (r
1
) + (1 `) ) (r
2
) , con 0 _ ` _ 1
Es decir que el valor de la funcin en cualquier punto de un segmento con extremos en r
1
y r
2
del dominio debe
ser menor o igual que un nmero real que pertenezca al segmento determinado por ) (r
1
) y ) (r
2
).
x1 x2 x
f(x)
y
x
y
4
Ejemplo 5 ) : RR, j = ) (r) = r
2
, probar usando la denicin que esta funcin es convexa.
1.3.3.4. Convexidad local Dada ) : 1 R
n
R , 1 conjunto convexo, ) es una funcin convexa en
r
0
si \r

(r
0
) se tiene que
) [`r
0
+ (1 `) r] _ `) (r
0
) + (1 `) ) (r) , con 0 _ ` _ 1
Se dice que la funcin es estrictamente convexa si las desigualdades anteriores son estrictas.
1.3.3.5. Funcin cncava Decimos que la funcin ) es cncava si ) es convexa.
Para las funciones vectoriales se pueden generalizar todas las deniciones que hemos dado de forma inmedi-
ata.. As, decimos que una funcin vectorial es convexa si lo son cada una de las funciones escalares que la
componen.
2. LIMITE
Para funciones de una variable, el contenido esencial de la denicin es que todos los r del dominio de
la funcin sucientemente cercanos a un punto a cumplan que ) (r) diere de | en menos de -. Es decir, si
) : 1 R R y a 1
0
(a punto de acumulacin de 1),
lm
x!a
)(r) = | = \- 0, c = c(-) 0 : \r 1, 0 < [r a[ < c = [)(r) |[ < -
En el caso general, tenemos la siguiente denicin anloga a la anterior, en trminos de distancia.
Denicin 19 Si ) : 1 R
n
R
m
, y a 1
0
, se dene, si existe, el lmite de )(r) cuando r tiende a a como:
lm
x!a
)(r) = | = \- 0, c = c(-) 0 : \r 1, 0 < d(r, a) < c = d()(r), |) < -
Observacin 1 En trminos de entorno y entorno reducido, la denicin dada es equivalente a la siguiente:
lm
x!a
)(r) = | = \- 0, c = c(-) 0 : )(
0

(a))
"
(|)
Teorema 1 Si el lmite existe, es nico.
Esto es, ) : 1 R
n
R
m
, a 1
0
con lm
x!a
)(r) = |
1
y lm
x!a
)(r) = |
2
= |
1
= |
2
Esto es, ) : 1 R
n
R
m
,
a 1
0
con lm
x!a
)(r) = |
1
y lm
x!a
)(r) = |
2
= |
1
= |
2
Proof. Supongamos que |
1
,= |
2
. Dado - =
d(l
1
;l
2)
2
, \r 1:
Si lm
x!a
)(r) = |
1
, entonces 0 < d(r, a) < c
1
= d()(r), |
1
) < -
Si lm
x!a
)(r) = |
2
, entonces 0 < d(r, a) < c
2
= d()(r), |
2
) < -
Sea c = mnc
1
, c
2
, \r 1, 0 < d(r, a) < c :
d
_
|
1
, |
2
_
_ d
_
)(r), |
1
_
+ d
_
)(r), |
2
_
< - + - =
d
_
|
1
, |
2
_
2
+
d
_
|
1
, |
2
_
2
= d
_
|
1
, |
2
_
Se llega as a la contradiccin: d
_
|
1
, |
2
_
< d
_
|
1
, |
2
_
.
Un importante teorema permite calcular lmite de funciones vectoriales sabiendo calcular lmite de funciones
escalares.
Teorema 2 Lmite coordenada a coordenada
Sea ) : 1 R
n
R
m
con )(r) = ()
1
(r
1
, ...., r
n
), ..., )
m
(r
1
, ...., r
n
)) donde )
i
: 1
i
R
n
R, e i = 1, 2, ..., :
son las funciones coordenadas de ) y sea | = (|
1
, |
2
, ..., |
m
), entonces:
lm
x!a
)(r) = | == lm
x!a
)
i
(r) = |
i
, \i 1, ..., :
Es decir, para que exista el lmite de una funcin vectorial, es condicin necesaria y suciente que existan
los lmites de cada una de sus funciones coordenadas.
Esta propiedad es muy importante, ya que permite estudiar el lmite de cada funcin coordenada para
calcular el lmite de la funcin vectorial. Por tanto el estudio se limitar al lmite de las funciones escalares.
Ejemplo 6 Si )(r, j, .) = (rj., r + j, rj sen., 5), lm
x!(1;1;)
)(r) =
_
lm
x!(1;1;)
rj., lm
x!(1;1;)
(r + j) , lm
x!(1;1;)
rj sen., 5
_
=
(, 2, 0, 5) = |.
5
2.0.4. Propiedades generales de los lmites de funciones escalares
Si ) : 1 R
n
R y q : 1 R
n
R , a 1
0
y existen lm
x!a
)(r) y lm
x!a
q(r), entonces
\c R, lm
x!a
c)(r) = c lm
x!a
)(r)
lm
x!a
()(r) q(r)) = lm
x!a
)(r) lm
x!a
q(r)
lm
x!a
()(r)q(r)) = lm
x!a
)(r) lm
x!a
q(r)
Si lm
x!a
q(r) ,= 0 , entonces lm
x!a
)(r)
q(r)
=
lm
x!a
)(r)
lm
x!a
q(r)
2.0.5. Lmite de una funcin de dos variables o lmite doble
Si ) : 1 R
2
R, tal que . = ) (r, j) y a = (a, /) 1
0
, se tiene que:
lm
(x;y)!(a;b)
) (r, j) = | = \- 0, c = c(-) 0 : \r 1, 0 < |r a| < c = [)(r) |[ < -
En este caso el lmite se llama lmite doble o simplemente lmite.
Ejemplo 7 lm
x!0
(4 + r
2
+ j
2
) = 4; ya que \- 0, c =
_
- 0 : 0 <
_
r
2
+ j
2
< c = [)(r) 4[ =
[4 + r
2
+ j
2
4[ = [r
2
+ j
2
[ < c
2
= -
Ejemplo 8 Sea ) denida por
) (r, j) =
_
x+y1
x2y+1
si j ,=
x+1
2
0 si j =
x+1
2
Estudiar el lmite en (0, 0).
Resolucion Obsrvese que lm
x!0
) (r, j) =
_
_
_
lm
x!0
x+y1
x2y+1
= 1 si j ,=
x+1
2
lm
x!0
0 = 0 si j =
x+1
2
. Luego, no existe lm
x!0
) (r, j)
Ejemplo 9 Si ) (r, j) =
rj
_
r
2
+ j
2
y se quiere calcular el lmite, si existe, en (0, 0), se observa que para
este punto la funcin presenta una indeterminacin, por tanto el clculo del lmite no es directo. Es posible
expresar a la funcin como ) (r, j) =
rj
[r[
_
1 +
_
y
x
_
2
=
_

_
j
_
1 +
_
y
x
_
2
si r 0
j
_
1 +
_
y
x
_
2
si r < 0
Al tender r e j a cero,
cualquiera que sea su ley de variacin, el denominador es mayor que uno y el numerador tiende a cero, luego,
lm
(x;y)!(0;0)
) (r, j) = 0.
2.0.6. Lmite por un camino particular
Denicin 20 Sea o una funcin real denida en un entorno del punto a, y continua en a, tal que o (a) = /.
o representa una curva continua en el plano rj que pasa por el punto a = (a, /). Sea ) : 1 R
2
R tal que su
dominio contiene a la curva o (excluido, posiblemente, el punto a) y a 1
0
. Se dene el lmite de ) (r) cuando
r a por la curva o, denotado por |
S
o tambin por lm
x!a
x2S
) (r), al siguiente lmite, si existe:
|
S
= lm
x!a
x2S
) (r) = lm
x!a
) (r, o (r))
Notar que se trata del lmite de una funcin real de variable real, pues ) (r, o (r)) = () o) (r) es una
funcin escalar de la variable real r.
Ejemplo 10 Para ) (r, j) =
y
x
, se muestra el lmite de ) cuando r 0 por tres caminos particulares diferentes:
N Cuando r 0 por el eje r. En este caso, es o (r) = 0, por lo que ) (r, o (r)) =
0
x
, y entonces |
S
= 0.
N Cuando r 0 por la diagonal principal, es decir, la recta j = r. En este caso, es o (r) = r, por lo que
) (r, o (r)) =
x
x
, y entonces |
S
= 1.
N Cuando r 0 por la parbola j = r
2
. En este caso, es ) (r, o (r)) =
x
2
x
, y entonces |
S
= 0.
6
Hay una esperable relacin entre el lmite doble y los lmites por caminos particulares, que se enuncia sin
demostracin:
Teorema 3 Si existe el lmite doble, entonces existen los lmites por cualquier camino particular contenido en
el dominio de denicin de la funcin y coinciden con el limite doble.
Teorema 4 Sea ) : 1 R
2
R, y a = (a, /) 1
0
. Si existe |, el lmite de ) en a y dado o = (r, j) R
2
:
j = q(r) con / = q(a) siendo q continua en a, si existe |
S
entonces | = |
S
.
Corolario 1 (a) Si no existe lmite por un camino particular, contenido en el dominio de la funcin, no existe
lmite doble.
(b) Si los lmites por dos caminos particulares, en el dominio de la funcin, son distintos, no existe lmite doble.
Esto permite armar que, en el ejemplo 10, la funcin
y
x
, no tiene lmite en el origen.
3. CONTINUIDAD
Una funcin ) (r, j) es continua en el punto a si lm
x!a
) (r) = ) (a). Notar que esta denicin exige que la
funcin est denida en a, que su lmite en a exista y que ambos valores sean iguales.
Una denicin equivalente de continuidad, y que surge a partir de la denicin de lmite, es la siguiente:
Denicin 21 ) es continua en a sii \- 0, c 0 : 0 < d (r, a) < c = d [) (r) ) (a)] < -.
En trminos geomtricos, ) es continua en a si el trozo de la supercie de ) correspondiente al entorno

(a) est integramente contenido entre los planos horizontales . = ) (a) + - y . = ) (a) -.
Si es un subconjunto del dominio de denicin de ), la funcin ) se dice continua en si es continua en
cada punto de .
Una funcin vectorial ) : R
n
R
m
es continua en a R
n
si lm
x!a
) (r) = ) (a). Como consecuencia de las
propiedades de lmite, ) es continua en a si, y slo si, lo son todas sus funciones coordenadas.
Otras consecuencias de las propiedades de los lmites permiten establecer las siguientes propiedades de las
funciones continuas:
La suma y producto de funciones continuas es una funcin continua.
El producto de una funcin continua por un escalar es una funcin continua.
El cociente de dos funciones continuas es una funcin continua en todos los puntos en los cuales el
denominador no se anula.
La composicin de funciones continuas es continua.
Sea ) : 1
1
R
n
R
m
y q : 1
2
Im) R
k
, si
lm
x!a
)(r) = / = )(a) R
m
() es continua en a) y lm
x!b
q(j) = | R
k
, entonces lm
x!a
q()(r)) = |
4. INFINITSIMOS
Sea , : 1 R
n
R. Decimos que , es un innitsimo en r = a si
lm
x!a
,(r) = 0
Si ) : 1 R
n
R, a 1
0
y lm
x!a
)(r) = |, denimos ,(r) = )(r)|. Entonces lm
x!a
,(r) = lm
x!a
()(r)|) =
| | = 0, por lo tanto , es un innitsimo en r = a.
7
Si llamamos al vector incremento / = r a, tenemos que cuando r a, / 0 y nos queda ,(/) =
)(a + /) )(a), esto es )(a + /) = )(a) + ,(/). Entonces
lm
h!0
,(/) = lm
h!0
()(a + /) )(a)) = lm
x!a
()(r) )(a)) = 0
Por lo tanto, , as denido es un innitsimo en 0. Luego podemos decir que si la funcin es continua en
a, la funcin incrementada menos la funcin sin incrementar dieren en un innitsimo.
Muchas veces nos va a interesar comparar innitsimos . El innitsimo con el que generalmente compara-
remos es [[/[[ =
_

n
i=1
/
2
i
o [[/[[
r
.
Si lm
h!0
'(h)
jjhjj
r
= 0 diremos que , es un innitsimo de orden superior a r, es decir, , tiende a cero ms
rpidamente que [[/[[
r
Si el lm
h!0
'(h)
jjhjj
r
= / ,= 0 diremos que , es un innitsimo de orden r.
Si el lm
h!0
'(h)
jjhjj
r
= diremos que , es un innitsimo de orden inferior a r.
Si no existe lm
h!0
'(h)
jjhjj
r
diremos que estos innitsimos no son comparables.
8