Treball final de grau

GRAU DE MATEMTIQUES
Facultat de Matemtiques
Universitat de Barcelona

Anlisis real no estndar

Autor: Marcos Salgado Corbilln

Director:
Dr. Josep Maria Font Llovet
Realitzat a: Departament de Probabilitat, Lgica i Estadstica
Barcelona,

27 de junio de 2015

Mathematics Subject Classification (2010): 26E35, 03H05, 28E05

Key words and phrases: non-standard analysis, non-archimedean field, hyperreal, infinitesimal,
infinitely close, transfer principle, ultrafilter

We know that mathematicians care no more for logic than logicians for mathematics.
The two eyes of exact science are mathematics and logic, the mathematical sect puts
out the logical eye, the logical sect puts out the mathematical eye; each believing that
it sees better with one eye than with two. (A. De Morgan, Review of T. M. Wilson,
Elementary Geometry. The Athenaeum, Vol. 2, No. 2125 (1868), pp. 71-73).

Abstract
The aim of this Final Degree Project is to develop a presentation of the so-called nonstandard real analysis, a 20th-century logical theory that builds real analysis on a non-archimedean
ordered field extension R of the real numbers R, that contains in particular infinitely small and
infinitely large numbers. In Introduction, we contextualize its origin, justify our approach, comment the bibliography, detail some applications and fix some notation. In Chapter 1, we show
how ultrafilters are a natural tool for the construction of R. In Chapter 2, we set up all the needed facts about them. In Chapter 3, we explain the construction of R and its basics. In Part II,
we deal with some topics on real analysis using our new tools, remarkably the useful characterizations of the completeness of R and the compactness of subsets of R, as well as the algebraic
account of limits and the possibilities of hyperfinite methods.

Resumen
El objetivo de este Trabajo Final de Grado es elaborar una presentacin del llamado anlisis real no estndar, una teora erigida en el siglo XX con herramientas lgicas que desarrolla
el anlisis real en una extensin de cuerpos ordenada y no arquimediana R del cuerpo real
R, conteniendo en particular elementos infinitamente pequeos (infinitesimales) e infinitamente
grandes. En la Introduccin contextualizamos su origen, justificamos el enfoque tomado, comentamos la bibliografa, destacamos algunas de sus aplicaciones y fijamos algunas notaciones. En
el primer captulo, mostramos heursticamente como la nocin de ultrafiltro puede proveer un
marco de trabajo natural para la construccin de R. En el segundo, establecemos todos los resultados necesarios sobre dicha nocin. En el tercero, exponemos la construccin de R y sus
propiedades elementales. En la segunda parte, cubrimos varios de los tpicos propios de un curso clsico de anlisis real, pero mediante nuestras nuevas herramientas. Entre stos, destacamos
la caracterizacin de la completitud de R mediante sombras, el criterio de compacidad de Robinson, la algebraizacin de la nocin de lmite y las posibilidades de los mtodos hiperfinitos.

Agradecimientos. A mi tutor, por aguantar mis parrafadas, y a mis padres, por aguantarme todo
entero y, pese a ello, no echarme de casa (an).

Sumario
Introduccin
Contexto histrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Sobre este TFG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Convenios de notacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Fundamentos

I
III
VI

1. El problema de los hiperreales

1.1. Infinitesimal e ilimitado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Ideas para su construccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3. Propuesta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Filtros
2.1. Rudimentos . . . . . .
2.2. Filtro generado . . . .
2.3. Interseccin y unin .
2.4. Extensiones maximales

3
3
5
6

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

9
9
10
11
13

3. El cuerpo de los hiperreales

3.1. Construccin . . . . . . . . . .
3.2. Extensin de relaciones . . . .
3.2.1. Subconjuntos . . . . .
3.2.2. Aplicaciones parciales
3.3. Principio de Transferencia . .
3.4. Aritmtica y lgebra . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

15
15
18
18
21
22
25

II

.
.
.
.

.
.
.
.

.
.
.
.

Anlisis

4. Sucesiones
4.1. Extendiendo definiciones . . . . . . . . .
4.1.1. Convergencia . . . . . . . . . . . .
4.1.2. Divergencia a infinito . . . . . . .
4.1.3. Principio de desbordamiento . . .
4.1.4. Acotacin . . . . . . . . . . . . . .
4.2. Completitud . . . . . . . . . . . . . . . . .
4.2.1. Cauchy . . . . . . . . . . . . . . . .
4.2.2. Dedekind . . . . . . . . . . . . . .
4.3. Propiedades lmites . . . . . . . . . . . . .
4.4. Puntos lmites . . . . . . . . . . . . . . . .
4.4.1. Rudimentos . . . . . . . . . . . . .
4.4.2. Principio de subdesbordamiento .
4.4.3. Bolzano-Weierstrass y monotona
4.4.4. Lmite superior e inferior . . . . .

29
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

31
31
31
32
32
33
34
34
35
36
38
38
38
39
41

4.5. Series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

42

5. Topologa
5.1. Puntos de un conjunto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2. Abiertos y cerrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.3. Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

45
45
46
48

6. Lmites de aplicaciones
6.1. Rudimentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.3. Derivabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

51
51
53
55

7. Particiones hiperfinitas
7.1. Teorema del Valor Intermedio .
7.2. Integral de Riemann . . . . . .
7.2.1. Construccin y ejemplos
7.2.2. Propiedades . . . . . . .

57
57
58
58
60

A. Lgica matemtica

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

63

Introduccin
El objetivo de este Trabajo Final de Grado, en adelante TFG, es elaborar una presentacin del
llamado anlisis real no estndar, una teora erigida en el siglo XX con herramientas lgicas
que desarrolla el anlisis real en una extensin de cuerpos ordenada y no arquimediana R del
cuerpo real R, conteniendo en particular elementos infinitamente pequeos (infinitesimales) e
infinitamente grandes. En la primera parte de esta Introduccin, exponemos someramente el
contexto histrico que ha llevado al surgimiento de esta teora desde la Antigua Grecia. En la
segunda parte, justificamos la aproximacin elegida a partir de las fuentes consultadas y otras
referencias, y exponemos la labor realizada y el contenido de los distintos captulos y secciones.
Finalmente, resumimos varios convenios de notacin.

Contexto histrico
Nota. Esta seccin bebe principalmente de [Ed79] (especialmente de los captulos 2, 4, 5 y de 8 a
10) as como [Ro66, Chapter 10] y la introduccin de [BeNe07], donde pueden encontrarse todos
los detalles y referencias aqu omitidos. En cuanto a los artculos de Robinson citados, todos ellos
estn disponibles en [LuK79].
Los orgenes del anlisis son eminentemente geomtricos y aplicados. As, e.g., en los trabajos
de Arqumedes podemos encontrar la cuadratura y cubatura de diferentes objetos geomtricos
calculada mediante el mtodo de exhauscin,1 aprovechando en cada caso sus particularidades
geomtricas y concluyendo por arquimedianidad va una doble reduccin al absurdo.2 Procedimiento, este ltimo, sustituto primitivo de nuestra actual nocin de lmite, concebido precisamente para evitar cualquier mencin al mismo.3
De hecho, fue la superacin explcita de dicho rechazo al infinito lo que permiti a los matemticos del siglo XVII progresar en sus investigaciones, llevando hasta sus ltimas consecuencias
el mtodo de exhauscin. As, e.g., Kepler (Nova stereometria doliorum vinariorum, 1615) descompone una figura dada en otras de ms simples e infinitesimales, como resultado de un proceso
de subdivisin sucesiva, para entonces reagruparlas convenientemente, facilitando as su suma.4
Por otra parte, Cavalieri (Geometria indivisibilibus, 1635) descompone dos figuras dadas en figuras
de una dimensin menor (e.g., el cono en crculos), que denomina indivisibles, y establece entonces una relacin entre stos, que extrapola a las figuras iniciales. Ms an, Cavalieri conjetura el
valor del rea bajo la curva x n en un intervalo [0, a] (con n N, a R) considerando la figura en
cuestin como suma formal de sus indivisibles, lo que fue pronto probado por Fermat, Pascal y
Roberval mediante razonamientos ms aritmticos, haciendo uso de un cierto lmite calculado a
la Arqumedes. Por ltimo, John Wallis (Arithmetica Infinitorum, 1656), que tendra una influencia
decisiva en Newton, aborda sistemticamente dicha clase de problemas, reducindolos a sumas
de sucesiones cuyo lmite calcula de manera emprico-numrica.
1 I.e., grosso modo, el clculo de reas y volmenes mediante su aproximacin sucesiva por polgonos y pirmides
respectivamente. E.g., aproximando la esfera por pirmides con vrtice su centro, formando as sus bases un poliedro
inscrito en la esfera, haciendo sus alturas de radio.
2 Ms concretamente, probando por arquimedianidad que no son posibles ni a > b ni a < b para concluir a = b.
3 El mtodo de Arqumedes nos sugiere, no obstante, que las nociones de infinito e infinitamente pequeo s eran
utilizadas heursticamente junto a ciertas intuiciones mecnicas.
4 Dicho trabajo inspir a Leibniz su Ley de Continuidad, la cual guarda una ntima relacin con el Principio de
Transferencia del anlisis no estndar.

Paralelamente, Fermat (Methodus ad disquirendam maximam et minimam et de tangentibus linearum curvarum, 1636) expone un algoritmo, involucrando igualdades aproximadas e incrementos,
para la obtencin de extremos relativos de funciones, que emplea a su vez en la construccin de
rectas tangentes y en la resolucin de varios problemas fsicos.5 Trabajos que contienen implcitamente la nocin de derivada, y que marcan el inicio de un cambio de paradigma culminado con
la creacin del clculo infinitesimal por parte de Newton y Leibniz durante el ltimo tercio del
siglo XVII, reduciendo (va el Teorema Fundamental del Clculo) el problema de la cuadratura
de curvas (i.e., hallar el rea bajo una curva, su integral definida) al de la construccin de rectas
tangentes a dichas curvas (i.e., al cmputo de su derivada).
Los nuevos mtodos infinitesimales continuaron su camino con gran provecho hasta alcanzar
su cenit a mediados del siglo XVIII con Euler, pero para entonces la falta de una fundamentacin
adecuada, clara y rigurosa era innegable, y la preocupacin por hallar tal se extendi a toda la
comunidad matemtica. As, e.g., en 1784 la Academia de Ciencias de Berln ofrece 50 ducados a
quien pueda solucionar la cuestin, Lagrange propone como nueva base fundadora la expansin
de funciones a sus series de Taylor (suponiendo errneamente que ello siempre es posible), y
dAlembert da un paso adelante hacia una definicin precisa de lmite. Esta ltima direccin fue
continuada por Cauchy en su curso de 1821, punto ambiguamente intermedio entre el anlisis
con y sin infinitesimales, y concluida por Weierstrass en la actual formulacin e- a lo largo del
siglo XIX.6 Y en el proceso, un nuevo cambio de paradigma sedimenta: el axioma natura non
facit saltus de Leibniz se supera en pos de la nocin de funcin continua y la completitud de R.
Pero, en qu consiste esencialmente la formalizacin e- que utilizamos hoy da? En sustituir la idea de un valor arbitrariamente pequeo por la posibilidad de tomar varios valores
distintos, cada uno ms pequeo que varias cotas elegidas a voluntad. As, e.g., mientras que
Leibniz calculara la derivada
f 0 ( x ) haciendo gx (dx ) para dx un nmero infinitesimal no nulo,
con gx (h) = f ( x + h) f ( x ) /h, nosotros fijamos un error (o cota) e > 0 y buscamos una distancia > 0 para la cual la diferencia | gx (h) l | < e siempre que 0 < |h| < , suponiendo que
tengamos un candidato a lmite l (i.e., vemos que es posible reducir el error que cometemos al
aproximar l por gx (h) cuanto queramos reduciendo convenientemente la distancia).7 Esto es, un
retorno al mtodo de exhauscin (convenientemente depurado) ms que una formalizacin del
fructfero concepto de infinitesimal.
Resulta natural, pues, preguntarse si no existen (en R o en una extensin natural) valores que
sean, por s mismos, arbitrariamente pequeos (i.e., menores que cualquier cota, vase 1.1.7).8
As, e.g., Du Bois-Reymond, coetneo y paisano de Weierstrass, e inspirado tambin por Cauchy
(especialmente por su identificacin de los infinitesimales con las funciones tendiendo a cero),
produce una elaborada teora de rdenes de magnitud para el comportamiento asinttico de
funciones con la esperanza de formalizar tales ideas, mientras que Stolz trata de desarrollar una
teora de operaciones aritmticas para tales entidades, ambos sin xito.
No obstante, dicha perspectiva fue retomada por Skolem en su construccin de un modelo no estndar de N (que denota N ) en 1934 con el propsito de mostrar que ningn sistema
axiomtico poda caracterizar categricamente N, as como por Schmieden en su construccin
de un anillo conteniendo infinitesimales (que coincide con nuestro ejemplo 1.12, y que fue desarrollada durante los 1950s y publicada en 1958 en colaboracin con Laugwitz, vase [La01]) al
sentir que el anlisis a la Weierstrass no era adecuado para sus investigaciones en matemtica
5 Su mtodo fue aclarado y refinado en sucesivas memorias, como Doctrinam tangentium (1640), y es similar al posteriormente propuesto por Barrow, el mentor de Newton.
6 De hecho, aunque desconocido por sus coetneos, Bolzano precedi a ambos en su artculo de 1817 sobre el teorema
de valores intermedios, si bien la falta de una fundamentacin de R le impidi (al igual que a Cauchy) dar una prueba
rigurosa del mismo.
7 Por supuesto, lo habitual es reducir el clculo de f 0 ( x ) al clculo de ciertos lmites usando las propiedades de stos,
etc. Pero dado que las definiciones centrales del anlisis se formulan en dichos trminos mediante el concepto unificador
de lmite, que incluso hace su aparicin en nociones ms topolgicas como los cerrados y compactos, en ltima instancia
todo se reduce a esta clase de argumentos, que pueden volverse inmanejables cuando la cantidad de cotas a controlar se
dispara, cmo sucede especialmente en el hard analysis. Para una discusin ms detallada sobre ste y como el anlisis no
estndar puede ser de utilidad en estos casos, vase [Ta08, Articles 2.3, 2.5].
8 De hecho, y dado que estamos en un cuerpo, tanto da comenzar por lo arbitrariamente pequeo que por lo arbitrariamente grande (vase 1.2.6), y as lo haremos por comodidad expositiva. No en balde, recordamos, stos tampoco son
precisamente ajenos al anlisis, apareciendo con frecuencia en forma de lmites al infinito.

II

aplicada (viz.: aerodinmica, hidrodinmica y vibraciones no lineales).9 Paralelamente, en 1948

Hewitt construye por medios algebraicos y con fines topolgicos una extensin de cuerpos de
R no arquimediana (y, por ende, con elementos arbitrariamente grandes), acuando el trmino
hyper-real, mientras que en 1955 os introduce las ultrapotencias (cocientes de productos inducidos por ultrafiltros) en su investigacin sobre las clases definibles de lgebras y su relacin con
la lgica, construccin que se superpone a la de Hewitt.10
Y en el otoo de 1960, Abraham Robinson, experto en aerodinmica y teora de modelos, y
con una imagen global de la situacin, se percata de que el anlisis con infinitesimales en una
extensin de R es posible. As lo hace notar en su artculo seminal de 1961, seguido por una exposicin completa de la teora en 1966, [Ro66], y su primera aplicacin importante, un problema
de subespacio invariante propuesto por Halmos. Ms an, en [Ro66, Section 10.5] nota que un
resultado de Cauchy que histricamente se haba considerado incorrecto tiene una clara y veraz
interpretacin en el contexto del anlisis no estndar, abriendo las puertas a una nueva relectura
de los clsicos.11
Desde entonces, las tcnicas introducidas por Robinson han sido ampliadas y aplicadas con
xito en anlisis real, funcional y estocstico, topologa, teora de la medida y probabilidad, finanzas, fsica, teora de nmeros, etc. como dan buena cuenta de ello las colecciones de artculos
[ArCuHe97] y [BeNe07], as como la bibliografa de [Go98]. Ms an, la nueva disciplina se abri
camino entre el pblico no especializado con la aparicin, en 1976, del primer libro de texto de
pregrado sobre clculo con herramientas no estndar, [Ke86]; para ello, Keisler restringe el Principio de Transferencia al universo R y a frmulas expresables cmo sistemas de ecuaciones o
desigualdades, minimizando los conocimientos lgicos necesarios para su entendimiento y haciendo ms accesibles sus fundamentos.12 Paralelamente, a mediados de los 1970s comienzan
a aparecer los primeros tratamientos axiomticos, que tambin ayudaron a la difusin de los
nuevos mtodos al resto de la comunidad matemtica. Por ltimo, cierta lnea de investigacin
iniciada por [HeKe86], y continuada en [BeNe07, Article 1], sugiere que pueden existir resultados
nicamente demostrables mediante argumentos no estndar:
To sum up, nonstandard analysis still takes place within ZFC, but in practice it
uses a larger portion of full ZFC than is used in standard mathematical proofs.

Sobre este TFG

Este TFG est dividido en dos partes: una primera sobre fundamentacin, en la que construimos R y abordamos sus propiedades bsicas, y una segunda sobre aplicaciones, donde estudiamos sus posibilidades en la prctica del anlisis real.
Como hemos dicho antes, el anlisis no estndar surge de la teora de modelos, y en [Ro66] se
dedican unas cuarenta pginas a introducirla antes de comenzar a hacer ninguna clase de anlisis.13 Es por ello que en este TFG, y siguiendo la filosofa iniciada en [Ke86, HuLo85], hemos
9 Como se puntualiza en [Ro66, Section 9.4], In the theory of continuous media, the language of infinitesimals has a
long tradition. This tradition remained unbroken even though infinitesimals had been abandoned in pure Analysis. For
example, the derivation of Eulers equations of motion is frequently based on the consideration of the balance of forces
acting on a very small cube and several laws of Fluid Mechanics are expressed in terms of fluid particles whose dimensions
are supposed to be infinitely small. Again, a doublet is defined by letting two sources of equal and opposite strength
move infinitely close to each other while the strength of the sources varies in a suitable manner. It is usually taken for
granted, and sometimes shown explicitly, that the use of infinitesimal language can be avoided..
10 La construccin de Hewitt no fue la primera de su tipo, que se remonta a 1907 por parte de H. Hahn, pero s la
primera apta para los propsitos del anlisis no estndar.
11 Destacamos que dicho proyecto se est llevando a cabo desde 2010 y de manera sistemtica por el grupo de autores
de [BHKNS14], vase http://u.cs.biu.ac.il/katzmik/infinitesimals.html.
12 Como queda claro en la introduccin de [HuLo85], dicho enfoque inspir la organizacin de sus contenidos, presentando la susodicha restriccin a R (i.e., al anlisis real) antes de abordar el caso general para aplicaciones ms avanzadas,
que es desde entonces un tratamiento habitual en los textos introductorios (e.g., [Go98, Go12, ArCuHe97]). Destacamos
adems que dicha restriccin, a pesar de su simplicidad, puede resultar til tambin en investigacin, como se puntualiza
en [Ta08, Article 2.5].
13 Ms concretamente, [Ro66] demuestra el teorema de compacidad de la lgica de primer orden (va ultrafiltros) para
despus generalizarlo a estructuras de orden superior (teora de tipos mediante) y, finalmente, utilizarlo en la construccin de las extensiones deseadas. El enfoque conjuntstico y va superestructuras, hoy usual, fue introducido junto a
Zakon en 1967.

III

preferido centrarnos en el caso real, que sirve a su vez como ilustracin de la fuerza del anlisis
no estndar y como motivacin y gua para el estudio del caso general. En cuanto a su fundamentacin, y para facilitar la transicin de un posible matemtico sin formacin lgica, hemos
optado por su construccin va ultrafiltros, que puede encontrarse en [HuLo85, Sections 1.1-1.6,
1.15, Appendix], [Go98, Part I], [Go12, Chapters 1-2] y [ArCuHe97, Article 1, Sections 2-3].14 La
introduccin de stos, sin embargo, resulta algo brusca en [HuLo85], [Go12] y [ArCuHe97, Article 1], por lo que nos hemos apoyado especialmente en [Go98], aadiendo en el proceso nuevos
enfoques.
En el primer captulo, tras introducir brevemente nuestro objeto de estudio, discutimos diferentes aproximaciones a su construccin basadas en los conocimientos provistos durante el
grado. A pesar de resultar ms o menos estriles, stas nos llevan en ltima instancia al ejemplo
clave 1.12 y a la definicin clave aunque informal 1.8, la cual enlazamos con la teora de la medida, motivando as la definicin clave 1.10.15 Y es en el sencillo proceso de formalizar 1.8 (vase
1.11) y estudiar la viabilidad de la propuesta (vase 1.13, 1.14) donde surgen de manera natural
las nociones de filtro, ultrafiltro, filtro propio maximal, etc. as como un cierta intuicin de que el
proyecto es posible.16
La demostracin de dicha intuicin, no obstante, ha de pasar por un estudio ms atento de
dichas ideas en el segundo captulo, que hemos construido enteramente a partir de las listas de
ejemplos y propiedades de [Go98], aadiendo en el proceso sus demostraciones y algunos nuevos resultados.17 As, en la primera seccin reintroducimos ordenada y formalmente las nociones
anteriormente discutidas para, a continuacin, desarrollar todos los hechos que eventualmente
necesitaremos sobre ellas, partiendo cada vez de observaciones o preguntas que surgen de manera completamente natural de la misma definicin de filtro o de la lnea trazada en el captulo
anterior.18
Una vez resueltas estas cuestiones tcnicas, retomamos las ideas del primer captulo en el tercero, donde exponemos la construccin y propiedades bsicas de R. A diferencia de las citadas
referencias, hemos preferido separar los diferentes pasos que llevan a su construccin para hacer
hincapi en que muchos de los resultados siguen siendo ciertos para filtros (y de ah la construccin de Schmieden), as como introducir antes las extensiones de aplicaciones y relaciones como
inmediata generalizacin del caso de las operaciones de R. En la segunda seccin se estudian
con ms detalle dichas extensiones (a travs de los ejercicios propuestos en [Go98]) con el fin de
infundir en el lector la intuicin de que un cierto principio de transferencia entre las propiedades
de R y R existe. La demostracin de ste se lleva a cabo en la tercera seccin, y no se basa en
ninguna referencia concreta ms all de las herramientas adquiridas en la asignatura Lgica Matemtica (que bebe principalmente de [En01]), de la que damos un breve resumen en el anexo A
para facilitar su lectura.19 Finalmente, en la ltima seccin estudiamos la aritmtica de R e intro14 Para una discusin ms superficial o heurstica, vase tambin [Ta08, Article 2.5], donde se motiva la nocin de
ultrafiltro como un sistema de gobierno, pensando los lmites como resultados de una votacin electoral. Destacamos
adems que [ArCuHe97, Article 1] se distancia del tratamiento aqu seguido, partiendo de una definicin axiomticogeomtrica de extensin no estndar, que generaliza seccin a seccin hasta llegar al caso general, y presuponiendo que
el lector est familiarizado con la teora de los ultrafiltros a la hora de construirlas.
15 En [Go98] no se presuponen conocimientos de teora de la medida (que, por otra parte, slo utilizamos como motivacin o a nivel heurstico), por lo que 1.10 no se introduce hasta la seccin 3.14, tras haber utilizado varias instancias de
la misma. Tampoco se suponen conocimientos de anlisis funcional, por lo que el nico vinculo entre la construccin de R
por sucesiones de Cauchy (que toma como punto de partida amparndose en la historia) y 1.8 pasa por un Clearly then
we need a very different kind of equivalence relation among sequences. La discusin sobre la posibilidad de obtener R
como una extensin de R generada por un infinitesimal no nulo tampoco consta en las referencias citadas.
16 Intuicin no del todo disponible en [Go98], quien precisamente pregunta con cierta sorna antes de introducir formalmente la nocin de filtro: Can there in fact be such a notion of largeness, and if so, how do we show it?. La diferencia
radica en la aadidura de 1.14.
17 Modus operandi habitual a lo largo de este TFG, aunque no se explicite cada vez.
18 Aunque es cierto que podramos habernos contenido (e.g., limitndonos a 2.8, la nocin de PIF y la mitad de la
ltima seccin, o siguiendo a [HuLo85, Appendix]), hemos credo que esta era una buena oportunidad (desaprovechada
en la bibliografa consultada) para introducir al lector a una herramienta tan potente como la de los ultrafiltros, que
adems de su importancia en lgica encuentra muchas de sus aplicaciones en topologa (e.g., en el trabajo antes mentado
de Hewitt).
19 De hecho, [Go98] no da ninguna demostracin del mismo y, como en [HuLo85] y [Go12], nicamente lo motiva
a travs de ejemplos en lugar de por analoga con las extensiones de relaciones y aplicaciones, mientras que [Go12]
simplemente indica que se procede por induccin. Dado que, como ya dijimos, [Ro66] y [ArCuHe97, Article 1] siguen
tratamientos muy distintos a los aqu expuestos, redirigimos al lector interesado en una redaccin alternativa del mismo

IV

ducimos los conceptos esenciales de halo y sombra, as como la congruencia ' en R que indica
que dos nmeros estn infinitamente prximos, terminando con ello nuestros fundamentos.
En cuanto a la segunda parte de este TFG, hemos estudiado cmo podemos aplicar estas
herramientas al anlisis real, y el lector podr encontrar ms informacin al respecto en [Ro66,
Chapter 3], [Ke86], [HuLo85, Sections 1.8-1.14], [Go98, Part II], [Go12, Chapters 3-7] y [ArCuHe97,
Article 2].20 Tambin hemos querido comparar el nuevo tratamiento con el habitual, y de ah que
varios resultados vayan precedidos por dos demostraciones: una mediante los mtodos del Anlisis No Estndar (que indicaremos por sus siglas en ingls, NSA) y otra sin ellos (indicada con las
siglas SA).21 Por ltimo, hemos intentado maximizar todo lo posible las aplicaciones de nuestros
reducidas herramientas, algo que en las obras consultadas (salvo, a su nivel, [Ke86]) se obvia en
favor de una discusin ms general, introduciendo nueva maquinaria lgica.22
En el cuarto captulo abordamos el estudio de las sucesiones reales, y comenzamos dando versiones equivalentes (en el marco de trabajo NSA) de las nociones de convergencia, divergencia a
infinito, acotacin, etc. Dichos resultados, pues, actan como diccionario entre el enfoque NSA y
el SA, y nos permiten dar demostraciones alternativas de los resultados clsicos, as como tener
otra perspectiva (ms prxima a su origen histrico y a nuestra intuicin) de las definiciones ya
conocidas.23 As, e.g., vemos que una sucesin converge a l R ssi para ndices infinitos est
infinitamente prxima a l, que tiene punto lmite l ssi para algn ndice infinito est infinitamente prxima a l, que es de Cauchy ssi todos sus trminos de ndices infinitos estn infinitamente
prximos entre s, que es acotada ssi todos sus trminos de ndices infinitos son finitos, etc. En
particular, obtenemos fcilmente varias propiedades sobre lmites usando la aritmtica de R y
la congruencia ser infinitamente prximo ', obviando con ello las manipulaciones e- a veces
algo artificiosas.24 Otros ejemplos menos triviales de aplicacin son la obtencin de las diferentes
caracterizaciones de la completitud de R, logrando demostraciones especialmente simples del
Criterio de Cauchy y del Teorema de Bolzano-Weierstrass, evitando as los cargantes argumentos va intervalos encajados. El captulo se concluye con un breve estudio sobre series, que gracias
a nuestra algebraizacin de la nocin de lmite pueden pensarse formalmente como sumas infinitas o, como es ms habitual nombrarlas en la literatura, sumas hiperfinitas, pues heredan
muchas propiedades de las sumas finitas por transferencia, pero se consideran para un nmero
de sumandos hipernatural (posiblemente infinito).
En el captulo quinto damos un breve recuento de las ideas bsicas de topologa general, dando caracterizaciones NSA de los puntos interiores y de acumulacin de un conjunto, as como
demostraciones alternativas de las propiedades bsicas de abiertos y cerrados. Adems, destacamos el que posiblemente sea el resultado NSA ms potente y elegante tratado en este TFG: el
criterio de compacidad de Robinson, que nos permite sustituir las aparatosas construcciones de
subrecubrimientos finitos por razonamientos puntuales. Ms concretamente, si A es la extensin no estndar de A, entonces A es compacto ssi todo punto de A es infinitamente prximo a
algn punto de A. Ello nos permite trivializar los teoremas de Heine-Borel y Heine-Cantor.25
En el captulo sexto tratamos rpidamente la nocin de lmite en el contexto ms general de
las aplicaciones, y en particular trabajamos algunos resultados elementales sobre continuidad y
derivabilidad, obteniendo caracterizaciones enormemente intuitivas. As, e.g., vemos que f es
continua en p R ssi todo punto infinitamente prximo a p tiene su imagen por f infinitamente
prxima a f ( p), y que f es uniformemente continua en A ssi todo par de puntos de A infinitamente prximos tienen imgenes por f infinitamente prximas (o, en otras palabras, ssi f es
continua en A). Adems, recuperamos de manera natural y formal la definicin de derivada
estilo a [HuLo85, Section 1.15].
20 Salvo [Ke86] (que, como ya dijimos, cubre el material tpico de los cursos de clculo de primero y segundo de
carrera), todos ellos abarcan ms o menos los mismos tpicos, con diferentes niveles de detalle pero enfoques similares.
21 Las versiones SA se basan en la asignatura Anlisi Matemtica y la bibliografa principal de la misma, [Or02, Ru80],
adems de las referencias complementarias y ms personales [Cl12, Pe08].
22 E.g., introducimos los principios de overflow y underflow para R, damos varias caracterizaciones NSA de nfimo y de
punto de acumulacin de un conjunto, etc.
23 De hecho, esta ha sido precisamente la dinmica seguida a lo largo de toda la segunda parte: tomar un curso tpico de
anlisis real, traducir sus definiciones al contexto NSA, y emplear sus tcnicas para obtener una demostracin alternativa.
24 Hemos de reconocer, sin embargo, que esto no ha sido siempre posible, y que eventualmente hemos tenido que
recurrir al estilo SA. Para ms detalles, vase 4.20.
25 Como se puntualiza en [HeKe86], Experience suggests that it is easier to work with nonstandard objects at a lower
level than with sets at a higher level. This underlies the success of nonstandard methods in discovering new results..

como cociente de incrementos infinitesimales.

Por ltimo, en el captulo sptimo insistimos de nuevo en los mtodos hiperfinitos, esta vez
aplicados a las particiones. Ms concretamente, construimos una particin equidistante con norma infinitesimal de un intervalo I, y utilizamos esta malla hiperfinita para determinar cuando
una propiedad se cumple por ltima vez, obteniendo as, e.g., el valor intermedio del Teorema
del Valor Intermedio. El uso de la misma particin en las sumas inferiores, superiores y ordinarias de Riemann nos permite obtener la integral de Riemann como suma hiperfinita cuando las
susodichas son infinitamente prximas entre s.

Convenios de notacin
Las tuplas y sucesiones se denotarn mediante parntesis.
Los smbolos := y : se leen respectivamente igual por definicin y equivalente por
definicin, y nicamente se utilizarn al dar una definicin.
Indicaremos el conjunto potencia de A por P ( A).
Indicaremos el cardinal de A por #A, y escribiremos #A = como abreviacin de A es
infinito.
Escribiremos A ] B en lugar de A B si A B = (i.e., C = A ] B ssi C = A B y
A B = ).
Escribiremos A B si A es subconjunto de B (posiblemente igual a B), y A
subconjunto estricto de B.

B si A es

Sea ( X, ) un conjunto ordenado, A X y b X. Definimos entonces A>b := { a A :

a > b}, y anlogamente para , <, .
Como es relativamente comn en anlisis (e.g., [Or02, Definici 0.1]), convendremos que
0
/ N.
Si A X, entonces A : X {0, 1} denota la funcin caracterstica de A, definida como
A ( x ) = 1 : x A.
Dadas dos aplicaciones f : X Y y g : Y Z, denotaremos su composicin por g f .
Ocasionalmente indicaremos el final de una demostracin por reductio ad absurdum mediante el smbolo !!!.
A continuacin damos un ndice de smbolos para mayor facilidad de lectura.

VI

Nomenclatura
A

Subconjunto de los nmeros apreciables, pgina 3

F co

Filtro cofinito, pgina 10

FG

Filtro generado por G , pgina 10

hal( x )

Clase de equivalencia de ', pgina 26

Subconjunto de los nmeros ilimitados negativos de un cuerpo ordenado X, pgina 3

+
X

Subconjunto de los nmeros ilimitados positivos de un cuerpo ordenado X, pgina 3

Subconjunto de los nmeros ilimitados de un cuerpo ordenado X, pgina 3

'

Relacin de infinita proximidad, pgina 26

c00

Sucesiones con un nmero finito de trminos no nulos, pgina 6

X0

Subconjunto de los nmeros infinitesimales negativos de un cuerpo ordenado X, pgina 3

X0+

Subconjunto de los nmeros infinitesimales positivos de un cuerpo ordenado X, pgina 3

X0

Subconjunto de los nmeros infinitesimales de un cuerpo ordenado X, pgina 3

Subconjunto de los nmeros limitados de un cuerpo ordenado, pgina 3

Extensin de R en R, pgina 17
y
q
R(ri )ik=1 Subconjunto de N que cumple R(rni )ik=1 , pgina 16

VII

Parte I

Fundamentos

Captulo 1

El problema de los hiperreales

De acuerdo con lo explicado en la Introduccin, en este captulo investigamos las posibilidades de introducir elementos infinitesimales en R o en una extensin suya, por lo que empezamos
con una serie de definiciones naturales y sus consecuencias inmediatas.

1.1.

Infinitesimal e ilimitado

Nota. Fijamos para toda la seccin X un cuerpo ordenado, y recordamos que, en particular, X
contiene una copia de Q (vase [Or02, Teorema 1.9]).
Definicin 1.1. Diremos que x X es:
1. limitado, y escribiremos x L, ssi n N, | x | < n.
+ , ssi n N, n < x.
2. ilimitado positivo, y escribiremos x X
, ssi n N, x < n.
3. ilimitado negativo, y escribiremos x X
X + (i.e., n N, n < | x |).
4. ilimitado ssi x X := X

5. infinitesimal positivo, y escribiremos x X0+ , ssi n N, 0 < x < n1 .

6. infinitesimal negativo, y escribiremos x X0 , ssi n N, n1 < x < 0.
7. infinitesimal ssi x X0 := X0 {0} X0+ (i.e., n N, | x | < n1 ).
8. apreciable ssi x A := L r X0 (i.e., n N, n1 < | x | < n).
Observacin 1.2. Se tiene:
, a A , e X , X + , b A , K X + , entonces H < a < e < 0 < <
1. Si H X
<0
>0

0
0
b < K.
+ = X X , X = X X , X+ = X X , X = X X .
2. En particular, X

>0
<0
0
>0
0
<0

0
0
c ,1 A = X c X c = ( X X )c , { X , X , A} es una parti3. Claramente X0
L, L = X

0
0

0


+
, X + } es una particin de X (son
cin de X, X0 , {0}, X0 es una particin de X0 y { X

disjuntos por 1).

4. Sea f : X X tal que | f | = | Id | (e.g., f ( x ) = | x | f ( x ) = x). Entonces f ( x ) X

x X , f ( x ) X0 x X0 y f ( x ) A x A.
5. En particular (usando 1, 2 y Im || = X0 ), si e X0 , a A, H X , entonces 0 |e| <
| a | < | H |.
1 Ms

explcitamente, n N, | x | < n m N, | x | m (tomando n = m + 1).

+ x 1 X + , x X + x 1 X + , x X x 1 X ,
6. Claramente x X

0
0
0
2

1
x X x X0 .

7. Obviamente X 6= ssi X no es arquimediano,3 donde, por 6, X 6= ssi X0 r {0} 6= .

Proposicin 1.3. Sea K un cuerpo ordenado arquimediano contenido en X (e.g., Q). Entonces:
1. x L ssi p, q K, p < x < q.
+ ssi p K, p < x.
2. x X
ssi p K, x < p.
3. x X

4. x X0+ ssi p K>0 , 0 < x < p.

5. x X0 ssi p K<0 , p < x < 0.
6. x A ssi p, q K>0 , p < | x | < q.
Demostracin. Veamos los primeros como ejemplo (el resto son anlogos).
1. [] Obvio, pues Z K y | x | < n n < x < n. [] Por hiptesis, n N, | x | <
max | p|, |q| < n.
2. [] Obvio, pues N K. [] Por hiptesis, n N, n < x y m N, p | p| < m.
3. [] Obvio, pues Z K. [] Por hiptesis, n N, x < n y m N, p | p| < m (i.e.,
m < p).
4. [] Obvio, pues Q>0 K>0 . [] Por hiptesis, n N, x <
(i.e.,

1
m

1
n

y m N,

1
p

 
 
=  1p  < m

< p).

Observacin 1.4. Sea K como antes. Entonces K X = K y K X0 = K0 . Y por 1.2.7, K X =

c = L) y K X = {0} (ergo K r {0} X c ). Y juntando ambos resultados,
(luego K X
0
0
K r {0} A.
Nota. Aunque en 1.1 definimos X , X0 nicamente para X un cuerpo ordenado, la observacin
anterior nos sugiere la siguiente generalizacin.
Definicin 1.5. Si A X, entonces A := A X y A0 := A X0 .
Nota. A diferencia del trmino infinitesimal, de uso marginal en el anlisis estndar,4 el trmino infinito es considerablemente frecuente: no slo en la jerga y notacin del anlisis estndar (que eventualmente lo introduce formalmente, como sucede con la recta real extendida),
sino tambin en topologa (compactificacin de Alexandroff), geometra proyectiva (hiperplano
del infinito), teora de conjuntos (cardinal), etc. De ah que, para evitar confusiones, hayamos
decidido utilizar en su lugar el trmino ilimitado, aunque mantengamos la sugerente notacin
X .
2 Ms explcitamente, x X + n, n < x n, x 1 < 1 x 1 X + , donde x X
1 X
>0 x
>0 por ser X

0
n
cuerpo ordenado (pues si no, entonces 1 = xx 1 < 0 !!!).
3 Recordamos que X es arquimediano ssi x X, n N, x < n.
4 Algunos libros de texto (e.g., [Or02, Definici 2.4]) todava mantienen la definicin de infinitesimal del Cours
dAnalyse de Cauchy, a modo de herramienta para el clculo de lmites.

1.2.

Ideas para su construccin

Nota 1.6. As como la unidad imaginaria no pertenece a los reales R (el nico cuerpo ordenado, arquimediano y completo por sucesiones salvo isomorfismo, vase [Or02, Teorema 1.10]),
tampoco los ilimitados (y por ende los infinitesimales no nulos, vase 1.2.7) tienen cabida en l.
Y as como es posible ampliar R a un cuerpo ms rico y fructfero como el de los complejos C
que comprende a (y con l, caminos ms cortos)5 a costa de perder el orden6 pero conservando la completitud por sucesiones (como espacio mtrico) y la arquimedianidad (como espacio
normado), parece natural pensar que podemos ampliar R a un cuerpo R que contenga ilimitados al precio de renunciar a Arqumedes (y Cauchy?) pero preservando el orden, superando
o excediendo as a (R, ), y que, por ende, llamaremos hiper-reales.7
Pregunta. Cmo podemos obtener tal extensin?
Observacin. Puesto que C = R(), y siguiendo con nuestra analoga, uno podra proponer a
R(e) como el cuerpo buscado, con e 6= 0 infinitesimal. Sin embargo, ello presupone que existe
una extensin de R en la que vive e, que es precisamente lo que estamos tratando de hallar.
En el caso de ello no supone un problema pues sabemos que vive en la clausura algebraica
de R o que lo podemos pensar como (0, 1) en R2 , que puede pensarse a su vez como una extensin de cuerpos de R. Pero con e no podemos decir lo mismo, pues la clausura algebraica de R
es precisamente C (y obviamente e
/ C)8 y no podemos salirnos de la recta 1-dimensional sin
poner en riesgo el orden.
De hecho, como e
/ C, aunque hallramos una tal extensin tendramos que R(e) es trascendente y por ende isomorfo (como cuerpo) a R( x ) el cuerpo de fracciones del anillo de polinomios
R[ x ] (con x una indeterminada), luego no nos perderamos nada si trabajramos directamente
con R( x ) pensando a x como un infinitesimal no nulo, lo que ciertamente no parece una respuesta especialmente satisfactoria.9
Peor an, recordamos que R(e) es la menor extensin de R que contiene e, luego es perfectamente posible que existan cuerpos conteniendo e mucho mayores que R(e) (como sucede, e.g.,
con Q() respecto de ), en cuyo caso quedarnos simplemente con R(e) supondra perder una
riqueza y potencia que podramos echar mucho en falta de cara a sus posibles aplicaciones.
En resumen, nuestra analoga tiene importantes limitaciones y nuestras rudimentarias herramientas de la asignatura de Equacions Algebraiques no nos podrn ayudar demasiado en este viaje,
sino que ser necesario explorar un camino completamente distinto.
Pregunta. Qu otras construcciones de cuerpos conocemos, aparte de las vistas en Equacions Algebraiques?
Nota. En la asignatura Llenguatge i Raonament Matemtic obtuvimos el anillo Z a partir de N
mediante un proceso de simetrizacin respecto de la suma, y procedimos anlogamente con
el cuerpo Q respecto de Z y el producto.10 No obstante, este mecanismo resulta poco alentador
para nuestro propsito, pues de quin, y respecto de qu operacin, sera simtrico e?
Pero no abandonemos todava los dominios del lgebra, pues sabemos de la asignatura Estructures Algebraiques que podemos obtener cuerpos como cocientes de anillos por ideales maximales, lo que nos remite a su vez a la construccin de R de Cantor por sucesiones de Cauchy.
5 Il apparut que, entre deux vrits du domaine rel, le chemin le plus facile et le plus court passe bien souvent par
le domaine complexe (Paul Painlev, Analyse des travaux scientifiques, 1900).
6 Si bien podemos ordenar a C de varias maneras diferentes (lexicogrfica, geomtrica, etc.), ninguna relacin dar a
C la estructura de cuerpo ordenado, pues 2 = 1 y los cuadrados en un cuerpo ordenado son necesariamente positivos.
7 Ntese que este mismo argumento valdra cambiando R por Q. Nuestra eleccin obedece simplemente a que R
es un marco de trabajo ms apto para el anlisis que Q (del mismo modo que R () es ms apto que Q () para tales
propsitos).
8 Aunque obviramos el hecho de que C no es ordenado amparndonos en que las nociones de ilimitado e infinitesimal tienen sentido para cualquier espacio normado, recordamos que C es arquimediano pensado como tal.
9 Aunque no vamos a entrar en ello, esta no es una va completamente muerta. De hecho, el cuerpo de Levi-Civita
(con el cual se puede hacer algo de anlisis con infinitesimales) se mueve (en cierto modo) en esta direccin. Para ms
informacin sobre ste, cuyos orgenes se remontan a finales del siglo XIX y para el cual se han encontrado recientemente
aplicaciones en computacin, vase [ShBe10].
10 En otras palabras, vimos que Q es el cuerpo de fracciones de Z o, en el lenguaje de la asignatura Introducci a llgebra
Commutativa, que Q es el simetrizado del anillo Z respecto del sistema multiplicativamente cerrado S = Z r Z (Z), con
Z (Z) = {0} el conjunto de los divisores de cero de Z.

Hecho 1.7. (vase [Or02, Apndix. Construcci i unicitat del cos dels nombres reals]) Recordemos, pues,
que si A es el anillo conmutativo con unidad de las sucesiones de Cauchy en Q y N := {r A : r 0}
(cuyos elementos Cauchy denomina cantidades infinitesimales), entonces N es un ideal maximal de A
y A/N es isomorfo a R.
Ms an (desafortunadamente para nosotros), si Ae es el anillo conmutativo con unidad de las sucesiof := {r Ae : r 0}, entonces N
f es un ideal maximal de Ae y Ae/N
f es isomorfo
nes de Cauchy en R y N
a R.
f con 0 al cocientar Ae por N
f era obvio
Observacin. De hecho, al identificar los elementos de N
que no conseguiramos diferenciar stos de R. Sin embargo, la clave podra consistir en cambiar
f por una relacin de equivalencia ms adecuada sobre Ae o, para evitar limitaciones demasiaN
do restrictivas, sobre RN el conjunto (y de hecho anillo, vase 3.1) de las sucesiones de R; una
relacin de equivalencia que s hiciese distincin.
Nota. Cuatro espacios de Banach particularmente importantes estudiados en la asignatura Anlisi
Real i Funcional que puede ser conveniente tener presentes son c00 c0 c ` los subconjuntos de CN (o RN en nuestro caso, si se me permite la licencia) tal que sus elementos: tienen nicamente un nmero finito de trminos diferentes de 0, convergen a 0, convergen, y estn acotados,
f. Y dado que
respectivamente. As, c = Ae (por la completitud por sucesiones de R) y c0 = N
queremos una relacin de equivalencia ms fina que la inducida por c0 , parece natural pensar en
conjuntos (ideales del anillo RN , preferentemente) ms pequeos que c0 , como lo es c00 , que nos
inducira la siguiente relacin de equivalencia: r s r s c00 # {n N : rn sn 6= 0} <
# {n N : rn = sn }c < . En particular, r s # {n N : rn = sn } = .11
En otras palabras, RN / identifica dos sucesiones si la cantidad de trminos no coincidentes es pequea o, lo que vendra a ser lo mismo, si la cantidad de trminos coincidentes es
grande. No obstante, y como acabamos de ver, con la medida del cardinal dichas nociones no
son equivalentes (entendiendo pequeo como finito y, por ende, grande como infinito). An
peor, y como se pone de manifiesto en la paradoja de Galileo (hay tantos cuadrados como naturales), el cardinal es una medida harto imprecisa, lo que nos lleva a mantener de momento los
trminos informales grande y pequeo para evitar limitaciones demasiado restrictivas.12

1.3.

Propuesta

Definicin 1.8. Sean, pues, r, s RN , y definamos r s : Jr = sK G , donde Jr = sK :=

{n N : rn = sn } y G (de grande) es algn subconjunto de P (N) que hace de una relacin de
equivalencia y que contiene nicamente a los subconjuntos de N que, en algn sentido an por
determinar, son grandes.
Observacin. As, RN / (que sera nuestro candidato a R) es el conjunto de las sucesiones de R
mdulo aquellas que son iguales entre s para muchos trminos.
Nota 1.9. La idea detrs de nuestra definicin coincide con la de que una propiedad (en nuestro
caso, la igualdad entre sucesiones) se cumpla casi en todas partes (usualmente abreviado a.e.,
por almost everywhere) en teora de la medida, que concuerda a su vez con el casi seguramente
de teora de la probabilidad. Por ejemplo, fijado ( X, , ) un espacio de medida completo (que
ser de probabilidad ssi ( X ) = 1), decimos que una sucesin de funciones
medibles (o variables


aleatorias) ( f n )n converge a.e. a f ssi { x X : f n ( x ) 6 f ( x )} = 0, y que f = g a.e. ssi


{ x X : f ( x ) 6= g( x )} = 0 (o simplemente ({ f = g}) = 1, si es una probabilidad),13
siendo la igualdad a.e. una relacin de equivalencia (como nos gustara que lo fuera ). De hecho,
si es una probabilidad, nos basta particularizar X = N, f (n) = rn , g(n) = sn y cambiar
11 La prueba se sigue de que N = A ] Ac , #N = y # ( A ] Ac ) = #A + #Ac , con A N cualquiera. El recproco es
claramente falso, pues el conjunto de los pares es el complementario del de los impares y ambos son conjuntos infinitos.
12 Ello no significa, por supuesto, que los conjuntos grandes no vayan a ser en particular infinitos, como ocurre en
el ejemplo anterior, sino que pedir nicamente que sean infinitos no nos basta.
13 Si ( X ) = , entonces no podemos garantizar en general que ( X r A ) = ( X ) ( A ) y, por ende, que ( Ac ) = 0
ssi ( A) = ( X ). Y si ( X ) < , entonces podemos suponer sin restriccin ( X ) = 1.

{ A : ( A) = 1} por G (ambos sinnimos de grande, aunque a priori no tengan nada que

ver) para recuperar nuestra definicin.
Ello nos invita, por una parte, a preguntarnos si : P (N) {0, 1} definido como ( A) =
1 : A G es una probabilidad y, por ende, ambos conceptos coinciden (en el sentido de que
define G y viceversa) y, por otra, a generalizar nuestra definicin a cualquier propiedad, y no slo
a la igualdad de dos elementos (despus de todo, recordamos, queremos que R sea ordenado,
luego necesitamos al menos definir un orden).

q
y
Definicin 1.10. Si R es una relacin k-aria en R y (ri )ik=1 RN , entonces R(ri )ik=1 := n

q
y
N : R(rni )ik=1 y R(ri )ik=1 : R(ri )ik=1 G .
Notacin. Como es usual, utilizaremos la notacin de infijo para las relaciones binarias (i.e., escribiremos aRb en lugar de R( a, b) siempre que nos convenga). Adems, escribiremos  en vez
de .
Antes de continuar por este camino, veamos primero qu condiciones ha de satisfacer G para
que sea una relacin de equivalencia no trivial.
Observacin 1.11. Se tiene:
1. Como Jr = sK = Js = rK por la simetra de la igualdad, tenemos que es simtrica para
cualquier G .
2. Y puesto que Jr = rK = N por la reflexividad de la igualdad, obtenemos que es reflexiva
ssi N G .
3. Por ltimo, Jr = sK Js = tK Jr = tK por la transitividad de la igualdad, luego nos basta
exigir que
A, B G , A B C C G
para garantizar la transitividad de . En particular (tomando C = A B y B = A respectivamente):
a) A, B G A B G .
b) A G , A C C G .
4. De hecho, a partir de 3a y 3b (que son propiedades ciertamente propias del G buscado)
podemos recuperar la propiedad original, luego las caracterizaciones son equivalentes.
5. Ms an, podemos obtener 2 de 3b si G 6= .
6. Finalmente,
/ G , pues en caso contrario G = P (N) por 3b (pues el vaco es subconjunto de todo conjunto), de modo que la relacin de equivalencia identificara todas las
sucesiones con todas, i.e., sera la trivial. De hecho, G ssi G = P (N).
Ejemplo 1.12. (Inspirado en c00 ) G := { A N : #Ac < }. Es decir, A G ssi A contiene casi todo N (i.e., todo salvo a lo sumo un nmero finito), lo que ciertamente nos da conjuntos
grandes.
Demostracin. Las condiciones ms asequibles 2 y 6 son obvias (pues #Nc = # < y #c =
#N = ). Las condiciones ms restrictivas de 3 se siguen de:
1. # ( A B)c

De Morgan

# ( Ac Bc ) #Ac + #Bc .

2. A C C c Ac #C c #Ac .

Observacin. Por construccin, RN / es exactamente RN /c00 . En particular, RN / es un anillo.14

14 Aunque ahora mismo no nos preocupa, podramos ver fcilmente que esta es, de hecho, una propiedad general de
los subconjuntos no vacos de P (N) cumpliendo 1.11.3 (vase 3.4).

Problema 1.13. Supongamos por un momento que RN / es, adems, un cuerpo. Nosotros queremos tambin que RN / sea ordenado. Ahora bien (y siguiendo el contraejemplo de la nota al
pie 11), si
(
(
0, n
/ 2N
0, n 2N
, sn =
rn =
1, n 2N
1, n
/ 2N
con 2N := {2n : n N}, entonces Jr = sK =
/ G , i.e., r 6 s. Sin embargo, no parece que ninguna de las dos sucesiones sea mayor que la otra en ningn sentido, ni siquiera en el introducido
en 1.10, pues Jr sK = 2N
/ G y Jr sKc
/ G .15
La reaccin ms inmediata a este problema sera olvidarnos de 1.12 y aadir una nueva exigencia a G , a saber:
A N, ( A G) ( Ac G)
pues en tal caso siempre tendremos que Jr sK Jr sKc es de G , i.e., r  s r  s, donde, de
hecho, la disyuncin es excluyente (por 1.11.3a y 1.11.6).16 Sin embargo, no es para nada evidente
que existan tales G , especialmente teniendo en cuenta el significado informal que le hemos atribuido, y que vendra a decir en el caso anterior que el conjunto de los pares o el de los impares
es pequeo. Ahora bien, y como ya dijimos en su momento, la infinitud no es una condicin
suficiente para nuestra nocin de grande, luego no demos an todo por perdido.
Observacin 1.14. Sea nuevamente G como en 1.12. Que r, s no sean comparables no es en absoluto
el problema, pues simplemente podemos forzar r  s cambiando G por G {2N}. El problema
es, primero, si G {2N} mantiene las propiedades que nos interesaban de G (o, en definitiva, si
podemos aadir a G todos los conjuntos que sean necesarios para que esto sea as) y, segundo, si
podemos repetir dicho proceso hasta conseguir un G 0 que haga  total (e.g., un G 0 cumpliendo
la propiedad introducida en 1.13). Y aunque este procedimiento es sin duda impreciso, nos lleva
de manera natural a la idea de maximal y, por ende, al Lema de Zorn.
Es ms, como la disyuncin de 1.13 es excluyente y G G 0 , tenemos que G 0 no contiene
conjuntos finitos, luego podramos decir que G 0 est formada por conjuntos relativamente grandes.17 As, si propusiramos como definicin precisa de grande el no contener conjuntos finitos, nuestro problema se reducira a hallar G 0 conteniendo G y satisfaciendo 1.11.2, 1.11.3, 1.11.6 y
1.13. Y para averiguar cmo podemos llevar a cabo dicha extensin de G , estudiaremos primero
de manera general a los subconjuntos de P (N) cumpliendo dichas propiedades.

15 Por supuesto, tendramos que probar adems que  no depende del representante y que es una relacin de orden,
aunque ello no nos supondra ninguna dificultad (vase 3.9 y 3.10).
16 Es ms, bajo dicha condicin es fcil probar la existencia de inversos (vase 3.13), luego tambin tendramos que
N
R / es cuerpo (el que sea ordenado es trivial).
17 En efecto, no nos costara demasiado ver que la condicin G G 0 es suficiente para demostrar que RN / contiene
ilimitados en el sentido introducido en 1.1 (vase 3.18).

Captulo 2

Filtros
Resumen. En la seccin 2.1 reintroduciremos de manera formal y ordenada las ideas de la seccin
anterior, mientras que en las secciones 2.2 y 2.3 investigaremos ms en profundidad nuestros
objetos de estudio, lo que nos permitir en ltima instancia hallar la extensin buscada. De hecho,
la seccin 2.3 no es estrictamente necesaria para completar nuestro objetivo, y aunque haremos
referencia a sus resultados de manera tangencial en alguna ocasin, su lectura puede postergarse
sin reparos hasta llegar a la seccin 3.2.

2.1.

Rudimentos

Definicin 2.1. Un filtro F sobre un conjunto I es un subconjunto no vaco de P ( I ) tal que

1. (Axioma de interseccin) A, B F A B F .
2. (Axioma de superconjunto) A F , A B I B F .
y diremos que es propio ssi
3. F

P ( I ).

Si adems
4. A I, ( A F ) ( Ac F ).
decimos que F es ultrafiltro sobre I.
Ejemplo. Claramente P ( I ) es el mayor filtro sobre I.
Observacin. (vase 1.11.5) Como F 6= , existe A F P ( I ), luego I F por el axioma
de superconjunto. Por tanto, todo filtro sobre I contiene a I. Y como obviamente { I } es un filtro
sobre I, podemos resumir:
Proposicin 2.2. { I } es el menor filtro sobre I.
Corolario. {} es el nico filtro sobre . En otras palabras, no perdemos nada en suponer I 6= .
Demostracin. {} es filtro sobre por la proposicin anterior, y es el nico filtro sobre pues
I = P ( I ) = { }.
Observacin. (vase 1.11.6) Como el vaco es subconjunto de todo conjunto, si ste pertenece a F
se sigue del axioma de superconjunto que P ( I ) F , ergo F F = P ( I ). As,
Proposicin 2.3. Un filtro F es propio ssi
/ F.
Nota. La definicin de filtro se basa en 1.8 o, lo que es lo mismo (por 1.11.4 y 1.11.5), en 1.11.3
(abstrayendo N), mientras que la de ultrafiltro se inspira en 1.13 al tiempo que hace hincapi
en 1.11.6. En otras palabras, nuestro inters ltimo recae sobre los ultrafiltros cuyos elementos
sean grandes en algn sentido an por determinar (o bien en el sentido ya introducido de no
contener conjuntos finitos) y en su posible obtencin como extensiones de:
9

Ejemplo 2.4. El filtro cofinito,1 o de Frchet, sobre I: F co := { A I : #Ac < }, vase 1.12.
Corolario 2.5. El filtro F co es propio ssi #I = .
Demostracin. Inmediata de 2.3, usando que #c = #I.
Observacin. Si I = N ya vimos en 1.13 que F co no es ultrafiltro (pues no contiene ni a pares ni a
impares), luego no todo filtro es ultrafiltro. De hecho, F co no es ultrafiltro sobre ningn I en ZFC
(pues bajo el axioma de eleccin podemos asegurar que todo conjunto infinito puede expresarse
como unin disjunta de conjuntos infinitos).
Proposicin 2.6. (vase 1.13) Sea F un filtro sobre I. Se tiene: F es un ultrafiltro sobre I ssi A
I, A F Ac
/ F.
Demostracin. [] Si no, entonces A N, A Ac F por el axioma de interseccin, en contra
de F propio.
/ F
[] Como I F por 2.2, tenemos por hiptesis que F es propio. Y como A F A
para todo A I, tenemos por hiptesis que F es ultrafiltro.
Corolario 2.7. (vase 1.14) Sea F ultrafiltro. Se tiene: F co F ssi F no contiene conjuntos finitos.
Demostracin. [] Si A es finito, entonces Ac F co F , luego A = ( Ac )c
/ F.
/ F por hiptesis, luego A = ( Ac )c F .
[] Si A F co , entonces Ac

2.2.

Filtro generado

Lema. Sea {F x } xX una familia no vaca de filtros sobre I. Entonces

xX F x := { A : x X, A F x }
es un filtro sobre I.
Demostracin. 0) Como x X, F x P ( I ), F x 6= , lo mismo vale para xX F x .
1) Si A B I y A xX F x , entonces x X, A F x , luego, por el axioma de superconjunto, lo mismo vale para B.
2) Si A, B xX F x , entonces x X, A, B F x , luego, por el axioma de interseccin, lo
mismo vale para A B.
Definicin. Dado G P ( I ), sea F la coleccin de todos los filtros sobre I que contienen a G .
Entonces F G := F es el filtro generado por G (sobre I).
Observacin. Como F 6= al ser P ( I ) F, tenemos en efecto que F G existe y es filtro por el lema.
Ms an, es el menor filtro sobre I conteniendo G por construccin.
Pregunta. Por 2.2, sabemos que F G = { I } si G = , pero qu forma tiene F G en general?
Observacin. Aplicando repetidamente el axioma de interseccin (o por induccin) obtenemos
que:
{ Ai }in=1 F in=1 Ai F
As, y por el axioma de superconjunto, para demostrar que B F es suficiente hallar { Ai }in=1
F tal que in=1 Ai B (el recproco es trivial, pues B B), lo que nos sugiere:
Lema 2.8. Sea G (de generador) un subconjunto no vaco de P ( I ). Entonces


F G = A I : { Ai }in=1 G , in=1 Ai A
1 Contraccin

de complementario finito.

10

Demostracin. 1) Por construccin, G F G (pues A G , A A). En particular, F G 6= (pues

G 6= ).
 m
2) Sean A, B F G , de modo que { Ai }in=1 , Bj j=1 G , in=1 Ai A, m
j=1 B j B. Entonces
G
G
(in=1 Ai ) (m
j=1 B j ) A B, ergo F es cerrado por intersecciones. Y como claramente F
P ( I ) y es cerrado por superconjuntos, tenemos que F G es un filtro sobre I.
3) Sea F un filtro sobre I conteniendo G y sea A F G , de modo que { Ai }in=1 G , in=1 Ai
A. Entonces, como G F , tenemos que A F por las propiedades de filtro.

Definicin. Si G P ( I ) est compuesto por un slo conjunto, digamos G I, entonces F G =

F {G} = { A I : G A} es el filtro principal generado por G, que denotaremos simplemente por F G si no hay peligro de confusin. Y si dicho G est compuesto por un slo elemento,
digamos g I, entonces F G = F {G} = F {{ g}} = { A I : g A} es el ultrafiltro principal
generado por g, que denotaremos simplemente por F g .
En efecto:
Lema 2.9. Si g I, entonces F g es un ultrafiltro sobre I.
Demostracin. 1) Si A I, entonces A Ac es de F g , pues g I = A Ac .
2) Como no contiene ningn elemento (mucho menos g), tenemos que
/ F g , luego F g
es propio.
Nota 2.10. El ultrafiltro F g contiene conjuntos de cualquier cardinal no nulo menor que #I (viz.:
{ g}, { g, i1 }, { g, i1 , i2 }, etc., con i j I), luego no est formado nicamente por lo que uno llamara
conjuntos grandes (que es, recordamos, el tipo de ultrafiltros que buscamos).2 De hecho, si I
n
es finito, pongamos n = #I, tenemos que k N, # { A F g : #A = k } = (k
1), y si I es infinito,
g
entonces k N>1 , # { A F : #A = k} = .
Observacin. Anlogamente a 2.9, F G G G = , luego F G es propio ssi G 6= .
No obstante, F G no es ultrafiltro para ningn G formado por ms de un elemento, pues entonces
/ F G . As, hemos generalizado 2.9 a:
existen g1 , g2 G diferentes y por ende { g1 }
/ F G , { g1 } c
Proposicin 2.11. Si G I, entonces F G es ultrafiltro ssi #G = 1, y es propio ssi G 6= .
Corolario. En particular, F {} = P ( I ).
Observacin. Ms en general, F G { Ai }in=1 G , in=1 Ai { Ai }in=1 G , in=1 Ai =
. Por tanto,
/ F G ssi cualquier interseccin finita de conjuntos de G es no vaca.
Definicin. Diremos que G P ( I ) tiene la Propiedad de Interseccin Finita (PIF en adelante)
ssi cualquier interseccin finita de conjuntos de G es no vaca.
Corolario 2.12. As, G P ( I ) tiene la PIF ssi
/ F G ssi F G es propio.
Nota. En particular, si G P ( I ) satisface la PIF, entonces
/ G (por absurdo,
pues G F G ). El
c
recproco, sin embargo, es falso en general (e.g., tomando G = 2N, (2N) P (N) tenemos
que F G pero
/ G ).

2.3.

Interseccin y unin

Pregunta. Si bien el recproco del axioma de superconjunto es trivialmente cierto si lo pensamos como
existe un A I tal que... pero trivialmente falso pensado como para todo A B, se cumple..., qu
hay del recproco del axioma de interseccin?
Proposicin 2.13. Dado C P ( I ) no vaco, se tiene: C es un filtro sobre I ssi A, B I, A B C
A, B C .
2 Peor

an, no nos costara demasiado probar que el conjunto RN / obtenido con F g es isomorfo a R, vase 3.21.

11

Demostracin. [] Por el axioma de interseccin, nos basta ver A B C A, B C . Ahora

bien, como A B A, B I, el axioma de superconjunto concluye la prueba.
[] Es suficiente establecer el axioma de superconjunto, pues el otro es un caso particular de
nuestra hiptesis. Sean, pues, A B I con A C . Entonces A B = A C , luego B C por
hiptesis.
Corolario 2.14. (vase 2.6) Dado C P ( I ) no vaco, se tiene: C es un ultrafiltro sobre I ssi para todo
A, B I se cumplen:
1. A, B C A B C .
2. A C Ac
/ C.
Corolario 2.15. Si F es un ultrafiltro sobre I y A, B I, entonces A B F ( A F ) ( B F ).
Demostracin. (Por contrarrecproco) A, B
/ F Ac , Bc F Ac Bc F ( Ac Bc )c
/ F,
luego De Morgan concluye.
Nota. De hecho, [] vale trivialmente para todo filtro por el axioma de superconjunto, pues
A, B A B. Por otra parte, un argumento similar nos permite intercambiar la condicin 1 de
2.14 por la condicin de 2.15.
Corolario 2.16. (Por induccin de 2.13 y 2.15) Dado F un ultrafiltro sobre I y { Ai }in=1 I, se cumple:
1. in=1 Ai F j {1, . . . , n} , A j F .
2. in=1 Ai F j {1, . . . , n} , A j F .
Observacin 2.17. (Generalizacin parcial) Dado F un ultrafiltro sobre I y { Ai }i J I, como
j J, i J Ai A j i J Ai , se sigue del axioma de superconjunto que:
1. i J Ai F j J, A j F .
2. j J, A j F i J Ai F .
Pregunta. En 2.16.2, cundo la existencia de j es nica?
Observacin. Si A j , Ak F , con F ultrafiltro sobre I, entonces A j Ak F y, en particular,
A j Ak 6= . Por tanto, obtenemos por contrarrecproco que:
Proposicin 2.18. Si { Ai }in=1 I son disjuntos 2 a 2 y in=1 Ai F , entonces !j, A j F .
Observacin. El recproco es falso.
Demostracin. (Por contraejemplo) Si F = F {1} , A1 = {1} A2 = {2, 3} y A3 = {3, 4}, entonces
A1 es el nico A j de F pero A2 A3 = {3} 6= .
3 pongamos G = { g }n
Observacin. Si un ultrafiltro F contiene
i i =1 =
 a algn conjunto finito,
n
n
i=1 { gi }, entonces !j {1, . . . , n} , g j F (pues {{ gi }}i=1 son 2 a 2 disjuntos) y, por 2.8,

F g F , con g = g j . Es ms, se tiene la igualdad: A F

g A A F g.
En resumen,

{ g}F

/
F

A { g} F A { g} 6=

Lema 2.19. Todo ultrafiltro conteniendo a un conjunto finito es principal. Y por contrarrecproco, un
ultrafiltro no principal no contiene ningn conjunto finito o, equivalentemente por 2.7, contiene F co .
Observacin. El recproco tambin es cierto, pues ya vimos en 2.10 que todo ultrafiltro principal
contiene conjuntos finitos, luego:
Proposicin 2.20. Sea F un ultrafiltro. Se tiene: F es no principal ssi F co F .
Nota. Otra consecuencia interesante de 2.19 es que no perdemos nada en suponer I infinito, ya
que por 2.2:
Proposicin 2.21. Si I es finito y F es un ultrafiltro sobre I, entonces F es principal.
3 Recordamos que en 1.14 propusimos como definicin formal de F grande precisamente que F no contuviera
conjuntos finitos.

12

2.4.

Extensiones maximales

Nota. Llegados hasta aqu ya estamos en condiciones de retomar 1.14, donde discutimos la posibilidad de extender el filtro propio F co (supuesto que #I = ) a un ultrafiltro (que proponamos
como firme candidato para obtener R va 1.8) a base de aadir todos los conjuntos que fueran
necesarios. Este proceso, aunque impreciso, nos lleva de manera natural a la nocin de filtro propio maximal, y es fcil ver que todo ultrafiltro lo es, pero para probar el recproco necesitaremos
de un lema previo.
Pensemos en ello: si F es un filtro propio maximal, entonces ser igual a cualquier filtro
propio que lo contenga. Y como F F F G , nos basta ver que F F G es propio con G = { Ac }
bajo la hiptesis A
/ F.
Lema 2.22. Sea F un filtro propio sobre I y A I arbitrario. Se tiene: F { Ac } tiene la PIF ssi A
/ F.
c

Demostracin. [] (Por contrarrecproco) Si A F F F { A } , como Ac F F { A } , tenemos

c
que = A Ac F F { A } , luego F { Ac } no tiene la PIF.
[] (Por contrarrecproco) Por hiptesis, { Fi }in=1 F { Ac
} , i Fi = . Y como { Fi }in=1
0
c
0
F i Fi F y
/ F , podemos suponer que in=1 Fi = m
j=1 Fj A con Fj F . Ahora bien,


0
c
m
0
m
j=1 Fj A = j=1 Fj A, luego A F por las propiedades de filtro.
Teorema 2.23. F es un ultrafiltro sobre I ssi F es un filtro propio maximal sobre I.
c

Demostracin. [] Si A
/ F , entonces F { Ac } satisface la PIF por el lema, ergo F F { A } es
c
propio y, por hiptesis, F F { A } F , luego Ac F .
F 0 , de modo que existe A F 0 r F .
[] (Por absurdo) Sea F 0 un filtro propio tal que F
c
0
Entonces A F F por hiptesis, de manera que = A Ac F 0 , en contra de F 0
propio.
Nota. A continuacin veremos va el Lema de Zorn que existe algn filtro propio maximal sobre
I, que ser adems ultrafiltro por 2.24. Ms an, lo construiremos de tal manera que contenga a F
un filtro propio sobre I dado, obteniendo as el ultrafiltro buscado cuando F = F co con #I =
(vase2.5).
Lema. Sea {F x } xX una coleccin no vaca de filtros sobre I totalmente ordenada respecto de . Entonces

xX F x := { A : x X, A F x }
es un filtro sobre I. Adems, xX F x es propio ssi todos los F x lo son.
Demostracin. 0) Como x X, F x P ( I ), F x 6= , lo mismo vale para xX F x .
1) Si A B I y A xX F x , entonces x1 X, A F x1 y, como F x1 es filtro, B F x1
xX Fx .
2) Sean A, B xX F x , de manera que x1 , x2 X, A F x1 , B F x2 . Entonces podemos
suponer por hiptesis que F x1 F x2 , luego A, B F x2 y, como F x2 es filtro, A B F x2
xX Fx .
3) (Por contrarrecproco) xX F x x X, F x .
Observacin. Que {F x } xX sea totalmente ordenada nicamente se utiliza en (2), pero es claro
que en dicho punto nos basta con que x3 X, F x1 , F x2 F x3 . Es decir, el resultado es cierto
ms en general para cualquier coleccin (de filtros sobre I) dirigida superiormente respecto .
Teorema 2.24. Existe M filtro propio maximal sobre I conteniendo a F un filtro propio sobre I dado.
Demostracin. Sea P la coleccin de todos los filtros propios sobre I que contienen a F , que est
parcialmente ordenada por . Sea tambin P0 P tal que ( P0 , ) es total. Entonces A P0 A es
un filtro propio por el lema, que claramente contiene F y es cota superior de P0 , luego es una
cota superior de P0 en P. Por tanto, P tiene un elemento maximal M por el Lema de Zorn, que
en particular contiene F .
Veamos finalmente que M es un filtro propio maximal sobre I. Si F 0 es un filtro propio sobre
I tal que M F 0 , entonces F F 0 , luego F 0 P. Y por la maximalidad de M en P, concluimos
que M = F 0 .
13

Teorema 2.25. Si #I = , entonces existe F ultrafiltro sobre I conteniendo F co .

Observacin. De hecho, la condicin #I = es tambin necesaria (vase 2.21).
Nota. Recordamos que, por 2.20 y 2.7, un ultrafiltro F contiene F co ssi es no principal ssi no
contiene conjuntos finitos, luego, por brevedad, nos referiremos a ellos simplemente como a los
ultrafiltros no principales.
Veamos para terminar algunas consecuencias o refinamientos interesantes de estos hechos:
Proposicin. Si C P ( I ) tiene la PIF, entonces existe F ultrafiltro sobre I conteniendo C .
Demostracin. Obvio de 2.24 y 2.23, pues C F C y F C es un filtro propio si C tiene la PIF.
Nota. Todo filtro propio F sobre I es un subconjunto de P ( I ) con la PIF por 2.12 (pues F = F F ),
pero no viceversa (e.g., { A} con 6= A
I tiene la PIF pero no es filtro sobre I). Por tanto, la
proposicin anterior es una generalizacin de los resultados anteriores.
Corolario. Dado C P ( I ) con la PIF y A I cualquiera, se tiene: C { A} C { Ac } tiene la PIF.
Demostracin. Sea F un ultrafiltro conteniendo a C , de modo que A Ac es de F y, por ende,
F C{ A} F sin restriccin. Entonces:
/F
/ F C{ A} C { A} tiene la PIF.
Corolario. Dado A I, existe F ultrafiltro no principal sobre I conteniendo A Ac .
Demostracin. Tomando C = F co en el corolario anterior.
Lema. Sea f : I I una aplicacin biyectiva y F un ultrafiltro no principal sobre I. Entonces f (F ) :=
{ f (C ) : C F } es un ultrafiltro no principal sobre I.
Demostracin. Pongamos F 0 = f (F ) y verifiquemos las condiciones de 2.14.
1) Claramente F 0 P ( I ) y es no vaco.
2) Sean A, B I. Como f es biyectiva, f ( A), f ( B) F 0 A, B F A B F
f ( A B) F 0 f ( A) f ( B) F 0 .
3) Anlogamente, f ( A) F 0 f ( A)c
/ F 0.
4) Por ltimo, como los elementos de F 0 tienen el mismo cardinal que los de F por ser f
biyectiva, tenemos que F 0 es no principal usando la caracterizacin de no contener conjuntos
finitos.
Corolario. Existe F ultrafiltro no principal sobre N conteniendo a los impares, e dem para los pares.
Observacin 2.26. Los recprocos de 2.17 son falibles.
Demostracin. (Por contraejemplo) Sea F un ultrafiltro no principal sobre I. Entonces:
/ F.
i I, {i }c F co F , pero i I {i }c = (i I {i })c = I c =

i I {i } = I F , pero i I, {i }
/ F.

Nota. En 1.9 nos preguntbamos si : P ( I ) {0, 1} tal que ( A) = 1 : A F es una

probabilidad, con F ultrafiltro sobre I. Ahora bien, aunque 2.18 prueba que es aditiva, 2.2 que
( I ) = 1 y 2.3 que () = 0, 2.26 nos da un contraejemplo para la -aditividad

de (y, de hecho,
para la -subaditividad). Ms explcitamente, 1 = (N) = nN {n} > nN ({n}) =
nN 0 = 0.

14

Captulo 3

El cuerpo de los hiperreales

3.1.

Construccin

Tras haber solventado en el captulo anterior los problemas tcnicos surgidos en el primero,
ha llegado la hora de revisarlo y culminar al fin nuestro primer objetivo: la construccin de una
extensin ordenada de R conteniendo ilimitados.
Nota. Fijamos para el resto del captulo F un ultrafiltro no principal sobre N (que existe por
2.25).


Observacin 3.1. Claramente RN , ,  es un anillo conmutativo con neutro 0 := (0)nN y
unidad 1 := (1)nN tomando

(rn )nN (sn )nN := (rn + sn )nN

(rn )nN  (sn )nN := (rn sn )nN

(rn )nN := (rn )nN

pues hereda las propiedades correspondientes de R. Sin embargo, no es un dominio de integridad (mucho menos un cuerpo), pues tomando r, s como en 1.13 (que son no nulos) nos queda
r  s = 0. De hecho, ninguna sucesin con algn trmino nulo es invertible.
Definicin 3.2. (vase 1.8) r, s RN , r s : Jr = sK F , con Jr = sK := {n N : rn = sn }, y
en tal caso se dice que r, s coinciden sobre un conjunto grande, o casi en todas partes modulo F ,
o en casi todo N.
Observacin. La relacin es de equivalencia en RN por construccin (vase 1.11), luego podemos considerar el conjunto de sus clases de equivalencia.
Definicin 3.3. El conjunto de los hiperreales: R := RN /.
Notacin. Denotaremos por [r ] la clase de equivalencia de asociada a r RN . Eventualmente,
y abusando de la notacin, si r = (rn )nN escribiremos [rn ] en lugar de [r ]. Por tanto, [r ] = [s] ssi
r s.


Teorema 3.4. La relacin es una congruencia sobre RN , ,  .
Demostracin. En efecto,

r r0
s s0

r s r 0 s0
r  s r 0  s0

pues

ya que

y hip
q
y q
Jr s = r 0 s0 K
r = r 0 s = s0 F
0
0
Jr  s = r  s K
rn = rn0
sn = s0n

rn + sn = rn0 + s0n
rn sn = rn0 s0n

15

Nota. 3.4 vale en general para cualquier filtro.

Corolario 3.5. La terna ( R, +, ) es un anillo conmutativo con neutro [0] y unidad [1] tomando

[r ] + [s] := [r s] = [(rn + sn )n ] = [rn + sn ]

[r ] [s] := [r  s] = [(rn sn )n ] = [rn sn ]

[r ] := [r ] = [(rn )n ] = [rn ]
Demostracin. 3.4 garantiza que nuestras operaciones estn bien definidas (i.e., que no dependen
del representante: [r ] = [r 0 ] , [s] = [s0 ] [r ] ? [s] = [r 0 ] ? [s0 ]), y es rutinario comprobar que R
hereda la estructura de anillo de RN , del mismo modo que sta heredaba la de R.
Ms en general,
Definicin 3.6. Sea f : Rk R una aplicacin k-aria en R y (ri )ik=1 RN . Definimos entonces

 

 

f : ( R)k R como f ([r i ])k
i k
f (rni )ik=1 n = f (rni )ik=1 .
i =1 := f (r )i =1 =
Lema 3.7. Si f es una aplicacin k-aria en R, entonces f est bien definida en R.
Demostracin. Siguiendo a 3.4,

i, rni = sin f (rni )ik=1 = f (sin )ik=1

luego
q
y q
y
ik=1 ri = si f (ri )ik=1 = f (si )ik=1
y por ende

i, ri si f (ri )ik=1 f (si )ik=1

Definicin 3.8. (vase 1.10) Dado R Rk una relacin k-aria en R y (ri )ik=1 RN , definimos


q
y
q
y
R ( R)k como R ([r i ])k
i k
i k
i k
i =1 : R (r )i =1 F , con R (r )i =1 := n N : R (rn )i =1 .
Lema 3.9. Si R es una relacin k-aria en R, entonces R est bien definida en R.
Demostracin. Siguiendo a 3.7,

i, rni = sin
R(rni )ik=1

R(sin )ik=1

luego
y por ende

q
y q
y
ik=1 Jri = si K R(ri )ik=1 R(si )ik=1

i, ri si
R ([r i ])k
i =1

R([si ])ik=1

Pregunta. Qu propiedades hereda R de R?

Observacin 3.10. Se tiene:
1. Si R es reflexiva, entonces r Dom R, JrRrK = N F y por ende R es reflexiva.

2. Si R es irreflexiva, entonces r Dom R, JrRrK =

/ F y por ende R es irreflexiva.
3. Si R es simtrica, entonces JrRsK = JsRrK y por ende R es simtrica.

4. Si R es antisimtrica, entonces JrRsK JsRrK Jr = sK y por ende R es antisimtrica.

5. Si R es transitiva, entonces JrRsK JsRtK JrRtK y por ende R es transitiva.
16

6. Si R es total, entonces Jr6 RsK JsRrK. Y como Jr6 RsK = JrRsKc (pues n JrRsKc rn6 Rsn ) y
JrRsKc F JrRsK
/ F (r, s)
/ R (por ser ultrafiltro), tenemos que R es total.
Nota. 1, 3, 4, 5 valen en general para cualquier filtro, y 2 nicamente utiliza que F es propio.
Corolario 3.11. La relacin es de orden total en R.
Notacin 3.12. Dado que r s [r ] = [s], de modo que = coincide con = en R, resulta natural
denotar simplemente por siempre que no haya peligro de confusin.
Teorema 3.13. El conjunto de los hiperreales con la estructura ( R, +, , [0] , [1] , ) es un cuerpo ordenado.
Demostracin. Por 3.5 y 3.11, slo nos falta demostrar que todo elemento no nulo [r ] tiene inverso
y que ( R, ) es ordenado:
(
rn1 , n Jr 6= 0K
F ultra
Como [r ] 6= [0] Jr = 0K
/ F Jr 6= 0K F , tomando sn =
0,
n Jr = 0K
obtenemos que [s] 6= [0] y [r ] [s] = [1] (pues Js 6= 0K = Jr  s = 1K = Jr 6= 0K F ), luego
[ s ] = [ r ] 1 .1
Como (R, ) es ordenado, se tiene: J0 rK J0 sK J0 rsK y Jr sK Jr + t s + tK,
luego [0] [r ] , [s] [0] [r ] [s] y [r ] [s] [r ] + [t] [s] + [t].

Nota 3.14. Recordamos que en todo cuerpo ordenado (K, ) podemos definir un valor
( absoluto.
x,
x0
Ms concretamente, podemos definir la aplicacin ||K : K K como | x |K :=
.
x, x < 0
Adems, puede probarse que todo valor absoluto satisface la desigualdad triangular y la desigualdad triangular inversa, i.e., que x, y K, || x | |y|| | x + y| | x | + |y|.
Observacin 3.15. Si || denota ||R , entonces || = || R .
Demostracin. Como J|r | = rK = Jr 0K, tenemos que [|r |] = [r ] [r ] [0], luego
(
[r ] ,
[r ] [ 0 ]

|[r ]| = [|r |] =
[r ] , [r ] < [ 0 ]

Nota. Recordamos que, como R y R son cuerpos y todo morfismo de cuerpos es inyectivo,
para probar que R es una extensin de cuerpos de R nos basta hallar un morfismo de cuerpos
: R R. Ahora bien, en tal caso tendremos en particular que (0) = [0], (1) = [1] y
(r ) = (s) r = s, lo que nos lleva a:
Teorema 3.16. La aplicacin : R R, r 7 [r], con r = (r )nN , es una extensin de cuerpos de R
que preserva el orden y, de hecho, cualquier relacin k-aria.
Demostracin. 1) Es claro de 3.5 que es morfismo y, por ende, una extensin de R.

k
q
y
/
F
2) Sea R Rk . Entonces R (ri ) i=1 R(ri )ik=1 F R(ri )ik=1 y, recprocamente,
q
y
R(ri )ik=1 R(ri )ik=1 = N F R( (ri ))ik=1 .
Notacin. Por tanto, identificaremos r R con (r ) R (del mismo modo que R , C identifica
x R con ( x, 0) C).
Corolario 3.17. Si R Rk , entonces R es una extensin de R.
1 Como ya notamos en 1.9, la definicin de r s es similar a la de f = g a.e., y de ah que no slo compartamos jerga,
sino tambin tcnicas: a saber, el hecho de slo tener que preocuparnos por lo que ocurre en casi todo punto.

17

Demostracin. Como R(ri )ik=1 R(ri )ik=1 si (ri )ik=1 R, tenemos que R Rk = R Rk =
R.
Notacin. Por tanto, podramos identificar R Rk con R ( R)k , y as lo haremos con cualquier
relacin concreta no unaria (como =, 6=, , >, etc., de modo que el abuso de notacin de 3.12 es
completamente legtimo y no da nunca lugar a confusin). El motivo por el cual no identificamos
todas las relaciones unarias con su extensin es para poder distinguir entre x R y x R.
Antes de estudiar algunos ejemplos particularmente interesantes de extensiones de relaciones, veamos que R cumple con todas nuestras expectativas:
Lema 3.18. Sea RN tal que +. Entonces [ ] R+
.
Demostracin. Por hiptesis, m N, n0 N, n Nn0 , n R>m , ergo m N, n0
N, J > mK {1, . . . , n0 1}c F co y, por el axioma de superconjunto, m N, J > mK
F co F (pues F es no principal). As, m N, [ ] > m, i.e., [ ] R+
.
Nota. 3.18 vale en general para cualquier filtro conteniendo F co y, en particular, para el propio
F co . Y como RN /F co es anillo por 3.4 (o por 1.12), obtenemos una construccin particularmente
simple de un anillo conteniendo ilimitados. Para ms informacin sobre ste, vase [La01].
Teorema 3.19. El cuerpo R de los hiperreales contiene ilimitados y, por 1.2.7, infinitesimales.
Demostracin. Tomando = (n)n en el lema, pues si m N y n m + 1, entonces n > m.
Nota 3.20. Anlogamente, podramos ver que:
1. [ ] R
, y tomar como ejemplo = ( n )n .
2. e 0 [e] R0 , e c00 [e] = 0 y # Je =0K < [e] 6= 0 (pues F no contiene
conjuntos finitos), y tomar como ejemplo e = n1 .
n

Corolario. R

R.

Demostracin. Como R L = ( R )c por 1.4, ningn elemento de R es de R

Observacin. Salvo en el teorema anterior, hasta ahora no habamos utilizado la no principalidad
de F , lo que nos lleva a sospechar:
Proposicin 3.21. Dado n N, sea K = RN /n , con r n s : Jr = sK F n . Entonces K
= R.

Demostracin. Por la observacin anterior ya sabemos que R , K es una extensin de cuerpos,

luego nos basta ver que [y] K, x R, ( x ) = [y]. En efecto, ( x ) = [y] Jx = yK F n ,
ergo tomando x = yn hemos terminado.

3.2.

Extensin de relaciones

3.2.1.

Subconjuntos

Observacin. Del mismo modo que hemos extendido R a R, resulta natural preguntarse si podemos extender A R a A R. Ahora bien, considerando el conjunto A como a una relacin
unaria sobre R, ya sabemos que sta se extiende a A de la manera siguiente: A([r ]) JA(r )K
F , i.e., [r ] A Jr AK F .
Pregunta. Dado que R

R,

cabe preguntarse si este es un hecho general. Es decir, A

siempre?

Ejemplo 3.22. Si = (n)nN , entonces J NK = N F y, por ende, [ ] N. Y como ya

vimos que [ ] R r R, tenemos en particular que [ ] N r N.
Ms en general, y siguiendo a 3.20.2:
Proposicin 3.23. Dado A R, se tiene: #A = ssi A r A 6= .
18

Demostracin. [] Por hiptesis existe r AN con todos sus trminos distintos, luego
(
,
s
/ {r n } n
s A, Jr = sK =
{ n 0 } , r n0 = s
y por ende s A, Jr = sK
/ F , i.e., [r ]
/ A. Y como obviamente Jr AK = N F , obtenemos
que [r ] A r A.
A es finito, digamos A = { ai }ik=1 .
[] (Por absurdo) Sea [r ] A r A y supongamos que


Entonces i, Jr AK , Jr = ai Kc F , ergo ik=1 Jr = ai Kc Jr AK F , donde claramente


ik=1 Jr = ai Kc Jr AK = !!!2
Definicin. Diremos que [ x ] es un
elemento no estndar de A ssi [ x ] A r A.
hipernatural ssi [ x ] N.
hiperentero ssi [ x ] Z.
hiperracional ssi [ x ] Q.
Corolario 3.24. A es infinito ssi A es infinito.
Demostracin. [] (Por contrarrecproco) Si A es finito, entonces A = A.
[] Si A es infinito, como A A, tambin lo es A.
Pregunta. Acabamos de ver que nuestras extensiones de conjuntos se comportan bien respecto del cardinal, pero qu hay del resto de operaciones conjuntistas?
Proposicin 3.25. Sean A, B R. Entonces:
1. A B A B.
2. A = B A = B.
3. ( A B) = A B.
4. ( A B) = A B.
5. ( Ac ) = ( A)c .
6. ( A r B) = A r B.
7. ( A B) = A B.
8. ( A2 ) = ( A)2 .
9. = .
Demostracin. En efecto,
1. [] Por 3.17, A = A R y B = B R, luego la hiptesis es concluyente (intersecando
por R).

[] Si r A, entonces Jr AK F . Y como Jr AK Jr BK por hiptesis, tenemos que

r B.
2. Obvio de 1, pues A = B ( A B) ( B A).
3. Por 2.15, nos basta ver que Jr A BK = Jr AK Jr BK. En efecto, n Jr AK Jr BK
ssi n Jr AK n Jr BK ssi rn A rn B ssi rn A B ssi n Jr A BK.

2 De hecho, esta ltima comprobacin nos sugiere que nuestras extensiones se comportan bien respecto de la interseccin, como veremos en breve.

19

4. Anlogamente, Jr A BK = Jr AK Jr BK, luego 2.13 concluye.

5. Como Jr AK = Jr Ac Kc ,3 tenemos que [r ] ( Ac ) Jr Ac K F Jr Ac Kc
/F
Jr AK
/ F [r ]
/ A [r ] ( A ) c .
6. Obvio de 4 y 5, pues A r B = A Bc .


y q
y q
y
q
y
q
7. Por 4, nos basta ver que r1 , r2 A B = r1 A r2 B . En efecto, n r1 A




q 2
y
q
y
r B ssi rn1 A y rn2 B ssi rn1 , rn2 A B ssi n r1 , r2 A B .
8. Obvio de 7, tomando B = A.
9. Como [r ] Jr K F y Jr K =
/ F , nos queda que = .

Notacin. Por tanto, podemos escribir homogneamente 5 como Ac y 8 como A2 .

Corolario 3.26. Si A Ac es finito, entonces A = A y Ac = Ac .
Nota 3.27. Por 2.16, es claro que 3 y 4 (y en particular 7) se extienden por induccin a colecciones finitas, y por 2.17, que una de las dos inclusiones es cierta para colecciones arbitrarias. Sin
embargo, y siguiendo a 2.26 y 3.23, es fcil hallar contraejemplos para la otra inclusin:
N = n {n} = n {n}, pero (n {n}) = N (que son distintos por ser N infinito).

(2N)c = n2N {n}c = n2N {n}c , pero (n2N {n}c ) = (2N)c (por De Morgan).
n2N {n}c = n2N {n}c 6= (n2N {n}c ).
Observacin. Siguiendo con la filosofa de 3.15, si a, b R y A R, entonces:
1. ( A ) = A , pues A ([r ]) = 1 J A (r ) = 1K F Jr AK F [r ] A
A ([r ]) = 1.
2. (R> a ) = ( R)> a , pues [ x ] (R> a ) Ja < xK F [ x ] ( R)> a .
3. ( A> a ) = (R>a A) = ( R)> a A = ( A)> a .
4. [ a, b] = (Ra Rb ) = ( R) a ( R)b = {[ x ] R : a [ x ] b}.
Notacin. Por tanto, podemos escribir homogneamente 3 como A> a .
Nota 3.28. 3.25 nos sugiere que, en cierto modo, JK preserva las conectivas lgicas del clculo
proposicional (e.g., pensando [r ] A B como a la conjuncin de las variables proposicionales
[r ] A, [r ] B). Y dado que [r ] A Jr AK F , ello nos sugiere que podemos transferir
de manera automtica ciertas propiedades de R a R.
De hecho, este ha sido bsicamente nuestro mtodo de trabajo desde 3.4 o, inclusive, desde
el captulo sobre filtros (pensando el axioma de superconjunto como a una suerte de modus ponens, el axioma de interseccin como a una caracterizacin de la conjuncin, y a la condicin de
ultrafiltro como a la ley del tercero excluido).
Antes de abordar esta cuestin en toda su generalidad y formalidad en la seccin siguiente,
estudiaremos primero otro ejemplo importante de extensin de relaciones.
3 Esta

igualdad es, de hecho, un caso particular de la vista en 3.10.6.

20

3.2.2.

Aplicaciones parciales

Observacin. Del mismo modo que R preserva la estructura algebraica y de orden de (R, +, , ),
cabe preguntarse si A preserva tambin la estructura de ( A, +, , ) (en caso de tenerla). Ahora
bien, como A R y por ende A R, nos basta ver:
Si A es cerrado bajo ? y [r ] , [s] A, entonces Js ? r AK Jr AK Js AK F , luego
A es cerrado bajo ?, donde ? es una operacin de A.
Si A es cerrado por opuestos y [r ] A, entonces Jr AK = Jr AK F , luego A es
cerrado por opuestos.
q
y
Si A es cerrado por inversos y [r ] A r {0} = ( A r {0}), entonces r 1 A
Jr A r {0}K F , luego A es cerrado por inversos.
Si A es un anillo (cuerpo) ordenado, entonces A tambin (argumentando como en 3.13).

Corolario. El conjunto Z es un subanillo ordenado de R. El conjunto Q es un subcuerpo ordenado

de R.
Nota. La observacin anterior nos invita a volver a 3.6 en vistas a la subseccin anterior, esto es,
a estudiar como podemos extender aplicaciones parciales de R (i.e., aplicaciones que no estn
definidas en todo R) o, ms en general, aplicaciones entre subconjuntos de potencias de R. Para
ello, recordamos primero que:
Una relacin (o correspondencia) R de A en B es un subconjunto de A B, que podemos
pensar como una relacin (m + k)-aria en R si A Rm , B Rk . Definimos el dominio e
imagen de R como:
Dom R := { x A : y B, R( x, y)}.
Im R := {y B : x A, R( x, y)}.
Una relacin funcional (o funcin) R de A en B es una correspondencia de A en B tal que
R( x, y), R( x, z) y = z, en cuyo caso es legtimo escribir R( x, y) como R( x ) = y. As, y
para evitar confusiones, denotaremos el conjunto R por G ( R), que denominaremos grafo
de R.
Una aplicacin f de A en B, notada f : A B, es una funcin de A en B tal que Dom f = A.
Notacin. Fijamos para el resto de la subseccin A Rm , B Rk .
Observacin. Se tiene:
Si R es una relacin de A en B, entonces R es una relacin de A en B, pues R A B
R ( A B ) = A B.
Si R es funcional, entonces JrRsK JrRtK Js = tK, luego R es funcional.
Si R es inyectiva, entonces JrRsK JtRsK Jr = tK , luego R es inyectiva.
Proposicin 3.29. Si R es una relacin de A en B, entonces:
1. (Dom R) = Dom R.
2. (Im R) = Im R.
Demostracin. 1) Recordemos primero de todo que:

[r ] Dom R Jr Dom RK F .

[r ] Dom R [s] B, R([r ], [s]).

[] Pongamos F = Jr Dom RK, de modo n F, rn Dom R, i.e., n F, sn B, R(rn , sn ).
Sea ahora s0 = (sn F (n))n . Entonces, por construccin:
21

F Js0 BK, ergo [s0 ] B al ser F F .

F JR(r, s0 )K, ergo R([r ], [s0 ]) al ser F F .

[] Obvio, pues JR(r, s)K Jr Dom RK.

2) Anlogamente.
Corolario. Si f es una aplicacin de A en B, entonces f es una aplicacin de A en B. Si f es adems
exhaustiva (i.e., Im f = B), entonces f tambin.

Observacin. La construccin
de s0 es

 paradigmtica: f : A B sek extiende a f : A

haciendo f ([rn ]) = f (rn )Jr AK (n) . En particular, tomando A = R , recuperamos 3.6.

Demostracin. Si [rn ] A = Dom f , imitando la demostracin

anterior (donde


 sn no es otra co
sa que f (rn )) obtenemos que [rn ], f (rn )Jr AK (n) G ( f ), i.e., f ([rn ]) = f (rn )Jr AK (n) .
Observacin. (vase 3.17) Si f es una aplicacin de A en B, entonces f es extensin de f (i.e.,
f  A = f ).
Notacin. Por tanto, podramos identificar f : A B con su extensin f : A B, y as lo
haremos siempre que no haya ambigedad. En particular, +, se escriben simplemente por +,
respectivamente, y coinciden exactamente con las operaciones introducidas en 3.5. Similarmente,
|| se escribe ||.
Nota. Un caso particularmente importante de aplicacin es aquel cuyo dominio es un subconjunto de N, y en tal caso decimos que f es una sucesin de B. Y dado que podemos identificar
f con su grafo, G ( f ) = {(n, b) A B : f (n) = b} = {(n, f (n)) : n A} = {(n, f (n))}n A , la
denotaremos por ( f n )n A , con f n = f (n), o simplemente ( f n )n si A = N ( f n )nn0 si A = Nn0 ,
con n0 N dado.
Corolario. Siempre podemos considerar trminos de ndices ilimitados de una sucesin real dada (vase
3.22).4
Nota. Siguiendo la filosofa de 3.28, la demostracin de 3.29 nos sugiere que JK tambin preserva
el cuantificador existencial y, por ende, cualquier frmula de primer orden sobre R. Formalizar
y verificar esta intuicin es el objetivo de la siguiente seccin.

3.3.

Principio de Transferencia

Nota. Para esta seccin supondremos cierta familiaridad con la asignatura Lgica Matemtica (vase anexo A).
Notacin. Fijamos para el resto de la seccin:
1. Un lenguaje L = (R, F , C) tal que
todo r R tiene asociado un elemento de C , pongamos cr .
toda aplicacin k-aria en R, f : Rk R, tiene asociado un elemento de F , pongamos
Ff .
toda relacin k-aria en R, A Rk , tiene asociado un elemento de R, pongamos R A
2. La L-estructura R de universo R tal que (cr )R = r, ( Ff )R = f , ( R A )R = A.
3. La L-estructura R de universo R tal que (cr )

= (r ) = [ r ], ( F f )

= f , (R A )

= A.

Observacin. Aunque no lo utilizaremos, es interesante notar que R es una subestructura de R

y que es un homomorfismo inyectivo de R en R.
4 Este

hecho ser fundamental para nuestro estudio no estndar de las sucesiones reales.

22

Definicin. Dada s una interpretacin en R, definimos su extensin a R como s0 : V R tal

que v 7 (s(v)).
Lema. Sean t Term(L), (ri )ik=1 RN , {vi }ik=1 V, s una interpretacin en R, s0 la extensin de s
a R, n = s(v1 |rn1 ) . . . (vk |rnk ), = s0 (v1 |[r1 ]) . . . (vk |[r k ]). Entonces (t) = [(n (t))n ].
Demostracin. Por induccin completa sobre la complejidad del trmino t:
Si t C , entonces (t) = t

= [(tR )n ] = [(n (t))n ].

Si t = vi , entonces (t) = [ri ] = [(rni )n ] = [(n (t))n ].

Si t V r {vi }ik=1 , pongamos t = v, entonces (t) = s0 (v) = [(s(v))n ] = [(n (t))n ].
Sea t = f t1 . . . tm , con f F de aridad m y t1 , . . . , tm Term(L) tales que (t j ) = [(n (t j ))n ]

(HI). Entonces, notando que f R = f R y usando 3.6, obtenemos: (t) = f

m




f R [(n (t j ))n ] j=1 = f R (n (t j ))m

j=1 n = [( n ( t ))n ].

HI

((t j ))m
j =1 =

Teorema. (de os, 1955) Sean Form(L), con L() = {vi }ik=1 , (ri )ik=1 RN , y , n como antes.
Entonces R |= [ ] ssi {n : R |= [n ]} F .
Demostracin. Por induccin completa sobre la complejidad de la formula :
1. Si = Rt1 . . . tm , con R R de aridad m y t1 , . . . , tm Term(L), entonces son equivalentes:
R

|= [].

R (por definicin).
((t j ))m
j =1 R


m

(n (t j ))n j=1 RR (por el lema, pues R R = RR ).


R F (vase 3.8).
n : (n (t j ))m
j =1 R

{n : R |= [n ]} F (por definicin).
2. Si = t1 t2 , con t1 , t2 Term(L), entonces son equivalentes:
R

|= [].

(t1 ) = (t2 ) (por definicin).

[(n (t1 ))n ] = [(n (t2 ))n ] (por el lema).

{n : n (t1 ) = n (t2 )} F (vase 3.2).
{n : R |= [n ]} F (por definicin).
3. Si = , con cumpliendo la propiedad (HI), entonces son equivalentes:
R

|= [].

6|= [] (por definicin).

/ F (por contrarrecproco de HI).

{n : R |= [n ]}

{n : R |= [n ]}c F (por ser ultrafiltro).

{n : R 6 [n ]} F (pues obviamente {n : R |= [n ]}c = {n : R 6 [n ]}).
{n : R  [n ]} F (por definicin).
4. Si = , con , cumpliendo la propiedad (HI), entonces son equivalentes:
R

|= [].

|= [] y R |= [] (por definicin).
23

{n : R |= [n ]} F y {n : R |= [n ]} F (por HI).
{n : R |= [n ]} {n : R |= [n ]} F (vase 2.15).
{n : R |= [n ], R |= [n ]} F (pues obviamente son el mismo conjunto).
{n : R |= [n ]} F (por definicin).
5. Sea = v, con cumpliendo la propiedad (HI), y distingamos casos:
a) Si v
/ L(), entonces son equivalentes:
R

|= [].
Existe [ a] R, R |= [ (v|[ a])] (por definicin).
R |= [ ] (por A.16, pues ( v |[ a ])  L ( ) =  L ( ) al ser v
/ L()).
{n : R |= [n ]} F (por HI).
{n : Existe b R, R |= [n (v|b)]} F (por A.16, pues n (v|b)  L() = n 
L() al ser v
/ L()).
{n : R |= [n ]} F (por definicin).
b) Si v L(), entonces son equivalentes:
R

|= [].
Existe [ a] R, R |= [ (v|[ a])] (por definicin).
Existe [ a] R, {n : R |= [n (v| an )]} F (por HI).5
{n : Existe b R, R |= [n (v|b)]} F (argumentando como en 3.29).6
{n : R |= [n ]} F (por definicin).

Corolario. (Principio de Transferencia, PdT) Si Sent(L), entonces R |= ssi R |= .

Demostracin. [] Por os, {n : R |= } F . Y como
/ F , obtenemos R |= .
[] Por hiptesis, {n : R |= } = N F , luego os concluye.
Para terminar, veamos algunos ejemplos sencillos de aplicacin del PdT, que ser nuestra
herramienta fundamental de trabajo durante la segunda parte de esta memoria.
Proposicin. Sean Form(L), con L() = {vi }ik=1 , A = {( a1 , . . . , ak ) Rk : R  [ a1 , . . . , an ]}.
Entonces A = {( a1 , . . . , ak ) Rk : R  [ a1 , . . . , an ]}.
Demostracin. Por hiptesis, R  v1 . . . vk ( Av1 . . . vk ), luego el PdT concluye.


Ejemplo. Q = pq1 : ( p, q) Z N
Observacin. Aplicando PdT a la sentencia n N, n 1, obtenemos que N0 = . Ms en
general:
Proposicin 3.30. Los nicos hipernaturales no estndar son los ilimitados.
Demostracin. Si k N es limitado (i.e., si n N, k < n), entonces k N (aplicando PdT
a m N(m n m = 1 m = n), pensando n como una constante de R),7 ergo
N r N = N (pues la otra inclusin es obvia) y por ende N r N = N .

 
que (v|[ a]) es la interpretacin que enva vi a ri si i 6= j, con j tal que v = v j , y que enva v j a [ a] (y
anlogamente con n (v| an )).
6 Ms explcitamente, n : R |= [ ( v | a )]} n : Existe b R, R |= [ ( v | b )]} tomando b = a , y recprocamente
{
{
n
n
n
n
tomando [ a] = [bn F (n)], con F = {n : Existe b R, R |= [n (v|b)]}.
7 Es decir, y ms formalmente, aplicando el PdT a R  m N( m c m = 1 m = c ), con c C tal que
n
n
n
(cn )R = n.
5 Ntese

24

Nota. Como insistiremos ms adelante, la idea de pensar n (o, en fin, cualquier variable cuantificada con anterioridad a la frmula en la que aplicamos el PdT) como una constante de R ser
esencial en nuestro desarrollo del anlisis no estndar.
Por otra parte, y como se puntualiza en [HeKe86], notamos que el PdT no se traduce en
cualquier teorema demostrable usando anlisis no estndar puede demostrarse sin l, sino en
cualquier teorema demostrable usando anlisis no estndar puede demostrarse en ZFC.
Por ltimo, observamos que el PdT trivializa los resultados de las dos secciones anteriores,
como por ejemplo que R es un cuerpo ordenado. Ello nos sugiere un camino alternativo a la
construccin de los hiperreales mediante ultrafiltros, a saber: el enfoque original de Robinson va
el teorema de compacidad de la lgica de primer orden. Para ms detalles, vase [En01, Section
2.8].

3.4.

Aritmtica y lgebra

Notacin. Retomando las notaciones de 1.1, y dado que N y R son vacos, escribiremos por
simplicidad N , R en lugar de N , R respectivamente. Y como N0 = , escribiremos I
en lugar de R0 .
Pregunta. En 1.2 vimos que {R , I, A} es una particin de R, pero cmo se comporta sta respecto
de la estructura algebraica de R?
Proposicin 3.31. Sean e, I, a, b A, H, K R . Entonces:
1. Suma:
a) e + I.
b) a + e A.
c) H + e R .
d) a + b L.
e) H + a R .
f) H + K est indeterminado.
2. Opuestos: I, R , A son cerrados por opuestos.
3. Productos: I, R , A son cerrados por productos y, adems,
a) ea I.
b) eH est indeterminado.
c) Ha R .
4. Inversos:
a)
b)
c)

1
e R si e 6 =
1
a A.
1
H I r {0}.

0 (en caso contrario no est definido).

Demostracin. 4a, 4c se vieron (ms en general, incluso) en 1.2.6, mientras que 4b es similar. 2 se
vio en 1.2.4.
3) Obvio, pues | x ||y| = | xy| y N es cerrado por productos.
n
3a) Por hiptesis, m N, |e|| a| < m1 | a| < m
, luego k N, |ea| < 1k (tomando m = nk).
m
3c) Por hiptesis, m N, | H || a| > m| a| > n , luego k N, | Ha| > k (tomando m = nk).
3b) Obvio, pues, e.g., 0 H = 0 I y e 1e = 1 A (con e 6= 0).8
8 Ms

4a, 3, 3c.

en general, H

1
H

= , H

1
Ha

= a, e

1
eK

= K, e

25

1
ea

= a, con

1
1
H , H a

I por 4c, 3, 3a y 1e K, 1e a R por

1a) Por hiptesis, n N, |e| + || < n1 + n1 , luego m N, |e + | |e| + || < m1 (tomando

n = 2m).
1b) Por hiptesis, n N, | a + e| | a| + |e| < n + n1 n + 1, luego a + e L. Anlogamente,
1,2.5

| a + e| || a| |e|| = | a| |e| >

1
n

1
n +1

1
, luego
n ( n +1)
1,2.5

a + e A.

1c) Por hiptesis, n N, | H + e| || H | |e|| = | H | |e| > n n1 n 1, luego m

N, | H + e| > m (tomando n = m + 1).
1d) Por hiptesis, n, m N, | a + b| | a| + |b| < n + m. Sin embargo, a + b puede ser
infinitesimal (e.g., tomando b = a + e, que es apreciable por 1b y 3).
1,2.5

1e) Por hiptesis, m N, | H + a| || H | | a|| = | H | | a| > m n, luego k N, | H +

e| > k tomando m = k + n.
1f ) Tomando K = H + e, K = H + a (que son de R por 1c, 1e, 2), K = H, obtenemos
todas las posibilidades (en el ltimo caso, porque H + H = 2H R por 3c).
Corolario. Las inclusiones de 1.4 son estrictas.
Demostracin. Si a R r {0} , e I+ , entonces a + e L r R (pues a + e L por 1b al ser
R r {0} A por 1.4, pero a + e R e = ( a + e) a R !!!). Por tanto, R
L y por ende
R r {0} A y R I L.
Observacin. Aunque I, R , A son cerrados por productos y opuestos, slo I lo es por la suma,
luego sera subanillo de R si tuviese unidad. No obstante, 1 A, cuya suma cae en L. Ahora
bien, como L = A ] I, es claro que L es cerrado por productos y opuestos (pues I, A lo son),
pero tambin por sumas (pues I lo es y ya dijimos que las sumas de A caen en L). Por tanto, L
es subanillo de R.
Por otra parte, como I, L son cerrados por la suma, cabe preguntarse si son ideales de R. Sin
embargo, como su producto con ilimitados es indeterminado o ilimitado (vase 3b y 3c), no es el
caso. Ahora bien, como I L y por ende (I, +) es subgrupo de (L, +), tenemos que I s es ideal
de L (por 3, 3a, pues L = A ] I), lo que motiva la siguiente definicin.
Definicin 3.32. Dados x, y R, decimos que x, y son infinitamente prximos, y escribimos
x ' y, ssi x y I. Adems, definimos el halo de x como hal( x ) := {y R : y ' x }.
Observacin. Aunque la observacin anterior ya nos da automticamente que ' es una relacin
de equivalencia en L (y, es ms, que L/' es un anillo), se tiene de hecho que ' es una relacin
de equivalencia en todo R (y, por tanto, que hal( x ) es la clase de equivalencia de ' asociada a
x R). En efecto, ' es reflexiva por ser 0 I, simtrica por la conmutatividad de ( R, +) y
transitiva por ser I cerrado por la suma. Ms an, el mismo argumento vale cambiando I por L,
lo que nos lleva a:
Definicin. Dados x, y R, decimos que x, y estn limitadamente distanciados, y escribimos
x y, ssi x y L. Adems, definimos la galaxia de x como gal( x ) := {y R : y x }.
Nota. Como es fcil de prever, el comportamiento de ser similar al de ' en varios aspectos.
Y dado que, de cara a la segunda parte del trabajo, estaremos ms interesados en ' que en ,
obviaremos los anlogos de .
Observacin 3.33. hal( x ) = {y : y ' x } = { x + (y x ) : y x I} = { x + e : e I} y hal(0) =
I.
Corolario 3.34. (vase 3.31) a L, hal ( a) L.
Pregunta. La relacin ' preserva la estructura algebraica y de orden de ( R, +, , )?
Proposicin 3.35. Sean x ' x 0 , y ' y0 (i.e., x 0 = x + e, y0 = y + con e, I). Entonces:
1. x 0 + y0 = ( x + y) + (e + ) ' x + y.
2. x 0 = x e ' x.
3. cx 0 = c( x + e) = cx + ce ' cx si c (R )c = L.
26

4. x 0 y0 = ( x + e)(y + ) = xy + x + ye + e ' xy si x, y (R )c = L.
5.

1
x0

1
x +e

1
x

e x(x1+e) '

1
x

si xx 0 6' 0.

Observacin. Si x ' x 0 , entonces xx 0 6' 0 ssi x 6' 0.

Demostracin. Como {R , I, A} es una particin de R, deducimos de 3.31 que: si xx 0 ' 0, entonces x ' 0 x 0 ' 0. Y como x ' x 0 , el reciproco tambin es cierto, luego xx 0 6
/ I ssi x, x 0
/I
0
0
(por contrarrecproco), donde x
/ I ssi x
/ I al ser x ' x (por contrarrecproco).
Corolario. La relacin ' es una congruencia en L.
Nota. Aunque no podemos esperar, como suceda con , que ' preserve cualquier aplicacin f ,
s podemos preguntarnos qu significa para f que se cumpla x ' x 0 f ( x ) ' f ( x 0 ), i.e., que las
imgenes de puntos infinitamente prximos sean infinitamente prximas. Ahora bien, cualquier
matemtico entrenado reconocer en tal formulacin la nocin de continuidad uniforme, y as lo
confirmaremos en Captulo 6.
Observacin. Dados x R, e I, a L, se cumple:
1. 0 x e x I.
2. 0 x a x L.
Demostracin. Obvio de 1.2.5 y de que {R , I, A} sea una particin de R.
Lema 3.36. Sean x, y, z R tales que x y z, x ' z. Entonces y ' x.
Demostracin. Por hiptesis, 0 y x z x ' 0, luego la observacin anterior concluye.
Observacin. Supongamos que x 0 ' x < y ' y0 . Entonces x ' y (o equivalentemente, x 0 ' y0 ) si
y < x 0 (por 3.36). Y por contrarrecproco, y x 0 si x 6' y (o equivalentemente, x 0 6' y0 ). Y como
y x 0 y0 x 0 ' y0 (por 3.36), hemos probado que:
Proposicin 3.37. Sean x 0 , x, y, y0 R tales que x 0 ' x < y ' y0 . Entonces x 0 < y0 si y0 6' x 0 (o,
equivalentemente, si y 6' x).
Nota. La proposicin vale trivialmente igual para , pues si x = y nunca se tiene y 6' x.
Observacin. Si r, s R distintos, entonces su diferencia cae en R r {0} A y, en particular,
r 6' s, luego:
Corolario 3.38. Sean r, s R tales que r 6= s. Entonces:
1. r < s a hal(r ), b hal(s), a < b (por 3.37).
2. a hal(r ), b hal(s), b a s r (por contrarrecproco).
3. s ' b r s r (tomando a = r).
Ejemplo 3.39. x ' y | x | ' |y|.
Demostracin. Pongamos y = x + e (y por ende x = y e), con e I. Entonces |y| | x | + |e|
|y| + 2 |e|, ergo |y| ' | x | + |e| ' | x | por 3.36.
Nota. Una de las propiedades definitorias de R que no podemos transferir a R es la propiedad
del supremo, pues involucra cuantificadores sobre P (R). Ahora bien, ello no significa que no podamos obtener consecuencias de ella, e.g., en la definicin de limitado (que sugiere fuertemente
su uso).
Teorema 3.40. a L, !b R, b ' a.
27

Demostracin. [] Recordemos, pues, que a L r, s R, r < a < s, de manera que R< a 6=

acotado superiormente por s y, por ende, b = sup R< a R. Entonces e R>0 , b e < a
b + e,9 luego e R>0 , e < a b e, i.e., e R>0 , | a b| e. Por tanto, a b I, i.e., a ' b.
[!] Si c R, a ' c, entonces c ' b por transitividad, luego c b R I = {0} y por ende
c = b.
Definicin 3.41. Dado a L, llamaremos sombra de a al nico real de su halo, y lo denotaremos
por sh a (de shadow).
Nota. Por 3.40, podemos descomponer cualquier a L de forma nica como suma de un real y
un infinitesimal, a saber: a = sh a + e, con e = a sh a I. De ah que la sombra de a sea tambin conocida como parte estndar de a (por analoga con la parte real e imaginaria del anlisis
complejo), denotada st( a).
La introduccin del trmino shadow al ingls se debe a Goldblatt, y como se explica en [Go98,
Section 5.4], proviene a su vez del ombre de la escuela francesa de anlisis no estndar fundada
por George Reeb, donde se denota por o a. Dicha escuela es tambin responsable del trmino halo,
siendo la denominacin y notacin de Robinson monad y ( a).
Observacin 3.42. Se tiene:
1. Por 3.40, la aplicacin sh : L R que enva cada limitado a su sombra est bien definida.
2. Por definicin de sombra, a L, hal( a) R = {sh a}.
3. Por tanto, dados a L, r R, se cumple: r ' a r = sh a.
4. En particular, r R, sh r = r (i.e., r R, hal(r ) R = {r }).
5. As, sh es exhaustiva (pues R L), i.e., Im sh = R.
6. Ms an, sh es un homomorfismo de anillos por 3, pues sh( a) ? sh(b) ' a ? b por 3.35.
7. Por tanto, L/ ker(sh)
= Im sh = R por el teorema de isomorfa, con ker(sh) = I por 3.
8. En particular, I es un ideal maximal de L y R
= aL hal( a)
]rR hal(r ).

a'sh a

aL hal(sh a)

Im sh=R

9. Por otra parte, el mismo argumento de 6 vale para cualquier f : An R que preserve ',
pues en tal caso f ( ai )in=1 ' f (sh ai )in=1 y, como Im( f  R) R, 3 concluye.
10. Finalmente, sh preserva el orden por 3.38.2 (con r = sh a, s = sh b, y discutiendo aparte el
caso r = s).

9 Recordatorio: 1) Por la minimalidad del supremo, b e < b t R , b e < t b.

<a
2) Como el supremo es cota, t R<a , t b. Pero b + e > b, luego b + e
/ R<a por absurdo.

28

Parte II

Anlisis

29

Captulo 4

Sucesiones
4.1.

Extendiendo definiciones

4.1.1.

Convergencia

Definicin. Decimos que s RN (o, si queremos ser ms explcitos, (sn )nN R) tiene lmite
(en R), o que converge (en R), ssi l R, e R>0 , ne N, n N>ne , |sn l | < e, y en tal
caso decimos que s tiene lmite l R (o que s converge a l R) y escribimos lmn sn = l (
n
sn l). En caso contrario, decimos que s diverge (en R).
n

Notacin. Por simplicidad, lmn sn = l y sn l significarn por defecto lmn sn = l y sn l.

Y siempre que no haya peligro de confusin (e.g., cuando la sucesin est indexada por un nico
subndice), escribiremos simplemente lm sn = l y sn l.
Nota. La gracia de haber introducido rigurosamente las nociones de infinitesimal e ilimitado es
que el anlisis ha nacido y se ha forjado con dichas ideas en mente. De ah que resulte completamente natural conjeturar que una sucesin converge a l ssi en el infinito es infinitamente prxima
a l, i.e.:
Proposicin 4.1. Sea s RN , l R. Se tiene: sn l N N , s N ' l.
Demostracin. [] Fijado N N , sabemos que s N ' l e R>0 , |s N l | < e. Ahora bien,
e R>0 , ne N tal que
m N> n e , | s m l | < e
y por PdT (pensando l, e, ne como constantes de R, fijndolos, vase 3.30)

m N> n e , | s m l | < e
En particular, |s N l | < e (pues k N, N N>k ). Y por la arbitrariedad de e, hemos
terminado.1
[] Fijado e R>0 , hemos de ver que n N, m N>n , |sm l | < e o, equivalentemente
(por PdT), que n N, m N>n , |sm l | < e. Ahora bien, N N , N> N N , luego
tomando n N tenemos por hiptesis que m N>n , |sm l | < e.
Definicin 4.2. Llamamos bola abierta en (R, ||) de centro c R y radio r R>0 al conjunto
Br (c) := { x R : | x c| < r } = (c r, c + r ).
Observacin. Otra manera de pensar |sn l | < e es como sn Be (l ), que podemos traducir a
nuestro contexto NSA (de Non-Standard Analysis) como sn hal(l ) si la pertenencia anterior es
1 Puesto que, obviamente, es lo mismo demostrar e R , s l < e que s l < e para un e R
|
| N
|
>0 | N
>0 arbitrario
fijado (y anlogamente con el existencial), en adelante seremos mucho ms directos a la hora de aplicar PdT, y a menudo
pasaremos directamente de frmulas del tipo e R>0 , ne N, m N>ne , |sm l | < e a frmulas del tipo e
R>0 , ne N, m N>ne , |sm l | < e (donde dicho paso consiste esencialmente en fijar las variables de la primera
parte de la frmula como constantes de R, de modo que la segunda parte es una sentencia a la que podemos aplicar PdT).

31

para todo e R>0 . De hecho, N N , s N ' l {s N } N N hal(l ), donde podramos

pensar (s N ) N N como la cola en el infinito de s en nuestro enfoque NSA. As, sn l ssi dicha
cola vive en un entorno infinitesimal de l (i.e., en el halo de l).
Nota. Como ya explicamos en la Introduccin, podemos entender la proposicin anterior como
una traduccin de nuestra definicin SA de convergencia a lo que bien podra ser una definicin
NSA de convergencia. La gracia de estas traducciones, y de manera similar a como sucede con el
anlisis complejo, es que nos permiten dar demostraciones alternativas de resultados SA, como
por ejemplo:
Corolario 4.3. (Unicidad del lmite) Si s RN converge a l, l 0 R, entonces l = l 0 .
Demostracin. (NSA) Dado N N , tenemos por hiptesis que l ' s N ' l 0 , luego l = sh s N = l 0
por 3.42.3.
Demostracin. (SA) Por hiptesis, e R>0 , n1 N, n N>n1 , |sn l | < 2e y e R>0 , n2
N, n N>n2 , |sn l 0 | < 2e , luego tomando n0 = max{n1 , n2 } tenemos que e R>0 , n0
N, n N>n0 , |l l 0 | = |l sn + sn l 0 | |l sn | + |sn l 0 | < 2e + 2e = e, ergo |l l 0 | = 0 y
por ende l = l 0 .
Nota. La simplicidad de la definicin NSA de convergencia nos facilita considerablemente jugar
con ella. Por ejemplo, qu significar en SA que N N , s N ' l? Intuitivamente, que l es
un lmite de s, pues no podemos asegurar que sea su (nico) lmite. Por otra parte, si N
N , s N ' l, tenemos en particular que N, M N , s N ' s M y que N N , s N L (por
3.34), lo que intuitivamente nos dice que s es de Cauchy y acotada respectivamente. Y si N
N , s N Lc = R ? Esto sera como decir que s converge a R . Etc. Abordemos, pues, todas
estas ideas, una por una:

4.1.2.

Divergencia a infinito

Definicin. Dado s RN , decimos que s diverge a +, y escribimos sn +, ssi m

N, n0 N, n Nn0 , sn R>m , y anlogamente con (cambiando R>m por R<m ). Adems, decimos que s diverge a , y escribimos sn , ssi m N, n0 N, n Nn0 , |sn |
R> m .
Nota. La idea es clara: s + ssi en el infinito, s es un ilimitado positivo. Ms formalmente:
Proposicin 4.4. Dado s RN , se tiene: sn + N N , s N R+
.
Demostracin. [] Por hiptesis, m N, n0 N, n Nn0 , sn R>m , luego m N, n0
N, n Nn0 , sn R>m por PdT y, en particular (pues k N, N Nk ), m N, n
N , sn R>m , ergo n N , sn R+
.
[] Fijado m N, hemos de ver que n0 N, n Nn0 , sn R>m o, equivalentemente
(por PdT), que n0 N, n Nn0 , sn R>m . Ahora bien, N N , N N N , luego
tomando n0 N cualquiera tenemos por hiptesis que n Nn0 , sn R>m .
Observacin. Por analoga, dado s RN , es fcil demostrar que:
s n n N , s n R
.
s n n N , s n R .

4.1.3.

Principio de desbordamiento

Observacin. Ntese que la demostracin de 4.4 es calcada a la de 4.1. De hecho, el mismo argumento demuestra que

n0 N, n Nn0 , R(sn ) n N , R(sn )

con R R una relacin unaria en R. Ms an, podemos cambiar n y R(sn ) por n1 , n2 , . . . , nk y
R(sni )ik=1 respectivamente, con k N y R Rk una relacin k-aria en R. Ms en general todava,
y con las notaciones de la seccin 3.3:
32

Proposicin 4.5. (Principio de overflow o desbordamiento para R) Sea Form(L), con L() =
{ni }ik=1 . Entonces R |= n0 (n0 N)n1 (n1 Nn0 ) . . . nk (nk Nn0 ) ssi R |= n1 (n1
N ) . . . nk (nk N ).
Demostracin. [] Por hiptesis, existe n0 N tal que R |= n1 (n1 Nn0 ) . . . nk (nk
Nn0 ). Y por PdT, R |= n1 (n1 Nn0 ) . . . nk (nk Nn0 ). Pero como n0 N, tenemos que N Nn0 , luego hemos terminado.
[] Dado n0 N cualquiera, tenemos que Nn0 N , luego, por hiptesis, R |=
n0 (n0 N)n1 (n1 Nn0 ) . . . nk (nk Nn0 ). Por tanto, PdT concluye.
Nota. El trmino overflow proviene de [Go98], si bien el trmino overspill tambin es habitual en
la literatura, cuando no se refieren a l simplemente como a uno de los varios principios de permanencia (denominacin de Robinson) o principios de Cauchy (denominacin de Luxemburg),
vase [HuLo85, Chapter 2, Theorem 7.1], que actan como diccionario entre ciertas propiedades
de R y R. Adems, el resultado es bastante ms general (incluso restringindonos a R), pudiendo cambiar N por cualquier conjunto interno de R, algo que no vamos a tratar en este TFG.
Notamos por ltimo que existen diversas formulaciones del mismo, aunque todas ellas comparten la misma filosofa: si una propiedad se cumple para valores mayores que una constante,
entonces se cumple para valores ilimitados.

4.1.4.

Acotacin

Definicin. Decimos que s RN est acotada inferiormente (en R) ssi k R, n N, sn k,

y superiormente ssi k R, n N, sn k. Adems, decimos simplemente que s est acotada
(en R) ssi es acotada inferior y superiormente (en R).
Nota. La idea es clara: s es acotada inferiormente ssi ninguno de sus trminos es un ilimitado
negativo.
Proposicin 4.6. Sea s RN . Se tiene: s es acotada inferiormente en R ssi n N, sn L R+
.
Demostracin. [] Fijado n N, o bien sn L, o bien, en caso contrario, sn Lc = R =

R+
] R . Ahora bien, por hiptesis k R, m N, sm k , ergo k R, m N, sm k por

PdT y, en particular, sn
/ R .
[] Por PdT, nos basta ver que k R, n N, sn k. Ahora bien, n N, sn L R+

por hiptesis, luego tomando k R

cualquiera hemos terminado (vase 1.2.1).
Observacin. Por simetra, s es acotada superiormente en R ssi n N, sn L R
.
Corolario. Sea s RN . Se tiene: s es acotada en R ssi n N, sn L.
Demostracin. Usando los dos resultados anteriores, tenemos por hiptesis que n N, sn

(L R+
la distributiva
dos veces, obtenemos que (L R+
) (L R ). Y aplicando
) (L
 +


+ L ) (R+ R ) =
R ) = L (L R ) R (L R ) = (L L ) (L R
)

(
R

L.
Observacin 4.7. Como n N, sn R L, tenemos que n N , sn A n
N, s L A al ser N r N = N , donde el recproco es trivial si L A. As, tomando
n

A { L R+
, L R , L}, obtenemos condiciones equivalentes de los resultados anteriores. Por
otra parte, notamos que podemos reformular n N , sn L R+
como @n N , sn
c
.
=
R
(L R+
)

Nota. Resultados anlogos pueden obtenerse para conjuntos. Por ejemplo:

Proposicin 4.8. Un conjunto A R es acotado (en R) ssi A L.
Demostracin. [] Por hiptesis, r R, a A, | a| r. Y por PdT, r R, a A, | a| r, i.e.,
A L.
[] (Por contrarrecproco) Si r R, a A, | a| > r, entonces r R, a A, | a| > r por
PdT. En particular (tomando r R ), a A r L.
33

Nota. A continuacin vamos a dar varias caracterizaciones del nfimo de un conjunto. La idea es
la siguiente: c es cota inferior de A ssi a A, c a ssi a A, c a (por PdT) ssi c es cota
inferior de A, luego lo interesante ser traducir el hecho de ser la mayor de todas ellas. Ahora
bien, intuimos que en tal caso, y slo en tal caso, c estar infinitamente prximo a algn elemento
a de A. Y como a + ke con k Z, e I+ es infinitamente prximo a a, ello ser equivalente a
que c sea infinitamente prximo a algn elemento que no es cota inferior de A.
Proposicin 4.9. Dado A R, c R, son equivalentes:
1. c es la mayor cota inferior real de A.
2. c es cota inferior de A y e R>0 , a A, a < c + e.2
3. c es cota inferior de A y x hal(c) que no es cota inferior de A.
4. c es cota inferior de A y a hal(c) A.
5. c es la mayor cota inferior de A.
Demostracin. [1 2] Dado e R>0 tenemos que c < c + e, luego c + e no es cota inferior de A
por hiptesis, i.e., existe a A tal que a < c + e.
[2 3] Por PdT, c es cota inferior de A y e R>0 , a A, a < c + e. En particular
(tomando e I+ ), a A, a < c + e, i.e., x = c + e hal(c) que no es cota inferior de A.
[3 4] Como x no es cota inferior de A pero c s, tenemos que a A, c a < x ' c (pues
x hal(c) por hiptesis), luego a ' c por 3.36.
[4 5] (Por absurdo) Si no, entonces c0 R>c cota inferior de A, luego d R>c cota
inferior de A por PdT. En particular, d a ' c, ergo d c por 3.38.3, en contra de d > c.
[5 1] Por PdT, c es cota inferior de A, luego nos basta ver que es la mayor real de todas
ellas. Sea, pues, c0 R cota inferior de A, que es cota inferior de A por PdT. Entonces c0 c por
hiptesis.
Definicin. Dado A R, decimos que A tiene nfimo (en R) ssi existe c R cumpliendo cualquiera de las condiciones anteriores, y en tal caso decimos que c es nfimo de A y lo denotamos
por nf A. Si adems nf A A, decimos que es mnimo de A y lo denotamos por mn A.
Nota. Cambiando mayor por menor e inferior por superior, se obtiene una versin anloga para
el supremo de A.

4.2.

Completitud

4.2.1.

Cauchy

Definicin. Decimos que s RN es una sucesin de Cauchy (en R) ssi e R>0 , n0

N, n, m Nn0 , |sm sn | < e.
Proposicin 4.10. Sea s RN . Se tiene: s es de Cauchy en R ssi n, m N , sn ' sm .
Demostracin. Caso particular de 4.5.
Lema 4.11. Toda sucesin de Cauchy es acotada.
Demostracin. (NSA) Por hiptesis, n0 N, n, m Nn0 , |sm sn | < 1, luego |s N | = |(s N
sn0 ) + sn0 | |s N sn0 | + |sn0 | < 1 + |sn0 | R si N N . Por tanto, N N , s N L.
Demostracin. (SA) Por hiptesis, n0 N, n, m Nn0 , |sn sm | < 1, luego |sn | |sn sn0 | +
|sn0 | < 1 + |sn0 | si n Nn0 . Por tanto, c = max{|s1 |, . . . , |sn0 1 |, 1 + |sn0 |} es cota de s.
2 Ms

compactamente, e R>0 , a A, 0 a c < e.

34

Nota. En esta ocasin, nuestro argumento NSA se basa en una definicin SA (o, si se quiere, en
la traduccin de una definicin NSA a una SA va 4.5). Invitamos al lector a dar un argumento
puramente NSA para convencerse de que, en ocasiones, es recomendable tener presente ambas
visiones del anlisis, y que nuestro objetivo no es tanto suplantar lo establecido como complementarlo, abriendo nuevos caminos y perspectivas. El siguiente resultado es un ejemplo ms
ilustrativo de ello.
Proposicin 4.12. (Criterio de convergencia de Cauchy) Sea s RN . Se tiene: s converge en R ssi s es
de Cauchy en R.
Demostracin. (NSA) [] Dados n, m N cualesquiera, tenemos que l R, sn ' l ' sm por
hiptesis.
[] Dado m N , tenemos que n N , sn ' sm por hiptesis y que sm L por el lema.
En particular, sm tiene sombra y n N , sn ' sm ' sh sm , luego lmn sn = sh sm .
Demostracin. (SA) [] Por hiptesis, l R, e R>0 , ne N, n Nne , |sn l | < 2e , luego
|sn sm | = |sn l + l sm | |sn l | + |l sm | < 2e + 2e = e si n, m ne para cualquiera que
sea e R>0 .
[] Esta implicacin es equivalente a la completitud de R, luego su prueba depende de como
hayamos caracterizado R (vase [Cl12]). Por ejemplo, y siguiendo el planteamiento de [Or02],
est propiedad es cierta por definicin de R.
Observacin. Para probar 4.12, el nico resultado (que no traduccin) que hemos utilizado es
3.40, que, por otra parte, se deduca directamente de la propiedad del supremo de R. Por tanto,
puesto que en la asignatura Anlisi Matemtica deducimos dicha propiedad de 4.12 (vase [Or02,
Teorema 1.11]), tenemos de hecho que las tres propiedades son equivalentes y que, por ende,
cualquiera de ellas caracteriza la completitud de R. De ah que 4.12 tambin se conozca como
Cauchy completitud, y la propiedad del supremo como Dedekind completitud.
As, y desde un punto de vista SA, lo que acabamos de dar es una demostracin particularmente simple (modulo 3.40) de que la Dedekind completitud implica la Cauchy completitud.
Una demostracin SA de este hecho puede encontrarse en [Or02, Exercicis 13, 14 de la secci I.2]
(va convergencia montona), [Ru80, Theorem 3.11] (va intervalos encajados) y [Cl12, Theorem
1.22], [Pe08, Teorema 7.29] (va Bolzano-Weierstrass).

4.2.2.

Dedekind

La observacin anterior nos sugiere que podemos deducir directamente de 3.40 la Dedekind
completitud de R.3 Pensemos en ello:
Nota. (Idea) Dado A R no vaco acotado superiormente, queremos ver que el conjunto C =
{c R : a A,a c} de cotas superiores
de A tiene mnimo en R. Y para ello, discretizamos

C usando An = k Z : nk C , que podemos cortar en un cierto punto para poder aplicar
el principio del primer elemento (pues dado a0 A, tenemos que na0 es cota inferior de An por


construccin). Obtenemos as mnn An n una sucesin racional de menores cotas superiores de
A de la forma nk , cuyo lmite ser, conjeturamos, sup A.
Proposicin. Sea A R no vaco acotado superiormente en R. Entonces A tiene supremo en R.

Demostracin. Sean A R no vaco, c R una cota superior de A y An = k Z : a A, a

k
n para todo n N. Entonces n N, a A, m N, an cn m por la arquimedianidad
de R, de modo que n N, An 6= . Por otra parte, como A 6= , podemos tomar a0 A,
y claramente An = {k Zna0 : a A, an k}, luego mn An Zna0 por el principio del
primer elemento y podemos considerar la sucesin (sn )n con sn = mn An .
3 Vista la observacin anterior, uno podra cuestionar el inters de dicha demostracin. Sin embargo, si uno quisiese
elaborar un curso de anlisis no estndar anlogo a [Or02], resultara natural caracterizar la completitud de R va 3.40 y
preguntarse entonces si no sera ms sencillo demostrar la Dedekind completitud directamente en lugar de a travs de la
Cauchy completitud.

35

Fijemos ahora N N y veamos que sNN L por absurdo. Supongamos, pues, que sNN
0
Lc = R (HA). Entonces, como n N, sn Zna0 por PdT, tenemos que sNN Na
N = a0 y
sN
sN

+
por ende N
/ R , luego N R por (HA). Por otra parte, se sigue de la minimalidad de s N y
+

PdT que a A, s NN1 < a, con s NN1 = sNN N1 R+

, luego a R , en contra de a A, a c
(por PdT).
Por tanto, podemos considerar l = sh sNN R. Ahora bien, como sNN N1 no es cota superior
de A y sNN N1 ' sNN ' l, nos basta ver (por 4.9.3) que l es cota superior de A para concluir
l = sup A. En efecto, dado a A tenemos a sNN por construccin, luego a l por 3.38.3.

4.3.

Propiedades lmites

Definicin 4.13. Si s, t RN , entonces s t : n0 N, n Nn0 , sn tn .

Observacin. (vase 4.5) Si s, t RN , entonces s t n N , sn tn .
Nota. La relacin es claramente reflexiva, transitiva y no total. Aunque no es antisimtrica,
dado que slo nos interesara el comportamiento lmite de las sucesiones (i.e., su comportamiento
para ndices arbitrariamente grandes), podemos pensarla como tal.


Pregunta. Cmo se comportan los lmites respecto de RN , , , ?
Proposicin 4.14. (lgebra de lmites) Si lmn sn = l R y lmn tn = l 0 R, entonces:
1. lmn (sn tn ) = l l 0 .
2. lmn (sn tn ) = ll 0 .


3. lmn s1n = 1l si l 6= 0.
Demostracin. (NSA) Trivial de 3.35 (en el ltimo caso, usando que R I = {0}). Por ejemplo,
fijado n N , tenemos que sn ' l y tn ' l 0 por hiptesis, luego sn tn ' ll 0 por 3.34 (o porque las
sucesiones convergentes son acotadas por 4.11 y 4.12).
Demostracin. (SA) Veamos el producto como ejemplo (el resto pueden encontrarse en [Or02, Teorema 1.7, 2.3]). Por 4.11 y 4.12, tenemos que k R, |sn | k, luego |sn tn ll 0 | |sn tn sn l 0 | +
|sn l 0 ll 0 | = |sn ||tn l 0 | + |l 0 ||sn l | k|tn l 0 | + |l 0 ||sn l |. Y como por definicin de lmite
e
n0 N, n Nn0 , |tn l 0 | < 2k
, |sn l | < 2|el 0 | , hemos terminado.
Nota. Aunque no vamos a entrar en ello, el lgebra de lmites se extiende de manera natural para
l, l 0 R {+, , }, vase [Or02, Teorema 2.9].
Observacin. Con las notaciones de 4.14, si n N, tn = c, con c R cualquiera, entonces
lm tn = c (por PdT, si se quiere) y por ende lmn (sn c) = l c y lmn (sn c) = lc. Por otra parte,




0
lmn stnn = lmn tn s1n = ll si l 6= 0. Finalmente, notamos que lmn (sn tn ) = 0 ssi l = l 0 .
Nota. Si bien es verdad que la versin NSA se basa fuertemente en un resultado anterior, tambin
lo es que dicho resultado es intuitivamente claro, mientras que la demostracin SA posiblemente
no lo parezca tanto (salvo, claro, que uno se percate de su idea de fondo: rn l ssi rn l 0, y
sn tn 0 si sn 0 y t es acotada). De hecho, una de las gracias del anlisis no estndar es que
nos permite algebraizar muchas demostraciones, cambiando epsilons y desigualdades por la
congruencia (en L) ser infinitamente prximo '. En particular, podemos traducir a nuestro
contexto actual resultados como 3.39:
Proposicin 4.15. Si (sn )n converge en R, entonces (|sn |)n tambin y lm |sn | = |lm sn |.
Demostracin. (NSA) Por hiptesis, n N , sn ' l, luego n N , |sn | ' |l |.
Demostracin. (SA) Por hiptesis, e R>0 , n0 N, n Nn0 , e > |sn l | ||sn | |l ||.
Nota. Para no aburrir al lector, en adelante slo daremos las demostraciones SA cuando consideremos la diferencia relevante.
36

Observacin. El recproco es falso en general: (1)n

bargo:

n




no converge, pero (1)n  n s. Sin em-

Observacin 4.16. Dado s RN , se tiene: sn 0 ssi |sn | 0.

Demostracin. [] Si N N , entonces |s N | ' 0 por hiptesis, luego s N ' 0 por 1.2.4.
Proposicin 4.17. Sean s, t RN convergiendo en R a l, l 0 respectivamente. Se tiene: s t l l 0 .
Demostracin. (NSA) Si n N , entonces l ' sn tn ' l 0 por hiptesis, luego l = sh sn
sh tn = l 0 por 3.42.
Demostracin. (SA) Como sn l, tenemos que e R>0 , n0 N, n Nn0 , l 2e < sn <
l + 2e , y anlogamente con tn l. Y como s t, tenemos que e R>0 , n1 N, n
Nn1 , l 2e < sn tn < l 0 + 2e , luego e R>0 , l < l 0 + e y por ende l l 0 (pues en caso
contrario llegaramos a contradiccin tomando e = l l 0 ).
Lema 4.18. (del sndwich) Sean r, s, t RN tales que r s t, con r, t convergiendo en R a l. Entonces
sn l.
Demostracin. (NSA) Como antes, n N , l ' rn sn tn ' l, luego s est acotada (pues
r, t lo estn por ser convergentes) y por ende tiene sombra. Y como sh preserva el orden, hemos
terminado.
Corolario 4.19. Dados A R, c R, se tiene: c = nf A ssi c es cota inferior de A y existe (sn )n A
tal que sn c.
Demostracin. [] Por 4.9.2, n N, sn [c, c n1 ) A. Y como n1 0, se sigue del lgebra de
lmites y el lema del sndwich que sn c.4
[] Dado N N tenemos que s N A hal(c), luego c = nf A por 4.9.4.
Nota 4.20. En [] hemos utilizando la caracterizacin SA del nfimo. Por lo general, los resultados que involucren la construccin de sucesiones reales pasarn por argumentos SA, puesto
que necesitamos bajar de alguna manera de (s N ) N N (o ms en general, de a hal(c) A) a
(sn )nN , de modo similar a como suceda en 4.11. Esta limitacin, no obstante, podra solventarse
parcialmente de dos maneras diferentes:5
Encapsulando dicho argumento, ya sea por analoga con 4.5 (vase 4.25) o bien estudiando
dichas construcciones con ms detalle (vase 5.1), lo que nos llevara a estudiar las propiedades topolgicas de R desde un punto de vista NSA en el captulo prximo.
Introduciendo nuevas y ms potentes herramientas del anlisis no estndar, como los principios de permanencia, compresin y saturacin (vase [Go98, Chapter 15]). Dicho estudio
podra iniciarse a travs de la natural pregunta existe un anlogo del Principio de Transferencia para estructuras de universo P (R) o, ms en general, P ( X )?, lo cual nos llevara
a la nocin de conjunto interno, vase [Go98, Part III].
Con el fin de mantener un equilibrio entre la fundamentacin lgica y sus aplicaciones al anlisis,
as como motivar las susodichas generalizaciones, hemos optado por la primera opcin.
hecho, N N , c s N c N1 ' c por PdT, luego podemos deducir sn c de 3.36 sin hacer mencin
explicita del lgebra de lmites o el lema del sndwich (quiz, incluso, de manera ms clara).
5 Digo parcialmente porque la cuestin no es del todo trivial, como se discute con ms detalle en [BeNe07, Article
4].
4 De

37

4.4.

Puntos lmites

4.4.1.

Rudimentos

Definicin 4.21. Decimos que l R es un punto lmite de s RN ssi e R>0 , # Js Be (l )K =

.
Observacin 4.22. Dados l R, s RN , se tiene: l es un punto lmite de s ssi e R>0 , m
N, n N>m , sn Be (l ).
Demostracin. [] Fijados e R>0 , m N, supongamos que @n N>m , sn Be (l ). Entonces
Js Be (l )K {1, . . . , m 1}, en contra de # Js Be (l )K = .
[] Fijado e R>0 , y por hiptesis, n1 N>1 , sn1 Be (l ) y n2 N>n1 , sn2 Be (l ) y
etc.
Proposicin 4.23. Dados l R, s RN , se cumple: l es punto lmite de s ssi N N , s N ' l.
Demostracin. [] Fijados e R>0 , m N, tenemos que N N (y por ende N > m) tal
que s N ' l (y por ende s N Be (l )), i.e., n N>m , sn Be (l ). As, aplicando PdT, hemos
terminado.
[] Por hiptesis y PdT, e R>0 , m N, n N>m , |sn l | < e, luego tomando
m N y e I+ obtenemos que n N , |sn l | < e ' 0, luego 3.36 concluye.
Nota. De hecho, tomando ahora m1 > n en la demostracin anterior y aplicando de nuevo la
hiptesis transferida,

obtendramos n2 > n tal que sn2 ' l. Y por iteracin (poniendo n1 = n),
construiramos snk kN tal que nk N , k N, nk < nk+1 y snk ' l. Ello nos sugiere:
Corolario 4.24. Dado l R, s RN , se tiene: l es punto lmite de s ssi s tiene una parcial convergiendo
a l.
Demostracin. [] Obvio va PdT, usando la caracterizacin 4.23.
[] Por hiptesis (usando la caracterizacin 4.22), n1 N>1 , sn1 B1 (l ) y n2 N>n1 , sn2
B 1 (l ) y n3 N>n2 , sn3 B 1 (l ) y etc. Por tanto, existe (sk )k parcial de s tal que k N, 0
2

|sk l |
sk l.6

4.4.2.

1
k,

luego |sk l | 0 por el lema del sndwich y, por 4.16 y el lgebra de lmite,

Principio de subdesbordamiento

Observacin. Ntese que la caracterizacin NSA de punto lmite es muy similar a la de lmite, lo
que nos sugiere la posibilidad de un anlogo existencial para 4.5. En efecto, analizando detenidamente la demostracin de 4.23 podemos concluir que:

m N, n N>m , R(sn ) n N , R(sn )

con R R una relacin unaria en R. Ms en general todava, y con las notaciones de la seccin
3.3:
Proposicin 4.25. (Principio de underflow o subdesbordamiento para R) Sea Form(L), con
L() = {n}. Entonces R |= m(m N)n(n N>m ) ssi R |= n(n N ).
Demostracin. [] Por hiptesis y PdT, R |= m(m N)n(n N>m ), luego particularizando a m N y usando que N>m N , se obtiene: R |= n(n N ).
[] Dado m N cualquiera, tenemos que N N>m , luego R |= n(n Nm ) por
hiptesis. Y por PdT, R |= n(n Nm ), ergo R |= m(m N)n(n N>m ) por la
arbitrariedad de m.
6 De hecho, K N , 0 s l 1 ' 0 por PdT, luego (como en 4.19) podemos deducir s 0 de 3.36 sin hacer
| K
|

k
K
mencin explicita del lgebra de lmites o el lema del sndwich.

38

Nota. Enunciamos el principio para una nica variable libre, como de hecho es usual en la
literatura, por simplicidad. Por otra parte, y siguiendo 4.22, podramos ver que la condicin
# {n : R  [n]} = es equivalente a las anteriores. En cuanto a la caracterizacin 4.24, dado
que involucra la existencia de una infinidad de naturales (en forma de ndices de una parcial
con ciertas propiedades) o, si se prefiere, la existencia de una funcin f : N N (estrictamente
creciente tal que n N, s f (n) R), nos es imposible siquiera enunciarla en R (pues no es una
frmula de primer orden). Por ltimo, y como en 4.5, el trmino underflow proviene de [Go98] y
se utiliza con cierta laxitud.

4.4.3.

Bolzano-Weierstrass y monotona

Definicin. Sean ( X, ) un conjunto ordenado y ( xn )n X. Decimos que ( xn )n es:

creciente, y escribimos xn , ssi n N, xn  xn+1 .
estrictamente creciente, y escribimos xn , ssi n N, xn xn+1 .
decreciente, y escribimos xn , ssi n N, xn  xn+1 .
estrictamente creciente, y escribimos xn , ssi n N, xn  xn+1 .
En lo que a nosotros respecta, los conjuntos ordenados que nos interesan son (P (R), ) y
(R, ).
Definicin. Decimos que ( In )n es una sucesin de intervalos encajados ssi es una sucesin de
intervalos cerrados no vacos tales que In y | In | 0.
Observacin. Si l R es punto lmite de s RN , entonces N N , s N ' l, ergo l = sh s N (vase
3.34, 3.40, 3.42). Recprocamente, si N N , s N L, entonces sh s N existe y, obviamente, es
punto lmite de s. Por tanto,
Proposicin 4.26. Si s RN y Ls es el conjunto de los puntos lmites de s, entonces Ls = {sh s N :
s N L } N N .
Teorema. (de Bolzano-Weierstrass) Toda sucesin acotada en R tiene un punto lmite y una parcial convergiendo a l.
Demostracin. (NSA) Sea N N . Como s es acotada, tenemos que s N L, luego sh s N es punto
lmite de s y, por 4.24, s tiene una parcial convergiendo a l.
Demostracin. (SA,
i [Or02, hTeorema
i 2.12]) Por hiptesis, a, b R, (sn )n [ a, b]. Pongamos
h vase
I1 = [ a, b] , J1 = a, a+2 b , K1 = a+2 b , b , J10 = {n : sn J1 }, K10 = {n : sn K1 }. Entonces, como
I1 = J1 K1 , o bien #K10 = , en cuyo caso tomamos I2 = K1 , o bien, en caso contrario, #J10 =
|I |

y tomamos I2 = J1 . As, I2 I1 , | I2 | = 21 y I2 contiene infinitos trminos de (sn )n . E iterando

el proceso, obtenemos una sucesin ( In )n de intervalos encajados conteniendo infinitos trminos
de (sn )n .
Ahora ya estamos en condiciones de construir nuestra parcial convergente:
1. #I10 = + n1 I10 , sn1 I1 .
2. #I20 = + n2 I20 , sn2 ( I2 )>n1 .
3. etc.
As, por construccin, snk

k

es una parcial de (sn )n y k N, snk Ik , con | Ik | 0, de modo que

In

e R>0 , k0 N, k Nk0 , | Ik | < e. Por tanto, i, j Nk0 sni , sn j Ik0 |sni sn j |

snk Ik




| Ik0 | < e, i.e., snk k es de Cauchy y, en particular, converge. Ms an, snk k converge a un punto
lmite de s por 4.24.
39

Nota. Por 4.26, una sucesin s tiene algn punto lmite ssi N N , s N L (i.e., ssi s no
diverge a ). Sin embargo, en el teorema de Bolzano-Weierstrass utilizamos la hiptesis mucho
ms fuerte N N , s N L (i.e., s es acotada). Por tanto, podemos refinarlo a:
Corolario. Si s no diverge a , entonces tiene un punto lmite y una parcial convergiendo a l.
Observacin. Si s RN converge en R, entonces tiene un nico punto lmite. Recprocamente, si
s RN tiene un nico punto lmite, digamos l R, entonces N N , s N hal(l ) Lc . Por
tanto,
Proposicin 4.27. Sea s RN , l R. Se tiene: sn l ssi s es acotada y tiene un nico punto lmite.
Nota. Esto tambin puede probarse por Bolzano-Weierstrass, ya que si s es acotada, entonces
tiene punto lmite y, por unicidad, converge a l.
El resultado anterior nos sugiere:
Teorema 4.28. (de convergencia montona) Sea s RN acotado inferiormente en R tal que sn . Entonces sn nf{sn }n .
Demostracin. (NSA) Sea l R un punto lmite de s (que existe por Bolzano-Weierstrass, pues s
est acotada inferiormente por hiptesis y superiormente por s1 R al ser sn ) y veamos que
l = nf{sn }n , de modo que sn l por 4.27.7 En efecto:
Como n N, sn s N ' l por ser sn , obtenemos que n N, l sn .
Si l 0 R es otra cota inferior de s, entonces n N, l 0 sn por PdT y, en particular,
l 0 s N ' l, luego l 0 l.

Demostracin. (SA, vase [Or02, Corollari 1.13]) Sea l = nf{sn }n , que existe por la Dedekind
completitud de R al ser s acotado inferiormente, y veamos que sn l. Por definicin de nfimo,
e R>0 , ne N, sne [l, l + e) y n N, sn l, luego e R>0 , ne N, n N>ne , l
sn

sn sne < l + e. Y restando l a banda y banda, nos queda: e R>0 , ne N, n N>ne , 0

sn l = |sn l | < e.
Corolario 4.29. Dado a (0, 1), se cumple: lmn an = 0.
Demostracin. (NSA) Pongamos s = ( an )n , que es claramente decreciente y acotada inferiormente
por 0.8 Entonces l R, sn l por 4.28, ergo a N ' l ' a N +1 si N N (pues N N
N + 1 N ). Y como a N +1 = aa N (aplicando PdT a n N, an+1 = aan ), tenemos que l '
a N al ' aa N = a N +1 ' l (ya que a R L, vase 3.35) y por ende al = l (al ser ambos reales
del mismo halo). Pero a 6= 1 por hiptesis, luego necesariamente l = 0.
Demostracin. (SA) Como antes, l R, sn l. Y por la unicidad del lmite, lmn an = lmn an+1 .
Ahora bien, lm aan = a lm an por 4.14, luego l = al y se concluye como antes.
Nota. Por supuesto, uno puede demostrar el resultado anterior sin necesidad de aplicar el teorema de convergencia montona, vase [Pe08, Ejercicio 7.4].
Teorema 4.30. (de los intervalos encajados) Si ( In )n es una sucesin de intervalos encajados, entonces
#(n In ) = 1.
Demostracin. Pongamos In = [ an , bn ], a = sup an , b = nf bn . Como In , tenemos que an ,
luego an a al estar ( an )n acotada superiormente por b0 . Y por analoga, bn b. Y como
n N, an bn , nos queda que a b y por ende [ a, b] 6= y n In = [ a, b].9 Finalmente, como
| In | 0, tenemos que a = b por 4.16 y el lgebra de lmites.
7 Una alternativa a esto (quiz ms directa) podra ser la siguiente: como s es acotada, tenemos que N
N , sh(s N ) R, luego nos basta ver que sh s N no depende de N (e.g., demostrando que sh s N = nf{sn }n ).
8 Ms

z >0

explcitamente, x < y xz < yz, pues xz < yz 0 < xz yz = ( x y)z, lo que es cierto si x < y, 0 < z por
los axiomas de cuerpo ordenado. As, 0 < a 0 < a2 y a < 1 a2 < a < 1, concluyendo por induccin.
9 Ms explcitamente, [] Si c I , entonces a c b y por ende c [ a, b ] (tomando lmites).
n
n
n
[] Por definicin de a, b, tenemos que n N, an a, b bn . Y como a b, hemos terminado.

40

4.4.4.

Lmite superior e inferior

Proposicin 4.31. Si s RN es acotada y Ls es el conjunto de los puntos lmites de s, entonces Ls tiene

mnimo.
Demostracin. Por Bolzano-Weierstrass ya sabemos que Ls 6= , y por 4.26 tenemos que Ls =
{sh s N : N N }. As, si c es una cota inferior de s, tenemos por PdT que c s N ' sh s N , luego
c tambin es una cota inferior de Ls . Por tanto, Ls tiene nfimo en R por la Dedekind completitud.
Ms an, como e R>0 , l Ls , 0 l nf Ls e por 4.9.2, tenemos que e R>0 , N
N , 0 sh s N nf Ls e por PdT, luego N N , sh s N = nf Ls tomando e I+ y aplicando
3.36. As, nf Ls Ls .
Nota. Para una demostracin SA de este resultado, vase [Or02, Teorema 2.13], que consiste en
demostrar que la sucesin construida en el teorema de Bolzano-Weierstrass converge al mnimo
de Ls .
Definicin 4.32. En las condiciones anteriores, definimos el lmite inferior de s como lms :=
mn Ls .
Y traduciendo ahora al lenguaje SA va los principios 4.5 y 4.25:
Proposicin 4.33. Si s RN es acotada, se cumple: l = lms ssi
1. e R>0 , n0 N, n Nn0 , l e < sn .
2. e R>0 , m N, n N>m , sn < l + e.
Demostracin. [] 1) Fijemos e R>0 . Como l es cota inferior de Ls , tenemos que n N , l
e < l sh sn ' sn , luego n N , l e < sn por 3.38.1. As, 4.5 concluye.
2) Obvio de 4.22, pues l Ls .
[] Por hiptesis, e R>0 , m N, n N>max{m,n0 } , l e < sn < l + e, luego l Ls por
4.22. Y por 4.5 e hiptesis, e R>0 , N N , l e < s N , luego tomando e I+ (por PdT) y
aplicando sh a banda y banda, obtenemos que l es cota inferior de Ls .
Nota. Resultados anlogos pueden obtenerse para lms := max Ls el lmite superior de s. En
particular:
Corolario. Dado s RN acotado, e R>0 , n0 N, n Nn0 , sn (lms e, lms + e).
Nota. Para una demostracin SA de 4.33, vase [Or02, Teorema 2.14].
Volviendo de nuevo sobre 4.31, es claro que:
Proposicin. Sea s RN acotado, l R. Se tiene: lms = lms = l sn l.
Demostracin. [] Como mn Ls = lms = lms = max Ls , tenemos Ls = {l }. Y como s es
acotada, sn l.
[] Si sn l, entonces Ls = {l } y por ende lms = lms = l.
Observacin. Del mismo modo que Ls es no vaco y acotado si s RN es acotado, tambin
lo son las colas de s, luego m N, nf{sn }nNm R por la Dedekind completitud. Ms an,
poniendo Sm = nf{sn }nm y S = (Sm )m , tenemos que S es creciente y acotada superiormente por
cualquier cota superior de s, ergo lm Sm = sup{Sm }m por el teorema de convergencia montona.
Afirmo entonces que:
Proposicin 4.34. Con las notaciones anteriores, lms = lm S.10
10 Ms explcitamente, nf L = nf{sh s }
s
N N N = sh nf{ sn }n M = lmm nf{ sn }nm para cualquier M N , lo que
nos da una suerte de de conmutatividad entre nf y sh.

41

Demostracin. [] Por 4.31, N N , lms ' s N . Y por definicin de Sm y PdT, m N, n

N
m , Sm sn y, en particular, m N, Sm s N ' lms, ergo lms es cota superior de S por
3.38.3. Pero lm S = sup{Sm }m , i.e., es la menor cota superior de S, luego lm S lms.
[] (Por absurdo) Supongamos que lm S < lms, de modo que e R>0 , lm S < lms e.
Por 4.33, m N, n Nm , lms e < sn , i.e., lms e es cota inferior de {sn }nm , luego
lms e Sm por definicin de Sm . As, lm S < Sm , en contra de que lm S sea cota superior de
S.
Definicin 4.35. Aunque inicialmente hemos definido lms nicamente para s RN acotado,
resulta natural extender nuestra definicin a s RN cualquiera de la siguiente manera:
1. Si s no est acotado inferiormente, entonces N N , s N R
y ponemos lms = .
2. Si no, s est acotado inferiormente (y por ende Ls ) y se da uno de los siguientes:
a) sn +. Entonces Ls = y ponemos lms = +.
b) sn 6 +. Entonces Ls 6= y podemos definir lms como en 4.32.

4.5.

Series

Definicin. Decimos que S es la serie asociada a s RN (o de trmino general sn ) ssi S es la

sucesin de sumas parciales de s (i.e., S = (m
n=1 sn )m1 ), y la denotamos por n1 sn n sn . Si
s
a su lmite.
n sn es convergente, denotamos por
n
n =1
Ejemplo. (Serie geomtrica) Dado c R, sea Sn = nk=1 ck . Entonces Sn cSn = c cn+1 y, por
c c N +1
c n +1
ende, Sn = c1
c , con n N cualquiera. Por tanto, N N , S N = 1c por PdT. Y si | c | < 1,
entonces |c|n 0 por 4.29, luego cn 0 por 4.16. As, S N =

c c N +1
1 c

'

c
1 c ,

i.e., lm Sn =

c
1 c .

Antes de continuar, insistimos en que las series son un caso particular de sucesin, de modo
que todos los resultados anteriores pueden enunciarse para series. Por ejemplo:
Proposicin. (Criterio de convergencia de Cauchy) k sk converge ssi n, m N , m
k =n sk ' 0.
Nota. Por simplicidad, cuando escribamos m
k =n sk supondremos siempre que m n. De hecho,
si asumimos el convenio de la suma vaca (i.e., m
k =n sk = 0 si m < n), dicha suposicin es
innecesaria.
Corolario. Si k sk converge en R, entonces n N , nk=n sk ' 0, i.e., sn 0.
Demostracin. Tomando m = n en el criterio anterior.
Pregunta. Es el recproco cierto?
Ejemplo. (Serie armnica) Claramente 1k 0 (pues H R , H1 I), luego nos bastara ver que
k 1k no converge para responder negativamente a la pregunta anterior. Ahora bien, como 1k ,
m
1
1
m n +1
podemos acotar inferiormente m
mmn , con m n. As, tenemos
k =n k por k=n m =
m
2n 1
1
1
que k=n k 2 , ergo k k no converge.
Nota. Es interesante observar que explotar las indeterminaciones de 3.31 ha sido lo que nos ha
permitido hallar un m adecuado.
Observacin. Si (sn )n [0, ), entonces m
n=1 sn y, por el teorema de convergencia montona,
s
converge
ssi
s
est
acotado
superiormente.
n n
n n
Nota. De hecho, nosotros ya sabemos que si n sn converge entonces es acotada y, en particular,
acotada superiormente, luego lo novedoso es el recproco. Por otra parte, como (sn )n [0, ),
ya tenemos que n sn est acotada inferiormente por 0 (o mejor an, por s1 , pues m
n=1 sn m ),
luego n sn es acotada ssi lo es superiormente.
42

Corolario. (Criterio de comparacin) Sean (sn )n , (tn )n [0, ) tales que n N, sn tn . Se tiene:
Si n tn converge, entonces n sn tambin.
Demostracin. Usando la observacin anterior, pues n sn est acotada superiormente por n tn ,
que est a su vez acotada por ser convergente
Proposicin 4.36. (Refinamiento) Sean s, t RN tales que c R0 , 0 s ct. Entonces n sn es
convergente si n tn lo es.
Demostracin. Por hiptesis, n0 N, n Nn0 , 0 sn ctn (vase 4.13), luego n0
m
m
N, n, m Nn0 , 0 m
k =n sk k =n ctk por induccin, i.e., n, m N , 0 k =n sk
m
m
m
m
k=n ctk (vase 4.5). Y como k=n ctk = c k=n tk (por PdT de n, m N, k=n ctk = c m
k=n tk )
m
m
y c m
t
'
0
(por
el
criterio
de
Cauchy,
pues
t
converge),
obtenemos
que
s
k=n k
k=n k ' 0
k=n k
(vase 3.36), i.e., n sn converge.
Nota. La demostracin anterior es un buen ejemplo de como el PdT y otros principios similares
nos permiten tratar las series como sumas infinitas con propiedades anlogas a las sumas finitas, y de ah su nombre de sumas hiperfinitas. Aunque algunos de estos argumentos pueden
automatizarse, e incluso puede enunciarse un principio de induccin NSA para subconjuntos
internos de N (vase [Go98, Theorem 11.3.2]), nosotros no vamos a entrar en ello.
Corolario

4.37. (Criterio de comparacin por paso al lmite) Sean (sn )n [0, ), (tn )n (0, ) tales
que stnn n l. Se tiene:
1. Si l R0 , entonces n sn converge si n tn converge.
2. Si l R>0 , entonces n tn converge si n sn converge.
Demostracin. 1) Fijado n N tenemos por hiptesis que stnn ' l, luego sn = stnn tn ' ltn
(l + 1)tn . Es decir, n N , sn ctn con c = l + 1 0, luego 4.36 concluye.
2) Anlogo, notando que 1l R>0 L al ser l R>0 y, por ende, ltn ' sn tn ' 1l sn .
Observacin. Por hiptesis y PdT, n N , 0
entonces 0 < l.

sn
tn

' l, luego 0 l siempre. Y si (sn )n (0, ),

Nota. Para una demostracin SA de los dos resultados anteriores, vase [Or02, Teorema 9.9, Corollari 9.10].
Teorema 4.38. (Criterio de Leibniz) Sea (sn )n [0, ) decreciente con sn 0. Entonces n (1)n sn
converge.
Demostracin. Sean n, m N pares, de modo que su diferencia d tambin es par. Entonces
k
d 2
m
k =n (1) sk = i =0 ( sn+i sn+i +1 ) + sn+d 0 (pues ( sn+i sn+i +1 ) 0 al ser s y sk 0 pak
d 1
ra todo k) y m
k=n (1) sk = sn + i =1 ( sn+i + sn+i +1 ) sn (pues ( sn+i + sn+i +1 ) 0 al ser
k
k
m
s ). Y por analoga, 0 m
k =n (1) sk sn si m es impar en vez de par, y 0  k =n (1) sk
k
m
sn si n es impar (sea m par o no). Por tanto, n, m N, k=n (1) sk  |sn |. Y tomando

k 
n, m N (por PdT) y usando que |sn | ' 0 (por hiptesis), obtenemos que m
k =n (1) sk ' 0,
luego el criterio de Cauchy concluye.

43

Captulo 5

Topologa
Antes de continuar adelante con el estudio de lmites para aplicaciones ms generales que las
sucesiones, resulta conveniente establecer algunos resultados bsicos sobre topologa general.

5.1.

Puntos de un conjunto

Problema. Sea A R, f : A R, p R. Si bien f ( p) slo tendr sentido cuando p A, es

natural preguntarse su valor lmite tambin cuando p Ac si existe ( xn )n A tal que xn p.
Proposicin 5.1. Dado A R, p R, son equivalentes:
1. ( xn )n A { p}c , xn p.


2. # hal( p) A = .


3. e R>0 , # Be ( p) A = .
4. e R>0 , Be ( p) A { p}c 6= .
5. hal( p) A { p}c 6= .
Demostracin. [1 2] Sin restriccin, todos los xn (con n N) son distintos,1 i.e., n N, m
N r {n} , xn 6= xm . Y por PdT, n N , m N r {n} , xn 6= xm , i.e., todos los xn (con
n N ) son distintos. Y como hay infinitos de ellos y N N , x N hal( p) A { p}c
(aplicando PdT a n N, xn A { p}c , vase 3.26), hemos terminado.
[2 3] Dado e R>0 , tenemos que hal( p) Be ( p) Be ( p) (pues x ' p

xp '
0 e R>0 , | x p| < e.), ergo hal( p) A Be ( p) A, luego # Be ( p) A = por
hiptesis. As, 3.24 concluye.
[3 4] Trivial.
[4 1] Por hiptesis, n N, xn B 1 ( p) A { p}c , luego xn p (ya que N
n

N , | x N p| N1 ' 0 por PdT).2

[2 5] Trivial.
[5 4] Dado e R>0 , tenemos que hal( p) Be ( p) Be ( p), luego x hal( p) A
{ p}c Be ( p) A { p}c por hiptesis. Y por PdT, y Be ( p) A { p}c .
Nota. Aprciese que 5.1 hace hincapi en una observacin anterior, a saber: que el halo acta
de entorno infinitesimal, de modo que los resultados involucrando la coleccin
 a modo

Be ( p) e>0 pueden restituirse en funcin nicamente de hal( p).
Definicin 5.2. Dado A R, p R, decimos que p es un
 m
que #{ xn }n < y pongamos { xn }n = xni i=1 y = mn{| xni p|}im=1 . Como p
/ { xn }n , tenemos


que > 0, luego n N, | xn p| > 2 > 0, en contra de xn p. Por tanto, nos basta tomar xnk k la parcial de ( xn )n
que se obtiene al eliminar todas las repeticiones de ( xn )n .
2 Ntese que la prueba es esencialmente idntica a 4.19 y 4.24, ambos resultados que motivaron esta proposicin.
1 Supongamos

45

punto de acumulacin de A, y escribimos p A0 , ssi cumple las condiciones de 5.1.

punto adherente de A ssi p A := A A0 .
punto aislado de A ssi p A r A0 .
Observacin 5.3. Dado A R, p R, son equivalentes:
1. p A.
2. ( xn )n A, xn p.
3. e R>0 , Be ( p) A 6= .
4. hal( p) A 6= .
Demostracin. [1 2] Si p A, es obvio. Y si p A0 , se sigue de 5.1.
[2 3] Trivial de la definicin SA de lmite.
[3 4] Si p A0 , se sigue de 5.1. Y si no, tenemos de 5.1 e hiptesis que e R>0 , Be ( p)
A = { p} y, en particular, p A A, luego hal( p) A 6= .
[4 1] Si p A0 , ya est. Y si no, tenemos de 5.1 e hiptesis que hal( p) A = { p} y, en
particular, p A R = A.
Nota. Antes hemos utilizado repetidamente que e R>0 , hal( p) Be ( p), pero el recproco
tambin es cierto si consideramos bolas de radio infinitesimal. Ello nos sugiere:
Proposicin 5.4. Dado A R, p R, son equivalentes:
1. hal( p) A.
2. e R>0 , Be ( p) A.
Demostracin. [1 2] Por 3.36, | x p| < e ' 0 x ' p, luego e R>0 , x R(| x p| <
e x A) por hiptesis (tomando e I+ cualquiera). As, PdT concluye.
[2 1] Sea e R>0 tal que Be ( p) A y, por ende, Be ( p) A (vase 3.25.1). Entonces,
como hal( p) Be ( p) Be ( p), hemos terminado.
Nota. Antes hemos hablado de bolas de radio infinitesimal, pero en 4.2 definimos Br (c) nicamente para r R>0 y c R. Ahora bien, resulta natural extender dicha definicin a Br (c) :=
{ x R : | x c| < r } si r R r R y c R (para ms informacin al respecto, vase [Go98,
Section 10.5]), de modo que la demostracin anterior quedara como: e R>0 , x R( x
Be ( p) x A) se transfiere a e R>0 , x R( x Be ( p) x A), lo que nos sugiere
un Principio de Transferencia para subconjuntos de R definidos a partir de una frmula de L,
con L como en la seccin 3.3. A dichos conjuntos se los conoce como conjuntos internos (vase
[HuLo85, Section II.6], [Go98, Section 11.7]), y son una herramienta fundamental del anlisis no
estndar, que, por cuestiones de tiempo y espacio, no abordamos en este TFG, como ya adelantamos en 4.20.
Definicin 5.5. Decimos que p R es un punto interior de A, y escribimos p A , ssi cumple
las condiciones de 5.4.
Observacin 5.6. Claramente A A A.

5.2.

Abiertos y cerrados

En la seccin anterior hemos utilizado varios resultados de la subseccin 3.2.1, concernientes, ms concretamente, al cardinal y la inclusin. Ello nos sugiere explotar otras propiedades
similares, como los anlogos para la unin e interseccin (vase 3.27). Por ejemplo:
Observacin 5.7. Como p Ai hal( p) Ai , tenemos que p in=1 Ai hal( p) in=1 Ai =


n A , i.e., n A (n A ) .3 Y por 5.6, n A = n A si i, A = A .
i
i
i =1 i
i =1 i
i =1 i
i =1 i
i =1 i
3 Ms

an, 3.27 nos sugiere que el resultado es falso para intersecciones arbitrarias, vase 5.13.

46

Definicin. Decimos que A R es un abierto (de R), y escribimos A , ssi A = A .

Nota. La idea es clara: un conjunto A es abierto ssi todo punto p de A tiene un entorno infinitesimal (su halo) contenido en A, i.e., ssi p A( x ' p x A) o, en palabras, ssi los puntos
infinitamente prximos a (algn punto de) A son de A.
Proposicin 5.8. El conjunto es una topologa abierta de R.
Demostracin. 1) Por vacuidad, , y como p R, hal( p) = { p + e : e I} R, tambin
R .
2) Si { Ai }in=1 , entonces in=1 A por 5.7.
3) Por analoga, si { Ai }i I , con I arbitrario, entonces i I A .
Corolario. Por las leyes de De Morgan, c := { Ac : A } es una topologa cerrada de R.
Siguiendo la misma filosofa, esta vez para el complementario:
c

Observacin 5.9. Dados A R, p R, se tiene: p A ssi hal( p) A = ssi hal( p) ( A)c =

( Ac ) ssi p ( Ac ) . Por tanto, Ac = ( Ac ) , lo que nos lleva a:


Proposicin 5.10. c = A R : A = A .
Demostracin. Como A c ssi Ac ssi Ac = ( Ac ) , se sigue de la observacin anterior que
c
A c ssi Ac = A , i.e., ssi A = A.
Definicin. Decimos que A es un cerrado (de R) ssi A c .
Nota. La idea es clara: un conjunto A es cerrado ssi todo punto p de R con un entorno infinitesimal (su halo) intersecando A es de A (vase 5.3.4), i.e., ssi p R( p ' x A p A)
o, en palabras, ssi los puntos infinitamente prximos a (algn punto de) A son de A. De hecho,
como p ' x p = sh x al ser p R (vase 3.34, 3.42), ello equivale a que las sombras de los
elementos limitados de A sean de A. Por ltimo, y como es usual, obtenemos de 5.3.2 que A es
cerrado ssi toda sucesin de A converge en A.
Ejemplo 5.11. Sean a, b R distintos. Entonces ( a, b) , (, a) , (b, +) .
Demostracin. Si p ( a, b) y x ' p, entonces x ( a, b) por 3.38.1, y anlogamente con (, a),
(b, +).

c
Corolario. Si a, b R, entonces [ a, b] = (, a) (b, +) c .
Proposicin. Los racionales son densos en los reales, i.e., Q = R.
Demostracin. [] Es claro de 5.3 que A B A B, luego Q R = R.
[] Por 5.3.2, usando que todo real tiene una representacin decimal.
Corolario 5.12. Sean p R, r R>0 . Entonces existen q Q, s Q>0 tales que Bs (q) Br ( p).
Demostracin. Como R Q, tenemos que q Br ( p) Q, luego Bs (q) Br ( p) tomando s =
| p + r q| /2. Y por arquimedianidad, n N, B 1 (q) Bs (q).
n

Observacin 5.13. Claramente nN n1 , n

{0} y nN n1 , n1 = I = hal(0).
Esta ltima igualdad nos sugiere:

1

6= nN n1 , n1 , pues nN n1 , n1 = I R =

Proposicin. Dado p R, se cumple: hal( p) = { A : p A }.

Demostracin. [] Obvio, pues hal( p) A siempre que p A .
/ hal( p) y hallemos A tal que x
/ A: como x p 6' 0,
[] (Por contrarrecproco) Sea x

tenemos que e R>0 , | x p| > e, luego x

/ Be ( p), con Be ( p) por 5.11.
Nota. Aunque no vamos a entrar en ello, si quisiramos estudiar un espacio topolgico ( X, X )
cualquiera mediante herramientas no estndar, podramos tomar la proposicin anterior como
definicin, prescindiendo as de la nocin de distancia inherente en nuestra definicin de hal( p),
vase [Ro66, Chapter 4], [HuLo85, Chapter 3], [ArCuHe97, Article 3].
47

5.3.

Compactos

Nota. (Idea) Acabamos de ver que x

/ hal( p) e R>0 , x
/ Be ( p), luego x
/ p A hal( p)


p A, e p R>0 , x
/ Be p ( p), donde claramente R = Be p ( p) p A es un recubrimiento por
abiertos de A que, si x A, no tiene subrecubrimientos finitos (por absurdo y 3.27). En cuanto
a la posibilidad de un recproco, investigaremos primero las consecuencias inmediatas de esta
condicin.
Definicin. Decimos que A R es un compacto (de R) ssi todo recubrimiento por abiertos de
A tiene un subrecubrimiento finito.
Nota. Todo conjunto tiene recubrimientos por abiertos: A p A Be ( p), con e R>0 cualquiera.
Lema. Si A R no es compacto, entonces A tiene un recubrimiento numerable por abiertos sin subrecubrimientos finitos.
Demostracin. Sea R = { Ai }i I un recubrimiento por abiertos de A sin subrecubrimientos finitos,
de manera que p A, i p I, p Ai p y, como Ai p es abierto, e p R>0 , Be p ( p) Ai p . De


hecho, q p Q, p Q>0 , Bp (q p ) Be p ( p) por 5.12, obteniendo as R0 = Bp (q p ) p A un

recubrimiento de A por intervalos abiertos de extremos racionales tal que B0 R0 , B R, B0

B (pues p A, p Bp (q p ) Be p ( p) Ai p ), de modo que R0 no tiene subrecubrimientos finitos
de A (pues en tal caso seran tambin subrecubrimientos de R).
Ahora bien, el conjunto de todos los posibles intervalos con extremos racionales es numerable
(pues Q es numerable y el producto cartesiano de numerables lo es), luego R0 es numerable. Y
por 5.11, R0 es un recubrimiento por abiertos.

Teorema 5.14. (Criterio de compacidad de Robinson) Un conjunto A R es compacto ssi A

p A hal( p) (i.e., ssi x A, p A, x ' p).
Demostracin. [] (Por contrarrecproco) Sea x A r p A hal( p), de modo que p A, e p


R>0 , x
/ Be p ( p), con R = Be p ( p) p A un recubrimiento por abiertos de A, y supongamos que

n
existe Bei ( p) i=1 un subrecubrimiento finito de R. Entonces A in=1 Bei ( p) = in=1 Bei ( p),
luego i, x Bei ( p) !!! Por tanto, R es un recubrimiento por abiertos de A sin subrecubrimientos
finitos, ergo A no es compacto.
[] (Por contrarrecproco) Sea R = { An }nN un recubrimiento numerable por abiertos de A
sin subrecubrimientos finitos (que existe por el lema), de modo que m N, A 6 m
n=1 An , i.e.:

m N, x A, n Nm , x Acn
Entonces, dado m N , tenemos que x A, n Nm , x Acn por PdT y, en particular,
n N, x Acn . Pero x
/ p A hal( p), pues si x ' p para algn p A, como p Ak para
algn k N por ser R un recubrimiento de A, tendramos que x Ak por ser Ak abierto !!! Por
tanto, x A r p A hal( p).
Nota. Aunque no vamos a entrar en ello, y salvo por el lema, la demostracin es considerablemente general, y podra adaptarse fcilmente a ( X, X ) un espacio topolgico cualquiera, vase
[Ro66, 4.1.13], [HuLo85, Chapter 3, 2.2], [ArCuHe97, Article 3, 5.1]. En cuanto al lema, necesitaramos ms maquinaria lgica (ms concretamente, las relaciones de concurrencia).
Ejemplo. Los conjuntos finitos son compactos por 3.23.
Observacin. Como x ' p sh x = p al ser p R, podemos reformular el criterio de Robinson
como: todo elemento de A tiene sombra en A. Ahora bien, recordando que A es cerrado ssi todo
elemento limitado de A tiene sombra en A, llegamos fcilmente a:
Teorema 5.15. (de Heine-Borel) Un conjunto A R es compacto ssi A es cerrado y acotado.
48

Demostracin. (NSA) [] Como A es acotado, todos los elementos de A tienen sombra (vase
4.8). Y como A es cerrado, stas caen en A.
[] (Por contrarrecproco) 1) Si A R no es acotado, entonces x A R , que por ende
no tiene sombra, ergo A no puede ser compacto.
2) Si A R no es cerrado, entonces a A r A y, por 5.3, x A hal( a), con sh x = a
/ A,
ergo A no puede ser compacto.
Corolario. Un conjunto A R es compacto ssi es secuencialmente compacto (i.e., ssi toda sucesin de
A tiene una parcial convergiendo en A).
Demostracin. [] Sea ( xn )n A, con A acotado y cerrado por Heine-Borel. Entonces ( xn )n tiene
una parcial convergente por Bolzano-Weierstrass al ser A acotado, cuyo lmite es de A por ser A
cerrado.
[] Por Heine-Borel, es suficiente ver:
1. A A. En efecto, si p A, entonces existe ( xn )n A tal que xn p, que tiene una parcial
( xk )k convergiendo en A por hiptesis. Pero como ( xn )n converge a p, necesariamente ( xk )k
tambin, luego p A.
2. A est acotada. Si no, entonces n N, xn A, | xn | > n y, en particular, cualquier parcial
de ( xn )n diverge a !!!

Terminamos el captulo recordando la demostracin del teorema de Heine-Borel que se ve en

la asignatura Anlisi Matemtica para que el lector pueda apreciar mejor la potencia del criterio
de Robinson. Y para ello, probamos primero los siguientes lemas:
Lema. El conjunto [ a, b] R es compacto para cualquier a, b R.
Demostracin. (NSA) Obvio de Heine-Borel, o usando que [ a, b] L y que sh preserva .
Demostracin. (SA) Por reduccin al absurdo. Supongamos que I0 = [ a, b] no es compacto, i.e.,
que existe { Gi }i un recubrimiento por abiertos de I0 del cual no se puede extraer ningn




subrecubrimiento finito. Entonces, como I0 = J0 K0 con J0 = a, a+2 b , K0 = a+2 b , b , tenemos
que I1 { J0 , K0 } del que tampoco se puede extraer ningn subrecubrimiento finito. E iterando
el proceso, obtenemos una sucesin ( In )n de intervalos encajados sin subrecubrimientos finitos,
de modo que:
1. n In 6= , i.e., x R, n N, x In [ a, b] i Gi (pues In ), de modo que
k , x Gk y, por ende, R>0 , B ( x ) Gk .
2. | In | 0, i.e., e R>0 , n0 N, n Nn0 , bn an < e. Y como n N, x In ,
tomando e = y n n0 nos queda que x < an y bn < x + ,4 luego In B ( x ) y, por 1,
podemos recubrir In por Gk !!!

Lema. Todo subconjunto cerrado A de un compacto B es compacto.

Demostracin. (NSA) Por 3.25.1, A B, luego todo x A tiene sombra en B por la compacidad de B. Y como A es cerrado, tenemos de hecho sh x A.
Demostracin. (SA) Sea { Ai }i un recubrimiento por abiertos de A, de modo que B A Ac
i Ai Ac , con Ac por hiptesis. Entonces B nj=1 Ai j Ac por compacidad, ergo A =




B A nj=1 Ai j Ac A = (nj=1 Ai j ) A ( Ac A) nj=1 Ai j .
Teorema. (de Heine-Borel) Un conjunto A R es compacto ssi A es cerrado y acotado.
4 Ms

explcitamente, x In an x bn an bn x bn 0 0 bn x bn an < bn < x + .

49

Demostracin. (SA) [] Como A es acotado, k R>0 , A [k, k], luego los dos lemas anteriores concluyen.
[] Vayamos por partes:
1. A es acotado pues:
a) Como A x A B1 ( x ), por compacidad existe J finito tal que A j J B1 ( x j ).

 



b) Si y B1 ( x j ), entonces |y x0 | y x j  +  x j x0  < 1 +  x j x0 , con x0 R
cualquiera fijado.
(b)


c) Por tanto, r = max j J r j es cota, con r j = 1 +  x j x0 , pues j J, B1 ( x j ) Br j ( x0 ) y
por ende A j J B1 ( x j ) j J Br j ( x0 ) Br ( x0 ).
2. Para ver que A es cerrado, fijemos p Ac y veamos que > 0, B ( p) Ac .
a) Dado q A, sea rq =

1
2

| p q|, Vq = Brq ( p) y Wq = Brq (q). Entonces:

1) Como A q A Wq , tenemos A nj=1 Wq j por compacidad, luego W c Ac con

W = nj=1 Wq j .


2) Sea V = n Vq . Entonces V = B ( p) con = mn j rq = 1 mn j  p q j .
j =1

b) Afirmo que V W = , pues (por absurdo) si z V W, entonces:

1) z W k, z Wqk |z qk | < rqk = 21 | p qk |.


2) z V |z p| < mn j rq = 1 mn j  p q j  1 | p qk |.
j

3) Por tanto, | p qk | < | p z| + |z qk | < | p qk | !!!

(b)

c) Por tanto, V W c Ac .

50

Captulo 6

Lmites de aplicaciones
6.1.

Rudimentos

Notacin. Fijamos para todo el captulo A R, f : A R, a A0 , l R.

Definicin 6.1. Decimos que l es el lmite de f en a, y escribiremos lmx a f ( x ) = l, ssi e
R>0 , R>0 , x A B ( a) { a}c , f ( x ) Be (l ) (i.e., e R>0 , R>0 , f A B ( a)


{ a}c Be (l )).
Nota. La idea para nuestra traduccin es clara: cambiar las bolas por halos, obteniendo as, como resulta natural, que lmx a f ( x ) = l ssi todo punto de A distinto de a pero infinitamente
prximo a l tiene imagen por f infinitamente prxima a l.
Proposicin 6.2. lmx a f ( x ) = l ssi x


{ a}c hal(l )).

hal( a) { a}c , f ( x ) ' l (i.e., f

hal( p)

Demostracin. [] Fijemos y A hal( a) { a}c y e R>0 . Entonces, por hiptesis y PdT,

R>0 , x A B ( a) { a}c , f ( x ) Be (l ), luego f (y) Be (l ) (pues R>0 , hal( a)
B ( a )). As, f ( y ) ' l por la arbitrariedad de e R .
>0

[] Por PdT, nos basta ver que e R>0 , R>0 , x A 0 < | x a| < f ( x )


B ( l ) . Ahora bien, dados e R , d I+ y x A tal que 0 < | x a | < d cualesquiera,
e
>0
tenemos que x ' a y, por hiptesis, f ( x ) ' l, luego f ( x ) Be (l ).
Observacin 6.3. Acabamos de probar que la condicin

d I+ , x A 0 < | x a | < d f ( x ) ' l

implica lmx a f ( x ) = l. Ahora bien, como | x a| < d ' 0 x ' a, tenemos de hecho que los
siguientes son equivalentes:
1. lmx a f ( x ) = l.


2. e R>0 , R>0 , x A 0 < | x a| < | f ( x ) l | < e .


3. d I+ , x A 0 < | x a| < d f ( x ) ' l .
4. x A( x 6= a, x ' a f ( x ) ' l).
Ms an, como l R, tenemos que f ( x ) ' l ssi l = sh f ( x ) (y anlogamente para a), luego 4 es
equivalente a:


5. x A x 6= a, sh x = a sh f ( x ) = l .
Por otra parte, si a A , entonces (por 5.4) podemos cambiar la hiptesis x A por x R en
3, 4 y 5, y la hiptesis x A por x R en 2.
51

Definicin. Dado r R>0 , se definen Br (+) := { x R : x > c}, Br () := { x R : x <

c}, Br () := { x R : | x | > c} los entornos de +, , asociados a r, respectivamente.
Observacin. Podemos generalizar 6.1 admitiendo a {+, , }, l {+, , }, y es fcil

ver que su equivalencia NSA cambia Br (+), Br (), Br () por R+

, R , R respectivamente,
como resulta natural. As, e.g., lmx f ( x ) = ssi f alcanza valores infinitos en el infinito o,
ms formalmente:
Proposicin 6.4. lmx f ( x ) = ssi x A , f ( x ) R (i.e., f ( A ) R ).
Demostracin. [] Fijemos y A y e R>0 . Entonces, por hiptesis y PdT, R>0 , x
A B ( ), f ( x ) B ( ), luego f ( y ) B ( ) (pues r R , R B ( )). As, f ( x )
e
e

r
>0

R por la arbitrariedad de e R>0 .

[] Por PdT, nos basta ver que e R>0 , R>0 , x A | x | > f ( x ) Be () .

Ahora bien, dados e R>0 , d R+

y x A tal que | x | > d cualesquiera, tenemos que x R

y, por hiptesis, f ( x ) R , luego f ( x ) Be ().

Nota. En 6.2, como a A0 , ya tenamos que A B ( a) { a}c y A hal( a) { a}c eran no vacos.
Sin embargo, si a {+, , }, las correspondientes condiciones deben imponerse, o en caso
contrario las respectivas implicaciones seran triviales. As, e.g., en la proposicin anterior hemos
supuesto A B () y A no vacos.
Por otra parte, y aunque no vamos a entrar en ello, la similitud entre las demostraciones de
5.4, 6.2 y 6.4 nos sugiere la existencia de ciertos principios generales de la misma clase que 4.5 y
4.25. Para ms detalles, vase [Go98, Section 7.10], [HuLo85, Chapter 2, Theorem 7.1].
Proposicin 6.5. lmx a f ( x ) = l ssi lmn f ( xn ) = l para cualquier ( xn )n A { a}c tal que
lm xn = a.
Demostracin. [] Dado M N y ( xn )n A { a}c , xn a (que existe por ser a A0 ),
tenemos en particular que x M A hal( a) { a}c , luego f ( x M ) ' l por hiptesis.
/
[] (Por absurdo) Supongamos que e R>0 , R>0 , x A B ( a) { a}c , f ( x )
Be (l ). En particular, e R>0 , n N, xn A B 1 ( a) { a}c , f ( xn )
/ Be (l ), ergo xn a con
n

/ Be (l ).
( xn )n A { a}c y, por hiptesis, f ( xn ) l, en contra de f ( xn )
Observacin 6.6. Como consecuencia, los lmites de funciones heredan trivialmente muchas de las
propiedades
de los lmites de sucesiones, como la unicidad o el buen comportamiento respecto
RN , +, , .
Ejemplo. El lmite lmx0 sin

1
x

no existe, pero lmx0 x sin

Demostracin. 1) Dado N N , sean x =

2
,y
(4N +1)

1
x

= 0.

2
(4N +3)

hal(0) r {0}. Entonces sin 1x =

4) y, anlogamente, sin y1 = 1, en contra de la

1 (aplicando PdT a sin n
2 = 1 si n = 1 mod
unicidad del lmite. Por tanto, lmx0 sin 1x no existe.
2) Sea x hal(0) r {0}. Como sin 1x L (aplicando PdT a r R, |sin r | 1), tenemos que
x sin 1x ' 0.
Definicin 6.7. Dados B A, b B0 , definimos lmxb,x B f ( x ) := lmxb ( f  B)( x ) el lmite
de f en b segn B.
Nota. As, lmxb,x B f ( x ) = l ssi x B hal(b) {b}c , f ( x ) ' l.
Observacin. Dados B A, b B0 , si lmxb f ( x ) = l, entonces lmxb,x B f ( x ) = l. Recprocamente:
Proposicin 6.8. Sean A = in=1 Bi , b Bi0 para todo i. Si i, lmxb,x Bi f ( x ) = l, entonces
lmxb f ( x ) = l.
Demostracin. Si x A hal(b) {b}c , como A = in=1 Bi , tenemos que i, x Bi hal(b)
{b}c , luego f ( x ) ' l por hiptesis.
52

6.2.

Continuidad

Definicin 6.9. Sea p A. Si p A0 , decimos que f es continua en p ssi lmx p f ( x ) = f ( p). Si

no, decimos siempre que f es continua en p.
Observacin 6.10. Dado p A, son equivalentes:
1. f es continua en p.


2. e R>0 , R>0 , x A | x p| < | f ( x ) f ( p)| < e .


3. d I+ , x A | x p| < d f ( x ) ' f ( p) .


4. x A x ' p f ( x ) ' f ( p) .


5. x A sh x = p sh f ( x ) = f (sh x ) .
6. f ( xn ) f ( p) siempre que ( xn )n A y xn p.
Demostracin. Si p
/ A0 , entonces todas las condiciones son triviales. Y si p A0 , entonces se
sigue de los resultados anteriores, notando que el caso x = p es trivial.
Definicin. Dado B A, decimos que f es continua en B, y escribimos f C( B), ssi f es
continua en todo punto de B.
Observacin. Por 6.6, si f , g C( B), entonces f + g, f g C( B). Y si 0
/ Im g, tambin g1 C( B).
En particular, los polinomios son continuos en todo R (pues la funcin identidad lo es trivialmente), y tambin las funciones racionales en todo punto en que no se anule el denominador.
Proposicin. Sean f : A R, g : B R, con f ( A) B, y supongamos que f es continua en A y g es
continua en f ( A). Entonces g f es continua en A.
Demostracin. Sea p A, x A hal( p). Entonces f ( x ) ' f ( p) por la continuidad
de
f , con


f ( p) f ( A) y f ( x ) f ( A) = f ( A) B al ser f ( A) B, luego g f ( x ) ' g f ( p) por la
continuidad de g.
Ejemplo. Por 3.39, la aplicacin valor absoluto es continua en R.
Nota. Por el teorema de Bolzano(que veremos en el prximo captulo), x R0 , n N, !y
R0 , yn = x. Dicho y se escribe n x.

Ejemplo. Dado n N, la aplicacin raz n-sima n : R0 R0 es continua en R0 .

Demostracin.
Dado p R0 , sea x R0 talque x ' p, de modo que x L y por ende

n
x L (e.g., porque n es creciente, o porque n x max{ x, 1} L). Sea tambin

Pn : R
R

tal que Pn (y) = yn , que es continua en tanto que polinomio. Entonces sh Pn ( n x ) = Pn sh n x

n
y, usando que Pn ( n x ) = x y aplicando n a banda y banda, sh x = sh n x.
Ejemplo 6.11. La aplicacin coseno es continua en R.
Demostracin. Sean p R, x ' p, y pongamos x = p + e con e ' 0. Entonces
cos x cos p

= cos( p + e) cos p
= cos p cos e sin p sin e cos p
= cos p(cos e 1) sin p sin e

aplicando PdT a r, s R, cos(r + s) = cos r cos s sin r sin s. Por tanto, si demostramos que
cos e ' 1 y sin e ' 0 (i.e., que cos, sin son continuos en 0), habremos terminado. En efecto:

r R, |sin r | |r |, luego r R, |sin r | |r | y, en particular, |sin e| |e| ' 0, ergo

sin e ' 0.

p
cos e = 1 (sin e)2 ' 1 02 = 1.
53

Teorema. (de Weierstrass) Sea f C( A) y K un compacto (de R) contenido en A. Entonces f (K ) es un

compacto.
Demostracin. Sea y f (K ) = f ( K ), de modo que y = f ( x ) para algn x K y, por compacidad, sh x K y, por continuidad, f (sh x ) ' f ( x ) = y. Entonces sh y = f (sh x ) f (K ).
Corolario 6.12. Sea f C(K ), con K compacto no vaco. Entonces f (K ) tiene mnimo y mximo.
Demostracin. Por Heine-Borel y Weierstrass, f (K ) es acotado y cerrado, luego tiene supremo e
nfimo por la Dedekind completitud, que se alcanzan por 4.19 al ser f (K ) cerrado.
Definicin. Dado B A, decimos que f es uniformemente
continua en B ssi e R>0 ,


R>0 , x, y B | x y| < | f ( x ) f (y)| < e .


Proposicin. La aplicacin f es uniformemente continua en B ssi x, y B x ' y f ( x ) ' f (y) .
Demostracin. Anloga a 6.2.
Nota. As, podemos repensar la continuidad uniforme como una continuidad sobre B en lugar
de B.
Ejemplo. Por 3.39, la aplicacin valor absoluto es uniformemente continua en R.
Observacin. Si f es uniformemente continua en R y (sn )n R es de Cauchy (i.e., n, m
N , sn ' sm ), entonces ( f (sn ))n R tambin es de Cauchy (pues sn ' sm f (sn ) ' f (sm ) por
la continuidad uniforme).
Teorema. (de Heine-Cantor) Sea f C(K ), con K compacto. Entonces f es uniformemente continua.
Demostracin. (NSA) Si x, y K, entonces sh x, sh y K por compacidad. Y si x ' y, entonces
sh x = sh y, luego f ( x ) ' f (sh x ) = f (sh y) ' f (y) por continuidad.
Demostracin. (SA) Sea e R>0 . Como f C(K ), tenemos que p K, p | p q| < p


 n
| f ( p) f (q)| < 2e . Y por compacidad, K nj=1 B j ( p j ) para alguna coleccin p j j=1 , con j =
p j (pues K pK B p ( p)). Sea ahora =

2
| f ( p) f (q)| < e . En efecto:

1
2

mn j j . Afirmo entonces que p, q K | p q| <

1. p K nj=1 B j ( p j ) k, | p pk | < 12 k < k

f C(K )

2. |q pk | |q p| + | p pk | <

1
2

mn j j +

k
2

< k

| f ( p) f ( pk )| < 2e .

f C(K )

| f (q) f ( pk )| < 2e .

3. Por tanto, | f ( p) f (q)| | f ( p) f ( pk )| + | f ( pk ) f (q)| <

e
2

e
2

= e.

Observacin. La condicin K compacto no es prescindible. Por ejemplo, f : (0, 1) R, x 7 1x

es continua por 3.35 (pues 0
/ Dom f ), pero no es
uniformemente
continua (pues si N N ,


entonces N1 , N1+1 (0, 1), N1 ' N1+1 pero N = f N1 6' f N1+1 = N + 1).
54

6.3.

Derivabilidad
f ( p+h) f ( p)

Definicin. Sea p A . Decimos que f es derivable en p ssi el lmite lmh0

existe
h
y es finito (i.e., si es igual a algn nmero real), y en tal caso designamos por f 0 ( p) a dicho lmite
y decimos que f 0 ( p) es la derivada de f en p.
Nota. La condicin p A garantiza que f ( p + h) est definido para h suficientemente pequeo,
vase 5.4.
Corolario. (vase 6.3) f es derivable en p A ssi l R, e hal(0) r {0} , sh
Ejemplo. Dado p R, se tiene:

cos0

f ( p+e) f ( p)
e

= l.

p = sin p.

Demostracin. Sean p R, e hal(0) r {0}. Entonces

sh

cos( p + e) cos p
cos p(cos e 1) sin p sin e
cos e 1
sin e
= sh
= cos p sh
sin p sh
e
e
e
e

usando 6.11 y las propiedades de sh. Y calculando los lmites lmx0 cos xx1 = 0, lmx0 sinx x = 1
mediante los razonamientos geomtricos usuales (vase [Or02, p.93], [Ke86, Section 7.2]), hemos
terminado.
Notacin. Siguiendo una tradicin, denotaremos por x a un infinitesimal no nulo arbitrario
representando un cambio o incremento en x, y escribiremos por f ( x, x ) := f ( x + x ) f ( x )
al correspondiente incremento en f , que denotaremos simplemente por f si no hay peligro de
confusin.
Proposicin. Si f es derivable en x, entonces es continua en x.
f
x

' f 0 ( x ), luego multiplicando x L a banda y banda y usando

f
que f 0 ( x ) L, obtenemos que f = x x ' f 0 ( x )x ' 0 (vase 3.35).

Demostracin. Por hiptesis,

Nota. En particular, podemos pensar f 0 ( x ) como la sombra de un ratio entre incrementos infinitesimales.
Definicin. Si f es derivable en x, definimos la diferencial de f en x respecto x como d f ( x, x ) :=
f 0 ( x )x, y escribiremos simplemente d f si no hay peligro de confusin.
Nota. Por tradicin y esttica, es usual escribir dx en lugar de x para referirse al mismo incremento de x cuando ste interviene en el diferencial, recuperando as de manera natural la
df
notacin de Leibniz: f 0 ( x ) = dx .
Observacin. (Interpretacin geomtrica) La ecuacin analtica de una recta que pasa por ( p, q)
con pendiente m es r ( x ) = q + m( x p), luego la de la recta secante que pasa por ( p, f ( p)) y
f ( p,x )
( p + x, f ( p + x )) es s( x ) = f ( p) + x ( x p), ergo la de la recta tangente a la curva f
en el punto ( p, f ( p)) es t( x ) = f ( p) + f 0 ( p)( x p) (pasando al lmite la pendiente anterior, i.e.,
tomando sombras). Ahora bien, t( p, x ) = d f ( p, x ), luego d f ( p, x ) representa el incremento
correspondiente a x sobre la recta tangente de f en p (vase [Ke86, Fig. 2.2.3, 2.2.4] para una
astuta representacin grfica de la situacin).

= f 0 ( x ) ' xf ,
' 0 y, por ende, f d f = ex para algn e ' 0. Obtenemos as la

Observacin 6.13. Resumiendo, si f es derivable en x, entonces f ' d f ' 0 y

f

f d f

luego x f 0 ( x ) = x
ecuacin incremental:

df
x

f ( x, x ) = d f ( x, x ) + ex = f 0 ( x )x + ex
que podemos reformular tambin como
f ( x + x ) = f ( x ) + d f ( x, x ) + ex = f ( x ) + f 0 ( x )x + ex
Por tanto, f 0 ( x ) acta como la mejor aproximacin lineal de f en x, pues ex es infinitesimal
comparado con f 0 ( x )x (i.e.,

f 0 ( x )x
ex

es ilimitado).
55

Nota. La ecuacin incremental vale tambin trivialmente para x = 0.

Proposicin. (lgebra de derivadas) Si f , g son derivables en x, tambin lo son f + g, f g,
caso, supuesto que f ( x ) 6= 0). Ms an,

1
f

(en el ltimo

1. ( f + g)0 ( x ) = f 0 ( x ) + g0 ( x ).
2. ( f g)0 ( x ) = f 0 ( x ) g( x ) + f ( x ) g0 ( x ).
3.

1 0
f (x)

f 0 (x)
.
f ( x )2

Demostracin. 1) Como
( f + g)

tenemos que
2) Como

tenemos que
3) Como

( f + g)
x

= ( f + g)( x + x ) ( f + g
)( x )


=
f ( x + x )
+ g( x + x )

f ( x ) + g( x )
=
f ( x ) + f + g( x ) + g f ( x ) g ( x ) = f + g
=

f
x

g
x

( f g)

( f g)
x

' f 0 ( x ) + g 0 ( x ).
=
=
=

f ( x + x ) g(
x + x ) f
( x ) g( x )
f ( x ) + f g( x ) + g f ( x ) g ( x )
f ( x )g + g( x ) f + f g

g
g
= f ( x ) x
+ g( x ) xf + f x
' f ( x ) g0 ( x ) + g( x ) f 0 ( x ) + 0.

f (x) f (x) + f
1
1
1
1
1


=

=
f
f ( x + x )
f (x)
f (x) + f
f (x)
f (x) + f f (x)
tenemos que

1f
x

f
f ( x )2 x + f ( x ) f x

1
f ( x )2 + f ( x ) f

f 0 (x) '

1
f 0 (x)
f ( x )2

f
f ( x )2 + f ( x ) f

(pues f ( x ) 6= 0).

Proposicin. (Regla de la cadena)
Si f es derivable en x y g es derivable en f ( x ), entonces g f es

derivable en x con derivada g0 f ( x ) f 0 ( x ).
Demostracin. Como f es derivable en x, tenemos que f ' 0 y, por
ende, f ( x + x ) ' f ( x ). Y como g es derivable en f ( x ), tenemos que g est definido en hal f ( x ) y, en particular, en f ( x + x ).










As, ( g f )( x, x ) = g f ( x + x ) g f ( x ) = g f ( x ) + f g f ( x ) = g f ( x ), f =




( g f )( x,x )
g0 f ( x ) f + e f para algn e ' 0 (vase 6.13). Por tanto,
= g0 f ( x ) xf + e xf '
x


g0 f ( x ) f 0 ( x ) + 0.
Corolario. Si f es derivable en x, con f 0 ( x ) 6= 0, y f 1 es derivable en y = f ( x ), entonces ( f 1 )0 (y) =
1
.
f 0 (x)
Demostracin. Aplicando la regla de la cadena en f 1 f = Id.
Definicin. Decimos que p A es un mnimo local de f ssi e R>0 , x Be ( p), f ( x ) f ( p).
Corolario. (vase 5.4) El punto p A es un mnimo local de f ssi e I, f ( p + e) f ( p).
Teorema. (de Fermat) Si x es un mnimo local de f y f es derivable en x, entonces f 0 ( x ) = 0.
f ( x +(x )) f ( x )
(x )
0
que f ( x ) = 0.

Demostracin. Por hiptesis, e I, f ( x + e) f ( x ) 0, luego f 0 ( x ) '

f ( x +x ) f ( x )
x

' f 0 ( x ) si x > 0. Por tanto, como f 0 ( x ) R, nos queda

Nota. Los mximos se discuten por analoga. En particular, podemos obtener de la manera usual
el Teorema de Rolle, el Teorema del Valor Medio de Lagrange y la caracterizacin del crecimiento
de una aplicacin respecto de su derivada.

56

Captulo 7

Particiones hiperfinitas
7.1.

Teorema del Valor Intermedio

Notacin. Fijamos a < b, I = [ a, b] y n = (b a)/n (con n N) para todo el captulo.

Nota. (Idea) Sea
f : I R y supongamos (sin restriccin) que f ( a) f (b). Fijemos adems
d f ( a), f (b) , que existir ssi f ( a) 6= f (b). Una representacin grfica de la situacin nos
sugiere que, salvo que el grafo de f d saltos, en algn momento cruzar la recta r ( x ) = d y,
por ende, d f ( I ).
Una manera de precisar esta intuicin geomtrica (con nuestras herramientas no estndar)
podra ser particionar I en n N intervalos de longitud n , tomar sn el mayor extremo de
dichos intervalos cuya imagen sea menor que d, y extender (sn )n a todo N. As, encerraramos
algn c f 1 [d] en un intervalo infinitesimal [s N , s N + N ] para N N , de modo que s N '
c ' s N + N y, en particular, c = sh s N . Y suponiendo ahora que f sea continua (i.e., que no da
saltos), tendramos que f (c) ' f (s N ) < d f (s N + N ) ' f (c), luego d = f (c).
Formalicemos todas estas ideas:
Definicin 7.1. Una particin de I es una sucesin finita P = ( xk )nk=0 tal que xk , x0 = a, xn =
b, P I, y en tal caso escribimos P Pn ( I ) P P ( I ) si no queremos explicitar su cardinal.
Los subintervalos de P son Ik := [ xk , xk+1 ] y la norma de P es | P| := maxk | Ik |. Decimos que
P Pn ( I ) es equidistante ssi k, | Ik | = | P|.
Observacin. Como xk = xk1 + | Ik1 |, si P Pn ( I ) es equidistante entonces xk = x0 + k| P|
por induccin, luego | P| = n y P = ( a + kn )nk=0 . En otras palabras, hay una nica particin
equidistante en Pn ( I ).
Notacin. Fijamos para el resto del captulo Pn = ( a + kn )nk=0 (o Pn,I si queremos ser ms espe

cficos) y In,k = a + kn , a + (k + 1)n sus subintervalos asociados.
Problema. Dado que P Pn ( I ) es una sucesin finita, tenemos que P = P, luego no podemos
obtener una genuina extensin hiperreal de P de la manera usual.1 Sin embargo, y como sugiere
la observacin anterior, en el caso particular en el que P es equidistante resulta natural considerar
la sucesin Pn para n N. Es ms, nuestra propuesta se comporta como cabra esperar:
Proposicin 7.2. Sean x I, N N cualesquiera. Entonces { a + k N }kN=0 hal( x ) 6= .
Demostracin. Como x I = nk=0 In,k , tenemos que n N, k Z, a + kn x a + (k +
1)n . Y por PdT, K Z, a + K N x a + (K + 1) N . Y como a + K N ' a + K N + N =
a + (K + 1) N , nos queda que x ' a + K N por 3.36.


Teorema. (del valor intermedio) Sean f C( I ), con f ( a) < f (b), y d f ( a), f (b) . Entonces
c ( a, b), f (c) = d.
1 Una manera general de resolver esto es introduciendo los conjuntos hiperfinitos (vase [Go98, Sections 12.3, 12.7]),
los cuales son un caso particular de conjunto interno, pero nosotros no entraremos en ello.

57

Demostracin. Dado n N cualquiera, pongamos An = { p Pn : f ( p) < d}, y notemos que An

es no vaco (pues a An ) finito (pues Pn lo es) y acotado superiormente por b, de modo que su

mximo existe y es de [ a, b). Pongamos, pues, sn = max An , de modo que d f (sn ), f (sn + n ) .
Entonces, dado N N cualquiera, tenemos por PdT que:
1. s N [ a, b) L y, por ende, existe c = sh s N I.

2. d f (sn ), f (sn + n ) , donde f (c) ' f (s N ) ' f (s N + N ) por continuidad, luego f (c) '
d por 3.36 y, al ser ambos reales, f (c) = d. En particular, c
/ { a, b}.

Nota. Imponemos f ( a) < f (b) simplemente para asegurar que f ( a), f (b) 6= , aunque el


resultado vale igual si f (b) < f ( a) tomando d f (b), f ( a) . Una formulacin alternativa que






evita estas distinciones podra ser: f C( I ) f ( a), f (b) f (b), f ( a) f ( a, b) .
Por otra parte, esta tcnica de demostracin es considerablemente general y nos permite localizar dnde una cierta propiedad (caracterizada por la sn Pn tomada, donde Pn quiere representar a I) ocurre por ltima vez en I (i.e., para sh s N con N N ). Otro ejemplo de ello sera la
siguiente reexaminacin de 6.12:
Teorema. (de Weierstrass) Si f C( I ), entonces c, d I, x I, f ( x ) [ f (c), f (d)] (i.e., c, d
I, f (c) = mn f ( I ), f (d) = max f ( I )).
Demostracin. Dado n N,
luego tiene
 como Pn es finito no vaco, tenemos que f ( Pn ) tambin,

mximo y, por ende, f 1 max f ( Pn ) 6= . Fijemos, pues, sn f 1 max f ( Pn ) cualquiera. En

tonces sn Pn I y k Z 0 k n f ( a + kn ) f (sn ) . As, dado N N cualquiera,
tenemos por PdT que:
1. s N I L y, por ende, existe d = sh s N I, de modo que f (s N ) ' f (d) por continuidad.


2. K Z 0 K N f ( a + k N ) f (s N ) .
Sea ahora x I. Entonces M {0, . . . , N } , x ' a + M N por 7.2, ergo f ( x ) ' f ( a + M N ) por
continuidad, luego f ( x ) f (d) por 2, 1 y 3.37.2.

7.2.

Integral de Riemann

Nota. En est seccin supondremos siempre que f es acotada.

7.2.1.

Construccin y ejemplos

Definicin. Dada P Pn ( I ), se define:

1
:
1. La suma superior de Riemann de f asociada a P como S( f , P) := nk=
0 Mk | Ik |, con Mk =
supx Ik f ( x ).
1
:
2. La suma inferior de Riemann de f asociada a P como S( f , P) := nk=
0 mk | Ik |, con mk =
nfx Ik f ( x ).
1
3. La suma ordinaria de Riemann de f asociada a P como S( f , P) := nk=
0 f ( xk )| Ik |, con
2
xk Ik .

Nota. La idea para nuestra construccin es clara: f ser integrable ssi dichas sumas (que son
aproximaciones del rea bajo la curva f por rectngulos de base | Ik | y altura Mk , mk , f ( xk ) respectivamente, siendo las dos primeras sumas aproximaciones por exceso y por defecto) son infinitamente prximas entre s cuando | P| es infinitesimal, y en tal caso su sombra nos dar el valor
de la integral. Ahora bien, y por simplicidad, lo veremos nicamente para la particin Pn .
2 Para

fijar ideas, puede tomarse xk = mn Ik , aunque la eleccin es irrelevante.

58

Por otra parte, dado que a, b, | P| son los datos esenciales para nuestra propuesta, resulta natural escribir S( f , P) como Sba ( f , | P|) la suma entre a y b de f con error | P|. Y dado que | P| representa una longitud o incremento en x (la mayor base de los susodichos rectngulos), resulta
b
natural denotarlo por dx, recuperando as la notacin de Leibniz: a f dx = sh Sba ( f , dx ).
Observacin. Como f es acotada, Mk , mk estn bien definidos. Por otra parte, podemos pensar
S( f , Pn ) como la aplicacin S( f , ) : N R tal que n 7 S( f , Pn ), luego (extendiendola) podemos
tomar n N siempre que queramos.
Observacin 7.3. Claramente m| I | S( f , P) S( f , P) S( f , P) M | I |, con M = supx I f ( x ),
m = nfx I f ( x ). En particular, si N N , entonces S( f , PN ), S( f , PN ), S( f , PN ) son limitados y,
por ende, tienen sombra.
Recordamos a continuacin la construccin y caracterizaciones bsicas de la integral de Riemann para poder demostrar que nuestro enfoque NSA es equivalente al enfoque SA usual.
0
Hecho
7.4.
(vase [Or02, Teorema 5.2]) Si P, P P ( I ), entonces S( f , P) S( f , P). En particular,

S( f , P) PP ( I ) est acotado inferiormente y, por ende, tiene nfimo (y anlogamente para S( f , P)).

Definicin. Se define:

1. La integral superior de Riemann de f en I como I f ( x )dx := nfPP ( I ) S( f , P).

2. La integral inferior de Riemann de f en I como I f ( x )dx := supPP ( I ) S( f , P).

Y decimos que f es integrable Riemann ssi I f ( x )dx = I f ( x )dx, y en tal caso designamos a
b

dicho valor por I f ( x )dx a f ( x )dx, y lo denominamos integral de Riemann de f en I.

Hecho 7.5. (vase [Or02, Teorema 5.3]) La aplicacin f es integrable Riemann ssi e R>0 , P
P ( I ), S( f , P) S( f , P) < e.
Hecho 7.6. (vase [Or02, Secci V.1, Exercici 11]) La aplicacin

f es integrable Riemann ssi e
R>0 , R>0 , P P ( I ) | P | < S ( f , P ) S ( f , P ) < e .
Teorema 7.7. La aplicacin f es integrable Riemann ssi N N , S( f , PN ) ' S( f , PN ).


Demostracin. [] Por 7.6, e R>0 , R>0 , n N n < S( f , Pn ) S( f , Pn ) < e ,


luego e R>0 , R>0 , n N n < S( f , Pn ) S( f , Pn ) < e por PdT. En particular,
e R>0 , S( f , PN ) S( f , PN ) < e, i.e., S( f , PN ) ' S( f , PN ).
[] (Por 7.5) Dado e R>0 , tenemos por hiptesis que N N, S( f , PN ) S( f , PN ) < e,
luego n N, S( f , Pn ) S( f , Pn ) < e por PdT.

Corolario. Si f es integrable Riemann, entonces N N , I f ( x )dx = sh S( f , PN ) = sh S( f , PN ) =

sh S( f , PN ). En otras palabras, I f ( x )dx = lmn S( f , Pn ) = lmn S( f , Pn ) = lmn S( f , Pn ).

Demostracin. Dado N N , es claro que sh S( f , PN ) = sh S( f , PN ) = sh S( f , PN ) por 7.3 e hiptesis. Por otra parte, dado P P ( I ), tenemos que n N, S( f , P) S( f , Pn ), S( f , Pn ) S( f , P)
por 7.4, luego S( f , P) S( f , PN ) ' S( f , PN ) S( f , P) por PdT, ergo S( f , P) sh S( f , PN )
S( f , P). Por tanto, sh S( f , PN ) es cota superior de {S( f , P) : P P ( I )} (y anlogamente con

S( f , P)), luego I f ( x )dx sh S( f , PN ) I f ( x )dx por minimalidad. Y por hiptesis, I f ( x )dx =

I f ( x )dx = I f ( x )dx = sh S ( f , PN ).
Proposicin. Si f C( I ), entonces N N , S( f , PN ) ' S( f , PN ).
1
Demostracin. Dado n N cualquiera, sean k = Mk mk y = max{k }nk=
0 , de modo que
= j para algn j. Sean tambin c, d Ij tales que f (c) = m j , f (d) = M j (que existen por
1
n 1
Weierstrass). Entonces |c d| n y S( f , Pn ) S( f , Pn ) = nk=
0 k n k =0 n = n n =
| I |. Y por PdT, dado N N tenemos que:

1. |c d| N ' 0 y, por ende, c ' d.

59

2. c, d I L y, por ende, existe r = sh c I, de modo que f (c) ' f (r ) ' f (d) por
continuidad.
3. S( f , PN ) S( f , PN ) | I | ' 0 por 2 (pues = f (d) f (c)), ergo S( f , PN ) ' S( f , PN ).
1
Observacin. Si f es creciente (o decreciente), el resultado es trivial, pues entonces nk=
0 k =
f (b) f ( a) y, por ende, S( f , PN ) S( f , PN ) N ( f (b) f ( a)) ' 0.

Corolario. Las aplicaciones continuas en I y las aplicaciones acotadas en I son integrables en I.

7.2.2.

Propiedades

b
1
1
Proposicin. Sea P(n) = n1 nk=
0 f ( xk ), con xk Ik . Entonces N N , P ( N ) ' | I | a f ( x )dx si f
es integrable. En otras palabras, podemos aproximar el promedio integral de f por su media muestral.
b
b
Demostracin. a f ( x )dx = sh kN=01 f ( xk ) N = sh N kN=01 f ( xk ), luego | I |1 a f ( x )dx ' P( N )
al ser | I |1 N = N 1 .
Notacin. Dados c, d R y I 0 = [c, d], definimos Scd ( f , n) := S( f , Pn,I 0 ).
Proposicin 7.8. Si f , g son integrables en I, entonces:
b
b
1. a c f ( x )dx = c a f ( x )dx si c R.


b
b
b
2. a f ( x ) + g( x ) dx = a f ( x )dx + a g( x )dx.
b
c
b
3. a f ( x )dx = a f ( x )dx + c f ( x )dx si c I.
b
b
4. a f ( x )dx a g( x )dx si x I, f ( x ) g( x ).
b
5. m| I | a f ( x )dx M | I | si x I, m f ( x ) M.
b

1
Demostracin. 1) Si c = 0, es trivial. Si c < 0, entonces n N, S a (c f , n) = nk=
0 n sup IK c f =
b

b
b
1
c nk=
0 n nf Ik f = cS a ( f , n ), y anlogamente para S, luego N N , S a ( c f , N ) S a ( c f , N ) =


b
c Sba ( f , N ) S a ( f , N ) ' 0 por PdT e hiptesis, y anlogamente para c > 0. Por tanto, c f es


b
integrable con integral sh cSba ( f , n) = c a f ( x )dx.
b

1
n 1
2) Dado n N, tenemos que S a ( f + g, n) = nk=
0 sup IK ( f + g ) n k =0 n sup Ik f +
b

b
1
nk=
0 n sup Ik g = S a ( f , n ) + S a ( g, n ), y anlogamente para S. Por tanto, N N , S a ( f , N ) +
b

Sba ( g, N ) Sba ( f + g, N ) S a ( f + g, N ) S a ( f , N ) + S a ( g, N ) por PdT. As, 0 S a ( f +

b

g, N ) Sba ( f + g, N ) S a ( f , N ) + S a ( g, N ) Sba ( f + g, N ) S a ( f , N ) + S a ( g, N ) Sba ( f , N )

b
b
Sba ( g, N ) ' 0 por hiptesis, ergo f + g es integrable con integral sh S a ( f , n) + S a ( g, n) =
b
b
a f ( x )dx + a g ( x )dx.
3) Dado n N, se tiene:
1
n 1
c a
bc
= nk=
k) n
0 f ( x k ) n + k =0 f ( x

n 1
c a
bc
=
k =0 f ( x k ) n + n
1
b a
=
= Sba ( f , n)
nk=
0 f ( xk ) n
c
b
Y por PdT, dado N N , tenemos que: a f ( x )dx + c f ( x )dx = sh Sca ( f , N ) + sh Scb ( f , N ) =
b
sh Sba ( f , N ) = a f ( x )dx.
1
n 1
4) Dado n N, tenemos por hiptesis que Sba ( f , n) = kn=
0 f ( x k ) n k =0 g ( x k ) n =

b
b
Sba ( g, n). Y por PdT, a f ( x )dx = sh Sba ( f , N ) sh Sba ( g, N ) = a g( x )dx con N N .
b
5) Dado n N, tenemos por hiptesis que m| I | Sa ( f , n) M| I |, luego aplicando PdT y
tomando sombras hemos terminado.

Sca ( f , n) + Scb ( f , n)

60

Teorema. Si f C( I ), entonces la aplicacin F : I R tal que x 7

derivada f ( x ).

x
a

f (t)dt es derivable en I con

Demostracin. Sea n N tal que n (0, b x ) (que existe porque n 0). Entonces F
x +n
f (t)dt por 7.8. Y por Weierstrass, existen c, d tales que f (c) = mnx[ x,x+n ] f ( x ), f (d)
x
x +
maxx[ x,x+n ] f ( x ), luego f (c)n x n f (t)dt f (d)n , i.e., f (c) F
n f ( d ).
Sea ahora N N . Entonces, como N (0, b x ), tenemos por PdT que existen c, d
[ x, x + ] tales que f ( c ) F f ( d ). En particular, c ' x ' d y, por continuidad, f ( c )
N
N
f ( x ) ' f (d), luego sh FN = f ( x ).

Nota. Como corolario, obtenemos el Teorema Fundamental del Clculo de la manera usual.

61

=
=

'

Apndice A

Lgica matemtica
Nota. En cuanto al estatus epistemolgico de la relacin entre matemticas y lgica, adoptamos
la posicin de Barnes y Mack, de acuerdo con la cual
we carry out a mathematical study of the logic used in mathematics. We do this by
constructing a mathematical model of logic and applying mathematics to analyse the
properties of the model. We therefore regard all our existing knowledge of mathematics as being applicable to the analysis of the model, and in particular we accept set
theory as part of the meta-language. We are not attempting to construct a foundation
on which all mathematics is to be based rather, any conclusions to be drawn about
the foundations of mathematics come only by analogy with the model, and are to be
regarded in much the same way as the conclusions drawn from any scientific theory.
D.W. Barnes, J.M. Mack, An Algebraic Introduction to Mathematical Logic. Springer
(1975)
Notacin A.1. Fijamos para el resto del anexo los siguientes smbolos lgicos:
Parntesis: (, ).
Conectivas: , .
Cuantificador universal: .
Igualdad formal: .
Variables: cada uno de los elementos de V, con V un conjunto numerable fijado.
Definicin A.2. Un lenguaje L es una terna de conjuntos (R, F , C) tal que todo s R F
tiene asociado un natural ar(s), llamado aridad de s. Los elementos de R reciben el nombre de
smbolos relacionales, los de F smbolos funcionales, y los de C smbolos de constantes.
Nota. Fijamos para el resto del anexo L = (R, F , C) lenguaje, y supondremos que ninguno de
los smbolos anteriores (tanto los lgicos como los del lenguaje) son una sucesin finita de otros
smbolos (de s mismo no es necesario decirlo, por el Axioma de Regularidad).
Notacin. Si s1 , . . . , sn es una sucesin finita de smbolos, entonces s1 . . . sn denota la susodicha
sucesin. Si c1 , . . . , cn es una sucesin finita de sucesiones finitas de smbolos, entonces c1 . . . cn
denota la concatenacin de todas ellas.
Definicin A.3. El conjunto de trminos de L sobre V, denotado Term(L), se define por recursin como sigue:
1. V C Term(L).
2. Si f F es de aridad n y t1 , . . . , tn Term(L), entonces f t1 . . . tn Term(L).
63

Definicin A.4. Si t Term(L), el conjunto de variables de t, denotado var(t), se define por

recursin como sigue:

si t V
t
var(t) :=
si t C

n
i=1 var(ti ) si t = f t1 . . . tn
Definicin A.5. El conjunto de tomos de L, denotado At(L), se define por recursin como
sigue:
1. Si R R es de aridad n y t1 , . . . , tn Term(L), entonces Rt1 . . . tn At(L).
2. Si t1 , t2 Term(L), entonces t1 t2 At(L).
Definicin A.6. El conjunto de frmulas de L, denotado Form(L), se define por recursin como
sigue:
1. At(L) Form(L).
2. Si , Form(L) y v V, entonces () , ( ) , (v) Form(L).
Nota. Aunque los parntesis son necesarios para garantizar la unicidad de lectura de frmulas,
en adelante haremos un uso razonable de ellos. Ms concretamente, la prioridad de lectura es:
, v, .
Definicin A.7. Si Form(L), el conjunto de variables de , denotado var(), se define por
recursin como sigue:

in=1 var(ti )
si = Rt1 . . . tn

2 var( t )

si = t1 t2
i
i =1
var() := var()
si =

var() var() si =

var() {v}
si = v
Definicin A.8. Si Form(L), el conjunto de variables libres de , denotado L(), se define
por recursin como sigue:

var()

L()
L() :=

L() L()

L() r {v}

si
si
si
si

At(L)
=
=
= v

Definicin A.9. El conjunto de sentencias de L se define como Sent(L) := { Form(L) : L() = }.

Definicin A.10. Dadas , Form(L), se definen:
1. := ( ).
2. := () .
3. := ( ) ( ).
4. v := v.
Definicin A.11. Una L-estructura de universo A es una cuaterna A = A, { RA : R R}, { f A :


f F }, {cA : c C} tal que
1. A es un conjunto no vaco.
2. Si R R es de aridad n, entonces RA An .
64

3. Si f F es de aridad n, entonces f A : An A.
4. Si c C , entonces cA A.
Nota. Fijamos para el resto del anexo A una L-estructura de universo A.
Definicin A.12. Una interpretacin en A es una aplicacin s : V A.
Definicin A.13. Si s es una interpretacin en A, la extensin de s, s : Term(L) A, se define
por recursin como sigue:
1. Si c C , entonces s(c) = cA .
2. Si v V, entonces s(v) = s(v).
3. Si f F es de aridad n y t1 , . . . , tn Term(L), entonces s( f t1 . . . tn ) = f A s(ti )

n
i =1

Definicin A.14. Sea s una interpretacin en A y Form(L). Decimos que A satisface para
la interpretacin s, y escribimos A  [s], ssi

n
1. s(ti ) i=1 RA si = Rt1 . . . tn (con R R de aridad n y t1 , . . . , tn Term(L), se sobreentiende).
2. s(t1 ) = s(t2 ) si = t1 t2 .
3. A 6 [s] si = .
4. A  [s] y A  [s] si = .
(
5. Existe a A tal que A  [s(v| a)] si = v, con s(v| a)(w) :=

s(v)
a

si v 6= w
.
si v = w

Definicin A.15. Diremos que es vlida en A, o que A es modelo de , y escribiremos A  ,

ssi A  [s] para cualquier s interpretacin en A.
Teorema A.16. Sean Form(L) y s1 , s2 interpretaciones en A tales que s1  L() = s2  L().
Entonces A  [s1 ] ssi A  [s2 ].
Definicin A.17. Sea Form(L) tal que L() = {vi }ik=1 , y sea { ai }ik=1 A. Entonces A 
[ a1 , . . . , ak ] ssi A  [s] para s : V A tal que s(vi ) = ai .

65

Bibliografa
[ArCuHe97] L. O. A RKERYD , N. J. C UTLAND , C. W. H ENSON (Eds.), Nonstandard analysis theory
and applications. Nato Science Series C:, Vol. 493. Springer Netherlands, 1997.
[BHKNS14] T. B ASCELLI , E. B OTTAZZI , F. H ERZBERG , V. K ANOVEI , K. U. K ATZ , M. G. K ATZ ,
T. N OWIK , D. S HERRY, S. S HNIDER, Fermat, Leibniz, Euler, and the gang: The true history of the concepts of limit and shadow. Notices of the American Mathematical Society,
Vol. 61, No. 8 (2014), pp. 848864.
[BeNe07]

I. VAN DEN B ERG , V. N EVES (Eds.), The strength of nonstandard analysis. SpringerVerlag Wien, 2007.

[Cl12]

P. L. C LARK, Sequences and Series: A Sourcebook. University of Georgia, 2012. Descargado a 27/2/2015 de http://math.uga.edu/pete/3100supp.pdf.

[Ed79]

C. H. J R . E DWARDS, The Historical Development of the Calculus. Springer Study Edition. Springer-Verlag New York, 1979.

[En01]

H. Enderton, A Mathematical Introduction to Logic. Academic Press, 2nd ed., 2001.

[Go98]

R. G OLDBLATT, Lectures on the Hyperreals: An introduction to Nonstandard Analysis.

Graduate Texts in Mathematics, Vol. 188. Springer-Verlag New York, 1998.

[Go12]

I. G OLDBRING,
Lecture
notes
on
nonstandard
analysis.
UCLA,
Summer School in Logic, 2012. Descargado a 13/10/2014 de
http://homepages.math.uic.edu/isaac/NSA%20notes.pdf.

[HeKe86]

C. W. H ENSON , H. J. K EISLER, On the Strength of Nonstandard Analysis. The Journal

of Symbolic Logic, Vol. 51, No. 2, pp. 377-386. Association for Symbolic Logic, Jun.
1986.

[HuLo85]

A. E. H URD , P. A. L OEB, An Introduction to Nonstandard Real Analysis. Academic

Press, 1985.

[Ke86]

H. J. K EISLER, Elementary Calculus, An Approach Using Infinitesimals. Prindle, Weber

and Schmidt, 2nd ed., 1986.

[La01]

D. L AUGWITZ, Curt Schmiedens Approach to Infinitesimals. Synthese Library, Vol. 306,

pp. 127-142. Springer Netherlands, 2001.

[LuK79]

W. A. J. Luxemburg, S. Krner (Eds.), Selected Papers of Abraham Robinson, Vol. 2.

North-Holland Publishing Company, Amsterdam, 1979.

[Or02]

J. M. O RTEGA , Introducci a lanlisi matemtica. Bellaterra: UAB. Servei de Publicacions, 2.a ed., 2002.

[Pe08]

F. J. P REZ, Clculo diferencial e integral de funciones de una variable. Universidad de

Granada, 2008. Descargado a 27/2/2015 de http://www.ugr.es/fjperez/textos.

[Ro66]

A. R OBINSON, Non-standard Analysis. Studies in Logic and the Foundations of Mathematics, Vol. 42. North-Holland Publishing Company, Amsterdam, 1966.
67

[Ru80]

W. R UDIN , Principios de anlisis matemtico. Mxico, D. F.: McGraw-Hill, 3.a ed., 1980.

[ShBe10]

K. S HAMSEDDINE, M. B ERZ, Analysis on the Levi-Civita Field, a Brief Overview. Contemporary Mathematics, Vol. 508, pp. 215-237. American Mathematical Society,
2010.

[Ta08]

T. TAO, Structure and Randomness: pages from year one of a mathematical blog. American
Mathematical Society, Providence RI, 2008.

68