0.

PRERREQUISITOS

El único prerrequisito para leer y comprender los primeros siete capítulos de es-
te libro es un conocimiento del álgebra y el análisis elementales. Específicamente, se
supone que el lector está familiarizado con los siguientes siete conceptos y resultados.
(1) Inducción matemática, conmutatividad y asociatividad de las operaciones al-
gebraicas, combinaciones lineales, relaciones de equivalencia y descomposiciones en
clases de equivalencia.
(2) Conjuntos contables; la unión de conjuntos numerables es un conjunto numera-
ble.
(3) Números reales, métrica elemental y propiedades topológicas de la recta real (p.
ej. los números racionales son densos, todo conjunto abierto es una unión numerable
de intervalos abiertos disjuntos), el teorema de Heine-Borel.
(4) El concepto general de función y, en particular, de sucesión (es decir, una función
cuyo dominio de definición es el conjunto de enteros positivos); sumas, productos,
múltiplos constantes y valores absolutos de funciones.
(5) Mínima cota superior y máxima cota inferior (supremo e ínfimo) de conjuntos
de números reales y funciones de valores reales; límites, límites superiores y límites
inferiores de sucesiones de números reales y funciones de valores reales.
(6) Los símbolos + y − y las siguientes relaciones algebraicas entre ellos y los
8

números reales x:

(± ) + (± ) = x + (± ) = (± ) + x = ± ;
8


± si x > 0,
8


x(± ) = (± )x = 0 si x = 0,
8


∓ si x < 0;

8

(± )(± ) = + ,
8 8

8 8 8

8 8

(± )(∓ ) = − ;
x/(± ) = 0;
− <x<+ .
8

La expresión números reales ampliados se refiere a un número real o a uno de los

símbolos ± .
8

(7) Si x e y son números reales,

1
x ∪ y = máx {x, y} = (x + y + |x − y|) ,
2
1
x ∩ y = mı́n {x, y} = (x + y − |x − y|) .
2
Igualmente, si f y g son funciones con valores reales, entonces f ∪ g y f ∩ g son las
funciones definidas por

( f ∪ g) = f (x) ∪ g(x) y ( f ∩ g) = f (x) ∩ g(x),

respectivamente. El supremo y el ínfimo de una sucesión {xn } de números reales se

denotan mediante

8
[ \
xn y xn ,
n=1 n=1
respectivamente. En esta notación

8
8
\ [
lı́m sup xn = xm
n n=1 m=n
y
8
8
[ \
lı́m inf xn = xm .
n
n=1 m=n