Leccin 1

Funciones
1.1 Introduccin. Desde la poca de Galileo Galilei (1564-1642), la matemtica ha
ocupado un lugar de excelencia en el mtodo cientfico. Uno de los ms fuertes
defensores de la matemtica en este sentido fue el filosofo y matemtica francs Rene
Descartes (1596-1650), quien declaraba que no admita ni esperaba ningn principio
de fsica, a no ser aquellos que se explicaran mediante geometra o la matemtica
abstracta. Podemos considerar que la matemtica moderna nace en el siglo XVII, con
la creacin de la geometra analtica y el calculo infinitesimal , con ello nace el
concepto de funcin, el cual es uno de los conceptos ms importantes de la
matemtica. No nos estamos refiriendo solamente a la idea de dependencia, lo cual
existe desde la poca griega, sino al concepto de funcin por si mismo como elemento
esencial de la matemtica. La mayora de las funciones conocidas en el siglo XVII
fueron estudiadas como curvas, este fue el caso, por ejemplo, de las funciones ax, log
x, sen x. La grafica de esta ultima, es decir la curva senoidal, aparece en un trabajo
sobre la Cicloide cuyo autor es el matemtico francs Personne de Roberval (16021675), a la cual llama curva compaera de la cicloide.
En esta poca disponan de tablas de valores para las funciones trigonomtricas y
logartmicas con un alto grado de aproximacin, sin embargo, el concepto funcin no
estaba totalmente claro. Un intento de definicin de funcin, en el siglo XVII, fue dada
por el matemtico y astrnomo escocs James Gregor, quien deca que una funcin era
una cantidad obtenida de otras cantidades por una sucesin de operaciones algebraicas
o por cualquier otra operacin imaginable (por esto ultimo se refera al paso limite).
La palabra funcin fue usada por primara vez en 1673 por el abogado, filosofo y
matemtico alemn Gottfried Wilhelm Leibniz (1646-1716) a quien le deben tambin
los trminos de variable, constante y parmetro: Leibniz no solamente pas a la
historia de la matemtica por la creacin del clculo quien junto con Newton comparte
ese honor, sino que tambin fue un importante filosofo e invento una calculadora
mecnica, la cual era una versin perfeccionada de la maquina de Pascal.
Actualmente, el concepto de funcin ya es una nocin muy depurada, sin embargo las
funciones interpretadas como formulas o expresiones matemticas, o bien como
grficas siguen teniendo vigencia. En la prctica, podemos decir que lo relevante de
una funcin es:
a) La expresin matemtica que la define
b) Su grfica
c) Una tabla de valores
Desde el punto de vista conceptual, concebir una funcin de esta manera es
insuficiente. Por ejemplo, si deseamos establecer con precisin los resultados del
clculo, conviene interpretar las funciones como reglas de asociacin y distinguir los
valores de la funcin misma. En este aspecto, resulta de gran utilidad el smbolo f(x),
introducido por el matemtico suizo Leonhard Euler (1707-1783) , el ms prolfico de
todos los tiempos.
1.2 El concepto de funcin. An cuando en este libro solamente manejaremos funciones
de las que llamaremos de varias variables reales con valores reales o vectoriales, es
conveniente que estudiemos los elementos bsicos acerca de las funciones en forma
general, pues este importante concepto est presente en todas las reas de la
matemtica.

1.3 Definicin 1. Dados X, Y, conjuntos cualesquiera, una FUNCIN con DOMINIO X y

CONTRADOMINIO Y, es toda regla o ley de asociacin que hace corresponder a
cada elemento de x X uno y slo uno y Y.
Usualmente a las funciones (las cuales son reglas), se les asigna nombres de una sola
legra de nuestro alfabeto como son f, g, h, F, G, H, pero tambin se pueden usar
nombres ms largos, letras de otros idiomas o incluso smbolos.
Si f es una funcin con dominio X y contradominio Y, para referirnos a este hecho
escribiremos
f:XY
lo cual debe leerse f de X en Y
Dado x X; si y Y es el elemento asociado a x segn la funcin f, escribiremos
f

x y x y,
en la ltima simbolizacin hemos omitido el nombre de la funcin f, y esta notacin la
usaremos solamente cuando no haya ambigedad sobre la funcin a la cual nos
estemos refiriendo. Una manera ms socorrida de representar este mismo hecho es
escribiendo y = f(x), lo cual debe leerse e igual a f de x.
El conjunto de imgenes
{ y y = f(x) para algn x X}
lo denotaremos por f(X) y le llamaremos IMAGEN de la funcin f (algunos autores de
texto le llaman RANGO de f). En general, si A X, la IMAGEN de A bajo f es el
conjunto
f(A) = { y y = f(x) para algn x A}
La IMAGEN de un conjunto A bajo una funcin f : X Y es un subconjunto del
contradominio Y, mientras que la IMAGEN INVERSA de un conjunto M bajo una
funcin f es un subconjunto del dominio X de f. El smbolo f-1 (M) debe leerse
imagen inversa de M y de ninguna manera f a la menos 1 de M o f inversa de
M. Ms adelante hablaremos de la funcin f inversa, pero en este caso no estamos
refirindonos a ella.
En trminos estrictos, una funcin f : X Y es la terna (f,X,Y), donde X es el dominio
de la funcin, Y es el contradominio de la funcin y f es la regla de correspondencia.
Dos funciones son iguales si y solamente si son iguales los trminos correspondientes
de la terna. Si dos funciones tienen distinto contradominio, son diferentes. Por ejemplo,
las funciones
f : R R y g: R R+ {0}
dadas respectivamente por
f(x) = x2 y g(x) = x2
Son diferentes.
En la mayora de los casos resulta totalmente irrelevante cul es el contradominio de
una funcin, por ejemplo, usted podra pensar que esto es as para las funciones
anteriores. En cierto modo, lo ms importante de una funcin es su dominio y su regla
de asociacin f, cuando este sea el caso obviaremos las diferencias respecto al
contradominio, siempre y cuando ello no cause confusin alguna, como regla general
identificaremos dos funciones que slo difieran en el contradominio. Por otra parte con
frecuencia nos referiremos a la regla f, como la funcin misma, de hecho esta fue
nuestra primera definicin, y la seguiremos adoptando a lo largo del texto; solamente

en situaciones muy especiales podramos hacer la distincin entre la funcin como

terna y la funcin como regla de asociacin.
Una funcin cuyo dominio sea un subconjunto de los nmeros reales, le llamaremos
FUNCIN DE VARIABLE REAL. Una funcin cuyo contradominio sea un
subconjunto de los reales, es decir, una funcin cuyos valores son nmeros reales, le
llamaremos FUNCION REAL. En nuestro primer curso de clculo estudiamos
funciones reales de variable real.
Dado que las funciones reales de variable real, generalmente estn dadas por
frmulas, haremos de una vez para siempre la convencin de que si no se indica
explcitamente el dominio y el contradominio, entonces debemos entender que el
dominio existe para todos los nmeros reales para los cuales tenga sentido o se pueda
calcular la frmula, y el contradominio se sobreentender que consiste de todos los
nmeros reales R. Por ejemplo, la funcin f dada por
f(x) = log (1 x2)
tiene por dominio el intervalo (-1,1). As que podemos escribir
f : (-1,1) R
1.4 Funciones Inyectivas, Suprayectivas y Biyectivas. Consideremos las funciones f y g,
ambas de R R, dadas por:
f(x) = x2 g(x) = x3
Hay una diferencia importante entre ellas, en la primera se repiten sus valores, por
ejemplo se tiene que f(-1) = f(1) = 1, f(-3) = f(3) = 9. Es decir, hay un par de puntos x,
y de su dominio R (de hecho hay una infinidad de pares de puntos, nosotros hemos
ilustrado dos pares) donde la funcin toma el mismo valor. Para la segunda funcin
esto no ocurre, es decir, siempre que se tomen dos puntos diferentes de su dominio R,
se obtendrn valores diferentes. Una funcin con las caractersticas de g se dice que es
inyectiva, la funcin f no es inyectiva. Observemos que las dos funciones tienen como
dominio y contradominio el conjunto R, la funcin f solamente toma valores no
negativos, es decir, hay elementos del contradominio que no son valores de la funcin,
por ejemplo, -1 no es un valor que pueda asumir la funcin f, mientras que la funcin g
toma como valor todo elemento de su contradominio. Una funcin como g se dice que
es suprayectiva; la funcin f no es suprayectiva. A continuacin precisamos estos
conceptos.
Definicin 2. Sea f : X Y una funcin arbitraria.
1) Se dice que f es INYECTIVA o UNO A UNO, si puntos diferentes del
dominio tienen imgenes diferentes. Es decir, si se vale la implicacin: x1,
x2 X, x1 x2 f(x1) f(x2)
equivalentemente, si
x1, x2 X, f(x1) = f(x2) x1 = x2
2) Se dice que f es SUPRAYECTIVA o SOBRE, si cada elemento de su
contradominio es imagen de algn elemento de su dominio. Es decir, si
para cada y Y, existe x X tal que y = f(x)
3) Se dice que f es BIYECTIVA, si f es inyectiva y suprayectiva a la vez.
Nota. En forma breve podemos decir que f es suprayectiva si F(X) = Y. Por otra parte,
que f NO sea suprayectiva significa que existe y Y, para la cual no existe x X.

Dicho de otro modo, f no es suprayectiva si existe y Y tal que y f(x) para toda x
X. Una funcin no suprayectiva, esencialmente puede hacerse suprayectiva
redefiniendo su contradominio igual a su imagen:
f : X f(X),
sin embargo, en trminos estrictos esta funcin es diferente de la original, pero posee
lo esencial de ella.
Ejemplo 1.
1) La funcin f dada por f(x) = x es biyectiva trivialmente. Recordemos que nuestra
convencin para estos casos es que R siempre ser el contradominio, el dominio
depender de la frmula o expresin. Para la funcin dada, el dominio es R mismo.
2) g(x) = ex es inyectiva pero no suprayectiva, pues toma solamente valores positivos.
3) h(x) = log x es inyectiva y suprayectiva, o sea, es biyectiva
4) F(x) = tan x es suprayectiva pero no inyectiva
5) f(x) = x4 no es inyectiva ni suprayectiva
6) G(x) = arctan x es inyectiva pero no suprayectiva
Si una funcin f : X Y es inyectiva pero no suprayectiva, redefiniendo su
contradominio obtenemos una funcin biyectiva. Hablando estrictamente, lo que se
obtiene es otra funcin, sin embargo, como se dijo anteriormente, identificaremos
ambas funciones, en todo caso podemos entender que ignoramos la funcin original
y que asignamos el mismo nombre a la funcin redefinida. Las funciones biyectivas
son especialmente importantes, para ellas hacemos la siguiente definicin.
Definicin 3. Si f : X Y es una funcin biyectiva, su FUNCIN INVERSA o
simplemente la INVERSA de f, es la funcin f-1 : Y X definida como sigue:
para cada y Y, f-1(y) = x si f(x) = y
Ejemplo 2. La funcin logaritmo log: R+ R, cuyo valor en cada x R+ es log x es
biyectiva y su inversa es la funcin exponencial exp: R R+, cuyo valor en cada
real es exp(x) = ex. Esta ltima funcin tambin es biyectiva y su inversa es la
funcin logaritmo, vale decir que son mutuamente inversas. Tenemos un resultado
general el cual es obvio.
Proposicin 1. Si f : X Y es una funcin suprayectiva, entonces as lo es f 1: Y
X, y adems (f-1)-1 = f.
Terminamos esta seccin con dos proposiciones que se prueban fcilmente.
Proposicin 2. Si f : X Y y g : Y Z son funciones biyectivas, entonces la
composicin g f : X Z es biyectiva.
Demostracin.
Mostremos que g f es inyectiva:
Sean x1 y x2 elementos diferentes de X. Como f es inyectiva, tenemos que f(x1)
f(x2). Como g es inyectiva, tenemos que g(f(x1)) g(f(x2)), es decir (g f)(x1) (g
f) (x2). Esto prueba que g f es inyectiva.
Mostremos que g f es suprayectiva:
Sea z Z. Como g es suprayectiva, existe y Y tal que g(y) = z. Como f es
suprayectiva para la y encontrada existe x X tal que f(x) = y. Se tiene entonces
g(f(x)) = z es decir (g f) (x) = z. Esto prueba que g f es suprayectiva. Hemos
probado que g f es biyectiva.

Proposicin 3. Sean f: X Y y g : Y X dos funciones cualesquiera. Si g f es la

funcin identidad X X, es decir, si (g f ) (x) = x para toda x X, entonces f es
inyectiva y g suprayectiva.
Demostracin.
Mostremos que f es inyectiva:
Sean x1 y x2 elementos de X tales que f(x1) = f(x2). Se tiene entonces que g(f(x1)) =
g(f(x2)); pero g(f(x)) = x para toda x X, por lo tanto x1 = x2. esto prueba que f es
inyectiva.
Mostremos que g es suprayectiva:
Elijamos un punto arbitrario x del contradominio X de g. Sea y = f(x), se tiene
entonces
g(y) = g(f(x))
= ( g f) (x)
=x
Esto prueba que g es suprayectiva.
1.5 Propiedades bsicas. Finalizamos este captulo con algunas propiedades sobre
imgenes, unin e interseccin de conjuntosProposicin 4. Sea f : X Y una funcin arbitraria y A, B subconjuntos de X se tiene
entonces:
1) Si A B entonces f(A) f(B)
2) f(AB) = f(A) f (B)
3) f(AB) f(A)f(B)
4) f(A-B) f(A)
5) f(A-B) f(A)-f(B)
Demostracin. El inciso (1) es obvio.
Prueba de (2):
Sea y f(AB); existe x AB tal que y = f(x). Si x A, entonces y = f(x) f(A),
luego y f(A)f(B). Si x B, entonces y = f(x) f(B), luego, tambin obtenemos que
y f(A)f(B). En cualquiera de los casos hemos obtenido que y f(A)f(B), esto
prueba la contencin f(AB) f(A)f(B). La contencin f(A)f(B)f(AB) se sigue
de la parte (1) y de los hechos A AB y B AB.
Prueba de (3):
Esta contencin se sigue de (1) y de las contenciones AB A y AB B, pues
f(AB)f(A) y f(AB)f(B).
El inciso (4) se sigue inmediatamente de la parte(1)
Prueba de (5):
Sea y f(A)-f(B); tenemos entonces y f(A) y y f(B). Existe x A tal que y = f(x),
esta x no puede estar en B, pues si se tuviese x B, querra decir y f(B), as que x
A-B, esto significa que y = f(x) f(A-B).
Esto prueba la proposicin 4.
Es fcil probar que en el inciso (3) no se cumple en general la igualdad. Por
ejemplo, considrese la funcin f dada por f(x) = x2 y los conjuntos A = (-1,0), B=(
0,1), la interseccin de ellos es el conjunto vaco por lo que f(AB) = , pero
f(A)f(B) = (0,1). El mismo ejemplo sirve para mostrar que en general no hay igualdad
en el inciso (5).

Las imgenes inversas son mejor comportadas, como se muestra en la siguiente

proposicin.
Proposicin 5. Sea f : XY una funcin arbitraria y F, G subconjuntos de Y. Se tiene
entonces:
1) Si FG entonces f-1(F) f-1(G)
2) f-1(FG) = f-1(F) f-1(G)
3) f-1(FG) = f-1(F) f-1 (G)
4) f-1(F-G) = f-1(F) - f-1(G)
Demostracin.
Prueba de (1):
Sea x f-1(F); se tiene entonces f(x) F. Como FG, f(x)G; pero esto significa a su
vez que x f-1(G).
Prueba de (2):
Sea x f-1(FG); se tiene entonces f(x) FG. Hay dos posibilidades, f(x) F f(x)
G. Si f(x) F, entonces x f-1(F), luego x f-1(F) f-1(G). Si f(x) G, entonces x
f-1(G), luego x f-1(F) f-1(G). En cualquiera de los dos casos se tiene x f-1(F) f1
(G), hemos probado que f-1(FG) f-1(F) f-1(G). La prueba de la otra contencin se
sigue de la parte (1) y de los hechos F FG, G FG.
Prueba de (3):
Sea x f-1(F) f-1(G); se tiene entonces, x f-1(F) y x f-1(G), es decir, f(x) F y f(x)
G, o sea f(x) FG. Pero esto significa que x f-1(FG). Hemos probado que f1
(F) f-1(G) f-1(FG). La otra contencin se sigue de la parte (1) y de los hechos
FG F y FG G.
Prueba de (4):
Sea x f-1(F-G); se tiene entonces f(x) F-G, luego f(x) F y f(x)G, esto implica
que x f-1(F) y x f-1(G), es decir x f-1(F) - f-1(G). Esto prueba la contencin f-1(F-G
) f-1(F) - f-1(G).
Sea ahora x f-1(F) - f-1(G); se tiene entonces x f-1(F) y x f-1(G), es decir f(x) FG. Pero esto significa que x f-1(F-G).
Esto prueba la contencin f-1(F) - f-1(G) f-1(F-G) y por lo tanto el inciso (4).
La prueba de la siguiente proposicin es muy fcil y se deja como ejercicio para el
lector.
Proposicin 6. Sea f : X Y una funcin arbitraria y A, F subconjuntos de X y Y
respectivamente. Se tiene entonces
1) f(f-1(F)) = F f(X)
2) f-1(f(A)) A
Problemas y ejercicios.
1. Pruebe la proposicin 6.
2. En cada uno de los siguientes incisos, determine el dominio de las
funciones que se indican.
a) f(x) =
1
.
1x

x- 2 .
x1
b) g(x) =

d)
e)
f)
g)

1
.
1 - x-2
.
x+1 - 1 .
x+1

F(x) = log ( (1/x2+1)-1)

G(x) = log ( (1/x2+0.9)-1)
h(x) = (x-1/2-x)
H(x) = (1/ (x-1)(2-x))

3) Pruebe que en general no se cumple la igualdad f-1(f(A)) = A

4) Pruebe que la funcin f dada por f(x) = x3 es biyectiva
5) Pruebe que la funcin f: R (-1,1), dada por f(x) = x / (1 + x ) es biyectiva.
6) Pruebe que la funcin f dada por f(x) = 200x3 90x2 + 12x + 1 no es inyectiva.
Leccin 2.
El Espacio Vectorial Rn
2.1 el conjunto Rn. Las funciones que estudiamos en nuestros cursos de Clculo I y II, son
de las que se llaman de una variable, por ejemplo
f(x) = log x
g(x) = 1 / (x3 + 1)
son funciones que dependen de x, que se denomina variable independiente y a la cual
podemos asignarle valores numricos que elegimos de un subconjunto de los nmeros
reales, al que hemos llamado dominio de la funcin. Para la funcin f el dominio est
constituido por todos los reales positivos, mientras que el dominio de g est formado por
todos los reales con excepcin de x=-1. Dado que las funciones que estudibamos tenan
como dominio un subconjunto de los nmeros reales R, en nuestro curso de Clculo I
hicimos un estudio previo de este conjunto, antes de iniciar propiamente el tratado sobre
funciones.
Ahora nuestro inters estar enfocado hacia las funciones de ms de una variable,
por ejemplo de dos variables. Una funcin de este tipo se dice que es de varias variables y
suelen definirse mediante frmulas.
Por ejemplo
f(x,y) = xy
g(x,y) = log (x2 y2)
h(x,y) = z/ (x+y-1)
son funciones de varias variables. Para hablar del dominio de una funcin de varias
variables, necesitaremos de un nuevo ente matemtico en donde lo ubicaremos. Este nuevo
ente es el conjunto Rn, que a continuacin definimos.
1.6 Definicin 1. Para cada natural n, Rn es el conjunto de las n-adas ordenadas (x1, x2, . .
., xn), de nmeros reales:
Rn = {( x1, x2, . . ., xn) | x1, x2, . . ., xn R}

Cada elemento de la n-ada (x1, x2, . . ., xn) lo denominaremos una ENTRADA. Los
elementos de Rn los denotaremos por la correspondiente letra minscula pero sin ndice, por
ejemplo x = (x1, x2, . . ., xn), a = (a1, a2, . . ., an).
Tambin haremos la identificacin obvia de R1 como R misma. En trminos estrictos R1 no
es otra cosa que el conjunto {(x)| x R}, pero en este caso sera necio usar los parntesis
que encierran la x. La definicin resulta interesante para casos n = 2, 3, . . . ., sin embargo
tambin incluiremos el caso n = 1, lo cual significa que en nuestro estudio estaremos
considerando el caso de las funciones de una sola variable.
En realidad en nuestro primer curso de clculo, nuestro estudio sobre R no se limit
a considerarlo como mero conjunto, sino que estudiamos sus propiedades relacionadas con
las operaciones algebraicas (propiedades de campo) y las relacionadas con la convergencia
que involucraban al supremo e nfimo (propiedades de continuidad). Ahora haremos lo
correspondiente para Rn.
2.2 E Espacio vectorial Rn. El estudio de la estructura algebraica de R, se refiere a las
propiedades de las operaciones +, -, * y entre los nmeros reales. Estas operaciones no
requirieron definicin dado que se supona un conocimiento de ellas, el cual obtuvimos
desde nuestros cursos elementales de aritmtica. Sin embargo, ahora los elementos de Rn
son nuevos entes: n-adas ordenadas.
(x1, x2, . . ., xn)
En este caso tenemos un conjunto puro, carente de operaciones, por lo que ser
necesario definirlas para darle esa estructura algebraica que necesitamos. Esto lo haremos a
continuacin.
Definicin 2. Sean
x = (x1, x2, . . ., xn), y y = (y1, y2, . . ., yn)
elementos cualesquiera de Rn. Definimos x+y como el elemento de Rn dado por
x + y = (x1 + y1, x2 + y2, . . ., xn + yn)
Este elemento lo denominaremos la SUMA de x y y, por otra parte, si es un real
cualquiera, definimos x como el elemento de Rn dado por
x = (x1, x2, . . ., xn),
el cual se obtiene multiplicando cada entrada de x por . Para el caso particular = -1, (
x1, x2, . . ., xn) lo escribiremos simplemente como ( x1, x2, . . ., xn).
Nota. Obsrvese que no hemos definido el producto de dos elementos de Rn, es decir, la
multiplicacin de dos n-adas.
Ejemplo 1. En Rn tenemos
i) (1,-1,0) + (2,1,2) = (3,0,2)
ii) 2(1.5,-3, 4/5) = 3, -6, 8/5)
iii) (-1) (6, 0, -4) = -(6, 0, -4) = (-6,0,4)
Las propiedades bsicas de estas operaciones las resumimos en la siguiente proposicin, de
las cuales demostraremos solamente algunas de ellas, la prueba de las restantes se deja
como ejercicio para el lector. Cabe aclarar, sin embargo, que algunas de estas propiedades
son demasiado evidentes, por lo que seguramente usted se podr preguntar por qu se
insiste en incluirlas. La razn de organizarlas y presentarlas en bloque, obedece al hecho de
que en el futuro cualquier propiedad algebraica en relacin a estas operaciones podr ser
deducida de las que aparecen en la proposicin por lo que no ser necesario recordar cmo
fueron definidas las operaciones. Este es el verdadero espritu del estudio de toda estructura
axiomtica. Observe por ejemplo, que el hecho evidente 0x=0 no aparece en la lista. Si bien

es cierto que es un hecho que se deduce inmediatamente de la definicin de la

multiplicacin por escalares, el que no est incluida en la lista significa que podemos de la
proposicin, an cuando ignorramos cmo est definida la multiplicacin por escalares.
Proposicin 1. Sean (x1, x2, . . ., xn), (y1, y2, . . ., yn) y (z1, z2, . . ., zn) elementos
cualesquiera de Rn y sea = (0, 0, . . . ., 0) el elemento Rn cuyas entradas son todas cero.
Entonces se tiene:
1. x + (y+z) = (x+y) + z
2. x + = + x = x
3. x + (-x) = (-x) + x =
4. x + y = y + x
5. 1x = 1
6. ()x = (x) para cualesquiera , R
7. (x+y) = x + y para cualquier R
8. (+)x = x + x para cualquier , R
Demostracin.
Prueba de (1):
x + ( y + z) = (x1, x2, . . ., xn) + ((y1, y2, . . ., yn) + (z1, z2, . . ., zn))
= (x1, x2, . . ., xn) + (y1 + z1, y2 + z2, . . ., yn + zn)
= (x1 + (y1 + z1), x2 + (y2 + z2), . . ., xn + (yn +zn))
= ((x1 + y1)+ z1, (x2 + y2)+ z2, . . ., (xn + yn ) +zn)
= (x + y) +z
Prueba de (3).
x + (-x) = (x1, x2, . . ., xn) + (-1) (x1, x2, . . ., xn)
= (x1, x2, . . ., xn) + (-x1, -x2, . . ., -xn)
= (x1 - x1, x2 - x2, . . ., xn - xn)
= (0, 0, . . . ., 0)
= .
Las propiedades que aparecen en la proposicin anterior corresponden a lo que se llama un
ESPACIO VECTORIAL, por lo que nos referiremos a Rn de esa manera.
Problemas y ejercicios.
1. Pruebe las propiedades no demostradas en la proposicin 1.
2.3 Espacios Vectoriales Abstractos. Para comprender mejor lo que se pretende con la
proposicin 1 de la seccin anterior, revisaremos el concepto de Espacio Vectorial
Abstracto.
Definicin 3. Un ESPACIO VECTORIAL es cualquier conjunto V acompaado de dos
operaciones:
i) SUMA VECTORIAL: Para cualquier x, y V hay definido un elemento x+y V.
ii) MULTIPLICACIN POR ESCALARES: Para cualesquiera x V y R, hay
definido un elemento x V.

Estas operaciones deben satisfacer las siguientes propiedades:

1.
2.
3.
4.
5.
6.
7.
8.

x + (y+z) = (x+y) + z para cualesquiera elementos x, y, z de V

Existe un elemento en V tal que x+ = + x = x para todo elemento de x V.
Para cada elemento x de V existe un elemento x de V tal que x + w = w + x =
x + y = y + x para cualesquiera elementos x, y V
1x = x para toda x V
() x = (x) para toda x V y cualesquiera , R
( x+y) = x + y para cualesquiera x, y V y para toda R
( + )x = x + x para cualesquiera , R y toda x V.

La teora sobre espacios vectoriales consiste en obtener la mxima informacin sobre el

espacio a partir de las 8 operaciones listadas, sin tener que particularizar el conjunto V y
obviamente son necesidad de explicitar las definiciones de la suma vectorial y de la
multiplicacin por escalares ( lo cual es imposible hacerlo si no se tiene un conjunto V
especfico), estas propiedades se denominan AXIOMAS DE ESPACIO VECTORIAL.
Los elementos del conjunto V pueden ser de cualquier naturaleza, el caso en el que
estamos interesados, V es Rn, cuyos elementos son n-adas ordenadas de nmeros reales,
pero los elementos de un espacio vectorial V pueden ser, por ejemplo, funciones,
polinomios, sucesiones, etc, etc. En cualquiera de los casos, para referirnos a los
elementos de un espacio vectorial V usaremos el trmino genrico VECTOR,
independientemente de su naturaleza, entonces valdr decir que un polinomio es un
vector cuando se considere como elemento de un espacio vectorial.
Definicin 4. Si V es cualquier espacio vectorial, a cada uno de sus elementos lo
denominaremos VECTOR y lo denotaremos por cualquier letra con una flecha
sobrepuesta, por ejemplo x, a, r.
Se sigue de la proposicin 1, que en Rn con las operaciones dadas en la definicin2
es un espacio vectorial. Sus elementos (x1, x2, . . ., xn) sern denotados por x y se les
denomina vectores.
Problemas y Ejercicios.
1. Pruebe que en todo espacio vectorial V
0x = 0
para todo vector x V.
2. Sea V el conjunto de todos los polinomios, es decir, polinomios de todos los grados
posibles, con coeficientes reales. Considere la suma vectorial y la multiplicacin por
escalares definidas como la suma usual entre polinomios y la multiplicacin usual
de un polinomio por un real. Estas operaciones las recordamos a continuacin:
i) Sean p(x) = an xn + . . . . . . + a1 x + a0 y q(x) = bm xm + . . . . . . + b1 x + b0 dos
polinomios de grados n y m respectivamente. Si los polinomios son de grado diferentes,
completamente a uno de ellos con trminos en cero para poder escribir ambos como
p(x) = ak xk + . . . . . . + a1 x + a0
q(x) = bk xk + . . . . . . + b1 x + b0
donde k = max{m, n}. Entonces se tiene por definicin
(p+q)(x) = (ak + bk)xk + . . . . . + (a1 + b1)x + (a0 + b0)

ii) Si p(x) = an xn + . . . . . . + a1 x + a0 es un polinomio y es un real, ambos

cualesquiera, entonces
(p)(x) = (an)xn + . . . . . . + (a1)x + (a0)
Pruebe que V acompaado de estas operaciones es un espacio vectorial.
3. Sea V el conjunto de todas las funciones continuas f: [0, 1] R. Para f, g V y
R definimos f+g y f como sigue:
(f+g)(x) = f(x) + g(x)
(f)(x) = f(x)
Estas son las operaciones usuales entre funciones. Pruebe que V es un espacio vectorial.
4. Sea V el conjunto de reales positivos R+. Definamos en V la operacin suma +
como:
a + b = ab
Si a es un elmento de V, es decir un real positivo y es cualquier otro real, es decir
R, definimos el producto a como
a = a
Pruebe que R+ acompaado de estas dos operaciones es un espacio vectorial.
Cul es el elemento neutro V?
Cul es el negativo de un elemento a V?
5. Sea V el conjunto de todas las sucesiones reales
x = (x1, x2, x3, . . . . . )
Consideremos la suma usual entre sucesiones y la multiplicacin de una sucesin por
un real como las operaciones suma vectorial y multiplicacin por escalares
respectivamente, es decir, si x = (x1, x2, x3, . . . . . ) y y = (y1, y2, y3, . . . . . ) son dos
elementos de V y es un real cualquiera, entonces x+y y x estn definidas como
x+y = (x1 + y1, x2 + y2, x3 + y3, . . . . . )
x = (x1, x2, x3, . . . . . )
Pruebe que V, junto con estas dos operaciones es un espacio vectorial.
6. Considere el conjunto W constituido por las sucesiones de reales
x = (x1, x2, x3, . . . . . )
convergentes a cero, es decir
lim xn = 0
n

y considere las operaciones definidas de la misma manera que en el ejercicio 3.

Pruebe que W es un espacio vectorial.
7. Cuadros mgicos. Una matriz de 3x3
a11 a12 a13
a21 a22 a23
a31 a32 a33
se dice que es un CUADRADO MGICO, si la suma de los elementos de cualquier
rengln, columna o diagonal es una constante. Los siguientes son ejemplo de cuadrados
mgicos.

111
111
111

0 1 1
-1 0 0
1 1 0

-1 1 0
1 0 1
0 1 1

4 3 8
9 5 1
2 7 6

Consideremos la suma entre cuadrados mgicos y la multiplicacin de un cuadrado

mgico como las operaciones para matrices (de hecho un cuadrado mgico es una
matriz). Pruebe que el conjunto de cuadrados mgicos junto con estas operaciones
constituye un espacio vectorial.
Escriba el cuadrado mgico
4 3 8
9 5 1
2 7 6
en la forma
111
0 1 1
-1 1 0
1 1 1 + -1 0 0 + 1 0 1
111
1 1 0
0 1 1
2.4 Interpretacin geomtrica en R2 y R3. Las definiciones que hemos establecido para la
suma vectorial y multiplicacin por escalares en Rn han sido puramente algebraicas, carente
de significado fsico o geomtrico para el caso general, sin embargo para el caso general,
sin embargo para los caso particulares de R2 y R3 es posible hacer tal interpretacin.
Veamos primero el caso n = 2:
R2 = {(x, y)| x, y R}
Si consideramos el plano fsico P con un sistema de ejes cartesianos x, y de referencia
Y
(x, y)

X
Figura 1.
podemos asociar a cada punto del plano una pareja ordenada de reales (x, y), como siempre
lo hemos hecho desde nuestros curso de geometra analtica elemental. Recprocamente, a
cada pareja de reales (x, y) podemos asociarle un punto del plano fsico. De este modo,
tenemos una identificacin entre los puntos del plano P y los elementos de R2, que son
parejas ordenadas de reales (x, y). En este sentido R2 es una representacin algebraica del

plano P, vale decir que un punto P del plano P tiene coordenadas (x, y) (respecto al sistema
de referencia elegido).
Veamos ahora cmo se traducen las operaciones algebraicas de R2 en el plano P;
para ello ser til introducir un elemento geomtrico, que es el de SEGMENTO DIRIGIDO
(tambin denominado VECTOR). Sea P un punto P de coordenadas (x, y), consideremos el
segmento de recta dirigido significa que sus extremos O y P se diferencian uno del otro; a
uno lo denominamos extremo inicial y al otro final, digamos que el segmento va de un
extremo a otro, geomtricamente los distinguimos colocando en el extremo final de una
punto de flecha, como se muestra en la figura 2.
Y
P

X
Denotaremos a este segmento de recta dirigido por OP o simplemente por P. Si P tiene
coordenadas (x, y), valdr escribir
P(x, y) o bien P = (x, y)
Sean P1=(x1, y1) y P2=(x2, y2). En las siguientes figuras podemos observar las
relaciones geomtricas entre los segmentos dirigidos correspondientes a los vectores (x1,
y1), (x2, y2) y (x1 + x2, y1 + y2) en R2.

(x1 + x2, y1 + y2)

(x2, y2)

y2

(x1, y1)
y1
x1

x2

Figura 3.
El segmento dirigido P asociado a la pareja (x1 + x2, y1 + y2) se puede construir
trasladando paralelamente el segmento P2 a una posicin en donde su origen coincida con el
extremo final de P1. Esta configuracin de los segmentos determina un nuevo punto del
plano y por lo tanto un segmento dirigido P que corresponde precisamente a la suma (x1 +
y1, x2 + y2).
(x1 + y1, x2 + y2)
(x2, y2) P
P2

P1

(x1, y1)

La construccin anterior se denomina la REGLA DEL PARALELOGRAMO, pues

el vector P resulta ser una de la diagonales del paralelogramo cuyos dos de sus lados son
los segmentos P1 y P2.
(x1 + y1, x2 + y2)
(x2, y2) P
P2
(x1, y1)
P1
X
Interpretemos ahora la Multiplicacin por Escalares. Sea (x, y) R2 y P el
segmento dirigido asociado como se muestra en la siguiente figura. Consideremos tambin
2(x, y) = (2x, 2y) y su segmento dirigido asociado.

2y
y

(2x, 2y)

2x

figura 6.
Observemos que el segmento dirigido asociado a (2x, 2y), el cual denotamos por Q,
tiene una magnitud que es igual al doble de la del segmento P (esto se deduce de uno de los
criterios de semejanza para tringulos de la geometra elemental euclidiana).
As pues, el segmento dirigido asociado a 2(x, y) = (2x, 2y) tiene la misma direccin
y sentido del segmento asociado a (x, y), pero el doble de magnitud. Es fcil intuir que un
resultado anlogo ocurre para el segmento asociado a 3(x, y) = (3x, 3y), slo que en este
caso la magnitud queda multiplicada por 3. En general, el segmento asociado a (x, y) =
(x, y) para > 0, es otro segmento con la misma direccin y sentido, pero cuya longitud
es veces la longitud del segmento asociado a (x, y). Si =0, no se genera ningn nuevo
segmento, pues en este caso se tiene 0(x, y) = (0, 0) el cual no tiene asociado ningn
segmento dirigido.
Si = -1, tenemos entonces (-1)(x, y) = (-x, -y)
Y
y

(x, y)

X
x
Y
X

(-x , -y)

Figura 7.
De la figura anterior podemos observar que el segmento asociado a la pareja ordenada
(x, y) = (-x, -y) tiene la direccin pero de sentido opuesto al del segmento asociado a (x,
y), la magnitud es la misma. Si es un real negativo cualquiera, es fcil intuir que (x, y) =
(x, y) determina un segmento con la misma direccin, sentido opuesto y cuya magnitud
es veces la magnitud del segmento asociado a (x, y). Con esto terminamos la discusin
en R2.
Para R3 la situacin es completamente anloga. En este caso consideramos el espacio fsico
tridimensional , en donde tenemos establecido un sistema de referencia de tres ejes
cartesianos.
Z

Y
X
Figura 8.
Cualquier punto del espacio lo identificamos ahora con una terna ordenada de reales (x, y,
z) y viceversa. En este caso los segmentos dirigidos se encuentran en el espacio.
Z
z
(x, y, z)
y Y
x
X

(x, y, 0)

Figura 9.
En el plano, un sistema de ejes cartesianos lo divide en CUADRANTES, mientras que
en el espacio el sistema de tres ejes lo divide en OCTANTES que son 8 regiones que
podramos denominar, por ejemplo, octante anterior superior derecho. Otro sera
octante posterior superior izquierdo, etc. En el espacio se tiene la correspondiente
LEY DEL PARALELOGRAMO, slo que en este caso se construye un paralelogramo
con segmentos en el espacio tridimensional. Por su parte la multiplicacin por
escalares tiene su interpretacin completamente similar a la ya vista en el plano.
Problemas y Ejercicios.
1. Liste los nombres de cada uno de los octantes que determina un sistema de
tres ejes cartesianos en el espacio tridimensional.
2. Dibuje un sistema de tres ejes cartesianos tomando como unidad 0.5cm. en
cada uno de los tres ejes. Trace los vectores (segmentos dirigidos) que se
indican a continuacin. Para los tres primeros incisos utilice un sistema de
referencia y para los dos restantes haga un dibujo por separado.
a) (3, 2, 1)
b) (1, 2, 3)
c) (3, 2, 1) + 2(1, 3, 2)
d) (-1, 2, 4)
e) (-1, 2, 4)
3. Qu restricciones deben hacerse sobre x, y y z para que la terna (x, y, z) se
encuentre:
a) sobre el eje x
b) sobre el eje y
c) sobre el eje z
d) sobre el plano xy
e) sobre el plano xz
f) sobre el plano yz
g) sobre el octante posterior-superior-izquierdo
h) sobre el octante posterior-inferior-derecho
i) sobre el octante anterior-inferior-izquierdo
4. Dibuje los vectores u = (1, 2, 3), v = (2, 1, 3), w = (3, 2, 1), as como el
vector u-w.
5. En cada uno de los siguientes casos calcule x, y y z, segn se indique
a) (-1, 4, 5) + (2, -4, 3) = (x, y, z)
b) (7, y, -9 + z) + (x, -4, 3) = (2, 1, x)
c) (a, 4b, d-5) + (x, z-4, x+y) = (0, y, c)
2.5 Rectas en el plano y ene. Espacio. Respecto a un sistema de ejes cartesianos
x, y, una recta en el plano represente algebraicamente por una expresin de la
forma
ax + by = c

la cual es conocida como ECUACIN CARTESIANA de la recta. Esta

ecuacin establece una relacin entre las coordenadas de los puntos (x, y) que se
encuentran sobre la recta
Y
ax + by = c

Figura 10
Otra representacin algebraica de la recta se obtiene mediante su ecuacin
paramtrica, la cual obtendremos a continuacin.
En la seccin 4 interpretamos geomtricamente la suma a + b de dos vectores a
y b de R2. este es un caso particular de las sumas de la forma a+tb donde t es un
nmero real.
tb

l
tb

a
a
b

Haciendo variar t sobre todos los nmeros reales, se obtienen puntos a + tb

sobre un recta l. La expresin
L(t) = a + bt
Se denomina la ECUACIN PARAMETRICA de la recta l. Esta recta pasa por
el punto a y observe que es paralela al vector b (el punto a se obtiene de t=0).
Explicitando los vectores a =(a1, a2) y b =(b1, b2) obtenemos
L(t) = (a1, a2) + t(b1, b2)
o sea
L(t) = (a1+tb1, a2+tb2)

Esta expresin indica cmo son las coordenadas de los puntos sobre la recta.
Tambin se vale escribir
x = a1+tb1
y = a2+tb2
y son referidas como las ECUACIONES PARAMETRICAS de la recta l. Conviene
son embargo manejar estas ecuaciones en una sola relacin breve L(t) =a + tb, ambas
maneras son formas algebraicas equivalentes de representar a la recta.
Haciendo t = 0 se obtiene el punto a; con t = 1 se obtiene el punto a + b
l
Y
t
t=1
t=0
a+tb
a

Figura 12
Podemos imaginar la situacin como si trasladramos los nmeros de la recta l, donde el
cero se ubica en a y el 1 en a+b. En general el real t se ubica en el punto a+tb, dnde se
ubican los reales negativos?.
Ejemplo 2. la ecuacin paramtrica que pasa por el punto a= (-1,2) y que es paralela al
vector b=(1, 1) es L(t) = (-1, 2) + t(1, 1), o sea
L(t) = (-1+t, 2+t)
Y
a+tb

b
X
Figura 13

Tambin podemos describir la recta como

x = -1+t
y = 2 +t

Para obtener la ecuacin paramtrica de una recta, de la cual sabemos que pasa
por dos puntos dados p = (p1, p2) y q = (q1, q2), conviene tener una
interpretacin geomtrica de la diferencia de dos vectores.
Sean a y b dos vectores en R2. El vector x que satisface la ecuacin
a+x=b
es el vector diferencia b a. Para determinarlo geomtricamente, observemos que x
debe ser un vector tal, que cuando se traslade paralelamente, segn la Regla del
Paralelogramo, debe darnos b.
Y

a
b
x
X

Figura 14
Esto significa que el vector x es paralelo al segmento dirigido que va del extremo
final de a al extremo final de b, de este modo obtenemos geomtricamente el vector
diferencia.
Y
b-a
a

En la figura anterior hemos identificado el segmento mismo que une los

extremos finales de ay b con el vector diferencia b-a. En trminos estrictos el
vector b-a se obtiene trasladando al origen dicho segmento.
Y

b
a
b-a
X

Figura 16
Supngase ahora que se desea la ecuacin paramtrica de la recta que pasa por dos
puntos dados p y q. Esta recta tiene la direccin del vector q-p
Y

q-p
q
p
X

Figura 17

As que se trata de la recta que pasa por el punto p y es paralela al vector q-p, por lo
tanto su ecuacin estar dada por
L(t) = p + t(q-p)
Para verificar que se trata de la ecuacin deseada, basta observar que con t=0 se
obtiene el punto p
L(0) = p + 0(q-p) = p
y haciendo t=1 se obtiene el punto q

L(1) = p + 1(q-p) = q
De las ecuaciones paramtricas de una recta
x = a1 + tb1
y = a2 + tb2
podemos obtener su ecuacin cartesiana despejando t de una de las relaciones y
sustituyndola en la otra. Por ejemplo, si b1 0
t = (x a1)/b1
por lo tanto
y = a2 + b2[(x a1)/b1]
o sea
y = (b2/b1) (x-a1) + a2
Para el caso de las rectas en el espacio tridimensional, el tratamiento es
completamente similar:
Si a = (a1, a2, a3) y b = (b1, b2, b3) son dos vectores en R3. La ECUACIN
PARAMETRICA de la recta que pasa por el punto a y es paralela al vector b
est dada por
L(t) = a + tb,
tR
o sea
L(t) = (a1 + tb1, a2 + tb2, a3 + tb3)
Esta ecuacin tambin se puede escribir en la forma
x = a1 + tb1
y = a2 + tb2
z = a3 + tb3
que se denominan ECUACIONES PARAMETRICAS de la recta. A la variable
t se le llama PARAMETRO y toma valores sobre todos los nmeros reales.
Z

p
q
Y
X
La ecuacin de la recta en el espacio tridimensional que pasa por dos puntos
dados p = (p1, p2, p3) y q = (q1, q2, q3) esta dada por
L(t) = p + t (q-p)
que tambin escribimos
L(t) = tq + (1-t)p

Ejemplo 3. La ecuacin de la recta que pasa por los puntos p = (1, 3, 2) y q =

( 2, 5, 1) est dada por
L(t) = (1, 3, 2) + t [(2, 5, 1) (1, 3, 2)]
= (1, 3, 2) + (1, 2, -1)
o sea
L(t) = (1 + t, 3 + 2t, 2 t)
Tambin podemos escribir esta ecuacin como
x= 1+t
y = 3 + 2t
z = 2 t
Como caso especial tenemos las rectas que pasan por el origen del sistema de
ejes. Los puntos sobre estas rectas no son otra cosa que los mltiplos de un
vector, as que su ecuacin es de la forma L(t) = tb = (tb1, tb2, tb3).
Para finalizar esta seccin mencionaremos que algunos libros de texto tambin
se refieren a la ecuacin cartesiana de una recta en el espacio tridimensional.
Esta se obtiene de despejar el parmetro t de las ecuaciones paramtricas.
x = a1 + tb1
y = a2 + tb2
z = a3 + tb3
t = (x a1)/b1
t = (y a2)/b2
t = (z a3)/b3
y construyendo la cadena de igualdades
(x a1)/b1 = (y a2)/b2 = (z a3)/b3
denominando a esta expresin como la ecuacin cartesiana. Esto es poco
popular debido seguramente a los dos signos de igualdad. Nosotros no las
utilizaremos.
2.6 Planos en el espacio. Con el mismo tipo de ideas de la seccin anterior
podemos describir los planos en el espacio tridimensional. Considrese primero
un par de vectores a y b en el espacio.
Z

a
b
Y
Figura 19

Estos vectores generan un plano, definido por las rectas que se obtienen al
prolongarlos. Los mltiplos sa del vector a generan una recta la mientras que los
mltiplos tb del vector b generan otra recta lb, ambas rectas pasan por el origen.
La suma de los mltiplos sa + tb es un vector que se encuentra precisamente en
el plano P definido por las dos rectas la y lb. Este plano contiene al origen y se
dice que es GENERADO por los vectores a y b y su ECUACIN
PARAMETRICA est dada por
Z

a
b
Y
X
Figura 20
Ahora obtendremos la ecuacin de un plano en general, que puede o no
pasar por el origen. Dado que un plano que no contiene al origen O, lo podemos
obtener trasladando paralelamente otro que pase por este punto O, concluimos
que la ECUACION PARAMETRICA del PLANO PARALELO A LOS
VECTORES a y b y que pasa por el punto p est dado por
P(s, t) = p + sa + tb
Z

s, t R

a
b
p
Y
X
Figura 21
Explicitando las coordenadas de los vectores p, a y b obtenemos que la ecuacin del
plano es

P(s, t) = (p1 + sa1 + b1, p2 + sa2 + b2, p3 + sa3 + b3)

donde p = (p1, p2, p3), a = (a1, a2, a3) y b = (b1, b2, b3) y s, t son parmetros que
toman valores en todo R.
Tambin se vale decir que el plano tiene las ECUACIONES PARAMETRICAS
x = p1 + sa1 + b1
y = p2 + sa2 + b2
z = p3 + sa3 + b3
Tomando dos de estas ecuaciones, resolvindolas para s y t y sustituyendo los
valores obtenidos en la tercera restante, obtenemos la ECUACION CARTESIANA del
plano, la cual tendr la forma
ax + by + cz = d
por ejemplo, si de las dos primeras ecuaciones despejamos s y t en trminos de las
variables x, y y sustituimos los valores obtenidos en la ltima de las ecuaciones, obtenemos
una relacin de la forma
z = Ax + By + C
Ejemplo 4. La ecuacin paramtrica del plano que pasa por el punto p = (3, 1, 2) y es
paralelo a los vectores a = (-1, 1, 0) y b = (1, 2, -1), esta dado por:
P(s, t) = p + sa + tb
= (3, 1, 2) + s (-1, 1, 0) + t(1, 2, -1)
que tambin podemos escribir como
x=3s+t
y = 1 + s + 2t
z=2t
La ecuacin cartesiana despegando s y t de la primera y tercera ecuaciones:
t=2z
s=3+2zx=5zx
y sustituyendo sus valores en la segunda ecuacin, para obtener finalmente
y= 1 + 5 z x + 2(2-z)
o sea
x + y + 3z = 10
Si tenemos dados tres puntos de un plano u, v y w, para obtener su ecuacin
basta establecer
p=u
a = v u
b=wu
y considerarlo como el plano que pasa por p y es paralelo a los vectores a y b.

Para finalizar esta leccin veamos lo que se adopta como una representacin
estndar de los vectores en R3. si v = (x, y, z) es un vector cualquiera de R3, entonces es
claro que podemos escribir
(x, y, z) = x(1, 0, 0) + y(0, 1, 0) + z(0, 0, 1).
El conjunto de vectores (1, 0, 0), (0, 1, 0) y (0, 0, 1) recibe el nombre de BASE
CANONICA de R3 y cada uno de ellos se denota de manera especial:
i = (1, 0, 0)
j = (0, 1, 0)
k = (0, 0, 1)
con esta notacin podemos escribir
v = xi + yj + zk
para todo vector v = (x, y, z) R3. A los vectores i, j y k se les llama BASE debido
a la propiedad de que todo vector de R3 se puede representar en la forma anterior.
En general el conjunto de vectores en Rn
1 = (1, 0, . . . . . , 0)
2 = (0, 1, . . . . . , 0)
.
.
.
n = (0, 0, . . . . . , 1)
donde cada una de las entradas i son cero, excepto la i-sima que vale 1, se
denomina la BASE CANONICA DE Rn.
Si x = (x1, x2, . . . . . ., xn)
= x1(1, 0, . . . . . , 0) + x2(0, 1, . . . . . , 0) + . . . . . + xn(0, 0, . . . . . , 1)
es decir
x = x1 1 + x2 2 + . . . . . + xnn
Por ejemplo el vector x = (2, -4, 5, 1, 0) en R5se escribe como
x = 2 1 - 4 2 + 5 3 + 4
Problemas y Ejercicios.
1.

En cada uno de los siguientes casos halle la ecuacin paramrica de la

recta generada por el vector indicado y trace la recta en el espacio
tridimensional.
a) v = (1, 3, 5)
b) v = (2, -1, 1)
c) v = (-1, -1, 2)
d) v = 4i +2j + k
e) v = -i 2j 3k

2.

En cada uno de los siguientes casos halle la ecuacin paramtrica del

plano generado por los vectores indicados.
a) u = (3, 2, 0) y w = (2, 0, 3)
b) u = (1, 0, 1) y w = (0, 1, 1)
c) u = (4, 4, 0) y w = (0, 0, 1)
d) v = j +k y w = -j + k
e) v = i +j y w = j + k
3.
Halle las ecuaciones cartesianas de los planos del ejercicio 2.
4.
En cada uno de los siguientes casos determine la ecuacin paramtrica de
la recta que pasa por el punto a y en direccin del vector v indicados.
a) a = (1, 1, 1), v = i j
b) a = (0, 1, 1), v = j k
c) a = (0, 1, 1), v = -i j - k
5.
En cada uno de los siguientes casos halle la ecuacin paramtrica del
plano que pasa por el punto a y que es paralelo al plano generado por los
vectores v yw.
a) a = (1, 2, 0), v = -i + j y w = -i +k
b) a = (1, 1, 1), v = -i + j y w = -i j k
c) a = (0, 1, 1), v = i j y w = -j + k
6.
Halle las ecuaciones cartesianas de los planos del problema 5.
7.
Encuentre los puntos de interseccin con los planos coordenados de la
recta cuyas ecuaciones paramtricas son
x (t) = 1 + 3t
y (t) = 2 t
z (t) = 4 + 5t
8.

Encuentre los puntos de interseccin con los planos coordenados de la

recta dada por L(t) = (2-t, 1+t, 3+2t)
9.
Halle las ecuaciones de las rectas que son la interseccin con los planos
coordenados del plano cuya representacin paramtrica es
P(s, t) = (2+t-s, 1-2t+3s, 2+3t+4s)
10.
Halle las ecuaciones de las rectas que son la interseccin con los planos
coordenados del plano cuya ecuacin cartesiana es
5x + 3y z = 2
11.
Halle la interseccin del plano cuya ecuacin cartesiana es
x 2y + 4z = 2
con la recta cuyas ecuaciones paramtricas son
x=1t
y = 2 + 5t
z = 1 + 3t
12.

Halle la interseccin del plano cuyas ecuaciones paramtricas son

x=2+ts
y = 3 2t + 5s
z = 1 + 4t 3s

con la recta cuya representacin paramtrica es

L(t) = (t, 2 + 6t, 4 3t)
13.
Halle las ecuaciones cartesianas y paramtricas del plano que contiene a
los puntos a = (3, -1, 4), b = (0, -2, 5) y c = (1, 5, 2).

Leccin 3
El espacio normado Rn
3.1. La Norma Euclidiana Rn. Uno de los conceptos ms importantes del Clculo y
del Anlisis Matemtico es el de METRICA o DISTANCIA. Este concepto es lo
que permite definir las diversas nociones de lmite o convergencia. Por ejemplo,
lmite de una funcin en un puno, lmite de una sucesin de nmeros, lmite de una
sucesin de funciones. En Rn la nocin de mtrica depende a su vez del concepto de
NORMA DE UN VECTOR, por lo cual comenzaremos con ello.
La MAGNITUD o NORMA de un vector v = (x, y) en R2 es la longitud del
segmento de recta que une los puntos O = (0, 0) y P = (x, y). Sabemos, por el
teorema de Pitgoras de nuestro curso de geometra elemental euclidiana, que esta
longitud est dada por x2 + y2 . Este nmero no negativo lo denominamos la
NORMA del vector v = OP. En el espacio tridimensional tambin es fcil ver que la
longitud del segmento que une los puntos O = (0, 0, 0) y P = (x, y, z) est dada por
la expresin similar x2 + y2 + z2. Ahora extenderemos esta relacin al caso Rn, la
cual adoptaremos como definicin de norma de un vector.
Definicin 1. Si x = (x1, x2, . . . . , xn) es un elemento de Rn, definimos la NORMA
EUCLIDIANA de x como el real no negativo x12 + x22 + . . . . + xn2 que
denotaremos por cualquiera de los smbolos x o N(x), es decir
x = N(x) = x12 + x22 + . . . . + xn2
tenemos definida una funcin : Rn R que denominamos la NORMA
EUCLIDIANA, la cual asigna a cada vector x en Rn un real x .
En la proposicin de abajo establecemos las propiedades ms importantes de
la norma euclidiana. Para su prueba necesitaremos de lo que se conoce como
Desigualdad de Cauchy-Schwarz, la cual enunciamos y probamos a continuacin.
Lema 1. (Desigualdad de Cauchy-Schwarz). Sean x = (x1, x2, . . . . , xn) y y
= (y1, y2, . . . . , yn) elementos de Rn, entonces
x1y1 + x2y2 + . . . . + xnyn x12 + x22 + . . . . + xn2 y12 + y22 + . . . . + yn2

la cual implicar la desigualdad deseada ya que

x1y1 + x2y2 + . . . . + xnyn x1 y1 + x2 y2 + . . . . + xn yn
Si alguno de los vectores x o y es 0, entonces la desigualdad se cumple trivialmente,
pues en este caso ambos miembros valen cero. El casi interesante es cuando ambos
vectores y y son diferentes de 0.
Supongamos entonces x 0 y y 0 y hagamos
= x12 + x22 + . . . . + xn2 y = y12 + y22 + . . . . + yn2
Usando y , la desigualdad a probar se escribe
x1 y1 + x2 y2 + . . . . + xn yn
Como > 0 y > 0 esta desigualdad es equivalente a
x1/ y1/ + x2/ y2/ + . . . . . + xn/ yn/ 1
probemos pues, la desigualdad escrita en la forma anterior (prcticamente en este
momento estamos iniciando la demostracin). Dado que para cualesquiera reales a y
b se cumple
ab (a2 + b2)/2
se tiene entonces
x1/ y1/ + x2/ y2/ + . . . . . + xn/ yn/ * (sigue abajo)
(x12/2 + y12/2) / 2 + (x22/2 + y22/2) / 2 + . . . . . + (xn2/2 + yn2/2) / 2 *
[(x12 + x22 + . . . . + xn2)/ 2]/2 + [(y12 + y22 + . . . . + yn2) /2]/2 = + = 1
Esto prueba el lema.
Veamos ahora las propiedades de la norma euclidiana
Proposicin 1. Para cualesquiera vectores x, y en Rn y toda R se cumple
1) x 0, 0 = 0
2) x = x
3) x + y x + y
4) x = 0 x = 0
Demostracin.
Prueba de (1):

La propiedad x 0, o sea x12 + x22 + . . . . + xn2 0 no es otra cosa que la definicin

misma del smbolo de raz cuadrada que representa la raz positiva.
Prueba de (2):
Se tiene
x = (x1) 2 +(x2) 2 + . . . . + (xn) 2
= 2 x12 + 2 x22 + . . . . + 2 xn2
= 2 (x12 + x22 + . . . . + xn2)
= 2 (x12 + x22 + . . . . + xn2)
= (x12 + x22 + . . . . + xn2)
= x
Esto prueba (2). Note que hemos usado 2 = , consecuencia nuevamente del hecho de
que 2 debe de ser mayor o igual que cero.
Prueba de (3).
Se tiene

x + y = ( x1 + y1)2 + + (xn + yn)2

= x12 + 2x1y1 + y12 + +xn2 + 2xnyn + yn2
= ( x12 + + xn2 ) + 2( x1y1 + + xnyn ) + ( y12 + + yn2 )
= x 2 + 2( x1y1 + + xnyn ) + y 2
Aplicando la desigualdad de Cauchy-Schwarz
x1y1 + + xnyn x y
obtenemos
x + y x 2 + x y + y 2
es decir
x + y 2 ( x + y ) 2
de donde al extraer la raz cuadrada de ambos miembros obtenemos finalmente
x + y x + y
que es lo que desebamos probar.
Prueba de (4).
Si x = 0, se tiene entonces
x12 + x22 + . . . . + xn2
es decir
x12 + x22 + . . . . + xn2 = 0
2
Pero siendo cada xi mayor o igual que cero, se debe tener que xi2 = 0 para i = 1, 2, . . . , n, o
sea xi = 0 para i = 1, 2, . . . . . ., n. Esto significa que x = 0.

Con esto queda probada la proposicin 1.

Nota 1. Usando la idea anterior se puede probar la llamada desigualdad de Cauchy-Schwarz
para integrales: si f y g son funciones continuas [a, b] R, entonces
ab f(x) g(x) dx ( ab f2(x) dx) ( ab g2(x) dx)
3.2. El concepto general de norma en Rn. Las propiedades de la norma euclidiana vistas en
la proposicin 1 las adoptaremos para definir la nocin abstracta de norma:
definicin 2. Una NORMA en Rn es cualquier funcin : Rn R que satisface las
siguientes propiedades que denominaremos AXIOMAS DE NORMA: para cualesquiera x,
y Rn y para toda R, se cumple
i) x 0, 0 = 0
ii) x = x
iii) x + y x + y
iv) x = 0 x = 0
Si hacemos una revisin cuidadosa de la teora desarrollada a lo largo del texto,
podemos darnos cuenta que no es necesario manejar la expresin explcita de la norma
euclidiana x = x12 + x22 + . . . . + xn2. Bastara conocer solamente las propiedades que
aparecen en la proposicin 1, que son las mismas que constituyen la definicin anterior. De
esto deducimos que, durante el desarrollo de la teora, podemos prescindir de la definicin
misma de la norma euclidiana, siendo suficiente suponer vlidas las tan citadas
propiedades. As que para fines tericos es totalmente irrelevante cmo est definida la
norma euclidiana. Dicho de otro modo, si hubisemos definido de otra manera la norma
euclidiana, todo ira igual de bien, con tal de que se satisficiesen los llamados axiomas de
norma.
Las propiedades importantes de la norma euclidiana se deducen de los axiomas (i) (iv),
por lo tanto estas mismas propiedades se valdrn para normas en general. Por otra parte,
todas las propiedades que valgan para normas en general valdrn para la norma euclidiana,
dado que tales propiedades se deducirn de (i) (iv).
Proposicin 2. Para toda norma : Rn R se cumple
1) -x = x para todo vector x Rn
2) x - y x - y para cualesquiera vectores x, y Rn
Demostracin. El inciso (1) se sigue del axioma (ii), haciendo = -1
Probemos (2). Puesto que
x = x y+ y x - y + y,
se tiene

 x - y x - y,
Intercambiamos los papeles de x y y, obtenemos
y - x y - x ,
pero x - y = y - x , por lo tanto.
y - x x - y
Combinando las dos desigualdades, obtenemos finalmente
x - y x y
Nota 2. La condicin 0 = 0 que aparece en el axioma (i) para normas, se deduce del
axioma (ii) haciendo simplemente = 0. esto significa que podemos omitir tal propiedad de
(i), obteniendo de esta manera un conjunto de axiomas equivalentes:
i') x 0
ii) x = x
iii) x + y x + y
iv) x = 0 x = 0
No obstante que podemos prescindir de la condicin 0 = 0, sin afectar el
contenido de los axiomas en conjunto, preferimos incluirla dentro de los axiomas de norma,
dado lo socorrido de ella. Un subconjunto de axiomas, donde una o varias propiedades se
deducen de las restantes se dice que es REDUNDANTE. Un conjunto de axiomas
redundante no provoca conflicto lgico alguno, slo suministra informacin no necesaria.
3.3. Otras normas en Rn. Para que tenga sentido, y sobre todo, resulte til, haber definido el
concepto general de norma en Rn, debiramos disponer de otras normas adems de la
euclidiana. En esta seccin veremos dos normas muy interesantes .
definamos 1: Rn R por
x 1 = x1 + x2 + . . . . . . + xn
para todo vector x = (x1, x2, . . . . ., xn) Rn
Proposicin 3. La funcin 1: Rn R es una norma en Rn.
Demostracin. Debemos verificar los axiomas (i), (ii), (iii) y (iv) para normas.
Verificacin de (i):
Dado que para todo real x, x 0, se tiene

 x 1 = x1 + x2 + . . . . . . + xn 0
para todo x = (x1, x2, . . . . ., xn) Rn.
Verificacin de (ii):
Si es un real y x = (x1, x2, . . . . ., xn) Rn, entonces
x = x1 + x2 + . . . . . + xn
= x1 + x2 + . . . . . + xn
= ( x1 + x2 + . . . . . + xn )
= x1
Verificacin de (iii):
Si x = (x1, x2, . . . . ., xn) y y = (y1, y2, . . . . ., yn) son elementos cualesquiera de Rn, tenemos
x + y = x1 + y1 + x2 + y2 + . . . . . . + xn + yn
x1 + y1 + x2 + y2 + . . . . . . + xn + yn
= ( x1 + x2 + . . . . . . + xn) + ( y1 + y2 + . . . . . + yn)
= x 1 + y1
verificacin de (iv): Supngase x = (x1, x2, . . . . ., xn) Rn tal que
x 1 = x1 + x2 + . . . . . . . + xn = 0
Es claro entonces que xi = o para i = 1, 2, . . . ., n
Esto significa que x = 0
Nos referiremos a 1 como a la NORMA 1. En R2 la norma 1 de un vector v del
primer cuadrante es la suma de sus coordenadas.
Consideremos ahora la funcin : Rn R dada por
x = max { x1, x2, . . . . ., xn}
para todo vector x = (x1, x2, . . . . ., xn) Rn. La notacin x que puede parecernos un
tanto extraa obedece a razones que ms adelante explicaremos.
Proposicin 4. La funcin es una norma en Rn, que se denomina NORMA DEL
MAXIMO o NORMA CUBICA.
Demostracin. Verifiquemos los axiomas (i) (iv) para las normas.
Verificacin de (i):
Puesto que cada xi es mayor o igual que cero, obviamente se tiene

max { x1, x2, . . . . ., xn} 0

es decir x 0.
Verificacin de (ii):
Antes de proceder a verificar el segundo axioma, observemos que por definicin
max {a1, a2, . . . ., an}
es el mayor de los elementos a1, a2, . . . . ., an, por lo que necesariamente es uno de los
elementos mismos. Supngase que ai0 es un elemento de valor mximo (puede haber
varios), entonces diremos que max {a1, a2, . . . ., an} se realiza en ai0.
Sea ahora R y x Rn. Se tiene entonces
|| x || = max {|x1|, |x2|, . . . ., |xn|}
= max {|| |x1|, || |x2|, . . . ., || |xn|}
Mostremos que max {|| |x1|, || |x2|, . . . ., || |xn|} = || max {|x1|, |x2|, . . . ., |xn|}
Sea |xi0| = max {|x1|, |x2|, . . . ., |xn|}. Tenemos entonces
|xi0| |xi| para i = 1, 2, . . . . ., n.
Luego
|| |xi0| || |xi| para i = 1, 2, . . . . ., n.
Por lo tanto
| xi0| | xi| para i = 1, 2, . . . . ., n.
Esto significa que
|||xi0| = |xi0| = max {|x1|, |x2|, . . . ., |xn|}
es decir
|| max { x1, x2, . . . . ., xn} = max {|| |x1|, || |x2|, . . . ., || |xn|}
Esto muestra que
|| || x || =||x||
Verificacin de (iii):

Se tiene || x+y|| = max {|x1 + y1| + |x2 + y2| + . . . . . . + |xn + yn|}

Como
|xi0 + yi0| |xi0| + |yi0|

se tiene

max {|x1 + y1| + |x2 + y2| + . . . . . . + |xn + yn|} |xi0| + |yi0|

Pero, por definicin de max {|x1|, |x2|, . . . ., |xn|} y max {|y1|, |y2|, . . . ., |yn|} tambin se
tiene
|xi0| max {|x1|, |x2|, . . . ., |xn|}
|yi0| max {|y1|, |y2|, . . . ., |yn|}
luego
max {|x1 + y1| + |x2 + y2| + . . . . . . + |xn + yn|} max {|x1|, |x2|, . . . ., |xn|} + max {|y1|, |y2|,
. . . ., |yn|}
o sea
||x + y|| ||x|| + || y||
que es lo que deseabamos probar.
La verificacin de (iv) es fcil y se deja como ejercicio para el lector. Con esto
queda probada la proposicin 4.
3.4 Norma de Minkowski en Rn. En el ejercicio 2, se dan los lineamientos paso a paso, de
la prueba de que en general la funcin || ||p : Rn R para p 1 (por ejemplo p = 1.5, p = 3,
p = 5) dada por
||x||p = [|x1|p + . . . . . . + |xn|p]1/p
es una norma en Rn. Las normas euclidiana y || ||1 resultan ser casos particulares de estas
normas. La norma euclidiana se obtiene con p=2, razn por la cual usaremos el smbolo || ||2
para denotarla. En lo sucesivo reservaremos el smbolo (sin ndice) para representar
cualquiera de las normas || ||1, || ||2 o || ||, es interesante observar que la teora desarrollada a
lo largo del texto ser vlida si se provee Rn con cualquiera de estas normas, por lo que la
mayora de los resultados los enunciaremos en trminos de la norma || ||, la podr significar
cualquiera de las normas || ||1, || ||2 o || ||. De hecho, tambin podramos hacer || || = || ||p,
para cualquier p 1. para no pecar de ambiciosos, reservemos el smbolo || || para
representar solamente cualquiera de las tres normas || ||1, || ||2 o || ||.
que

La norma || || no pertenece a la familia de normas || ||p, puede probarse (ejercicio 3)

lim ||x||p = lim [|x1|p + . . . . . + |xn|p]1/p
max {|x1|, . . . . . .,|xn|}

para toda x Rn. Esta es la razn por la que adoptamos el smbolo || || para denotar al
mximo de los elementos |x1|, |x2|, . . . . . .,|xn|. La convergencia de ||x||p a ||x|| la
interpretaremos geomtricamente ms adelante.
Problemas y ejercicios.
1. Pruebe la desigualdad de Cauchy-Schwarz para integrales: si f y f son funciones
continuas [a,b] R, entonces
abf(x)g(x) dx (ab f2(x) dx)1/2 (abg2(x) dx)1/2
2. En este problemas se prueba que || ||p, para p > 1 es una norma sobre Rn. Es un
ejercicio fcil la verificacin de los axiomas (i), (ii) y (iv) para la norma. Como
siempre, el nico axioma que presenta alguna dificultad es la desigualdad del
tringulo.
||x + y||p ||x||p + || y||p
para el caso de la norma euclidiana (p=2), sta se verific usando la desigualdad de
Cauchy-Schwarz que a su vez se obtuvo de la desigualdad elemental
|ab| (a2 + b2)/2 (*)
la cual vale para cualesquiera reales a y b.
La prueba de la desigualdad del tringulo para || ||p es totalmente similar: para ello
vamos a requerir de una generalizacin de la desigualdad de Cauchy-Schwarz, conocida
como la desigualdad de Hlder, la cual se obtiene a su vez de una generalizacin de la
desigualdad (*). La prueba la realizamos en tres etapas:
(1) Generalizacin de la desigualdad

|ab| (a2 + b2)/2

Sean p y q reales cualesquiera mayores que 1 tales que
1/p + 1/q = 1
(por ejemplo, p = q = 2 o bien p = 3 y q = 3/2). Pruebe que para cualesquiera reales a y b se
tiene
|ab| |ap|/p + |bq|/q
para su prueba considera la funcin f : [0, +) R dada por
f(x) = x + x +
donde es un real en (0, 1) y muestre que alcanza un valor mximo en x =1. Tome el caso
particular = 1/p y haga x = ap/bq.
Observe que las siguientes relaciones son equivalentes
1/p + 1/q =
p + q / pq = 1
p + q = pq
p = q / q-1
(2) Desigualdad de Hlder. Sean p y q como en el inciso (1), pruebe que
n

|xiyi| [|xi|p]1/p [|yi|q]1/q

i=1

i=1

i=1

para cualesquiera vectores x = (x1, x2, . . . . . ., xn) y y = (y1, y2, . . . . . ., yn) en Rn. Esta
relacin generaliza la desigualdad de Cauchy-schwarz y es conocida como
DESIGUALDAD DE HLDER, para su prueba separe el caso x 0 y y haga
= [|x1|p + |x2|p + . . . . . + |xn|p]1/p
= [|y1|q + |y2|q + . . . . . + |yn|q]1/q
La desigualdad a probar se escribe entonces como
|(x1/)(y1/)| + |(x2/)(y2/)| + . . . . . . + |(xn/)(yn/)| 1
despus aplique las mismas ideas que para la prueba de la desigualdad de Cauchy-Schwarz,
usando ahora la desigualdad del inciso (1). Escriba los detalles.
(3) Desigualdad de Minkowski. Pruebe la desigualdad del tringulo para || ||p, donde p>1, la
cual en forma explcita queda como
n

i=1

i=1

i=1

[ |xi + yi|p]1/p [|xi|p]1/p + [|yi|p]1/p

Esta relacin es conocida como DESIGUALDAD DE MINKOWSKI, para su
demostracin escriba
n

|xi + yi|p [|xi| + |yi|]p

i=1

i=1

= [|xi| + |yi|]p-1[|xk| + |yk|

i=1

i=1

i=1

= [|xi| + |yi|]p-1 |xk| + [|xi| + |yi|]p-1|yk|

y aplique la desigualdad de Hlder a cada una de las sumatorias del ltimo miembro,
haciendo para la primera sumatoria
ai =|xi| y bi = [|xi| + |yi|]p-1
y para la segunda una eleccin anloga.
La norma || ||p la denominaremos NORMA DE MINKOWSKI.
3. Si p > 1,
a) Pruebe que
para todo vector x Rn.
b) Deduzca del inciso (a) que
lim ||x||p = ||x||
p

para todo vector x Rn

||x|| ||x||p n1/p ||x||,

c) Pruebe la desigualdad
para todo vector x Rn.

||x|| ||x||p ||x||1,

Leccin 4.
El Espacio Mtrico Rn
4.1. La Mtrica Euclidiana en Rn. Como ya hemos mencionado antes, el tener la nocin
de distancia en R o ms generalmente en Rn, es lo que nos permite hablar de lmites o
de convergencia. Cuando nos referimos a lmites, involucramos expresiones o ideas de
aproximacin o acercamiento, lo cual lleva implcito el manejo de distancia. Ha y una
nocin natural de distancia entre dos puntos en el mundo fsico, es la que corresponde a
la longitud del segmento de recta que une los puntos. Esta no siempre es la mejor
manera de medir distancias, despus de todo, la distancia entre dos puntos de la ciudad
se mide a lo largo de calles y no mediante el segmento de recta ideal que los une. La
distancia entre dos puntos del globo terraqueo, se mide a lo largo de una curva y no
mediante el segmento de recta que lo atraviesa por su interior. Estas diferentes maneras
de medir distancias son legitimas tanto desde el punto de vista prctico, como desde el
punto de vista matemtico, pues corresponden a la nocin general de distancia que se
hace en matemticas.
Consideremos nuevamente la nocin comn de distancia entre dos puntos del
espacio tridimensional R3 dada por la longitud del segmento de recta que los une. Si x =
(x1, x2, x3) y y = (y1, y2, y3) son dos puntos de R3, entonces la distancia entre x y y est
dada por
|| x-y ||2 = (x1-y1)2 + (x2-y2)2 + (x3-y3)2
Esta distancia la denominamos mtrica euclidiana y la generalizamos a Rn en la
siguiente definicin.
Definicin 1. Sean x = (x1, x2, . . . . ., xn) y y = (y1, y2, . . . . ., yn) elementos cualesquiera
de Rn, definimos la DISTACIA EUCLIDIANA entre ellos como
d2 (x, y) = || x-y ||2
= (x1-y1)2 + (x2-y2)2 +. . . . . .+ (xn-yn)2
La funcin d2: Rn x Rn R dada por la relacin anterior se denomina DISTANCIA o
METRICA EUCLIDIANA en Rn.
En seguida resumimos las propiedades ms importantes de esta funcin.
Proposicin 1. Para cualesquiera vectores x, y y z en Rn se tiene
1)
2)
3)
4)

d2 (x, y) 0, d2 (x, x) = 0
d2 (x, y) = d2 (y, x)
d2 (x, y) d2 (x, z) + d2 (z, y)
d2 (x, y) = 0 x = y

Demostracin. Para la prueba recurriremos a la proposicin 1 de la leccin anterior.

Prueba (1):
Como
d2 (x, y) = ||x -y||2,
se sigue automticamente que d2(x, y) 0. Adems si
d2(x, y) = ||x -y||2 = 0
entonces x y = 0, es decir x = y.
Prueba de (2):
d2 (x, y) = ||x -y||2
d2 (x, y) = ||y -x||2
= d2 (y, x)
Prueba de (3):
d2 (x, y) = ||x -y||2
= ||x z + z - y||2
||x - z||2 + || z - y ||2
= d2 (x, z) + d2 (z, y)
Prueba de (4):
Si d2(x, y) = 0, se tiene por definicin || x y ||2 = 0. O sea x y = 0, es decir x = y. Esto
prueba la proposicin 1.
4.2. Otras Mtricas en Rn. Como podemos observar, en la prueba de la proposicin anterior
solamente recurrimos a las que aparecen en la proposicin 1 de la leccin 3, que son las
mismas que se adoptaron como axiomas en la definicin de norma. Dado que las normas ||
||1, || || tambin poseen estas propiedades, concluimos que d2 y d dadas por
d1(x, y) = || x y ||1
d(x, y) = || x y ||
satisfacen las propiedades correspondientes. Se tiene entonces la siguiente proposicin.
Proposicin 2. Si || || es cualquiera de las normas || ||1, || ||2, || ||, la funcin d:Rn xRn R,
dada por
d(x, y) = || x-y ||
satisface las siguientes propiedades
1)
2)
3)
4)

d(x, y) 0, d(x, x) = 0
d(x, y) = d(y, x)
d(x, y) d(x, z) + d(z, y)
d(x, y) = 0 x = y

Definicin 2. Cualquier funcin d: RnxRn R que satisfaga las siguientes condiciones

(AXIOMAS DE MTRICA): para cualesquiera x, y, z Rn.
i) d(x, y) 0, d(x, x) = 0
ii) d(x, y) = d(y, x)
iii) d(x, y) d(x, z) + d(z, y)
iv) d(x, y) = 0 x = y
se denomina METRICA o DISTANCIA en Rn.
Se tiene entonces que d1(x, y), d2(x, y) y d(x, y) son mtricas en Rn. Como hemos
dicho antes, d2 se llama METRICA EUCLIDIANA; a la funcin d se le llama
METRICA DEL MAXIMO o METRICA CBICA.
Nota. En la seccin 3.4, se mencion (ejercicio 2) que para p 1, la funcin || ||p: RnR
dada por
|| ||p = [|x1|p + . . . . . . . + |xn|p]1/p
es una norma en Rn, la cual hemos denominado Norma de Minkowski. La mtrica
correspondiente dp: RnRn R, est dada por
dp(x, y) = ||x-y||p
= [|x1-y1|p + . . . . . . . + |xn-yn|p]1/p
y nos referiremos a ella como METRICA DE MINKOWSKI. Casos particulares de la
mtrica de Minkowski son las mtricas d1 y la mtrica euclidiana d2. Otros ejemplos de
la mtrica de Minkowski son
d3(x, y) = 3|x1-y1|3 + . . . . . . . + |xn-yn|3
d2(x, y) = [|x1-y1|2 + . . . . . . . + |xn-yn|2]2/2

Leccin 5.
Bolas y Esferas
5.1. Bolas abiertas, Bolas cerradas y Esferas. En la presente seccin comenzamos
propiamente nuestro estudio de la topologa de Rn. Ahora sera un tanto difcil describir
de lo que se trata dicho estudio, por el momento solamente diremos que los que
definimos a continuacin. En lo que sigue, d representar cualquiera de las mtricas d1,
d2 o d en Rn.
Definicin 1. Sea x0 un punto en Rn.
1. La BOLA ABIERTA con CENTRO x0 y radio r > 0 es el conjunto
B(x0; r) = { x Rn | ||x-x0|| < r }.
2. La BOLA CERRADA con CENTRO en x0 y RADIO r 0 es el conjunto

B(x0; r) = { x Rn | ||x-x0|| r }.
3. La ESFERA con CENTRO x y RADIO r 0 es el conjunto
S(x0; r) = { x Rn | ||x-x0|| = r }.
Observemos que la bola abierta est definida para radios estrictamente positivos,
mientras que la bola cerrada y la esfera pueden tener radio cero. En este ltimo caso
ambas se reducen a un punto:
B(x0;0) = {x0}
S(x0;0) = {x0}
Los conjuntos B(x0;r), B(x0; r) y S(x0;r) son subconjuntos de Rn y su aspecto
depende de la mtrica d con la cual se midan las distancias.
Consideremos el caso particular de la bola cerrada con centro en el origen 0 y radio
r = 1 en el plano R2, para cada una de las mtricas d1, d2, y d. Denotemos por B1(0;1),
B2(0;1) y B(0;1) las bolas cerradas segn estas mtricas, respectivamente.
La bola cerrada
B2(0;1) = { x R2 | ||x||2 1}
= { (x, y) R2 x2 + y2 1 }
= { (x, y) R2 | x2 + y2 1 }
corresponde al disco con centro en el origen 0 = (0, 0) y radio r = 1.

x2 +y2 1
(1, 0)

Figura 22.

La periferia o circunferencia de este disco, es el crculo que tiene por ecuacin

x2+y2=1, esto corresponde a la esfera

S2(0;1) = {x R2 | ||x||2 = 1}
x2+y2= 1
(1,0)

Sea ahora la bola cerrada

B1(0;1) = {x R2 | ||x||1 1 }
B1(0;1) = {(x, y) R2 | |x| +|y| 1 }
Para determinar geomtricamente este conjunto de puntos del plano, consideremos como
inicio el primer cuadrante. Es decir, consideremos los puntos (x, y) de R2 con x0, y0. en
este caso la desigualdad |x|+|y| 1 se escribe como
x+y1
y la regin correspondiente son los puntos del primer cuadrante que se encuentran abajo
de la recta x +y = 1, es decir, son los puntos de la regin triangular que tiene por vrtices (0,
0), (1, 0) y (0, 1).

(0, 1)

(1,0)
figura 24.

Consideremos ahora los puntos (x, y) del segundo cuadrante, los cuales satisfacen x
0, y 0. La desigualdad |x| + |y| 1 en este caso toma la forma
-x + y 1
Los puntos (x, y) que satisfacen esta desigualdad, son los que se encuentran en el semiplano
inferior determinado por la recta y-x=1, as que la regin correspondiente es el triangulo
cuyos vrtices son los puntos (-1,0) (0,0) y (0, 1).

(0,1)

(-1, 0)
Haciendo un anlisis similar para cada uno de los 2 cuadrantes restantes y reuniendo
las regiones determinadas, obtenemos finalmente que el cnjunto.
B1(0;1) = {(x, y) R2 | |x| + |y| 1 }
corresponde al cuadrado en el plano cuyos vrtices son los puntos (1,0), (0,1), (-1,0)
y (0, -1).

|x| + |y| 1

Figura 26.
Se deja como ejercicio para el lector el anlisis para los cuadrantes III y IV.

La esfera

S1(0;1) = { x R2 | ||x||1=1}
es el contorno de este cuadrado, dicho de otro modo, la ecuacin del contorno
poligonal es |x| + |y| = 1.
|x| + |y| = 1

Consideremos finalmente la bola cerrada

B(0;1) = {x R2| ||x|| 1 }
B(0;1) = {(x, y) R2| max {|x|, |y|} 1}
Nuevamente iniciaremos nuestro anlisis con el primer cuadrante. Se tiene entonces |x|=x, y
|y|=y
Por definicin se tiene
Max {x ,y} =

x si x y
y si y x

Consideremos la recta a 45, y = x

y=x

Es claro que para los puntos (x, y) del primer cuadrante que se encuentren debajo de la
recta se tiene max{x, y} = x, y para los puntos del mismo cuadrante que se encuentran
arriba de la recta, se cumple max{x, y} = y.

Max{x, y} = y

Max {x, y} = x

De esto se sigue que los puntos (x, y) del primer cuadrante que satisfacen max {x, y} 1
son los del cuadrado que tiene por vrtices (0, 0), (1, 0), (1, 1) y (0, 1).

Max {x, y} = y 1

y=x

Max {x, y} = x 1

Haciendo un anlisis similar para cada uno de los cuadrantes, obtenemos que el conjunto
B(0, 1) corresponde precisamente al cuadrado cuyos vrtices son (-1, -1), (1, -1), (1, 1) y
(-1, 1).

(-1, 1)

(1, 1)

(-1, -1)

(1, -1)

Nota 1. Si a y b son nmeros reales cualesquiera, el lector puede verificar fcilmente que
Max {a , b} = a + b + |a b|
2
entonces podemos escribir para x R2
||x|| = max {|x|, |y|}
= |x| + |y| + | |x| -|y| |
2
Con esta frmula, podemos escribir la ecuacin del contorno del cuadrado anterior
Como
|x| + |y| + | |x| - |y| | = 1
2
o sea
|x| + |y| + | |x| - |y| | = 2
(-1, 1)

(1, 1)

(-1, -1)

(1, -1)

Nota 2. en las figuras de abajo se encuentran sobre puestas las regiones correspondientes a
las bolas B1(0, 1), B2(0, 1) y B(0, 1), as como las esferas correspondientes (figuras sin
sombrear) en R2.

En la siguiente figura se muestran adems las esferas correspondientes a las mtricas d1.5 y
d10.

Como podemos intuir, haciendo variar p creciendo desde 1, el cuadrado interior se deforma
continuamente hasta convertirse en el crculo (p2), ste a su vez se deforma
continuamente, tendiendo al cuadrado exterior, el crculo se alcanza con p=2, el cuadrado
exterior no se alcanza para ningn valor de p, solamente se obtiene como lmite (p).
Nota 3. El anlisis para la interpretacin geomtrica de las bolas cerradas B1(0; 1), B2(0; 1)
y B(0; 1) en el espacio tridimensional es ms complicado. En la siguiente figura se ilustran
las esferas correspondientes S1(0; 1), S80; 1), as como la conocida esfera S2(0; 1)
respecto a la norma euclidiana.

La esfera S(0; 1) es un cubo con centro en 0, caras paralelas a los planos coordenados y
arista de longitud 2. La esfera S1(0; 1) en un octaedro regular, con centro en el origen 0 y la
arista igual a 2, es una especie de diamante.
5.2. Relacin entre las normas. || ||1, || ||2, || ||. Las figuras anteriores muestran la situacin
geomtrica relativa, entre las bolas cerradas B1(0; 1), B2(0; 1) y B(0; 1). Se puede probar
que en general se tienen las contenciones
B1(x0; r) B2(x0; r) B(x0; r)
Y por supuesto, las correspondientes para las bolas abiertas.
B1(x0; r) B2(x0; r) B(x0; r)
Esto es consecuencia de las desigualdades
||x|| ||x||2 ||x||1
que en forma explcita se escriben
max{|x1|, . . . . . .,|xn|} x21 + . . . . . . . +x2n |x1| + . . . .+ |xn|
Antes de probar las contenciones, probemos las desigualdades anteriores:
Sea x = (x1, . . . . . ., xn) Rn. Como
tenemos

tenemos

(max{|x1|, . . . . . .,|xn|})2 x21 + . . . . . . . +x2n

max{|x1|, . . . . . .,|xn|} x21 + . . . . . . . +x2n
Por otra parte, dado que
x21 + . . . . . . . +x2n (|x1| + . . . .+ |xn|)2

x21 + . . . . . . . +x2n |x1| + . . . .+ |xn|

Esto prueba la doble desigualdad.
Las contenciones, tanto para las bolas cerradas como para las bolas abiertas, se
siguen entonces de las desigualdades.
||x x0|| ||x x0||2 ||x x0||1 < r
pues, por ejemplo, si x B2(x0; r) entonces ||x x0||2 < r, luego ||x x0|| < r es decir x
B(x0; r). Esto prueba que

B2(x0; r) B(x0; r).

Se deja como ejercicio para el lector las pruebas de las otras contenciones.
Para las esferas no hay alguna relacin similar, lo que se puede deducir de las
desigualdades anteriores son las siguientes relaciones
S1(x0; r) B2(x0; r) B(x0; r)
S2(x0; r) B(x0; r)
Y obviamente
S(x0; r) B(x0; r).
Problemas y ejercicios.
1. Complete la demostracin de que la bola cerrada B1(0;1) corresponde al cuadrado
en el plano, que tiene por vrtices (1,0), (0,1), (-1, 0) y (0, -1).
2. complete la demostracin de que la bola cerrada B(0; 1) corresponde al cuadrado
en el plano, cuyos vrtices son (1, 1), (-1, 1), (-1, -1) y (1, -1).
3. Pruebe la relacin
Max {a, b} = a + b + | a b|
2
4. Halle una frmula para el mn {a, b}
5. Halle frmulas para max {a, b, c} y min {a, b, c}.
6. Determine la ecuacin de la superficie del cubo en el espacio tridimensional, con
centro en el origen, caras paralelas a los planos coordenados y de arista 2.

Leccin 6.
Conjuntos Abiertos y Conjuntos Cerrados.
6.1. Conjuntos Abiertos y Conjuntos Cerrados. El concepto ms importante en la
topologa de Rn es el conjunto abierto. Junto con l, su pareja inseparable, el del conjunto
cerrado. Conjunto abierto y conjunto cerrado dos conceptos que o coinciden ni son
contrarios; son duales, en un sentido que trataremos de explicar a lo largo del texto. Por
ahora solamente, veremos la definicin de cada uno de ellos y algunas de sus propiedades
ms importantes, las cuales con toda intencin formularemos paralelamente, con lo que
empezaremos a entender esa dualidad.
Como todo concepto nuevo, tendremos que ir gradualmente entendindolos y
acostumbrndonos a su significado, a base de un repetido uso. Las palabras abierto y
cerrado que empleamos, tienen un significado coloquial que nada tiene que ver con su
significado matemtico.

Definicin 1.
1) Un conjunto V Rn se dice que es ABIERTO si para cada x V existe una bola
abierta B(x, r) contenida en V. Es decir, si para cada x V existe r > 0 tal que B(x,
r) V.
2) Un conjunto F Rn se dice que es CERRADO si su complemento Fc = Rn F es un
conjunto abierto.
Para ilustrar esta definicin acudiremos a dos conjuntos que son casos extremos, tanto
desde el punto de vista de la contencin de conjuntos, como de la lgica que
aplicaremos.
Ejemplo 1. El espacio mismo Rn es un conjunto abierto. Este es un hecho trivial, ya que
dado cualquier punto x Rn, toda bola abierta B(x, r) est contenida en Rn.
Ejemplo 2. El conjunto vaco Rn es abierto. A diferencia de la afirmacin del
ejemplo 1 que result demasiado obvia, en este caso a los principiantes la afirmacin
puede parecerles falsa o un tanto absurda. La prueba requiere cierta madurez en el
razonamiento, son las afirmaciones que se dice valen por vacuidad. Mostremos que
es un conjunto abierto, haremos la prueba razonando por contradiccin. Si no fuera
un conjunto abierto, existira un punto x para el cual no sera posible hallar una
bola abierta B(x, n) contenida en . Pero esto no es posible, pues contradira el hecho
de que no tiene elementos. Como la contradiccin se obtiene de suponer que no es
abierto, se deduce que tiene que ser abierto.
Nota 1. En el ejemplo 2, se recurri a la prueba por contradiccin involucrando al
conjunto vaco, cosa que tal vez desconcierta al estudiante, y tambin se recurri a la
negacin de un enunciado, cosa de la cual probablemente no se percat. Generalmente,
la negacin de un enunciado causa muchas dificultades, y es muy comn que se
formulen mal las negaciones. Hacer una negacin en general es difcil, ello requiere de
una prctica constante. Es un buen hbito aprovechar cada oportunidad que se presente
para poner en prctica la negacin de enunciados. El saber hacer buenas negaciones
puede reflejar la buena comprensin del enunciado mismo. Esto ltimo no
necesariamente es cierto en todos los casos, para hacer la negacin de un enunciado, se
requiere, adems de entender el aspecto lgico, un manejo propio y correcto del
lenguaje, tanto en lo que se refiere al idioma como al lenguaje de la matemtica.
Comencemos pues, nuestra prctica haciendo la negacin del enunciado de que un
conjunto X es abierto.

Un conjunto X Rn no es abierto, si existe un punto x0 X tal que no existe bola

abierta alguna B(x0; r) contenida en X.

o sea

Un conjunto X Rn no es abierto, si existe un punto x0 X tal que para toda r > 0,

B(x0, r) Xc .
Un ejercicio ms completo consiste en formular los enunciados anteriores con otras
palabras, desde empleando un lenguaje casi totalmente simblico, hasta
parafraseando el enunciado con un lenguaje totalmente retrico, por ejemplo:

Un subconjunto X de Rn no es abierto, si tiene algn punto para el cual ninguna bola

abierta, centrada en este punto, est contenida en el conjunto.
X no es abierto si

( x0 X) ( r > 0) B(x0; r) Xc .
Nota 2. En ocasiones, un enunciado retrico pude dar mayor claridad a su significado.
un enunciado retrico no necesariamente es impreciso, puede tener tanto rigor como un
enunciado que se formula simblicamente. Los estudiantes suelen creer que para que un
conjunto sea riguroso debe escribirse con smbolos matemticos como , , , etc.,
incluyendo el uso de algunos smbolos taquigrficos. No olvidemos cuado se emplea
bien, la virtud del lenguaje retrico como el medio natural que tenemos para comunicar
nuestras ideas. Vale la pena comentar, sobre el uso ( o ms bien, abuso) del smbolo
como el representante taquigrfico de la palabra ENTONCES, esto en la mayora de los
casos es lgicamente incorrecto y en ocasiones puede ocasionar serias confusiones. Por
ejemplo, supngase que en lugar de escribir
Si x A, entonces x B, entonces x C, entonces x D:
escribimos
Si x A, x B entonces x C x D.
en donde algunas de las palabras entonces las hemos sustituido (lo cual es muy
comn) por el smbolo , obtenemos un enunciado con un significado totalmente
diferente. El segundo enunciado, dice que si se vale la implicacin
xAxB
entonces se vele la implicacin
xCxD
(por ejemplo, si se vale un teoremas X, entonces se vale el teorema Y), mientras que el
primer enunciado corresponde a la cadena de implicaciones
Si x A, x B x C x D.
La regla es muy simple, si usted est usando el si como condicional, entonces use
la palabra entonces y no el smbolo de implicacin , este smbolo lalo implica,
si cuando lo lee as, usted no escucha bien el enunciado, entonces lo est usando
incorrectamente.
Como corolario de los ejemplos 1 y 2 tenemos:

Ejemplo 3. Los conjuntos Rn y son cerrados. En efecto, Rn es cerrado por su

complemento es abierto. Similarmente, es cerrado pues su complemento Rn es
abierto.
Nota 3. Los ejemplos anteriores muestran que existen conjuntos que pueden ser
abiertos y cerrados a la vez, esto significa que los conceptos no se excluyen, de ehecho
se tiene:
i)
ii)
iii)
iv)

existen conjuntos abiertos que no son cerrados

existen conjuntos cerrados que no son abierto
existen conjuntos que nos abiertos y cerrados a la vez
existen conjuntos que no son abierto ni cerrados

tenemos entonces que los conceptos abierto y cerrado no se incluyen ni se

excluyen. Solamente hemos probado el inciso (iii), nos resta probar los otros
incisos, esto lo haremos con algunos ejemplos. A propsito de las negaciones,
tambin es comn encontrarse con quienes dicen que un conjunto que no es abierto
entonces es cerrado, esto, por supuesto, es falso y se concluye del inciso (iv).
Otros ejemplos de conjuntos abierto estn dados por la siguiente proposicin.
Proposicin 1. Toda bola abierta en Rn es un conjunto abierto.
Demostracin.
Sea x0 Rn y r > 0. mostremos que B(x0; r) es un conjunto abierto. Debemos probar
que para cada x B(x0; r), existe una bola abierta (x; R) contenida a su vez en la bola
abierta B(x0; r)
Sea pues x B(x0; r) y consideremos R = r - ||x x0||. Como x B(x0; r), se tiene
entonces que ||x x0|| < r, por lo tanto R > 0. mostraremos que la bola abierta B(x; R)
est contenida en B(x0; r).

R
x
x0
r

Sea entonces y B(x; r). Por definicin se tiene que

||y - x|| < R
por lo tanto
||y-x0|| = ||y x + x x0||
||y x0|| ||y - x|| + ||x x0||
||y x0|| < R + ||x x0|| = r
esto prueba que y B(x0; r) y por lo tanto la proposicin 1.
En las siguientes dos proposiciones dan ejemplos de conjuntos cerrados
Proposicin 2. Toda bola cerrada en Rn es un conjunto cerrado.
Demostracin. Sea x0 Rn y r 0. probaremos que la bola cerrada B(x0; r) es un
conjunto cerrado, es decir que su complemento Rn B(x0; r) es un conjunto abierto.
Sea pues x Rn B(x0; r). Como x no est en la bola cerrada B(x0; r), se tiene
entonces que ||x x0|| > r. Definamos R = ||x x0|| - r > 0, esto equivale a r =||x x0||- R.
Veamos que
B(x: R) Rn B(x0; r)

R
x

x0
r

En efecto, sea y B(x; R) se tiene entonces

||y -x|| < R,

por lo tanto
||x x0|| = ||x y + y - x0||
||x x0|| ||x y|| + ||y - x0||
||x x0|| < R + ||y x0||
luego
||x x0|| - R < ||y x0||

es decir
Esto significa que

r < ||y x0||.

y B(x0; r).

o sea

y Rn B(x0; r)
que es lo que desebamos probar.
Proposicin 3. Toda esfera en Rn es un conjunto cerrado.
Demostracin. Sea x0 Rn y r 0. mostremos que la esfera S(x0; r) es un conjunto cerrado
mostrando que su complemento Rn S(x0; r) es un conjunto abierto.
Sea x0 RnS(x0; r), debemos mostrar que existe una bola B(x; R) contenida en RnS(x0;r).
Como x S(x0; r), entonces ||x x0|| r. Tenemos dos casos:
i)
ii)

||x x0|| < r

||x x0|| > r

Para el primer caso tenemos que x B(x0; r). Como esta bola e s un conjunto abierto, hay
una bola abierta con centro en x, B(x; R) contenida en B(x0; r). As que todo elemento z de
B(x; R) satisface la desigualdad
||z x|| < r,
luego, z no puede ser elemento de la esfera S(x0; r), es decir, z Rn S(x0; r).
Para el segundo caso la desigualdad significa que x est en el complemento de la
bola cerrada B(x0;r). Como esta bola es un conjunto cerrado, su complemento es un
conjunto abierto, por lo tanto existe una bola abierta B(x; R) contenida en Rn B(x0; r). Los
elementos z de B(x; R) no estn en la bola cerrada B(x0; R) satisface la desigualdad
Esto quiere decir que

||x x0|| > r

B(x; R) Rn S(x0; r).

Esto prueba la proposicin 3.

Ejemplo 4. Un conjunto formado por un solo punto, digamos (0), es cerrado. Esto se puede
probar directamente de la definicin, es decir, mostrando que el complemento Rn - {0} es
un conjunto abierto, o bien deducirlo como corolario de cualquiera de las dos proposiciones
anteriores, ya que, por ejemplo, la bola cerrada de radio cero se reduce a un solo punto.:
B(0; 0) = {0}
El ejemplo 4 muestra un conjunto cerrado que no es abierto, pues no existe una bola
abierta con centro 0 que est contenida en el conjunto {0}. El mismo ejemplo 4 muestra un
conjunto abierto que no es cerrado, a saber, el complemento de {0}.
Para ilustrar una vez ms el uso de la definicin de conjunto abierto, veamos un ltimo
ejemplo.
Ejemplo 5. mostraremos que en R2, el semiplano superior
V = { (x, y) R2 | y > 0}
es un conjunto abierto respecto a la norma || ||1.
Sea v0 = (x0, y0) V. Se tiene entonces y0 > 0.

0
debemos mostrar que hay una bola abierta B1(x0; r) contenida en el semiplano superior;
veamos que esto ocurre si elegimos r = y0.
Consideremos pues, la bola abierta B1(v0; y0) y sea v =(x, y) B1(v0; y0). Se tiene
entonces
||v v0||1 < y0,

es decir
|x x0| + |y y0| < y0.
Deseamos probar que y > 0. es claro que y puede ser cero, pues en ese caso se tiene
|x x0| + |y y0| = |x x0| + |y0|
|x x0| + |y y0| = |x x0| + y0
y esto no puede ser menor (estrictamente) que y0. Por otra parte es fcil ver que tampoco y
puede ser negativa, pues en este caso se tiene
|x x0| + |y y0| |x x0| + |y| + y0 > y0
Hemos probado que necesariamente y > 0, es decir, hemos probado que la bola abierta
B1(v0; y0) est contenida en el semiplano superior.
6.2. Familias de conjuntos. En la siguiente seccin estableceremos las propiedades bsicas
de los conjuntos abiertos y de los conjuntos cerrados, para ello ser necesaria introducir la
notacin relacionada con familias de conjuntos, lo cual haremos en esta seccin.
Si tenemos dos conjuntos A y B, al conjunto cuyos elementos son estos conjuntos,
lo llamaremos COLECCIN o FAMILIA de conjuntos (para no usar el mismo trmino
conjunto) y ser representado en la forma usual
{A, B}.
Los elementos de un conjunto, pueden ser a su vez conjuntos, este es el caso de nuestro
ejemplo, incluso pueden ser familias de conjuntos.
Si una familia tiene tres elementos (conjuntos), digamos A1, A2 y A3 se denota por
{ A1, A2, A3},
pero si tiene 1000 elementos, entonces la representaremos por
{ A1, A2, . . . ., A1000},
En general, si una familia de conjuntos tiene m elementos, la representaremos por
{ A1, A2, . . . . ., Am},
Tambin, como a todo conjunto le daremos nombres con smbolos o letras, por ejemplo
F = { A1, A2, . . . . ., An},
Otra manera de representar la familia anterior es
F = { A | = 1, 2, . . . . .,m},
La letra que denominaremos ETIQUETA es una variable que toma los valores 1, 2, . . ,m.
Si definimos I = {1, 2, . . . .,m}, podemos escribir
F = { A | I},

lo cual es equivalente a escribir

F = {A1, A2, . . . .,Am}.
La etiqueta toma valores del conjunto de ndices I, el cual en este caso es {1, 2. . .
. . ., m}, pero esta notacin la podemos generalizar al caso en que I sea otro tipo de
conjunto, por ejemplo, I puede ser el conjunto de los naturales N, en cuyo caso la familia
ser una sucesin de conjuntos
F = {A | N}
F = {A1, A2, A3, . . . . }
Otros ejemplos de conjuntos de ndices son
I=Z
I = R+ = { r R | r > 0}
El conjunto I puede ser totalmente arbitrario y sus elementos, de cualquier naturaleza. Por
ejemplo, I tambin puede ser R2 o Rn, es decir, los puntos de x Rn pueden servir para
etiquetar conjuntos.
Ejemplo 6.
F = {Ar = B(0; r) | r R+}
K = {Ax = B(x; 1) | x Rn}
Definicin 2. Si {A | I} es una familia de conjuntos, definimos
1) La UNIN de la familia, como el conjunto
U A = {x | x A para alguna I}
I

2) La INTERSECCIN de la familia, como el conjunto

A = {x | x A para toda I}
I

Si I = {1, 2, . . . .,m}, se vale escribir

m

A = A
I

=1

A = A

=1

Si I = N, tambin podemos escribir

+

 A = A
I

=1

A = A

=1

6.3. Propiedades bsicas.

Proposicin 4.
1) Si A y B son subconjuntos abiertos de Rn, entonces AB y AB son abiertos.
2) Si A y B son subconjuntos cerrados de Rn, entonces AB y AB son cerrados.
Demostracin.
Prueba de (1):
Probemos que AB es abierto. Sea x AB. Se tiene entonces que x A o x B.
Si x A, entonces, puesto que A es abierto existe r > 0 tal que B(x; r) A, luego
B(x; r) AB
Similarmente, si x B, puesto que B es abierto, existe r > 0 tal que B(x; r) B, luego
B(x; r) AB
En cualquiera de los casos, existe una bola abierta B(x; r) contenida en AB. Esto
prueba que AB es un conjunto abierto.
Probemos ahora que AB es abierto. Se tiene entonces que x A y x B.
Puesto que A es abierto, existe r1 > 0 tal que B(x; r1) A.
Similarmente, puesto que B es abierto, existe r2 > 0 tal que B(x; r2) B. Sea r = min{r1,
r2}, entonces se tiene
B(x; r) B(x; r1)
y
B(x; r) B(x; r2)
Por lo tanto B(x; r) A y B(x; r) B, o sea B(x; r) AB.
Prueba de (2):
Que AB y AB son conjuntos cerrados se sigue de la parte (1) y de las leyes de
DMorgan.
(AB)c = AcBc
(AB)c = AcBc
la siguiente proposicin generaliza el resultado anterior

Proposicin 5.
a) La unin arbitraria de conjuntos abiertos es un conjunto abierto, es decir, si {A |
I} es una familia de conjuntos abiertos entonces
A = A
I

es un conjunto abierto.
b) La interseccin finita de conjuntos abiertos es un conjunto abierto, es decir, si A1,
A2, . . . .,Am son conjuntos abiertos, entonces
A = A1A2 . . . .Am
m

= A
=1

es un conjunto abierto.
c) La unin finita de conjuntos cerrados es un conjunto cerrado, es decir, si A1, A2, . .
., Am son conjuntos cerrados entonces
A = A1A2 . . . .Am
m

= A
=1

es un conjunto cerrado.
Demostracin. La prueba de esta proposicin es completamente similar a la prueba
anterior, por ejemplo demostraremos el inciso (b). Sea
m

x A
=1

Entonces x A para toda I = {1, 2, . . . . .,m}. Como cada A es un conjunto

abierto, para cada I existe r > 0 tal que B(x;r) A. Puesto que I es finito,
podemos escoger el menor de los radios r. Sea pues
r = min{r1, r2, . . . . ., rm}
Se tiene entonces
B(x; r) B(x; r)
para toda I = {1, 2, . . . .,m}. Por lo tanto
B(x; r) A
para toda I = {1, 2, . . . .,m}. Es decir
B(x; r) A = A
I

Esto prueba el inciso (b). La prueba de los incisos restantes se dejan como ejercicio para el
lector.
Nota 4. la interseccin arbitraria de conjuntos abiertos no necesariamente es un abierto,
considrese por ejemplo la familia de abiertos
{B(x; 1/k) | k N}.
se tiene entonces
+

B(x; 1/k) = {0}

k=1

el cual no es un ejemplo de un conjunto abierto.

Tambin tenemos que la unin arbitraria de conjuntos cerrados no necesariamente es un
conjunto cerrado. Para mostrar esto considrese la familia de conjuntos cerrados
{B(x; 1-1/k) | k N }
esta familia tiene como unin la bola abierta B(0; 1) el cual no es un conjunto cerrado.
6.4. Vecindad de un punto. Terminamos esta leccin definiendo el concepto de vecindad.
Definicin. Un conjunto A Rn, se dice que es una VECINDAD de un punto x0 A, si
existe un conjunto abierto V tal que
x0 V A.
Dicho de otro modo, un subconjunto A es una vecindad de uno de sus puntos x, si contiene
un abierto que contiene a su vez al punto x0. una vecindad de un punto x0 que adems es un
conjunto abierto se denomina VECINDAD ABIERTA de x0.
Obviamente, todo abierto no vaco es vecindad de cada uno de sus puntos. Una
vecindad de un punto puede ser un conjunto no abierto, en general se tiene: un conjunto es
vecindad de cada uno de sus puntos interiores.
Problemas y ejercicios.
1. Sea I el intervalo [0,1] en R. Divdase el intervalo I en tres intervalos de longitud un
1/3. Sea A1 el conjunto que resulta de quitarle al conjunto I el intervalo abierto de la
parte media, es decir A1 = I (1/3, 2/3), tenemos entonces
A1 = [0,1/3] [2/3, 1]
Dividamos ahora cada uno de los intervalos [0,1/3][2/3,1] en tres partes de longitud 1/32
y sea A2 el subconjunto de A1 que resulta de quitarle a cada uno de estos intervalos, el
intervalo abierto de la parte media, es decir
A2 = [0,1/9] [2/9, 1/3][2/3,7/9][8/9,1]

Continuando con este proceso, se obtiene en el lmite un conjunto que se llama

CONJUNTO DE CANTOR. Pruebe que este conjunto es cerrado.

Leccin 7.
Interior y Adherencia
7.1. Punto interior y Punto Adherencia. En la presente seccin estudiaremos dos nuevos
conceptos los cuales, al igual que en el caso de abierto y cerrado, guardan una
interesante y til dualidad. La dualidad se manifiesta en la armona de los resultados y
de las relaciones entre conceptos que en ocasiones pueden parecernos opuestos, y otras
veces complementarios. Por ejemplo, los conceptos unin e interseccin son
duales, tambin lo son las relaciones contenido en y contiene a, etc. Todos ellos
cuando se combinan producen relaciones duales ms complicadas, como lo veremos
en este captulo.
Definicin 1. Sea A un subconjunto de Rn.
1) Un elemento a A se dice que es un PUNTO INTERIOR de A, si existe una bola
abierta con centro a tiene puntos de A. Es decir, si para toda r > 0 tal que B(a; r)
A.
2) Un elemento a Rn se dice que es un PUNTO ADHERENTE de A, si para toda
bola abierta con centro a tiene puntos de A. Es decir, si para toda r > 0.
B(a;r)A.
Al conjunto de puntos interiores de A se le denomina INTERIOR de A y se le denota
por cualquiera de los smbolos
A0, int A.
Al conjunto de puntos adherentes de A se le denomina la ADHERENCIA de A ( o
cerradura de A) y se le denota por cualquiera de los smbolos
A-, adh A.
Nota 1. Obsrvese que, por definicin, un punto interior de A es un elemento de A
mismo, sin embargo, un punto adherente de A no necesariamente pertenece al conjunto
A. Por otra parte, es claro que todo elemento de A es un punto adherente de A.
Las observaciones de la nota anterior, an cuando sean obvias, dad su importancia
las formulamos en la siguiente proposicin.
Proposicin 1. para todo subconjunto A de Rn se tiene
1) A0 A.
2) A ALa siguiente proposicin tambin es muy fcil de probar.}

Proposicin 2. Si A y B son dos subconjuntos cualesquiera de Rn con A B, entonces

1) A0 B0
2) A- BLas dos proposiciones anteriores se pueden probar usando directamente la definicin de
punto interior y de punto adherente, el siguiente lema junto con la proposicin 3, son
muy importantes ya que nos permitirn hacer pruebas bastante cortas relacionadas con
el interior y la adherencia de conjuntos, y sin necesidad de recurrir a las definiciones.
En cierto sentido, el lema permite sistematizar la prueba, pues contiene el argumento
constante en todas ellas, evitndonos repeticiones innecesarias en el razonamiento. Esto
lo apreciaremos a lo largo y despus de que veamos varios resultados.
Lema 1. Sea A un subconjunto de Rn.
1) Si V A y V es abierto, entonces V A0
2) Si A F Rn y F es cerrado, entonces A- F
Demostracin:
Prueba de (1):
Como en casi toda prueba de contencin de conjuntos, tomemos un punto x fr V y
mostremos que x A0. como V es abierto, existe r > 0 tal que B(x; r) V. Como V
A, se tiene que B(x; r) A. Esto significa que x es un punto interior de A, es decir, x
A.
Prueba de (2):
Para probar que A- F, mostraremos que el complemento de F, Fc, est contenido en el
complemento de A-c de A-.
Sea pues x Fc, como F es cerrado, Fc es abierto, luego existe r > 0 tal que B(x; r) Fc.
Pero A F, por lo tanto Fc Ac, de donde B(x; r) Ac, o sea B(x; r) A = , esto
significa que x no es punto adherente de A, es decir x A-; as que x A-c, que es lo
que desebamos probar.
Proposicin 3. Para todo subconjunto de A de Rn
1) A0 es un conjunto abierto.
2) A- es un conjunto cerrado
Demostracin:
Prueba de (1):

Sea x A0. Por definicin existe una bola abierta B(x; r) contenida en A. Como la
bola B(x; r) es un conjunto abierto, se sigue que la parte (1) del lema 1 que
B(x; r) A0,
esto prueba que A es un conjunto abierto.
0

Prueba de (2):
Mostraremos que A-c es un conjunto abierto. Sea x A-c. Como x no es punto
adherente de A, existe r > 0 tal que B(x; r) A = , es decir
A (B(x; r))c.
c
Como (B(x; r)) es un conjunto cerrado, se sigue de la parte (2) del lema 1 que
A- (B(x; r))c,
o sea
B(x; r) A-c
Esto prueba la proposicin 3.
Proposicin 4. sea A subconjunto de Rn, entonces
a) A es abierto A0 = A
b) A es cerrado A- = A
Demostracin:
Prueba de (a):
La implicacin () se sigue de la parte (1) de la proposicin 3, pues A es abierto, y si
A = A, entonces A es abierto.
Ahora mostraremos el recproco, es decir la implicacin (). Supongamos que A es
abierto. Por otra parte es obvio que A A. Por otra parte, como A A y A es abierto,
se sigue del lema 1 que A A. Las dos contenciones mostradas prueban que A=A.
Prueba de (b):
La implicacin () se sigue de la parte (2) de la proposicin 3.
Mostraremos ahora la implicacin (). Supongamos que A es cerrado. Por una parte es
obvio que A A-. Por otra parte, como A A y A es cerrado, se sigue de la parte (2)
del lema 1 que A- A. Las dos contenciones mostradas prueban que A- = A. Esto
prueba la proposicin 4.
Proposicin 5. Para todo subconjunto A de Rn se tiene
a) A = {V | V A, V abierto}
b) A- = { F | A F, f es cerrado}

Con palabras, el inciso (a) lo podemos enunciar:

El interior de un conjunto es la unin de todos los conjuntos abiertos contenidos en el
conjunto.
El inciso (b) queda:
La adherencia de un conjunto es la interseccin de todos los conjuntos cerrados que
contienen al conjunto.
Demostracin.
Probemos (a):
Como A es abierto y es un subconjunto de A, entonces es un elemento de la familia
{V | V A, V abierto},
luego se tiene la contencin
A { V | V A, V abierto}.
Por otra parte, se sigue del lema 1 que cada elemento de la familia
{V | V A, V abierto}
es un subconjunto de A, por lo tanto
{ V | V A, V abierto} A.
Las dos contenciones prueban que
A = { V | V A, V abierto}.
Prueba de (b):
Como A- es un conjunto cerrado y A A-, se tiene que A- es un elemento de la familia
{ F | A F, F cerrado},
por lo tanto se tiene la contencin
A- { F | A F, F cerrado}
Por otra parte, como A- est contenido en todo subconjunto cerrado que contenga al
conjunto A, se sigue que A- est contenido en cada miembro de la familia
{ F | A F, F cerrado}
luego, A- est contenido en la interseccin:
A- { F | A F, F cerrado}.
Las dos contenciones prueban la igualdad
A-= { F | A F, F cerrado}.
De los resultados anteriores, podemos describir el interior y la adherencia de un
conjunto como sigue:
Proposicin 6.
1) El interior de un conjunto A es el abierto ms grande contenido en A. Esto se
traduce como:

1.a) A es un conjunto abierto

1.b) A A
1.c) Si V es abierto y V A entonces V A.
2) La adherencia de un conjunto a es el cerrado ms pequeo que contiene al conjunto
A. Esto se traduce como
2.a) A- es un conjunto cerrado
2.b) A A2.c) Si F es un cerrado y A F entonces A- F.
Antes de ver ejemplos veamos una proposicin ms.
Proposicin 7. Si A y B son dos subconjuntos cualesquiera de Rn, entonces
1.a) (AB) AB
1.b) (AB) = AB
2.a) (AB)- = A-B2.b) (AB)- A-BDemostracin.
Prueba de (1.a):
Puesto que A AB y BAB se sigue que A (AB) y B (AB), luego
AB (AB).
Prueba de (1.b):
Puesto que AB A y ABB se sigue que (AB)A y (AB) B, luego
(AB) AB.
Por otra parte, puesto que AB AB y AB es un abierto, se sigue que
AB(AB). Esto prueba (1.b).
Las pruebas de (2.a) y (2.b) son totalmente similares y se dejan como ejercicios para el
lector.
Nota 2. En general son falsas las igualdades
i)
ii)

(AB) = AB
(AB)- = A-B-

como contraejemplos para ambos casos basta tomar en R, como conjunto a el conjunto
de los racionales Q y como conjunto B el de los irracionales I.
Ejemplos. A continuacin se definen algunos conjuntos en R y se acompaan a otros
que se construyen a partir de el.

1. A = (a,b) = {x | a < x < b}

A = A
A- = [a,b] = {x | a x b}
2. A = R
A- = A = R
3. A = Q
A =
A- = R
4. A = (1,2) ([2,4] Q)
A = (1,2)
A- = [1,4]
5. A= (0,1){2}((3,4)I)((5,7)-{6})
A = (0,1)((5,7)-{6})
A- = [0,1]{2}[3,4][5,7]
6. Sea A como en S, denotaremos por A el interior de A, es decir (A).
Similarmente A- denotar la adherencia de A, etc, . . ., etc.
A=A
A- = [0,1][5,7]
A-= (0,1)(3,4)(5,7)
A-- = AA = A
A- = (0,1)(5,7)
A- = A-
A-- = A-
A- = AA-- = AA-- = [0,1][3,4][5,7]
A--- = ALa obtencin del interior y de la adherencia de un conjunto podemos interpretarla como
la aplicacin de los operaciones sobre conjuntos: OPERACIN INTERIOR y
OPERACIN ADHERENCIA -, en este sentido, A es la aplicacin iterada del
operador . De la misma manera que A- es la aplicacin sobre el conjunto A de los
operadores , - y en este mismo orden. Los ltimos 8 casos del ejemplo 6 muestra
todas las posibilidades para cuando se aplican tres operadores consecutivamente. Como
podemos observar, para el caso especfico del conjunto A solamente se obtuvieron 2
conjuntos nuevos, los otros conjuntos ya se haban obtenido mediante la aplicacin de
uno o ms operaciones. Las repeticiones de algunos de los resultados no fue producto
de la casualidad, son hecho generales como se muestra a continuacin.
Proposicin 8. Para cualquier subconjunto A de Rn se tiene

1) A = A
2) A-- = A Demostracin.
Prueba de (1):
De la parte (1) de la proposicin 1 sabemos que se cumple A A. Probemos ahora
la otra contencin. Como A es un subconjunto abierto y A A, se sigue del lema 1
la contencin que deseamos mostrar A A. Esto prueba (1):
Prueba de (2):
De la parte (2) de la proposicin 1 se cumple A- A--. Mostraremos ahora la otra
contencin. Cmo A- es un subconjunto cerrado y A- A-, se sigue de la parte (2) del
lema 1, que A-- A-. Las dos contenciones prueban la parte (2).
En los ejemplos anteriores hemos aplicado solamente las operaciones interior y
adherencia -, ahora introducimos una operacin ms, mediante el OPERADOR
COMPLEMENTO c. La aplicacin de este operador a un conjunto A. Por razones
prcticas, introducimos una notacin adicional para el complemento de un conjunto,
adems de usar la letra c como superndice, emplearemos el apstrofe . As que el
complemento de A, desde ahora tambin lo denotaremos por A.
Proposicin 9. Para cualquier subconjunto a de Rn se tiene
1) A = A-
2) A- = A
Demostracin.
Prueba de (1):
Puesto que A A- se tiene que A = A A- es un conjunto abierto, luego se
cumple A A-. Por otra parte, como A a, se tiene que A A. Pero siendo A
un conjunto cerrado, se tiene que A A-, luego A A--. Las dos contenciones
prueban A = A-.
Prueba de (2):
Apliquemos la parte (1) ya probada al conjunto A, se tiene entonces
A = A-
A = A-
A = A- = ANota 3. La proposicin anterior permite obtener la adherencia de un conjunto aplicando
los operadores interior y complemento , a su vez le interior se puede obtener

mediante la adherencia y la complementacin. Una cadena de operaciones construida

con los operadores interior y adherencia se puede obtener tambin con los operadores
complemento y adherencia, el caso ms simple es el dado por la parte (1) de la
proposicin 9.
A = A-
Un recurso nemotcnico para recordar la relacin anterior es identificando los
superndices con la identidad obvia 0 = 1 1. usando esta relacin, podemos escribir.
Por ejemplo
A- = A---
Si A es un subconjunto cualquiera de Rn, se puede probar que mediante la aplicacin
sucesiva de los operadores adherencia y complemento, en cualquier nmero y en
cualquier orden, a lo ms se obtienen 14 diferentes conjuntos. De hecho, existe un
conjunto R, con la mtrica usual, con el cual se generan exactamente los 14 conjuntos.
Problemas y ejercicios.
1. D un ejemplo de un subconjunto de R, del cual se obtengan, mediante las
operaciones de complementacin y adherencia iteradas, 10 conjuntos diferentes.
2. D un ejemplo de un subconjunto de R, del cual se obtengan, mediante las
operaciones de complementacin y adherencia iteradas, 14 conjuntos diferentes.
3. sea a un subconjunto de Rn. Pruebe que si A es la adherencia de un conjunto abierto
en Rn, entonces A es la adherencia de su interior, es decir
A = A-4. Prueba de Kuratowski. Pruebe que si A es un subconjunto cualquiera de Rn,
entonces a lo ms se pueden obtener 14 diferentes conjuntos, mediante las
operaciones complementacin y adherencia.

Leccin 8.
Frontera
8.1. Punto Frontera y Frontera de un conjunto. Intuitivamente la frontera de un conjunto
es lo que tambin podramos llamar el borde, y es lo que separa al conjunto de su
complemento. Como podr usted notar, la definicin que adoptaremos corresponde a
esta idea geomtrica, sin embargo, dado que se establece para conjuntos en general, la
frontera puede tener aspectos inesperados como veremos en algunos ejemplos.
Definicin. Si A es un subconjunto cualquiera de Rn, la FRONTERA de A es el
conjunto
A- A-

Y se denota por cualquiera de los smbolos

A, Fr(A)
Un elemento x Rn es un PUNTO FRONTERA de A si es elemento de Fr(A).
La frontera de un conjunto est formada por aquellos puntos que son comunes tanto de
la adherencia del conjunto como de la adherencia de su complemento. La frontera es
algo que tienen en comn el conjunto y su complemento, estas observaciones las
establecemos en la siguiente proposicin.
Proposicin 1.
a) La frontera de todo subconjunto de Rn es un conjunto cerrado.
b) La frontera de todo subconjunto de Rn es igual a la frontera de su complemento.
Demostracin. La afirmacin del inciso (a) se sigue inmediatamente del hecho de que la
adherencia de cualquier conjunto es cerrado y de que la interseccin de dos conjuntos
cerrados es un conjunto cerrado.
Prueba de (b):
Sea A un subconjunto cualquiera de Rn, se tiene entonces
Fr(A) = A- AFr(A) = A- AFr(A) = Fr(A)
Ejemplos. En la recta real R con la mtrica usual tenemos
1)
2)
3)
4)

Si A = (a,b), Fr(A) = {a,b}

Si A = Q, Fr(A) = R. Fr(A) = Fr(I) = R
Fr() = , Fr(R) =
Para todo x R, Fr({x}) = {x}

Es fcil probar que en el plano R2

5) La frontera de toda bola abierta B(x; r) es la esfera S(x; r), que es igual tambin a la
frontera de la bola cerrada B(x; r)
Los ejemplos (1) y (5) corresponden a nuestra intuicin, sin embargo el ejemplo (3)
seguramente nos desconcierta un poco. Pero recordemos, segn vimos en la leccin 7,
que la adherencia de los racionales est constituido por los reales, de la misma manera,
la adherencia de los irracionales es todo R. As que la adherencia de los racionales Q y
de su complemento es R, por lo tanto, su frontera es R. Este hecho se traduce en lo
siguiente: si x es un real cualquiera, todo intervalo abierto con centro en x tiene a lo
menos un racional y un irracional. La frontera no siempre es un conjunto delgado,

como son los extremos de un intervalo o la periferia de un disco o una bola, la frontera
puede ser un conjunto gordo, incluso ms que el conjunto mismo, como ocurre en R
con los racionales.
En la siguiente proposicin estableceremos otras propiedades de la frontera que
muestran lo que tal vez usted esperara, pero tambin muestra condiciones bajo las
cuales la frontera es un conjunto decente.
Proposicin 2. Para todo subconjunto A de Rn tenemos
1)
2)
3)
4)
5)

Fr(A) = A--A
A- = A Fr(A). AFr(A) =
Si A es abierto o cerrado, entonces Fr(A)=
(Fr(Fr(A))) =
Fr(Fr(Fr(A)))= Fr(Fr(A))

Demostracin.
Prueba de (1):
A--A= A-A = A-A- = A-A- = Fr(A)
Prueba de (2):
Puesto que A A A-. Tenemos
A- = (A- - A) A,
luego de la parte (1) ya probada tenemos
A- = Fr(A)A
Esto prueba la primera parte del inciso (2). Para la segunda parte tenemos
Fr(A)A = (A- - A) =
Prueba de (3):
Supngase que A es cerrado, tenemos entonces
Fr(A) = A- AFr(A) = A Aluego
(Fr(A)) = (AA-)
(Fr(A)) = A A-

(Fr(A)) = A A
(Fr(A)) = A A
(Fr(A)) A A = ,
es decir
Fr(A) =
Hemos probado la afirmacin para cuando A es cerrado. Si A es abierto, entonces A es
cerrado, por lo tanto, aplicando lo ya probado, tenemos
(Fr(A)) = .
Pero Fr(A) = Fr(A). Por lo tanto, Fr(A) = .
Prueba de (4):
Esto se sigue inmediatamente del inciso (3) y del hecho de que Fr(A) es un conjunto
cerrado.
La prueba del inciso (5) se deja como ejercicio para el lector.
Problemas y Ejercicios.
1. Pruebe que en Rn
a) la frontera de toda bola abierta es la esfera con el mismo radio y centro.
b) La frontera de toda bola cerrada es la esfera del mismo radio y centro.
c) La frontera de toda esfera es ella misma.
2. Diga cul es la frontera QQ en R2, argumente su respuesta. Cul es el
complemento de QQ.
3. Pruebe el incido (5) de la proposicin 2.

Leccin 9
Punto de Acumulacin
9.1 Punto de acumulacin y conjunto derivado. Uno de los conceptos ms importantes
de la topologa de Rn es el punto de acumulacin de un conjunto, pues es lo que nos
permite hablar de lmites.
Definicin. Sea A un conjunto arbitrario de Rn. Se diece que x Rn es un PUNTO DE
ACUMULACIN de A, si toda bola abierta con centro en x contiene un punto de A
distinto de x. Dicho de otro modo, si para toda r > 0 se tiene
(B(x; r) {x}) A

Al conjunto de puntos de acumilacin de A se le denomina el CONJUNTO

DERIVADO de a y se le denota por Aa.
Nota 1. segn la definicin, un punto de acumulacin de A no necesariamente es un
punto de a. Un punto de la adherencia de A que no es elemento de A es un punto de
acumulacin de A. Si x Rn es un punto de acumulacin de A, entonces, por
definicin, toda bola abierta B(x; r) tiene al menos un punto de a que no es x, esta
condicin tiene como consecuencia una ms fuerte, como se establece en la siguiente
proposicin.
Proposicin 1. Si x Rn es un punto de acumulacin de A Rn, entonces toda bola
abierta B(x; r) contiene una infinidad de puntos de A.
Demostracin. Sea B(x; r) una bola abierta arbitraria con centro x, supngase que esta
bola tuviese solamente un nmero finito de puntos de A, digamos x1, x2, . . . . . ., xk,
cada uno distinto de x. Elijamos
r0 = min {d(x, x1), d(x, x2), . . . . . . . ., d(x, xk) }
(esto es posible ya que tenemos solamente un nmero finito de distancias). Entonces
r0 d(x, xi) < r
para i = 1, 2, . . . . . ., k
Consideremos ahora la bola abierta B(x; r0). Es claro que esta bola est contenida en
la bola abierta B(x; r), y de la desigualdad anterior se sigue que ningn punto xi se
encuentra en B(x; r0), as que B(x;r0) no puede tener puntos de A diferentes de x, pues
todo punto de A que estuviese en B(x; r0) tambin sera elemento de B(x; r), lo cual no
es posible ya que x1, x2, . . . . . xk son los nicos elementos de A que estn en B(x; r).
Entonces la bola abierta B(x; r0) no tiene puntos de acumulacin de A. Esto prueba la
proposicin 1.
Es obvio lo siguiente
Corolario 1. Si A Rn tiene a lo menos un punto de acumulacin, entonces A es un
conjunto infinito.
Ejemplo 1. En R con la mtrica usual,
a) El conjunto de puntos de acumulacin, es decir el conjunto derivado, de un
intervalo abierto (a, b) es el intervalo cerrado [a, b]
b) El conjunto derivado de [0, 1] {2} es [0, 1].
c) 0 es el nico punto de acumulacin de {1/k | k N}, es decir el conjunto derivado
de este ltimo conjunto de {0}

d) El conjunto derivado de Q es todo R, es decir, todo real es punto de acumulacin del

conjunto de los racionales.
e) El conjunto derivado R es R mismo.
f) El conjunto derivado del conjunto vaco es mismo, esto puede probar
directamente o deducirse del corolario 1 anterior: el conjunto vaco y todo conjunto
finito tiene como conjunto derivado al conjunto .
Ejemplo 2. En Rn
a) el conjunto derivado de toda bola abierta B(x; r) es la bola cerrada B(x; r)
b) el conjunto derivado de toda bola cerrada B(x; r) es ella misma
c) si n > 1, el conjunto derivado de toda esfera S(x; r) es ella misma (si n = 1 esto es
falso)
d) el conjunto derivado de Qn = Q. . . . . . .Q es Rn.
En la mayora de los libros de texto, casi todas las demostraciones acerca de puntos
de acumulacin se apoyan directamente en la definicin, por lo que resultan un
tanto laboriosas y en ocasiones sutiles. En estas lecturas nuestras demostraciones
sern bastante ms simples y breves; la clave de ellos consiste en rescribir la
definicin apropiadamente como sigue: que x Rn sea punto de A Rn significa
que para toda r > 0
(B(x; r) {x}) A ,
pero la igualdad anterior es equivalente a
B(x; r) (A {x})
esto significa que x es punto de la adherencia de A {x}. El resultado lo
establecemos en siguiente lema
Lema. x Rn es punto de acumulacin de A si y solamente si
x A- {x}
algunas de las relaciones de la siguiente proposicin se prueban fcilmente
aplicando directamente las definiciones, sin embargo usaremos el lema anterior para
mostrar cmo an se puede simplificar ms
Proposicin 2. Para cualesquiera subconjuntos A y B de Rn
a)
b)
c)
d)

Aa AA B Aa Ba
(AB)a = Aa Ba
(AB)a Aa Ba

Demostracin.

Prueba de (a):
Sea x Aa, se tiene entonces que x A {x}. Pero A {x} A-. Por lo tanto
x A-.
Prueba de (b):
Sea x Aa, se tiene entonces x A {x}. Pero A {x} B {x}, luego x
B- {x}, es decir x Ba.
Prueba de (c):
La contencin Aa Ba (AB)a se sigue inmediatamente del inciso anterior ya
aprobado y de las contenciones
A AB y B AB
Probaremos ahora la contencin opuesta (AB)a AaBa. Sea x (AB)a, se
tiene entonces x (AB) {x}. Pero
(AB) {x} (A {x}) (B {x}),
luego
(AB)- {x} = (A {x}) (B {x})
es decir

x Aa o x Ba

o sea

x AaBa.

Esto prueba la otra contencin y por lo tanto la igualdad deseada.

Prueba de (d):
La prueba de este inciso se obtiene inmediatamente del inciso (b) y de las
relaciones
AB A y AB B
Hemos probado la proposicin 2.
Nota 2. En general no se cumple la igualdad en el inciso (d), es decir, en general
se tiene

(AB)a Aa Ba
Como contraejemplo basta tomas en R:
A=QyB=RQ
Proposicin 3. Para todo subconjunto A de Rn
A- = AAa
Demostracin. Puesto que A A- y Aa A, se tiene que AAa A-.
Probemos ahora la otra contencin A- AAa. Sea x A-. Si x A-. Si x A,
entonces x AAa. Por otra parte, si x A, entonces A = A {x}, luego
A = A {x},
de donde

x A {x} = A-,
esto significa que x A . Hemos probado la contencin A- AAa y por lo
tanto la desigualdad deseada.
a

Corolario 2. Un subconjunto de A de Rn es cerrado si y solamente si contiene a

todos sus puntos de acumulacin, es decir, Aa A.
Demostracin. Se sigue del hecho de que A es cerrado si y solamente si A- = A.
Problemas y ejercicios.
1. Prueba que para toda x Rn y para toda r > 0
(B(x; r))a = B(x; r)
2. Prueba que para todo subconjunto A de Rn, (Aa)a Aa y que por lo tanto Aa
es un conjunto cerrado.

Leccin 10.
Sucesiones en Rn
10.1. Definicin y ejemplos. En nuestro curso de Clculo I estudiamos
sucesiones de nmeros reales, ahora estudiaremos sucesiones de vectores en Rn.
Definicin. Una SUCESIN en Rn es cualquier lista infinita de vectores en Rn
x1, x2, . . . . ., xk. . .
algunos de los cuales o todos ellos pueden coincidir entre s.
Nota. La palabra lista la estamos empleando como sinnimos del
trminocoleccin ordenada, con lo cual se quiere decir que cada vector tiene
asignada una posicin que lo distingue de cualquier otro. Podemos hablar
entonces del primer vector, segundo vector, tercer vector, etc, . . . ,etc. Dos

elementos de la sucesin pueden ser iguales pero se distinguen por ocupar

diferente posicin. Este orden que caracteriza a las sucesiones, juega el mismo
papel que el orden que caracteriza, por ejemplo, a las parejas ordenadas (x, y) o
ms generalmente, a las n-adas ordenadas (x1, x2, . . . . . ,xn). No es lo mismo el
conjunto {x, y} que la pareja ordenada (x, y). Las parejas (1, 2) y (2, 1) son
diferentes, pero los conjuntos {1,2}y {2,1} son iguales. El orden es algo
esencial tanto en las parejas ordenadas como en las sucesiones en general. Otro
hecho importante acerca de las sucesiones es que se trata de listas infinitas, esto
las distingue de las n-adas ordenadas (x1, x2, . . . . . ,xn), las cuales podramos decir
que son listas finitas. Una lista es infinita an cuando, por ejemplo, todos sus
elementos coincidan entre s. La infinitud no se refiere a cuntos elementos
diferentes haya, sino al nmero de posiciones.
Dada una sucesin

x1, x2, x3, . . .

se tiene definida de manera natural una funcin de los enteros positivos N en Rn,
tal que a cada entero positivo k le asigna el vector xk:
x xk
La mayora de los autores de texto, consideran como sucesin a toda funcin,
esto es un mero formalismo, pues en la prctica manejan las sucesiones como
colecciones ordenadas infinitas. Dado que en realidad esto no causa confusin,
nosotros las manejaremos de ambas maneras, recurriendo casi siempre al listado
para representarlas. Entonces una sucesin en Rn tambin ser cualquier funcin
S: N Rn. El valor de la funcin S en k lo denotaremos alternativamente por
S(k) o por xk.
Considerando nuevamente las sucesiones como listas infinitas
x1, x2, . . . . ., xk
y recordando la analoga con las n-adas ordenadas, agregaremos un par de
parntesis para su representacin:
(x1, x2, x3, . . . )
con lo cual estaremos insistiendo en que se trata de una coleccin ordenada y no
de un mero conjunto.
La representacin anterior tambin la abreviaremos como
(xk)-k=1
Algunos autores usan la notacin
(xk)-k=1
nosotros preferimos usar los parntesis por las razones ya antes expuestas.
Dada una sucesin (xk)-k=1, a xk se le denomina el TERMINO GENERAL
de la sucesin. Una sucesin queda definida al dar su trmino general, lo cual en
la mayora de los casos es mediante una frmula.
Ejemplo 1. consideremos n= 2. Sea la sucesin (xk)-k=1 dada por xk = (k,
1/k). Esta sucesin la podemos escribir en forma de lista como
(1, 1), (2, ), (3, 1/3), . . . .

o bien en forma vertical

(1, 1)
(2, )
(3. 1/3)
.
.
.
k -
n
Consideremos una sucesin (x ) k=1 en R . Cada vector xk es un elemento de Rn por
lo que tiene n entradas, digamos
xk = (x11, x22, . . . . .,xkn).
Escribamos la sucesin en una lista vertical
x1 = (x11, x22, . . . . .,xkn)
x2 = (x11, x22, . . . . .,xkn)
.
.
.
xk = (x11, x22, . . . . .,xkn)
.
.
.
Esta sucesin define de manera natural n sucesiones en R:
(xk)-k=1
para i = 1, 2, . . . . .,n las cuales llamamos SUCESIONES PROYECCIN, la
primera de ellas la PRIMERA PROYECCIN, la que sigue la SEGUNDA
PROYECCIN, etc, . . . etc. La primera proyeccin de la sucesin del ejemplo 1 es
(k)+k=1, la segunda proyeccin es (1/k)+k=1.
Ejemplo 2. las sucesiones proyeccin de la sucesin (xk)-k=1 en R2 dada por
xk = (k+1/k+2, 1/2k)
para toda k N, son dadas por
xk1= k+1/k+2
y
xk2 = 1/2k
Ejemplo 3. Las proyecciones de la sucesin (xk)-k=1 en R3 definidas por
xk3 = ((1+1/k)k,kk, k(1/k))
para toda k N, son las sucesiones dadas por
xk1 = (1+1/k)k
xk2 = kk
y
xk3 = k(1/k)
Problemas y Ejercicios.
1. Calcule los primeros 6 trminos de la sucesiones dadas por
a) xn = n5 +85n3 + 27n
b) xn = 15n4 +22n2 + 120
Qu observa?.

2. En la sucesin
1, 0, 1, 1, 0, 0, 1, 1, 1, 0, 0, 0 . . . . .
que aparece en el lugar 3, 145, 862
3. Halle una frmula para el trmino general de la sucesin
1, 1, 2, 2, 3, 3,
4. Dada una sucesin (ak)k=1, halle una frmula para el trmino general de la
sucesin
5. Dadas dos sucesiones (ak)k=1 y (bk)k=1, halle una frmula para el trmino
general de la sucesin
a1, b2, a3, b4, a5, b6, . . . . .

Leccin 11.
Convergencia
11.1. Definicin de lmite de una sucesin. Las principales de orden de los nmeros
reales fueron las que nos permitieron definir el concepto de lmite de una sucesin
de nmeros reales. Por ejemplo, haba frases como l - < xk < l + para toda n
N. Las desigualdades l - < xk < l + como |l xk| < , poniendo en juego la
distancia entre xk y l. La nocin de distancia o mtrica en R la obtuvimos a partir de
la relacin de desigualdad <, pero fue la mtrica lo que al final de cuentas nos
permiti hablar de cercana, o de aproximacin. En Rn no tenemos una relacin de
orden, pero est provisto de una mtrica (de hecho de varias), lo cual nos bastar
para hablar de lmite de una sucesin en ese espacio.
Definicin 1. una sucesin (xk)+k=1 en Rn se dice que CONVERGE a un vector x
Rn si para cada r > 0 existe un natural N N tal que
||xk x0|| < r
para todo ndice k N. En este caso diremos que la sucesin es CONVERGENTE y
que x0 es LIMITE de la sucesin y escribiremos
lim xk = x0

o bien

xk x0
k

cuando no de lugar a confusin, la ltima simbolizacin la escribiremos

simplemente como
xk x0
Si una sucesin no tiene lmite, diremos que DIVERGE o que es DIVERGENTE.
La definicin de lmite de una sucesin se puede parafrasear como sigue:
1) x0 es lmite de la sucesin (xk)+k=1, si para cada r > 0, existe N N tal que:

2) x0 es lmite de la sucesin (xk)+k=1, si toda bola B(x0; r) captura a todos los

elementos de la sucesin de la sucesin a partir de cierto ndice.
En trminos de implicaciones, podemos escribir
lim xk = x0
k

si N N, tal que

k N, k N ||xk x0|| < r

Obviamente la definicin anterior no garantiza que una sucesin arbitraria tenga

lmite, y tampoco garantiza que una sucesin con lmite no pueda terne ms de uno,
esto ltimo es cierto pero debemos probarlo.
Proposicin 1. (Unicidad del lmite). Consideremos una sucesin (xk)+k=1 en Rn y
sean x, y Rn tales que
x = lim xk, y = lim yk
k

entonces
x=y
Demostracin. Procedamos por reduccin al absurdo. Supngase que se tuviese
x y,
y tomemos r = ||x y|| > 0.
Por definicin de x = lim xk, existe Nx N tal que
||xk x|| < r
para k Nx. Similarmente como y = lim xk, existe Ny N, tal que
k

||xk y|| < r

para k Ny.
Sea ahora N = max {Nx, Ny}, entonce se cumplen simultneamente las
desigualdades
||xk x|| < r
||xk y|| < r
para k N. Por lo tanto, para estos mismos valores de k debemos tener
||xk y|| = ||x - xk + xk - y||
||xk y|| ||xk x|| + ||xk y||
||xk y|| 2r
= ||xk y||
lo cual es un absurdo.
La proposicin anterior nos permite hablar en forma determinada de el lmite de una
sucesin, cuando ste existe, y no solamente de un lmite.
Terminamos esta seccin con una proposicin que es muy fcil de probar, y la cual
nos ser muy til en la prueba de varios resultados acerca de sucesiones convergentes

en Rn, pues reduce la condicin de convergencia a la existencia del lmite de una

sucesin en R.
Proposicin 2. Una sucesin (xk)+k=1 en Rn converge a x0 si y solamente si
||xk x0|| 0
11.2. Lmite de las sucesiones proyeccin. En esta seccin relacionamos la
convergencia de una sucesin en Rn con la convergencia de la sucesiones proyeccin
correspondientes.
Proposicin 3. Sea (xk)+k=1 una sucesin en Rn y sean
(xk1)+k=1 = (x11, x21, x31, . . . )
(xk2)+k=1 = (x12, x22, x32, . . . )
.
.
.
k +
1
(x n) k=1 = (x n, x2n, x3n, . . . )
las sucesiones proyeccin correspondientes. Entonces la sucesin (xk)+k=1 converge a
x0 = (x01, x02, . . . . . ., x0n) si y solamente si para cada j = 1, 2, . . . . ., n (xkj)+k=1
converge a x0j.
Demostracin.
a) Supngase que la sucesin (xk)+k=1 converge a x0 = (x01, x02,. . . . ., x0n). Se tiene
entonces
||xk x0|| 0.
De las desigualdades
0 |xkj x0j| || xn x0||,
las cuales valen para j= 1, 2, . . . ., n, se sigue que
|xkj x0j| 0,
lo cual significa que
lim xkj = x0j
k

pata j= 1, 2, . . . . . .,n.
b) Recprocamente , supongamos que para cada j = 1, 2, . . . . . .,n
lim xkj = x0j
k

Entonces

|xkj x0j| 0,
para j = 1, 2, . . . . . . .,n: Por lo tanto de la desigualdad
0 ||xk x0|| |xk1 x01| + |xk2 x02| + . . . . . + |xkn x0n|
se sigue que
|xk x0| 0,
lo cual significa que
lim xk = x0

Ejemplo 1. La sucesin (xk)+k=1 en R2 dada por

xk = (k+1/k+2, 1/2k)
para toda k N converge al punto (1,0) en R2 pues
lim (k+1/k+2) = 1
k

lim 1/2k = 0

Ejemplo 3. La sucesin (xk)+k=1 en R3 dada por

xk = ((1+1/k)k, kk, k(1/k))
converge al punto (e, 1, 1), pues
lim (1+ 1/k)k = e
k

lim kk = 1

lim k(1/k) = 1
k

11.3. lgebra de lmites. Finalizamos la leccin estableciendo algunas de las

propiedades bsicas sobre el lgebra de lmites.
Definicin 2. Sean (xk)+k=1 y (yk)+k=1 dos sucesiones en Rn.
La SUMA (xk)+k=1 + (yk)+k=1 de las sucesiones, es la sucesin (xk + yk)+k=1
Si es un real cualquiera, la MULTIPLICACIN (xk)+k=1 es la sucesin
dada por (xk)+k=1.
iii)
El PRODUCTO (xk)+k=1 * (yk)+k=1 es la sucesin
(xk * yk) = (xk1yk1 + xk2yk2 + . . . . . . .+ xknykn)+k=1
i)
ii)

Proposicin 4. Sean (xk)+k=1 y (yk)+k=1 dos sucesiones convergentes en Rn y un

real. Si lim xk = x y lim yk = y entonces
k

a) La sucesin(xk)+k=1 + (yk)+k=1 es convergente y

lim (xk + yk) = lim xk + lim yk = x + y

b) La sucesin (xk)+k=1 es convergente y adems

lim (xk) = lim xk = x
k

c) La sucesin (xk)+k=1(yk)+k=1 es convergente y

lim (xk * yk) = (lim xk)* (lim yk) = x * y

Demostracin. La prueba es una aplicacin inmediata de la proposicin 3, y se deja

como ejercicio para el lector.
Problemas y ejercicios.
1. Pruebe la proposicin 4.
2. Calcule lim xk donde
k

xk =(k(2k + 3 k), k (3k + 4k))

3. Halle lim xk donde
xk = ((k+1) - k, 1/[(k+1) + k])
4. Pruebe que la sucesin (xk)+k=1 en R2, dada por
xk = ( k / k+1, (k + 1)/k)
es convergente y halle su lmite.
5. Considere el cuadrado [0, 1] [0, 1] en R2 y divdalo en cuatro cuadrados, uniendo
los puntos medios de sus lados opuestos. De estos cuatro cuadrados elija el inferior
izquierdo, de la misma manera que el original y elija de los cuadrados resultantes el
inferior derecho, o sea, el sureste. Divida este ltimo en otros cuatro cuadrados y elija
ahora el noroeste. En la siguiente divisin elija el cuadrado noroeste. Continuando
con este proceso, obtenemos una sucesin de cuadrados, cuyas reas estn en la
sucesin.
1, 2, 4, 6 , . . . . .
Pruebe que la sucesin correspondiente de los centros de los cuadrados converge y
halle su lmite.

Leccin 12.
Punto lmite
12.1. Subsucesiones y puntos lmite. En esta leccin veremos el concepto de punto
lmite de una sucesin, el cual no debe confundirse con el de lmite. Los puntos lmite
sern los lmites de las subsucesiones.
Definicin 1. Dada una sucesin (xk)+k=1 en Rn, una SUBSUCESIN de ella es toda
sucesin de la forma

xn1, xn2, xn3, . . . . . .

donde
n1, n2, n3, . . . . . .
es una sucesin estrictamente creciente de naturales.
Nota. Una subsucesin

xn1, xn2, xn3, . . . . . .

de una sucesin

x1, x2, x3, . . . . . .

se obtiene tomando elementos de la sucesin para una infinidad de ndices (omitiendo
ya sea un nmero finito o infinito de trminos) conservando el orden o posicin
relativa entre ellos.
Ejemplo 1. Para la sucesin
1, 2, 3, 1, 2, 3, 1, 2, 3, . . . .
las siguientes sucesiones son subsucesiones
a)
b)
c)
d)
e)
f)

1, 1, 1, . . . . . .
2, 2, 2, . . . . . .
3, 3, 3, . . . . . .
1, 2, 1, 2, 1, 2, . . . . . . .
3, 1, 3, 1, 3, 1, . . . . . .
1, 3, 2, 1, 3, 2, 1, 3, 2, . . . . .

Ejemplo 2. La sucesin
1, 3, 5, 7, 9, 11, 15, 13, . . . . . .
no es subsucesin de la sucesin de los impares
1, 3, 5, 7, 9, 11, 13, 15, . . . . . .
Definicin 2. Dada una sucesin (xk)+k=1 en Rn, es un vector x0 Rn se dice que es
PUNTO LIMITE de la sucesin, si tiene una subsucesin que converge a x0.
La definicin anterior se puede formular de manera equivalente como sigue
Definicin 2bis. Un vector x0 Rn se dice que PUNTO LMITE de una sucesin
(xk)+k=1 si para cada r > 0 y cada N N, existe k > N tal que
||xk x0|| < r
En la proposicin de ms delante de esta misma leccin se establece que el lmite de
una sucesin es un punto lmite, pero el recproco es falso, como lo muestran los
siguientes ejemplos. A diferencia del lmite, una sucesin puede tener varios puntos
lmites, de hecho, puede tener una infinidad. Por otra parte una sucesin con su nico
punto lmite no necesariamente converge.
Ejemplo 3.
a) La sucesin en R
1, 0, 1, 0, . . . . .
tiene dos puntos lmite, a saber 1 y 0.

b) La sucesin
1, 2, 3, 1, 2, 3, . . . . . .
tiene pos puntos lmite 1, 2 y 3.
c) Cada nmero natural es punto lmite de la sucesin
1, 1, 2, 1, 2, 3, 1, 2, 3, 4, . . . . .
El inciso (c) muestra que un sucesin puede tener una infinidad de puntos lmite.
Ejemplo 4. La siguiente sucesin tiene un solo punto lmite y no es convergente
1, , 2, 1/3, 3, , 4, 1/5, 5, . . . . .
obviamente el nico punto lmite es el cero.
Ejemplo 5. La sucesin de naturales
1, 2, 3, 4, . . . . . .
no tiene puntos lmite
La siguiente proposicin es fcil de probar
Proposicin. Sea (xk)+k=1 una sucesin convergente en Rn, y sea x0 su lmite.
Entonces
a) x0 es punto lmite.
b) No hay otro punto lmite, adems de x0, es decir, toda subsucesin de (xk)+k=1,
converge a x0.
Problemas y ejercicios.
1. D un ejemplo de una sucesin en R, cuyo conjunto de puntos lmite sea
{1, , 1/3, . . . .}
2. Se puede probar que la totalidad de los nmeros racionales es posible
ordenarlos en una sucesin
(q1, q2, q3, . . . . ).
Determine el conjunto de puntos lmite de esta sucesin.
3. D un ejemplo de una sucesin en R2 no convergente y que tenga por
nico punto lmite al origen 0.
4. D un ejemplo de una sucesin en R2, cuyo conjunto de puntos lmite sea
{(1, 1), (2, 2), (3, 3), . . . . . . }
5. D un ejemplo de una sucesin en R2, cuyo conjunto de puntos lmite sea
NN.

Leccin 13.
Criterios de Convergencia.
13.1. Criterio de Cauchy. El siguiente teorema es uno de los ms importantes
en el estudios de la convergencia de sucesiones, el cual nos permite averiguar
si una sucesin en Rn es convergente, sin necesidad de conocer su lmite. El

teorema es la generalizacin a Rn del Criterio de Cauchy para sucesiones en R

que vimos en nuestro curso de Clculo I.
Teorema (Criterio de Cauchy). Una condicin necesaria y suficiente para que
una sucesin (xk)+k=1 sea convergente es que para cada r < 0 exista un natural
N tal que
||xp xq|| < r
para cualesquiera naturales p, q N.
La condicin la llamaremos CONDICIN DE CAUCHY.
Demostracin. La prueba es una aplicacin de la proposicin 3 de la leccin
anterior y del criterio de Cauchy para sucesiones en R. Para la demostracin
supondremos xk =(xk1, xk2,. . . . . . ., xkn)
Prueba de la suficiencia:
Supngase que para cada r > 0, existe un natural N tal que
||xp xq|| < r
para cualesquiera naturales p, q N. Entonces de las desigualdades
|xpj xqj| ||xp xq||
las cuales se valen para toda j = 1, 2, . . . ., n y cualesquiera naturales p y q,
obtenemos que las sucesiones (xkj)+k=1 satisfacen la condicin de Cauchy para
sucesiones de R, por lo tanto deben converger. Pero de la proposicin 3 de la
leccin 12, obtenemos que la sucesin (xkj)+k=1 tambin debe converger. Esto
prueba la suficiencia.
La prueba de la necesidad es totalmente similar y se obtiene de la misma
proposicin 3, del Criterio de cauchy para sucesiones en r y de la desigualdad
||xp - xq|| |xp1 xq1| + |xp2 - xq2| + . . . . . . + |xpn - xqn|
Los detalles de la prueba se dejan como ejercicio para el lector.
13.2. Teorema de Bolzano Weierstrass. El resultado principal que veremos
en esta seccin, se refiere a los puntos lmite de una sucesin, y es tambin
uno de los clsicos en el estudio de la convergencia de sucesiones. Para su
formulacin necesitaremos de la siguiente definicin.
Definicin. Una sucesin (xkj)+k=1 en Rnse dice que es ACOTADO si existe
un real M > 0 tal que
||xk|| < M
para toda k N. Al nmero positivo M se le llama una COTA de la sucesin.
Dicho de otro modo, si existe M > o tal que xk B(0; M) para toda k N.
La siguiente proposicin es fcil de probar
Proposicin. Toda sucesin convergente en Rn es acotada.
Demostracin. Supongamos que (xkj)+k=1 es una sucesin en Rn y sea x0 su
lmite. Tenemos entonces por definicin, que para r = 1 existe un natural N tal
que
||xk-x0|| < 1
para toda k N. Pero
| ||xk|| - ||x0|| | ||xk- x0||,
para toda k N, as que
||xk|| - ||x0|| ||xk- x0|| < 1
para k N. De donde

||xk|| M
para toda k N. Podramos elegir M = 1 + ||x0||, pero en este caso la
desigualdad se satisfara para k = 1, 2, . . . . ., N-1, esto lo resolvemos si
elegimos
max{||x1||, . . . . . ., ||xN-1||, 1 + ||x0||}
con lo que obviamente obtenemos
||xk|| M
para toda k N.
El recproco de la proposicin es falso, como lo muestra la sucesin en R;
1, 0, 1, 0, . . . . .
la cual es acotada pero no convergente, sin embargo, tenemos un resultado
parcial.
Teorema (de Bolzano-Weierstrass): tado sucesin (xkj)+k=1 en Rn acotada
tiene un punto lmite. Dicho de otro modo, toda sucesin en Rn tiene una
subsucesin convergente.
Demostracin. Como en las pruebas anteriores, nos apoyaremos en la versin
del teorema para sucesiones en R, sin embargo en este caso hay un detalle que
lo hace diferente. Supongamos
x1 = (x11, x12, . . . . , x1n)
x2 = (x21, x22, . . . . , x2n)
.
.
.
xk = (xk1, xk2, . . . . , xkn)
.
.
.
Dado que la sucesin (xkj)+k=1 es acotado se sigue de las desigualdades
|xkj| ||xk|| (j = 1, 2, . . . ., n)
que cada una de las sucesiones de coordenadas (xkj)+k=1 es acotada. Por lo
tanto, por el teorema de Bolzano-Weierstrass para sucesiones en R, la sucesin
(xk1)+k=1 tiene una subsucesin convergente, donde por (1(i))+k=1 una tal
subsucesin convergente, donde (1(i))+k=1 estamos denotando una sucesin
creciente de naturales.
1(1), 1(2), 1(3). . . . .
Consideremos ahora la sucesin(x1(i)j)+k=1, la cual es subsucesin de
(xk2)+k=1. Esta subsucesin tambin es acotada, por lo que tiene a su vez una
subsucesin convergente , digamos (x2(i)2)+k=1. Ahora 2(i)) es una
subsucesin de (1(i)).
Como siguiente paso consideremos la sucesin (x2(i)3)+k=1. esta sucesin no
necesariamente converge, pero siendo acotada, tiene una subsucesin
(x3(i)j)+k=1 convergente.
Continuando con este proceso obtenemos finalmente una sucesin creciente de
naturales (n(k))+k=1 , la cual denotamos simplemente por ((k))+k=1 tal que
las sucesiones

(x(k)1)+k=1, (x(k)2)+k=1, . . . . . . . (x(k)j)+k=1

convergen. Por lo tanto la sucesin
(x(k))+k=1
converge, pero esta ltima sucesin es una subsucesin de (xkj)+k=1
Problemas y ejercicios.
1. Complete la prueba del Criterio de Cauchy
2. Pruebe que si una sucesin en Rn satisfacen la condicin de Cauchy y tiene
un punto lmite, entonces converge.
3. Aplicando el criterio de Cauchy, pruebe que la sucesin en R, dada por
xk = a0 + a1q + a2q2 + . . . . . . .+akqk
donde (ak)k=0 es una sucesin acotada y |q| < 1, es convergente.
4. Usando el criterio de Cauchy, pruebe que la sucesin en R, dada por
xk = 1 + 1/22 + 1/32 + . . . . . . +1/k2
es convergente.
5. Enuncie la negacin de que una sucesin satisfaga la condicin de Cauchy:
Una (xk)+k=1, no satisface la condicin de Cauchy , si. . . .
6. Aplicando el criterio de Cauchy, pruebe que la sucesin en R, dada por
xk = 1 + + 1/3 + . . . . . . . . +1/k
es divergente.

Leccin 14
Funciones de varias variables reales.
14.1. Terminologa y ejemplo. En la leccin 1 iniciamos nuestro estudio sobre
funciones con algunas de sus propiedades generales. En esta leccin lo
continuaremos, pero ahora sobre funciones cuyo dominio est en Rn. En lo
sucesivo supondremos, a mesn que se diga otra cosa, que n y m son enteros
positivos mayores o iguales que 2, as que n y m estarn reservados para este
uso particular.
Una funcin cuyo dominio sea un subconjunto A de Rn, la denominaremos de
n VARIABLES REALES; y de manera genrica nos referiremos a estas
funciones como de VARIAS VARIABLES REALES o simplemente de
VARIAS VARIABLES. Si f est definida en un subconjunto de R diremos
que es una funcin de UNA VARIABLE REAL, si toma valores en Rm,
diremos que es una FUNCIN VECTORIAL. Por ejemplo, si A R2 y f es
una funcin A R, entonces f es una funcin real de dos variables reales.

Una funcin f con dominio A en Rn, define de manera natural m funciones

reales fi: A R (i = 1, 2, . . . . . , m), dadas por
f(x) = (f1(x), f2(x), . . . . . . , fm(x))
que denominaremos FUNCIONES COORDENADAS o FUNCIONES
COMPONENTES de f; valdr escribir
f(x) = (f1, f2, . . . . . . , fm)
Las componentes de f son funciones reales de n variables y quedan
determinadas unvocamente por la funcin f. Recprocamente, m funciones
fi:AR, determinan una nica funcin f:ARm mediante la relacin (14.1).
La grfica de una funcin de una variable real con valores reales, digamos,
f:[a,b]R, se interpreta geomtricamente como un subconjunto del plano
(curva), matemticamente es un subconjunto de R2.
G(f) = {(x, y) | x [a,b], y = f(x)}
En general, la GRFICA de una funcin f:XY, donde X y Y son conjuntos
cualesquiera, es el conjunto
G(f)= {(x, y) | x X, y = f(x)} XY
Ejemplo 1. La funcin f:R2R, dada por
f(x, y) = x 2y
es una funcin real de dos variables y su grfica es un subconjunto de R3, el
cual interpretamos geomtricamente como un plano en el espacio
tridimensional. En trminos precisos, la grfica es el conjunto
{(x, y, z) | z = x 2y},
y geomtricamente corresponde al plano en el espacio tridimensional, cuya
ecuacin es z = x 2y.
Ejemplo 2. La grfica de la funcin f: R2R, dada por
f(x, y) = x2 + y2
3
es un subconjunto de R que corresponde geomtricamente a una superficie,
que se denomina PARABOLOIDE.
Abusando un tanto de la terminologa, nos referiremos a la interpretacin
geomtrica de una grfica como a la grfica misma.
Ejemplo 3. La grfica de la funcin g:B(0; 1)R, donde B(0; 1) es el disco
cerrado unitario en R2 con centro en el origen (respecto a la norma euclidiana),
dada por
g(x, y) = 1 x2 y2,
es el hemisferio norte de la esfera de radio 1, con centro en el origen,
incluyendo el ecuador.
Ejemplo 5. La grfica de la funcin F: R2 R definida como
F(x, y) = xy
es una superficie en el espacio tridimensional, la cual se denomina SILLA DE
MONTAR, pues tiene ese aspecto.
Ejemplo 6. La grfica de la funcin f: R2R, dada por
f(x, y) = x2 y2

= (x-y)(x+y)
es una superficie que tambin se llama silla de montar, por las mismas razones
del ejemplo 5, slo que guarda una posicin diferente respecto a los ejes
coordenados.
Ejemplo 7. La grfica de la funcin G: R2R, dada por
G(x, y) = x (x y)(x+y)
Es una superficie en el espacio tridimensional, que se llama SILLA DEL
MONO, pues tiene el aspecto de una silla de montar con la modificacin
adecuada para la cola del mono.
Hemos convenido en la leccin 1, que las funciones reales de una variable
real que estn definidas mediante frmulas, se asumirn, si no se hace
aclaracin alguna, que su dominio estar constituido por todos los reales para
los cuales tenga sentido la frmula, y que su contradominio son todos los
reales. De la misma manera, las funciones de varias variables reales, les
daremos usualmente mediante frmulas, las cuales definirn implcitamente su
dominio.
Ejemplo 8. La funcin H dada por
H(x, y) = 1 / (x2 + y2 4)
Tiene por dominio R2, exceptuando los puntos de la bola cerrada con centro el
origen 0 y radio 2. es decir, su dominio es R2-B(0;2), respecto a la norma
euclidiana. Su grfica es una superficie en R3, que tiene la forma de una
enorme corneta.
Ejemplo 9. la funcin f definida por
f(x, y) = ( x+y, x2+y2)
2
2
es una funcin R R . su grfica es un conjunto de R4, el cual, obviamente no
interpretamos geomtricamente, pero que est definido como
G(f) = {(x, y, u, v) R4 | u = x + y, v = x2 + y2}
El dominio de una funcin vectorial f = (f1, f2,. . . . . . .,fm), definida mediante
frmulas para cada una de las funciones f1, f2, . . . . . . . ., fm, est constituido
por la interseccin de los m dominios correspondientes.
Ejemplo 10. La funcin f dada por
f(x, y) = (xy/(x2+y2-1), (4-x2-y2))
es una funcin vectorial, con valores en R2, que tiene por dominio el anillo
semiabierto en R2 definido por
{x | 0 < ||x||2 2}.
Su grfica es un subconjunto de R4. las funciones componentes estn dadas
por
f1(x, y) = xy / (x2+y2-1)
f2(x, y) = (4 - x2- y2)
Ejemplo 11. La funcin f definida por
f(t) = (t-1, 2t+1, 3t-4)

es una funcin vectorial de variable real, su grfica es un subconjunto de R4,

pero su imagen es un subconjunto de R3:
{(x, y, z) | x = t-1, y=2t+1, z=3t-4}
cuya interpretacin geomtrica es una recta en el espacio tridimensional.
Ntese que ahora estamos interpretando geomtricamente la imagen de la
funcin y no su grfica, como lo habamos estado haciendo. La funcin f de
hecho es una funcin una parametizacin de dicha recta.
Ejemplo 12. La funcin : [0, 2]R2 dada por
(t) = ( cost, sent)
tiene como imagen el crculo unitario en el plano. Esta funcin es una
parametrizacin de dicho crculo.
Ejemplo 13. La funcin dada por
(t) = (cost, sent),
tiene como dominio todos los reales (segn nuestra convencin) y su imagen
es el mismo crculo del ejemplo anterior. En este caso, el crculo es recorrido
mediante una infinidad de vueltas. Tambin se dice que parametriza dicho
crculo.
Ejemplo 14. Sea : RR3 dada por
(t)= (cost, sent, t)
la imagen de esta funcin es una espiral en el espacio tridimensional xyz, cuya
proteccin en el plano xy es un crculo de radio 1. Digamos que es una especie
de alambre que se enrolla con espaciamiento uniforme, alrededor de un
cilindro.
Ejemplo 15. Si a y b son reales diferentes, la funcin f definida por
f(t)= (acost, bsent)
es una parametrizacin de la elipse cuya ecuacin cannica es
x2/a2 + y2/b2 = 1.
Ejemplo 16. Si a es un real positivo, la funcin S:[0, 2][0, ]R3 dada por
S(u, v) = (asenucosv, asenusenv, acosu)
es una funcin vectorial de dos variables, su grfica es un subconjunto de R5,
pero su imagen es la esfera en el espacio tridimensional, con centro el origen y
radio a. Decimos entonces que S es una parametrizacin de dicha superficie
esfrica.
Problemas y Ejercicios.
1. Determine el dominio y contradominio de cada una de las funciones dadas
mediante las siguientes expresiones.
a) f(x, y) = xy / x2-y2
b) f(x, y) = x2-y2
c) f(x, y) = x+y

d) f(x, y) = 1/xy
e) f(x,y) = 1/ sen(x+y)
f) f(x, y) = log (x+2y)
g) f(x, y)= 1/log(xy)
h) f(x, y) = 1/ (xy log(x-1)(y-2)
i) f(x, y) = 1/ (4x2-4xy+y2)
j) f(x, y) = 1/ (1- (x2+y2))
k) f(x, y) = 1-x2-y2
l) f(x, y) = (1/ (4-x2-y2)) + (1/(x2+y2-1))
2. D una parametrizacin del crculo en el plano, con centro (h, k) y radio r.
3. D una parametrizacin de la parbola que tiene por ecuacin y = (x-1)2+3
4. Describa la curva que tiene por parametrizacin
(t) = (a cost, b sent, ct)

Leccin 15
Lmite de una funcin
15.1 La definicin de lmite. El concepto de lmite lo hay en varios contextos,
por ejemplo, lmite de una sucesin, lmite de una funcin real de variable real
(como lo vimos en nuestros primeros cursos de Clculo), lmite de una
sucesin de funciones, etc. Ahora veremos esta nocin para el caso de
funciones de varias variables reales.
En el caso de funciones de una variable, usamos la simbolizacin
lim f(x) = l,
xx

para abreviar un concepto por dems complicado, que formulamos de manera

precisa, pero que intuitivamente lo podemos describir como el hecho de que
para puntos x cercanos a x, podemos obtener valores de la funcin f(x) tan
prximos a l como se desee. Para el caso de una funcin real, por ejemplo, de
dos variables, la situacin es totalmente anloga. Podemos usar una notacin
similar
lim f(x, y) = l,
xx

yy

slo que en este caso, el acercamiento de la variable al punto en cuestin tiene

dos grados de libertad. Cuando hacemos tender (x, y) al punto (x, y), lo
debemos hacer sobre una regin bidimensional, por lo que se trata de una
variabilidad ms compleja. El miembro izquierdo de la expresin anterior lo
podemos interpretar como el lmite iterado, ya sea en el orden
lim f(x,y) = l,
yyxx

o bien

lim f(x,y) = l,

xxyy

valores que, en caso de existir, no necesariamente coinciden. La situacin se

agudiza todava ms, al incrementar el nmero de variables. Esto, sin
embargo, lo podemos resolver fcilmente con nuestro concepto de norma, o
ms bien, con nuestro concepto de distancia. Es la nocin de distancia lo que
al final de cuentas, nos permitir definir el concepto de lmite, lo cual haremos
en esta seccin as tambin formularemos algunos enunciados equivalentes.
Definicin 1. Sea A Rn, f una funcin AR y x un punto de acumulacin
de A. Se dice que un real l es LIMITE de la funcin f en el punto x si para
cada r > 0 existe > 0 tal que todos los puntos que estn simultneamente en
A y en la bola abierta B(x; ) excluyendo el mismo punto x, tienen su
imagen en el intervalo (l-r, l+r), dicho de otro modo, si para cada r > 0, existe
> 0 tal que
|f(x)-l| < r,
para todo x A que cumpla 0 < || x x || < . En este caso escribimos
lim f(x) = l,
xx

nota. Observemos que en la definicin anterior, el dominio A de f es

totalmente arbitrario por lo que no debemos suponer que es abierto, cerrado o
de alguna forma particular. Tambin observemos que el punto x no
necesariamente es un punto de A; puede no ser elemento de A, pero si lo
fuese, de todas maneras para propsitos del limite, debemos excluirlo de
aquellos puntos donde valuamos la funcin. Esta condicin es muy
importante, pues con ella se est indicando que en lo que respecta al lmite, el
valor f(x) es irrelevante. No slo hemos de ignorar el punto x, sino que
deliberadamente debemos excluirlo, en lo que al lmite concierne. Finalmente,
ntese que requeriremos que x sea un punto de acumulacin de A, esto es con
el fin de poder acercarse a l, tanto como se quiera, lo cual no sera posible si
fuese un punto aislado.
En la definicin anterior hemos considerado funciones reales, es
decir, funciones que toman valores en R. Claramente podemos generalizarla al
caso de funciones vectoriales.
Definicin 2. Sea A Rn, f una funcin ARm y x un punto de
acumulacin de A. Se dice que l es LIMITE de la funcin f en el punto x si
para cada r > 0 existe > 0 tal que
||f(x) l|| < r,
para todo x A que cumpla 0 < ||x x|| < . En cuyo caso escribimos
lim f(x) = l
xx

o de manera simple como

lim f(x) = l.

La siguiente proposicin es obvia y resulta muy prctica en el manejo de

lmites de funciones de varias variables.
Proposicin 1. Sea A Rn, f una funcin ARm y x un punto de
acumulacin de A. La condicin
lim f(x) = l,
xx

es equivalente a
lim ||f(x) l|| = 0,
xx

lo cual escribiremos simplemente como

||f(x) l|| 0.
En las definiciones anteriores, tuvimos cuidado de no referirnos al trmino
lmite en forma determinada, es decir, hablamos de l como lmite y no como el
limite. En las definiciones no nos comprometimos ni a la existencia ni a la
unicidad. La unicidad es fcil de probar:
Proposicin 2 (Unicidad del lmite). Sea A Rn, f una funcin A Rm y x
un punto de acumulacin de A. Si l1 Rm y l2 Rm son tales que
l1 = lim f(x)
xx

l2 = lim f(x)
xx

entonces
l1 = l2
Demostracin. Para probar la proposicin mostremos que
|| l1 - l2 || = 0
Puesto que tenemos la desigualdad
0 ||l1 - l2|| || l1 f(x) + f(x) - l2 || || l1 f(x)|| + ||f(x) - l2||
la cual vale para todo vector x A, y dado que
||f(x) - l1|| 0
||f(x) l2|| 0
se sigue la igualdad deseada.
La proposicin anterior nos permite ahora hablar de el lmite de una funcin,
cuando tal lmite exista.
La definicin 2 generaliza la definicin 1, sin embargo, el estudio sobre
lmites de funciones vectoriales lo podemos reducir al de funciones reales, va
la siguiente proposicin.
Proposicin 3. Sea A Rn, f una funcin A Rm y x un punto de
acumulacin de A. Escribamos f en trminos de sus componentes f= (f1, f2, . . .
. ., fm). Entonces, la existencia del lmite

lim f(x)

xx

es equivalente a la existencia de los lmites

lim fi(x)
xx

para i = 1, 2, . . . . . . , m. En este caso se tiene adems

lim f(x) = (lim f1(x), lim f2(x), . . . . . . ., lim fm(x))
xx

xx

xx

xx

Demostracin. Supongamos que existe el limite

lim f(x) = l

xx

= (l1, l2, . . . . . . , lm)

y mostremos que para cada i = 1, 2, 3, . . . . . . , m
|fi(x) li| 0
pero esto se sigue inmediatamente de las desigualdades
0 |fi(x) li| ||f(x) l ||
(i = 1, 2, . . . . ., m) y de la hiptesis
|f(x) l| 0.
Recprocamente, supongamos que existen los lmites
lim fi(x) = li
xx

para i = 1, 2, . . . . , m y sea l = (l1, l2, . . . . . . . ., lm). Tenemos entonces

|fi(x) li| 0.
Para i = 1, 2, . . . . . . ., m, por lo tanto de la desigualdad
m

0 |f(x) l| |fi(x) li|

i=1

obtenemos
||f(x) l|| 0.
Esto prueba la proposicin 3.
Para finalizar la seccin, enunciamos y probamos una condicin equivalente
para el concepto de lmite, en trminos de lmites de sucesiones. Esta
proposicin resulta particularmente til, ya que en el estudio de lmites de
funciones podemos aplicar las propiedades de lmites de sucesiones estudiadas
anteriormente.
Proposicin 4. Sea A Rn, f una funcin A Rm y x un punto de
acumulacin de A. Entonces la condicin
lim f(x) = l
xx

es equivalente a

lim f(xk) = l
k

para toda sucesin (xk)+k=1 de elementos de A, con puntos diferentes de x,

que tienda a x.
Demostracin. Supongamos que
lim f(x) = l

xx

y sea (xk)+k=1 una sucesin arbitraria de elementos de A con x x, que

tiende a x. Mostremos, usando la definicin de lmite de una sucesin, que
f(xk) l.
Sea r > 0 arbitraria. Como lim f(x) = l, existe > 0 tal que
xx

||f(x) l || < r
para todo vector x A que cumpla
0 < ||x x|| < .
Por otra parte, como xkx, existe un ndice N N, tal que
||xk-x|| < ,
para toda k N, k N. Por lo tanto,
||f(xk) l|| < r,
para toda k N, k N. Esto prueba que
lim f(xk) = l
k

Para la prueba del recproco procederemos razonando por contradiccin.

Supongamos que
lim f(xk) = l
k

para toda sucesin (xk)+k=1 en A, de puntos distintos de x, convergente a

x. Si no se tuviese
lim f(xk) = l
xx

existira r0 > 0, tal que para cada > 0, sera posible encontrar un punto x A
cumpliendo 0 ||x-x|| , pero con
||f(x)-l|| r0.
En particular, para cada k N, habra un punto xk A tal que
0 ||xk x|| 1/k
y
||f(xk) l || r0.
k +
Es claro que la sucesin (x ) k=1 as construida convergera al vector x, pero
obviamente no se tendra
lim f(xk) = l
k

lo que contradira nuestra hiptesis. Esto prueba la proposicin 4.

15.2. Algunas propiedades bsicas. En esta seccin presentaremos algunas de
la propiedades sobre lgebra de lmites, anlogas a las que estudiamos para
funciones reales de una variable.

Proposicin 5. Sea A Rn y x un punto de acumulacin de A. Sean f y g

funciones A Rm, para las cuales existen los lmites
l1 = lim f(x)
xx

l2 = lim g(x)
xx

Entonces
i)
lim (f + g)(x) = lim f(x) + lim g(x)

xx

xx

xx

= l1 + l2

ii)

lim (f g)(x) = lim f(x) lim g(x)

xx

xx

xx

= l1 l2
donde f g est definida por (f g)(x) = f(x) g(x), para toda x A. En el caso
particular m = 1, el producto punto f g se convierte en el producto usual f g, el
cual est dado por (f g) (x) = f(x) g(x) y el resultado queda como
lim (f g)(x) = (lim f(x))(lim g(x))
xx

xx

xx

iii) si es un escalar, entonces

lim ( f)(x) = lim f(x)
xx

xx

= l1
Esta proposicin es consecuencia inmediata de la proposicin 4 y de las
propiedades correspondientes para lmites de sucesiones (proposicin 4 de la
leccin 11). La siguiente proposicin tambin es fcil de probar
Proposicin 6. Sea A Rm, f una funcin A Rm y x un punto de
acumulacin de A. Sea : A R. Supongamos que existen los lmites
lim f (x)
xx

y
lim (x)

xx

entonces
i) Existe el lmite de la funcin f en x y adems
lim (f)(x) = (lim (x) lim g(x)),
xx

xx

ii) si
lim (x) 0

xx

xx

entonces, existe una bola abierta B(x; ), tal que (x) 0 para toda x
AB(x; ) {x}, tiene lmite en el punto x, se cumple adems
lim f(x) / (x) = lim f(x) / lim (x)
xx

xx

xx

Para la demostracin de (ii) imitese la prueba del resultado correspondiente

para funciones de una variable. Los detalles se dejan como ejercicio para el
lector.
Ejemplo 1. Sea p1: R2 R dada por
p1(x, y) = x
para todo (x, y) R2. Si (x, y) es un punto cualquiera de R2, entonces
lim p1(x, y) = x
(x, y)(x, y)

En efecto, puesto que

0 |p1(x, y) p1(x, y)| = |x x| ||(x-x, y-y)||
se sigue que
|p1(x, y) p1(x, y)| 0
cuando
||(x x, y y)|| 0
Ejemplo 2. De manera similar al ejemplo 1, es fcil probar que si p2 : R2R
est dada por p2(x, y) = y, entonces
lim p2(x, y) = y
(x, y)(x, y)

En general, definamos pi: RnR por

pi(x) = xi
para todo x = (x1, x2, . . . . . . ., xn) Rn, entonces
lim pi(x, y) = xi,
(x, y)(x, y)

para todo punto x = (x1, x2, . . . . . . ., xn) Rn.

Ejemplo 3. Como consecuencia del ejemplo2, y de la proposicin 5 tenemos
i) lim (x + y) = a + b
(x, y)(a, b)

ii) lim (x y) = ab
(x, y)(a, b)

iii)lim (x2) = a2
(x, y)(a, b)

iv)lim (y2) = b2
(x, y)(a, b)

v) lim (x2 + 5xy + 2y2) = a2 + 5ab + 2y2

(x, y)(a, b)

En general tenemos el siguiente resultado.

Proposicin 7. Sea p: R2R una funcin polinomial en dos variables

r

p(x, y) = aij xi yj,

i=0 j=0

la cual se puede escribir en la forma

r

p(x, y) = pi (y)xi
i=0

donde cada pi(y) es un polinimio en y, o bien

s

p(x, y) = qj (x)yj
j=0

donde cada qj(x) es un polinimio en x. Entonces tenemos

r

lim p(x, y) = aij xi yj,

(x,y)(a, b)

i=0 j=0

La prueba se obtiene de la proposicin 5 y del resultado parcial

lim Axi yj = Aai bj
(x,y)(a, b)

que es consecuencia a su vez de la misma proposicin 5.

Como aplicacin de la propiedad anterior, tenemos
Ejemplo 4.
lim (4x5 + 2x2y3 4y4 + 2x2y + 7) = 4a5 + 2a2b3 4b4 + 2a2b + 7

(x, y)(a, b)

como consecuencia de las proposiciones 6 y 7 tenemos

Proposicin 8. Si p(x, y) y q(x, y) son dos funciones polinomiales en las
variables en las variables x, y, y q(a, b) 0, entonces
lim p(x, y) /q(x, y) = p(a, b)/q(a, b)
(x, y)(a, b)

Un ejemplo de la proposicin 8 es el siguiente

Ejemplo 5.
lim x2-y2/x4+y4+1 = a2-b2/a4+b4+1

(x, y)(a, b)

Es claro que las proposiciones 7 y 8 se generalizan fcilmente al caso de n

variables, para toda n N.

Ejemplo 6. Sea f: R2R definida como

f (x, y) =

xy/x2+y2 si (x, y) (0, 0)

0
si (x, y) = (0, 0)

Mostraremos que no tiene lmite en el punto (0, 0). Para ello recurriremos a
la proposicin 4 de esta leccin, exhibiremos dos sucesiones (xk)+k=1 y (yk)+k=1
que convergen a (0, 0), pero cuyas sucesiones de imgenes correspondientes
f(xk)+k=1 y f(yk), no convergen a lo mismo (lo cual ir en contradiccin con la
proposicin 4).
Para cada k N, definamos xk = (1/k, 1/k), tenemos entonces para toda k N
f(xk) = 1/k2/2/k2 = ,
as que xk 0 y f(xk) .
Por otra parte, para k N sea ahora (yk) = (1/k, 2/k). Tenemos entonces para toda k
N.
f(yk) = 2/k2/[(1+4)/bk2] = 2/5,
as que tenemos yk 0 y f(yk)2/5 .
La no existencia del lmite en el punto (0, 0) del ejemplo anterior, podramos
atribuirlo al hecho de que la funcin la definimos por piezas, esto no siempre es el
caso, como se muestra a continuacin, adems recordemos que la existencia o no
existencia del lmite en un punto, no depende del valor de la funcin en el punto, en
este caso, (0, 0).
Ejemplo 7. Sea f: R2R definida como
f (x, y) =
xy/x2+y2 si (x, y) (0, 0)
0
si (x, y) = (0, 0)
entonces
lim f(x) = 0
x0

Esto se sigue de la desigualdad

0 |xy| / (x2+y2) (x2+y2) / 2
para todo (x, y) (0, 0), la cual se obtiene a su vez de la desigualdad
elemental
|ab| a2+b2/2,
vlida para cualesquiera reales a y b.
Problemas y ejercicios.

1. Pruebe la proposicin 6.
2. Para las siguientes funciones
i) f (x, y) =
xy/x2+y2 si (x, y) (0, 0)
0
si (x, y) = (0, 0)
ii) f (x, y) =
x2 y2 /x2+y2 si (x, y) (0, 0)
0
si (x, y) = (0, 0)
iii) f (x, y) =
(xy)2 /(xy2)+(x-y)2 si (x, y) (0, 0)
0
si (x, y) = (0, 0)
calcule, si existen, los lmites iterados
lim lim f(x, y) y lim lim f(x, y)
y0 x0

x0y0

3. Para las siguientes funciones, indique si existen los lmites

lim lim f(x, y) lim lim f(x, y) lim f(x, y)
y0 x0

x0y0

(x, y)(0, 0)

y determine su valor cuando as sea.

4. Fncin de Dirichlet. Para todo real en [0, 1], pruebe que
f(x) = lim lim cos2n(m!x) = 0 si x es irracional
1 si x es racional
La funcin f definida de esta manera se le conoce como DUNCIN DE
DIRICHLET o FUNCIN CARACTERSTICA de los racionales en el
intervalo [0, 1]

Leccin 16
Funciones Continuas.
16.1 Definicin y ejemplos. El concepto de continuidad, es de los ms
importantes en la topologa de Rn, puede desarrollarse de manera
independiente a la nocin de lmite, sin embargo, los resultados obtenidos
acerca de este ltimo en la leccin anterior, podemos aprovecharlos para
facilitar nuestro estudio sobre funciones continuas, incluyendo la definicin
misma.
Cuando estudiamos el concepto de lmite de una funcin en un punto,
insistimos en que el punto en cuestin no necesariamente debera ser del
dominio de la funcin. Pero cuando as lo fuese, de todas maneras, el valor de
la funcin es tal punto sera irrelevante. Ahora para la continuidad, este valor
recobra importancia, como se muestra en la siguiente definicin.

Definicin. Sea D un subconjunto abierto de Rn y f una funcin D Rn. Se

dice que f es CONTINUA en un punto x d si
i ) existe lim f(x)
xx

ii) lim f(x) = f(x)

xx

f es DISCONTINUA en x si no es continua en x.
Usando la definicin de lmite, la definicin anterior se traduce directamente
como:
f : D Rn es CONTINUA en x D, si para cada r > 0 existe > 0 tal que
||f(x) f(x)|| < r
siempre que
x D y 0 < || x x|| <
Puesto que D es abierto y x D, existe una bola B(x; 0) contenida en D,
as que en este caso podemos omitir la condicin x d tal que restrinjamos los
valores de a ser menores que 0, lo cual es posible hacerlo en la misma
definicin de lmite, sin cambiar su significado. Observemos por otra parte,
que si en la traduccin que hemos hecho de continuidad, incluimos el punto
x, es decir, si reemplazamos la desigualdad.
0 < ||x x|| <
por una ms fuerte
0 ||x x|| < ,
obtenemos un enunciado equivalente, pues para el punto adicional x = x, la
desigualdad.
||f(x) f(x)|| < r
se cumple trivialmente, ya que el miembro izquierdo es igual a cero. Tenemos
pues, un enunciado equivalente de continuidad:
Definicin Bis. Sea D un subconjunto abierto de Rn y f una funcin D Rn.
Se dice que f es CONTINUA en un punto x D si para cada r > 0 existe >
0 tal que
||f(x) f(x)|| < r
siempre que
||x x|| <
Ambos enunciados aparecen usualmente en los libros de texto, y an cuando
son equivalentes, nosotros preferimos usar directamente el primero de ellos,
pues nos permitir utilizar las propiedades ya demostradas para lmites.
El que D sea un conjunto abierto en Rn, fue lo que nos permiti omitir la
condicin xD en nuestra segunda versin de continuidad. Esta condicin
sobre D pudimos no estipularla (as como lo hicimos en la definicin de
lmite), sin embargo para fines de continuidad, resulta importante que el
acercamiento al punto x mediante puntos x, sa en todas direcciones. Cabe
mencionar, que tambin hay nocin de continuidad relativa a un conjunto,
con ella podemos referirnos a cualquier subconjunto D en Rn, sin que

necesariamente sea abierto. Seguramente el lector se imaginar como se

establece esta definicin.
En lo que sigue, d siempre representar un conjunto abierto en Rn, por lo
que la condicin no ser necesario hacerla explcita, sin embargo,
ocasionalmente lo recordaremos cuando as lo amerite.
De la proposicin 7 de la leccin anterior obtenemos la siguiente
Proposicin 1. Toda funcin polinomial de dos variables p:R2R
r

p(x, y) = aijxiyi,
i=0 j=0

es continua en cada punto (a, b) R2.

La prueba se obtiene inmediatamente de la relacin
r

lim

(x, y)(a, b)

p(x, y) = aijxiyi,
i=0 j=0

Tambin tenemos
Proposicin 2. Toda funcin racional
R(x, y) = p(x, y) / q(x, y)
donde p(x, y) y q(x, y) son funciones polinomiales, es continua en cada punto
(a, b) de R2 tal que q(a, b) 0.
El resultado se obtiene de la relacin
lim

(x, y)(a, b)

p(x, y) / q(x, y) = p(a, b) / q(a, b)

ejemplo 1. La funcin f: R2R definida como

f (x, y) =
xy/x2+y2 si (x, y) (0, 0)
0
si (x, y) = (0, 0)
es continua en cada punto (x, y) (0, 0 ), y discontinua en (0,0).
La primera afirmacin se deduce de la proposicin 2 anterior. La segunda
afirmacin se obtiene del hecho de que no existe el lmite de la funcin en el punto
(0, 0).
Ejemplo 2. La funcin f: R2R definida como
f (x, y) =
xy/ x2+y2 si (x, y) (0, 0)
0
si (x, y) = (0, 0)
es continua en cada punto (x, y) R2, incluyedo el punto (0,0).

16.2 Algunas propiedades bsicas. Como consecuencia de las propiedades sobre

lmites, obtenemos las correspondientes para funciones continuas.
Proposicin 3. Una funcin f: DRm es continua en un punto x D, si y
solamente si
||f(x)-l||0
Proposicin 4. Una funcin f: DRm es continua en un punto x D, si y
solamente si cada funcin componente fi: DR es continua en x.
Proposicin 5. Una funcin f:DRm es continua en un punto x D, si y solamente
si para cada sucesin (xk)+k=1 de elementos de D tienda a x,
f(xk) f(x).
Proposicin 6. Sean f y g funciones DRm continuas en un punto x D y un
escalar. Entonces
i ) f + g: D Rm es continua en x
ii) f g : D Rm es continua e x
iii) f : D Rm es continua en x
Proposicin 7. Sean f: D Rm y : D R funciones continuas en un punto x D.
Entonces
i ) f : D Rm es continua en x
ii ) si (x) 0, la funcin f / : D Rm est definida a lo menos en una bola abierta
B(x; r) y es continua en x.
Proposicin 8. Sea f: U Rm y g: V Rp, donde U es una abierto en Rny V es un
abierto en Rm. Se supone que f(U) V. Si f es continua en U y g es continua en
f(), entonces la funcin compuesta g f: U Rp es continua en .
La demostracin es muy fcil y se deja como ejercicio para el lector.
16.3 Ms propiedades. La continuidad de una funcin es un concepto puntual, en el
sentido de que se establece para puntos individuales. An cuando una funcin pueda
tener la propiedad para cada punto de su dominio, el concepto mantiene su carcter
puntual, es interesante, sin embargo, el estudio de las funciones que son continuas en
cada punto de su dominio o en cada punto de un abierto, pues implica ciertas
propiedades globales. En esta seccin presentaremos dos resultado, uno de tipo global y
otro local.
Definicin. Una funcin f: D Rm continua en cada punto x de su dominio, se llama
CONTINUA EN D o simplemente CONTINUA. En general, si f es continua en cada
punto de un subconjunto A D, digamos que es CONTINUA EN A.

Proposicin 9. Sea f: D Rm una funcin continua. Entonces

i)
f-1(V) = {x D | f(x) V}
es un abierto (contenido en D), para cada abierto V Rm,
ii)
f-1(Y) = {xD | f(x) Y}
es un cerrado, para cada cerrado Y Rm.
Demostracin
Prueba de (i):
Sea V un abierto en Rm y sea x f-1(V); tenemos por definicin f(x) V. Como V es
un conjunto abierto, existe r > 0 tal que B(x; r) V; como f es continua en x, existe
>0, tal que
f(B(x, )) B(x; r),
esto significa que
B(x; ) f-1 (B(x; r)) V.
Esto prueba que V es abierto.
Prueba de ii)
La prueba se deja como ejercicio para el lector (problema 2 de la lista final de la
leccin).
Una importante propiedad de las funciones continuas que se deduce inmediatamente de
la segunda parte de la proposicin anterior es la siguiente
Proposicin 10. Si f: DRm es una funcin continua, entonces
{x D | f(x) = 0}
es un conjunto cerrado.
La proposicin anterior la podemos parafrasear diciendo que
las races o ceros de una funcin continua en un conjunto cerrado
Finalizaremos esta leccin con una propiedad local de las funciones continuas con
valores en R.
Proposicin 11. Sea f:DR una funcin continua en x . Si f(x) > 0, existe una bola
abierta B(x; ) donde f es positiva.
Un resultado anlogo se obtiene para f(x) < 0.
Demostracin. Como f(x) > 0 y f es continua en x, para r = f(x)/2 > 0, existe >0, tal
que
|f(x) f(x)| < f(x)/2
para cada x que cumpla ||x x|| < . As que

f(x) f(x) < f(x) / 2

o sea
f(x) / 2 < f(x)
para toda x que cumpla ||x x|| < . Haciendo = se obtiene el resultado.
Problemas y ejercicios.
1. Pruebe la proposicin 8.
2. Pruebe la parte (ii) de la proposicin 9.
Sugerencia: Use las propiedades de las imgenes inversas de la leccin 1.
3. Si