Sección 1.

Bases y límites

Oleg Okunev

Benemérita Universidad Autónoma de Puebla

Otoño 2021
La integración de las funciones de varias variables, naturalmente,
es una generalización de la integración de funciones de una
variable. Parece que la mayoria de los cursos en esta facultad usa
la definición de la integral de una variable basada en los
conceptos de las integrales superior e inferior. Este acercamiento
(sin duda, válido) causa unas ciertas dificultades en las
demostraciones para unas propiedades básicas de las integrales,
pues el manejo de las expresiones de tipo ı́nf sup y supı́nf , aunque
no es realmente “rocket science", requiere un análisis verboso
para producir demostraciones completas. Además, este
acercamiento, aunque funciona para la integración de unas
funciones reales, ya no es aplicable a funciones con rangos no
linelamente ordenados (como funciones vectoriales o, bién,
complejas). Este causa la necesidad de ejecutar más
verificaciones rutinarias, tales como, por ejemplo, la invariancia de
las integrales respecto a cambios de variables. Este es un motivo
para introducir y usar un concepto más general de límite, el cual
permitiría, de un lado, dar una definición de la integral como un
límite, y de otro lado, compartiría unas buenas propiedades con
los varios límites que ustedes ya han visto en varios otros cursos.
Un otro motivo para introducir un concepto general de límite es
unificar los varios tipos de límites que se encuentran en varias
áreas de Matemáticas. El autor una vez ha contado los tipos de
límites que se encuentran en varios cursos básicos de
Matemáticas, y encontro 26 (su experiencia personal puede ser
diferente, lo más probable es que han visto, o van a ver entre 20 y
30). Para cada uno de estos límites erá necesario demostrar sus
propiedades básicas, tales que la unicidad, los teoremas de
límites de sumas, productos etc. El concepto de lḿite en una base
permite uniformizar la teoría de limites, y demostrar las
propiedades de límites una vez (y para siémpre). Así, desde este
momento ya no habrá necesidad de repetir las demostraciones
para cada nuevo tipo de límite, bastará notar que este nuevo tipo
es un caso paticular de límite en una base.
Bases

Sea X un conjunto. Decimos que una familia B de subconjuntos

de X es una base (de filtro) en X si se cumplen tres condiciones:
(B0) B , ∅,
(B1) ∅ < B,
(B2) Para todo B1 , B2 ∈ B existe B3 ∈ B tal que B3 ⊂ B1 ∩ B2 .
El concepto de un filtro se discute en los cursos de Teoría de
Conjuntos o de Topología General.
Sean X un conjunto, B una base en X , Y un conjunto, y0 ∈ Y , y
f : X → Y una función, Decimos que y0 es un límite de f en B,
y0 = lı́m f , si para toda vecindad V de y0 en Y existe un elemento
B
B de B tal que f (B ) ⊂ V .
Esta definición de límite tiene un defecto: se usan vecindades en
el conjunto Y , entonces es necesaria una estructura adicional en
Y que permite decir, que es y que no es una vecindad de y0 . Una
estructura más general que da un concepto de vecindad es una
topología en Y . Una topología puede ser determinada por una
métrica. En los casos cuando Y es R, o Rn , o C, ya tenemos
definida una métrica (suponemos que Rn tiene la estructura usual
euclidiana), y entonces una vecindad de y0 es por definición un
conjunto que contiene una bola de radio positivo con el centro en
y0 .
Para escribir unas formulas, es conviniente denotar
Vec(y , Y ) = {V : V es una vecindad de y en Y }.
Ahora podemos escribir la definición de límite en B como una
formula:

y0 = lı́m f ⇐⇒ ∀V ∈Vec(y0 ) ∃B ∈B (f (B ) ⊂ V ),
B

o, equivalentemente,

y0 = lı́m f ⇐⇒ ∀V ∈Vec(y0 ) ∃B ∈B ∀x ∈B (f (x ) ∈ V ).
B
Ejemplo 1. Límites de sucesiones. Una sucesión en un conjunto
Y es una función f : N → Y ; usualmente se denota yn = f (n).
La definición de un límite de una sucesion {yn : n ∈ N} usualmente
se ve así: a = lı́m yn si para toda vecindad V de a existe n ∈ N tal
n→∞
que ym ∈ V para todo m ≥ n.
Podemos denotar Bn = {m ∈ N : m ≥ n}. Entonces se puede decir
que a = lı́m yn si y sólo si para toda vecindad V de a existe n ∈ N
n→∞
tal que {ym : m ≥ n} = f (Bn ) ⊂ V .
Ahora denotemos B = {Bn : n ∈ N}. Entonces a = lı́m yn si y sólo
n→∞
si para toda vecindad V de a existe B ∈ B tal que f (B ) ⊂ V .
O bién, segun la definición de límite en una base, a = lı́m yn si y
n→∞
sólo si a = lı́m yn .
B
Sólo falta verificar que nuestra familia B es una base en N. La
condición (B0) se cumple, pues N = B0 está en B. También todo
Bn no es vacío, entonces se cumple (B2). Por fin,
Bn ∩ Bm = Bmáx(m,n) , entonces se puede tomar B = Bmáx(m,n) para
verificar (B3).
Así, nuestra familia B es una base en el conjunto N, tal que los
límites de sucesiones en esta base son exactamente los límites
usuales. Esta base usualmente se denota (¡sorpresa!) n → ∞.
Ejemplo 2. Límites de funciones en un punto.
Sean A un subconjunto de R, a ∈ R, y f : A → Y . Entonces
y0 = lı́m f si para toda vecindad V de y0 existe una vecindad
x →a
agujerada U de a tal que f (U ∩ A ) ⊂ V .
¿ Es este límite el límite en algúna base? La obvia candidatura
para una tal base seria la familia Veco (a , A ) de todas las
intersecciones de las vecindades agujeradas del punto a con el
dominio A de la función. Pero ¿es esta familia una base?
Es trivial que las condiciones (B0) u (B2) de la definición de una
base se cumplen. Para que se cumpla la condición (B1) es
necesario que toda vecindad de a tenga una intersección con el
conjunto A con unos puntos distintos de a. En este caso el punto
a es un punto límite de A . De otro lado, si a no es un punto límite
de A , entonces existe una vecindad U de a tal que U ∩ A ⊂ {a }, y
entonces (U ∩ A ) \ {a } = ∅ es una vecindad agujerada de a,
∅ ∈ Vec0 (a , A ), y Vec0 (a , A ) no es una base.
Resulta que x → a debe ser igual a Veco (a , A ); los límites
clásicos de una función en un punto no están definidos cuando a
no es un punto límite de A , es decir, precisamente cuando
Veco (a , A ) no es una base.

Todo dicho en este ejemplo se aplica sin cambios al caso de los

límites de funciones definidas en unos subconjuntos de Rn .
Unos teoremas básicos de los límites

Un espacio topológico Y es de Hausdorff si cualquier dos puntos

distintos en Y tienen vecindades ajenas. Todos los espacios
métricos son de Hausdorff (para ver eso, sean x y y dos puntos
distintos en un espacio métrico Y con la distancia d. Entonces
r = d (x , y ) > 0, y las bolas abiertas de radio r /2 con los centros x
y y son unas vecindades ajenas de x y y).

Teorema (La unicidad de límites)

Sean X un conjunto, B una base en X , Y un espacio de Hausdorff,
y f : X → Y una función. Si y1 , y2 ∈ Y son tales que y1 = lı́m f y
B
y2 = lı́m f , entonces y1 = y2 .
B
En otras palabras, si una función f a un espacio de Hausdorff tiene
un límite en una base, entonces el límite es único. Este justifica el
uso del símbolo “=” en “y = lı́m f ”.
B

Demostración.
Supongamos para contradicción que y1 , y2 . Entonces existen
unas vecindades ajenas V1 y V2 de y1 y y2 . Por la definición de
límite en B, existen B1 , B2 ∈ B tales que f (B1 ) ⊂ V1 y f (B2 ) ⊂ V2 .
Por (B2), debe existir B ∈ B tal que B ⊂ B1 ∩ B2 . Pero
B1 ∩ B2 ⊂ f −1 (V1 ) ∩ f −1 (V2 ) = f −1 (V1 ∩ V2 ) = f −1 (∅) = ∅. Se sigue
que B = ∅, y ∅ ∈ B, en contradicción con (B1). 
Definición
Sean X , Y1 ,. . . , Yn unos conjuntos, y f1 : X → Y1 ,. . . , fn : X → Yn
unas funciones. El producto diagonal de las funciones f1 , . . . , fn es la
función F = f1 M . . . M fn : X → Y1 × · · · × Yn tal que
F (x ) = (f1 (x ), . . . , fn (x )) para todo x ∈ X .

Ejemplo
Sean f , g , h : R → R, f (x ) = x 2 , g (x ) = cos x y h (x ) = 4. Entonces
h M f M g es una función de R a R3 , (h M f M g )(x ) = (4, x 2 , cos x ),
h M h es una función de R a R2 , (h M h )(x ) = (4, 4), y g M f M g M g
es una función de R a R4 ,
(g M f M g M g )(x ) = (cos x , x 2 , cos x , cos x ).
Es fácil ver que la operación de producto diagonal no es
conmutativa, y es asociativa suponiendo las identificaciones
canónicas entre X × (Y × Z ), (X × Y ) × Z y X × Y × Z (las que
hacen la operación del producto cartesiano asociativa).
Teorema
Sean X un conjunto, Y1 ,. . . , Yn unos espacios, y f1 : X → Y1 ,. . . ,
fn : X → Yn unas funciones. Si b1 = lı́m f1 , . . . , bn = lı́m fn ,
B B
entonces (b1 , . . . , bn ) = lı́m(f1 M . . . M fn ).
B

Demostración.
Sea U una vecindad del punto (b1 , . . . , bn ) en Y1 × · · · × Yn .
Existen unas vecindades U1 de b1 en Y1 ,. . . , Un de bn en Yn tales
que U1 × · · · × Un ⊂ U. Por b1 = lı́m f1 , existe B1 ∈ B tal que
B
f1 (B1 ) ⊂ U1 . De manera semejante, existen B2 ∈ B tal que
f2 (B2 ) ⊂ U2 , . . . , Bn ∈ B tal que fn (Bn ) ⊂ Un . Por (B2), existe B ∈ B
tal que B ⊂ B1 ∩ · · · ∩ Bn . Entonces, (f1 M . . . M fn )(B ) =
f1 (B ) × · · · × fn (B ) ⊂ f1 (B1 ) × · · · × fn (Bn ) ⊂ U1 × · · · × Un ⊂ U. 
Teorema
Sean B una base en un conjunto X , Y y Z unos espacios,
f : X → Y y g : Y → Z unas funciones. Si b = lı́m f , y g es
B
continua en el punto b, entonces lı́m(g ◦ f ) = g (b ).
B

Demostración.
Sea W una vecindad del punto g (b ) en Z. Por la continuidad de g
en el punto b, el conjunto V = g −1 (W ) es una vecindad de b en Y .
De b = lı́m f se sigue que existe un elemento B de B tal que
B
f (B ) ⊂ V . Entonces,
(g ◦ f )(B ) = g (f (B )) ⊂ g (V ) = g (g −1 (W )) ⊂ W . 
Teorema
Sean X un conjunto, B una base en X , Y , Y1 ,. . . , Yn unos
espacios, f1 : X → Y1 ,. . . , fn : X → Yn unas funciones, b1 = lı́m f1 ,
B
. . . , bn = lı́m fn , y G : Y1 × · · · × Yn → Y una función continua en el
B
punto (b1 , . . . , bn ) de Y1 × · · · × Yn . Sea F : X → Y tal que
F (x ) = G (f1 (x ), . . . , fn (x )). Entonces lı́m F = G (b1 , . . . , bn ).
B

Esta afirmación se sigue de los dos teoremas anteriores y de la

identidad F = G ◦ (f1 M . . . M fn ).
Corolario
Sean f , g : X → R unas funciones. Si existen los límites lı́m f y
B
lı́m g, entonces el límite lı́m(f + g ) existe y es igual a
B B
(lı́m f ) + (lı́m g ).
B B

Este se sigue del teorema anterior y de lo que la función

+ : R2 → R definida por +(x , y ) = x + y es continua.
Unos argumentos semejantes prueban unos otros corolarios:
Corolario
Sean f , g : X → R unas funciones. Si existen los límites lı́m f y
B
lı́m g, entonces el límite lı́m(f − g ) existe y es igual a lı́m f − lı́m g.
B B B B

Corolario
Sean f , g : X → R unas funciones. Si existen los límites lı́m f y
B
lı́m g, entonces el límite lı́m(f · g ) existe y es igual a (lı́m f ) · (lı́m g ).
B B B B

Corolario
Sean f : X → R, g : X → R \ {0} unas funciones. Si existen los
límites lı́m f y lı́m g, y lı́m g , 0, entonces el límite lı́m(f /g ) existe y
B B B B
es igual a (lı́m f )/(lı́m g ).
B B
Relaciones entre bases

Definición
Sean B1 y B2 unas bases en un conjunto X . Se dice que B1 es más
fina que B2 , B1 ≺ B2 , si todo elemento de B2 contiene (como un
subconjunto) a un elemento de B1 .

Es muy fácil verificar que “≺” es un casi orden no estricto (es decir,
es una relación reflexiva y transitiva).
Es obvio que B1 ≺ B2 si B2 ⊂ B1 .
Teorema
Sean B1 y B2 unas bases en X tales que B1 ≺ B2 , y f : X → Y
una función. Si b = lı́m f , entonces b = lı́m f ,
B2 B1

Demostración.
Sea V una vecindad de b en Y . Entonces existe un elemento B de
B2 tal que f (B ) ⊂ V . Por la condición B1 ≺ B2 , existe B1 ∈ B1 tal
que B1 ⊂ B. Tenemos que f (B1 ) ⊂ f (B ) ⊂ V . 
Definición
Dos bases en un conjunto X son equivalentes, B1 ≈ B2 , si B1 ≺ B2 y
B2 ≺ B1 .

Corolario
Sean B1 y B2 dos bases equivalentes en un conjunto X ,
f : X → Y , y b ∈ Y . Entonces b = lı́m f si y sólo si b = lı́m f .
B1 B2

Este es inmediato del teorema anterior.

Ejemplo
Las bases {{m : m > 2n} : n ∈ N} y {{m : m > n3 } : n ∈ N} en N son
ambas equivalentes a n → ∞.
Límites y desigualdades

Proposición
Sean B una base en un conjunto X , F un conjunto cerrado en Y , y
f : X → Y una función. Si existe un elemento B de B tal que
f (x ) ∈ F para todo x ∈ B, y b = lı́m f , entonces b ∈ F.
B

Demostración.
Supongamos para contradicción que b < F. Entonces V = Y \ F
es un conjunto abierto tal que b ∈ U, y U es una vecindad de b.
Por la definición de límite, existe un B0 ∈ B tal que f (B0 ) ⊂ V . Se
sigue que f (B ∩ B0 ) ⊂ f (B0 ) ∩ f (B ) ⊂ V ∩ F = ∅, entonces
f (B ∩ B0 ) = ∅, y B ∩ B0 = ∅. Este contradice a las condicines (B2)
y (B3) en la definición de una base. 
Corolario
Sean B una base en un conjunto X , F un conjunto cerrado en Y , y
f : X → R una función. Si existe un elemento B de B tal que
f (x ) ≥ 0 para todo x ∈ B, y b = lı́m f , entonces b ≥ 0.
B

Demostración.
La condición f (x ) ≥ 0 es equivalente a f (x ) ∈ [0, +∞), y el
conjunto F = [0, +∞) es cerrado en R. 
Corolario
Sean B una base en un conjunto X , y f , g : X → R unas funciones.
Si existe un elemento B de B tal que f (x ) ≥ g (x ) para todo x ∈ B,
b = lı́m f , y c = lı́m g, entonces b ≥ c.
B B

Demostración.
Tenemos que (f − g )(x ) ≥ 0 para todo x ∈ B, entonces
b − c = lı́m f − lı́m g = lı́m(f − g ) ≥ 0. 
B B B
Teorema (de dos policias)
Sean B una base en un conjunto X , y f , g , h : X → R unas
funciones. Supongamos que existe B ∈ B tal que
f (x ) ≤ g (x ) ≤ h (x ) para todo x ∈ B, y que b = lı́m f = lı́m h.
B B
Entonces b = lı́m g.
B

Demostración.
Sea V una vecindad de b. Entonces existe ε > 0 tal que
(b − ε, b + ε) ⊂ V . Sean B1 un elemento de B tal que
f (x ) ≤ g (x ) ≤ h (x ) para todo x ∈ B1 , B2 ∈ B tal que
f (B2 ) ⊂ (b − ε, b + ε), y B3 ∈ B tal que g (B3 ) ⊂ (b − ε, b + ε). Por
(B2), existe B ∈ B tal que B ⊂ B1 ∩ B2 ∩ B3 . Para todo x ∈ B,
tenemos b − ε < f (x ) < b + ε, b − ε < h (x ) < b + ε, y
f (x ) ≤ g (x ) ≤ h (x ). Se sigue que para todo x ∈ B,
b − ε < g (x ) < b + ε, es decir, g (B ) ⊂ (b − ε, b + ε) ⊂ V . 
Bases producto

Sean B1 una base en un conjunto X1 y B2 una base en un

conjunto X2 . La familia B = {B1 × B2 : B1 ∈ B1 , B2 ∈ B2 } es la base
producto en el conjunto X = X1 × X2 .
Notese que la base producto de Vec(x1 , X1 ) y Vec(x2 , X2 ) es una
base en X equivalente a Vec((x1 , x2 ), X ).
Teorema (de límite en producto)
Sea B la base producto de una base B1 en X1 y una base B2 en X2 ,
f : X1 → Y una función, y f̃ : X1 × X2 → Y una función tal que
f̃ (x1 , x2 ) = f (x1 ) para todo x1 ∈ X1 y x2 ∈ X2 . Entonces b = lı́m f̃ si y
B
sólo si b = lı́m f .
B1
Demostración.
Notese que para todo B1 ∈ B1 y B2 ∈ B2 , f̃ (B1 × B2 ) = f (B1 ).
Supongamos que b = lı́m f , y sea V una vecindad de b en Y .
B1
Entonces exuste B1 ∈ B1 tal que f (B1 ) ⊂ V . Sea B2 algún
elemento de B2 . Entonces B1 × B2 ∈ B, y f̃ (B1 × B2 ) = f (B1 ) ⊂ V .
Para la parte "sólo si”, supongamos que b = lı́m f̃ . Sea V una
B
vecindad de b en Y . Entonces existe B ∈ B tal que f̃ (B ) ⊂ V . Sea
B = B1 × B2 , B1 ∈ B1 , B2 ∈ B2 . Entonces f (B1 ) = f̃ (B ) ⊂ V , y
hemos verificado que b = lı́m f .
B1

El Criterio de Cauchy

Definition
Sea A un conjunto en Rn . El diametro de A es
diam(A ) = sup{d (x , y ) : x , y ∈ A }, donde d (x , y ) es la distancia
entre x y y.
Las siguientes afirmaciones son obvias.
Teorema
Sean A , B unos conjunto en Rn .
a) Si B ⊂ A , entonces diam(B ) ≤ diam(A ).
b) diam(Ā ) = diam A .
c) diam(A ) = 0 si y sólo si A tiene a lo más un punto.
d) Un conjunto A en Rn es acotado si y sólo si diam(A ) < ∞.
Sea F una familia de conjuntos en Rn . La familia F es de Cauchy
si para todo ε > 0 existe F ∈ F tal que diam(F ) ≤ ε.
Decimos que la familia F es centrada si toda subfamilia finita de F
tiene intersección no vacía.
Así, una familia de conjuntos es centrada si y sólo tiene la
propiedad de intersecciones finitas.
El termino “centrada” es mas cómodo y se usa más en textos
matemáticos modernos.
Proposición
Sea F una familia centrada de Cauchy de conjuntos cerrados en
Rn . Entonces la intersección de F tiene exactamente un punto.

Demostración.
Como F es de Cauchy, existe un conjunto F1 ∈ F tal que
diam F1 < 1. Se sigue que F1 es acotado, y como es cerrado, por
el Teorema de Heine-Borel-Lebesgue, es compacto.
T T T
Tenemos F = F1 ∩ F = {F1 ∩ F : F ∈ F }, la familia
F1 = {F1 ∩ F : F ∈ F } es centrada, y los elementos de F 0 son
unos subconjuntos cerrados del conjunto compacto F1 . Se sigue
que la intersección de F 0 no es vacía, y F = F 0 no es vacía.
T T
T
De otro lado, para todo F ∈ F , F ⊂ F, y entonces
diam( F ) ≤ diam(F ). Se sigue que para todo ε > 0,
T
diam( F ) ≤ ε, es decir, diam( F ) = 0. De F , ∅ y
T T T
T T
diam( F ) = 0 sigue que F tiene exactamente un punto. 
Teorema (El Criterio de Cauchy)
Sean X un conjunto, B una base en X y f : X → Rn una función.
La función f tiene un límite en la base B si y sólo si la familia de
conjuntos f [B] = {f (B ) : B ∈ B} es de Cauchy.
Demostración.
Supongamos que existe el límite b = lı́m f . Sea ε > 0. La bola
B
B (b , ε/2) es una vecindad de b en Rn , entonces existe B ∈ B tal
que f (B ) ⊂ B (b , ε/2). Para este elemento de B,
diam(f (B )) ≤ diam B (b , ε/2) = ε. Así, la familia f [B] es de Cauchy.
Ahora supongamos que f [B] es una familia de Cauchy. Sea
F = {f (B ) : B ∈ B}. Entonces F es una familia de Cauchy de
conjuntos cerrados, por que diam(f (B )) = diam(f (B )) para todo
B ∈ B. Si B1 , . . . , Bn son unos elementos de B, entonces existe un
elemento B de B tal que B ⊂ B1 ∩ · · · ∩ Bn , tenemos
f (B ) ⊂ f (B1 ∩ · · · ∩ Bn ) ⊂ f (B1 ) ∩ · · · ∩ f (Bn ), de donde
f (B1 ) ∩ · · · ∩ f (Bn ) , ∅. Así, la familia F es centrada.
Por la proposición anterior, la intersección de F tiene exactamente
un punto, sea b. Verifiquemos que b es el límite de f en la base B.
Sea V una vecindad de b en Rn . Entonces existe ε > 0 tal que la
bola B (b , ε) está contenida en V . Existe un elemento B de B tal
que diam(f (B )) < ε. Como b ∈ f (B ), tenemos que f (B ) ⊂ B (b , ε),
y f (B ) ⊂ B ((b , ε) ⊂ V .