Hiperreales

EL CUERPO DE LOS HIPERREALES
IGNACIO L. IRIBARREN
Contenido
1. Introduccion 1
2. Caracterizacion del cuerpo de los numeros reales 4
3. Construccion de los hiperreales 7
4. Estructura de los hiperreales 12
5. La parte estandar de un hiperreal 14
6. Conjuntos y funciones inducidos 19
7. Elementos de topologa en HR 24
8. Lmites 28
9. Continuidad 34
10. Integracion 38
11. Diferenciacion 47
12. Teorema Fundamental del Calculo 51
No mas ficcion para nosotros, debemos calcular, pero

para poder calcular tenamos que hacer ficcion antes.
F. Nietzche
1. Introduccion
Durante las ultimas decadas del siglo XVII, Newton y Leibniz crearon
independientemente lo que dio en llamarse el Calculo Infinitesimal.
En su version actual es lo que llamamos Calculo Diferencial e Inte-
gral en los textos elementales o bien Analisis Real en el caso de un
tratamiento mas avanzado y profundo.
Leibniz sustento la nueva teora matematica sobre el concepto de
infinitesimos y Newton sobre el de fluxiones, las cuales disimulaban la
misma idea del infinitamente pequeno.
La formulacion de Leibniz tuvo mucho mas exito en la difusion del
Calculo, al extremo de que los infinitesimos han sobrevivido hasta
Date: Agosto 1984 Marzo 2013.

1
2 IGNACIO L. IRIBARREN
nuestros das entre fsicos, ingenieros y en general entre numerosos

cientficos que aplican las matematicas.
La nocion de infinitesimo es intrnsecamente contradictoria: es un
numero positivo usualmente designado por dx, ds, dt, ... en notacion
del propio Leibniz que no es cero, pero es menor que todo numero
positivo. Tal ente no existe entre los numeros reales. Por supuesto que
Leibniz estaba consciente de esto, pero el manejo de infinitesimos, casi
siempre llamados diferenciales, resultaba y resulta muy eficaz en
los conceptos, las deducciones y las aplicaciones del Calculo. Fue un
rasgo de genio el haber intuido la idea de los intinitesimos y aferrarse
a ella a pesar de su aparente inconsistencia.
En una carta a Guido Grandi en 1691, Leibniz expresa:
... lo infinitamente pequeno no es un simple y absoluto cero, sino
un cero relativo, es decir, una cantidad que desvanece y que no obstante
mantiene la naturaleza de aquello que esta desapareciendo...
A medida que el descubrimiento espectacular del Calculo se extenda
entre la inteligencia europea desde finales del siglo XVII y durante el
XVIII, personajes tan famosos e influyentes como Voltaire y el filosofo
Berkeley hicieron severas crticas, con frecuencia sarcasticas, en contra
de esta nueva matematica.
Viene al recuerdo la historia de los numeros imaginarios en tiempos
bastante mas remotos, cuya aparicion se mainifesto en las soluciones
de ecuaciones algebraicas, y llegaron a emplearse corrientemente sin
tener idea clara de su naturaleza, no en balde los llamaron imaginarios.
Fue solo en el siglo XIX cuando se obtuvo una definicion rigurosa de
los numeros complejos. Se sabe ahora (permtase el juego de palabras)
que los imaginarios no son reales 1.
A partir de su creacion, el Calculo se desarrollo vigorosamente, ex-
tendiendose a derivadas parciales, a integrales multiples e incluso al
Calculo de Variaciones, todo ello haciendo uso de infinitesimos.
En la segunda mitad del siglo XIX grandes matematicos como Cauchy,
Weierstrass y Riemann dotaron al Calculo de bases precisas y logicamente
incuestionables mediante la teora de lmites, y se establecieron los
hoy universales razonamientos , . Un Calculo con fundamentos irre-
prochables desecho los infinitesimos y los desterro al desprestigio. El
termino Calculo Infinitesimal fue cayendo en desuso y se prefiere el
nombre de Calculo a secas o de Analisis.
Sin embargo, tanto por tradicion como por su facilidad intuitiva, el
empleo de infinitesimos ha sobrevivido entre los cientficos aplicados
1 en
serio, los entes llamados imaginarios, p. ej 1, no pertenecen al cuerpo de
los numeros reales.
EL CUERPO DE LOS HIPERREALES 3
hasta hoy. Curioso es que textos de ensenanza, hasta bien entrado

el siglo XX y dirigidos a estudiantes de ingeniera se titulan Calculo
Infinitesimal y usan los diferenciales a la antigua.
Ya cuando la comunidad de matematicos consideraba los infinitesimos
de un valor puramente historico y ciertamente expulsados de su reper-
torio, ocurrio que en 1960 Abraham Robinson (1918-74) los resucito
mediante la proeza de descubrir, por as decirlo, el planeta donde
habitan. En efecto, Robinson concibio con argumentos de la logica
matematica un metodo para construir estructuras que contengan, no
solo la precision rigurosa de lo infinitamente pequeno, sino tambien
lo infinitamente grande. Trescientos anos despues de la genial intu-
icion de Leibniz, los infinitesimos adquiren respetabilidad y entran a
formar parte de la matematica aceptada.
Robinson creo una nueva teora matematica, que el mismo llamo
Analisis No-Estandar (Non-standard Analysis).
Extraemos unos parrafos (originales en ingles) del prefacio de su
famoso libro Non-standard Analysis (North-Holland, 1966):
En otono de 1960 se me ocurrio que los conceptos y metodos de
la Logica Matematica contemporanea son capaces de proveer funda-
mentacion adecuada para el desarrollo del Calculo Diferencial e Integral
por medio de numeros infinitamente pequenos e infinitamente grandes.
Revele por primera vez mis ideas en un seminario en la Universidad
de Princeton (noviembre 1960), y luego en una ponencia en el con-
greso anual de la Asociacion de Logica Simbolica (enero 1961) y en
un artculo publicado en los Anales de la Real Academia de Ciencias
de Amsterdam. Decid llamar la nueva teora Analisis No-Standard,
ya que incluye y estaba en parte inspirada en los llamados modelos no-
standard de la aritmetica, cuya existencia fue senalada por primera vez
por Skolem.
...cualquiera que sea nuestra actitud y no obstante la posicion de
Leibniz, nos parece hoy que los numeros infinitamente pequenos e in-
finitamente grandes de un modelo no-standard del Analisis son tanto
mas o menos reales que, por ejemplo, los numeros irracionales.
La teora de Robinson permite crear modelos no-estandar de muchas
estructuras matematicas: de espacios metricos, de espacios de Banach
y de Hilbert y en especial del cuerpo de los numeros reales que es el
caso que nos interesa aqu.
Tal como Robinson expone su teora resulta atemorizante para quien
no es un especialista en logica matematica; afortunadamente, existen
ahora desarrollos alternativos que hacen opcional los metodos de la
logica y se apoyan solo en consideraciones algebraicas y analticas.
En esta monografa nos proponemos construir el cuerpo HR de los

hiperreales como una extension del cuerpo R de los numeros reales y
demostrar algunas de sus propiedades mas relevantes. Veremos que, en
efecto, es en HR donde habitan los dichosos infinitesimos.
Damos por conocidos los conceptos y propiedades de los numeros
reales y desde luego de los racionales y enteros. O sea que las referencias
a estas estructuras han de considerarse como un repaso, un recordatorio
donde no se entra en demostraciones.
Tambien se espera que el lector maneje los elementos de las teoras
de anillos y cuerpos, tales como ideales, anillos cocientes, ideales max-
imales, homomorfismos.
En seguida de la construccion de HR presentamos los elementos del
Calculo con la intervencion de los hiperreales; no se trata de un desar-
rollo exhaustivo, ni se pretende, mas bien se ofrece con fines ilustrativos
en el empleo riguroso de los infinitesimos e hiperreales en general.
Conviene destacar que en esta monografa no se hace uso de teoremas
de la Logica Matematica. Todos los razonamientos son los acostum-
brados en el algebra y en el analisis.
2. Caracterizacion del cuerpo de los numeros reales

Existen muchos cuerpos totalmente ordenados. Un ejemplo tpico es
el cuerpo (Q, +, , ) de los numeros racionales.
Ocurre que en Q no existen los irracionales, como se dieron cuenta
los antiguos griegos cuando se tropezaron con 2. Los irracionales
siguieron manejandose por mas de 18 siglos con solo una vaga idea de
su naturaleza.
En 1872 Dedekind realizo la primera construccion rigurosa del cuerpo
totalmente ordenado (R, +, , ) de los numeros reales, como extension
de Q, y es en R donde residen todos los irracionales.
Pero se presento otro problema: no se saba que hacer con entes como
1 que no cesaban de asomar la cabeza, los llamaron imaginarios y
ciertamente no existen en R.
Tambien fue en el siglo XIX que se definio con rigor el cuerpo (C, +, )
de los numeros complejos, como extension de R, y all se encuentran
todos los imaginarios.
La extension de Q a R es muy provechosa, no se pierde ninguna de
las virtudes de Q y se gana muchsimo, no solamente la incorporacion
de los irracionales.
En cambio, la extension de R a C impone un sacrificio importante:

no es posible dotar a C de una relacion de orden total compatible con
su estructura de cuerpo 2.
Todo empezo con los numeros naturales, que segun Kronocker fueron
creados por Dios y todo lo demas es obra del hombre, de all se paso
a los enteros, con secular resistencia hacia los negativos, y luego a Q, R
y C. Desde siempre llamamos numeros a todos sus integrantes.
La secuencia historica marcada por extensiones sucesivas de estruc-
turas numericas es, en resumen, como sigue:
+ negativos
naturales (N) enteros (Z)
+ f racciones
enteros (Z) racionales (Q)
+ irracionales
racionales (Q) reales (R)
+ imaginarios
reales (R) complejos (C)
Precisamente en este escrito nos proponemos agregar la extension
+ infinitesimos...
reales (R) hiperreales (HR)
Y cada estructura esta contenida en la que sigue:
NZQRC
R HR
Tomemeos un elemento a en un cuerpo cualqiera. Si n es un numero
natural, entendemos por na al elemento a + a + + a (n veces).
Se dice que un cuerpo totalmente ordenado (F, +, , ) es arquime-
diano si, para todo par a, b F con 0 < a < b, existe un natural n tal
que b < na. Tal es el caso de Q y de R desde luego 3.
Otra propiedad que puede tener un cuerpo totalmente ordenado es
la sigueinte:
Decimos que una sucesion {an } en F es una sucesion de Cauchy si,
dado cualquier > 0 (en F), existe un natural tal que, para todo par
de naturales n, m , se tiene
| an am | <
Intuitivamente, esto significa que los terminos de {an } se acercan
unos a otros tanto como se quiera.
2
En efecto, ( 1)2 = 1 tendra que ser positivo, as como 1 > 0, pero la suma
de ambos es cero.
3 Esta definicion de arquimediano es equivalente a expresar que el conjunto de
los naturales N (como subconjunto del cuerpo) no esta acotado superiormente.
Ahora bien, el cuerpo se califica de completo si toda sucesion de

Cauchy tiene lmite 4; es decir, existe un F tal que, dado > 0 (en
F), existe un natural de modo que, para todo n se tiene que
| an | <
y escribimos
= lim an
Ocurre que el cuerpo Q de los racionales no es completo. En efecto,
los terminos de una sucesion de racionales pueden aproximarse entre
ellos tanto como se quiera y, sin embargo, no estar acercandose a ningun
racional. Como ejemplo, basta con tomar una sucesion de racionales
cuyo lmite sea irracional 5.
Ahora bien, el cuerpo totalmente ordenado (R, +, , ) de los numeros
reales es arquimediano y completo. Es mas, todo cuerpo (F, +, , ) ar-
quimediano y completo es isomorfo a R; es decir, a todos los efectos
matematicos, tal F es indistinguible del cuerpo R. En breve, (R, +, , )
se caracteriza por ser arquimediano y completo.
Esto implica que toda extension propia de R, o sea un cuerpo que
contenga y sea mas grande que R, no puede gozar de estas dos
propiedades. Tal cosa ocurre con el cuerpo C de los complejos que
hasta carece de una relacion de orden, de modo que lo de arquimedi-
ano ni siquiera puede plantearse. No obstante, C es completo si en las
definiciones de sucesion de Cauchy y de lmite interpretamos el valor
absoluto como el conocido modulo o norma en C. Pero ciertamente
hemos pagado un peaje al pasar de R a C y ganar los imaginarios.
Podemos pues anticipar que el cuerpo HR de los hiperreales, que sera
totalmente ordenado y contendra a R, habra de perder una o ambas
propiedades caracterizantes de R. Ocurrira en efecto que HR no va a ser
arquimediano, aunque s completo. Es el precio a pagar por albergar a
los infinitesimos.
Es facil darse cuenta de que HR no puede ser arquimediano: Sea
> 0 un infinitesimo en HR; entonces, 0 < < r para todo real
r R positivo. Si existiese un natural n con r < n, se infiere que
0 < r/n < y caemos en una contradiccion, pues r/n es real positivo6.
Comentario 2.1. El cuerpo R posee la propiedad del sup; a saber,
todo conujunto en R acotado superiormente admite extremo superior,
4Inversamente, una sucesion con lmite es siempre de Cauchy. Esto es muy facil
de probar.
5 De hecho, todo irracional es lmite de sucesiones de racionales (de Cauchy).
6 Este argumento demuestra precisamente por que los infinitesimos no existen
en R. Por eso resultaba, digamos, un absurdo escandaloso suponer su existencia y
razonar con ellos como se atrevio Leibniz.
tambien llamado supremo; es decir, si 6= A R y existe un k R

tal que x < k para todo x A, entonces existe un R que es cota
superior c de A y c, para toda cota superior de A. Escribimos
= sup A.
Ocurre que la propiedad del sup, por s sola, caracteriza R entre los
cuerpos totalmente ordenados. As pues
propiedad del sup arquimediano y completo
3. Construccion de los hiperreales

El metodo que vamos a seguir aqu para la construccion del cuerpo de
los hiperreales hace uso decisivo de los conceptos de filtro y ultrafiltro
creados por el matematico frances Henri Cartan (1904-2008) en 1937.
Un filtro F sobre un conjunto X 6= es una familia no vaca de
subconjuntos de X con las siguientes propiedades:
(1) /F
(2) A F y A B X = B F
(3) C, D F = C D F
De (1) y (2) se infiere que siempre X F.
Decimos que F es un ultrafiltro si posee la propiedad adicional
(U): A X = A F o bien X A F [no ambos, pues
si A y X A pertenecen los dos a F, entonces su interseccion
esta en F lo cual contradice la propiedad (1)].
Es muy sencillo proporcionar ejemplos de fitros sobre cualquier con-
junto dado. En cuanto a ultrafiltros, daremos por conocido un celebre
teorema de Cartan que establece que todo filtro admite ultrafiltros que
lo contienen.
Comentario 3.1. La demostracion del teorema de Cartan exige aplicar
el axioma de escogencia (en su version de Zorn).
El ejemplo que mas nos interesa es el filtro de Frechet sobre los
naturales N, constituido por todo A N cuyo complemento N A es
finito. Es trivial verificar que se trata de un filtro. De acuerdo con el
teorema de Cartan, existe algun ultrafiltro U que lo contiene.
Comentario 3.2. El filtro de Frechet no es un ultrafiltro. Notese que
el conjunto de los numeros pares no le peretenece, como tampoco su
complemento.
Trabajaremos con el ultrafiltro U, uno cualquiera de los infinitos ul-
trafiltros distintos que contienen al filtro de Frechet, aunque ninguno
de ellos esta contenido en otro.
Comentario 3.3. Un conjunto finito F N no puede pertenecer a

un ultrafiltro U que contenga al filtro de Frechet, pues de ser as, su
complemento N F / U, pero N F pertenece al filtro de Frechet que
esta contenido en U y arribamos a una contradiccion.
En otras palabras, todo elemento de U es forzosamente un subcon-
junto infinito de N.
Sea S la familia de todas las sucesiones de terminos reales. Definimos
suma + y producto en S operando termino a termino:
{an } + {bn } = {an + bn } {an } {bn } = {an bn }
Es un ejercicio elemental comprobar que la estructura resultante
(S, +, ) es un anillo abeliano con neutro. La sucesion {0, 0, . . . } es
el cero en el anillo y la {1, 1, . . . } es el uno. Es bastante obvio que
el producto de dos sucesiones puede se cero sin que ninguna lo sea,
de modo que el anillo carece de integridad.
Teorema 3.1. El conjunto I S definido por
(3.1) {an } I {n N | an = 0} U
es un ideal maximal del anillo (S, +, ).
Demostracion. Veamos que I es un ideal de S.
En primer lugar, I =6 , pues al menos {0, 0, . . . } I, ya que N U.
Sean {an } y {bn } un par de sucesiones en I, de modo que
A = {n N | an = 0} B = {n N | bn = 0}
pertenecen a U; luego, si
C = {n N | an bn = 0}
es claro que A B C. Como U es un filtro, se infiere que C U.
En consecuencia, {an } {bn } = {an bn } I.
Tomemos ahora cualquier {an } I y sea {sn } S.
Dado que A = {n N | an = 0} U, es obvio que A D, donde
D = {n N | an sn = 0}
Se tiene entonces que D U, de modo que {an } {sn } = {an sn } I.
En conclusion, I es un ideal del anillo S.
Procedemos a probar que I es maximal.
Sea J un ideal de S tal que I J , pero J = 6 I. Existe entonces
una sucesion real {sn } J con
M = {n N | sn = 0}
/U
y, como U es un ultrafiltro, ocurre que
P = N M = {n N | sn 6= 0} U
Consideremos ahora la sucesion {tn } tal que

n P : tn = 1/sn n
/ P : tn = 0
Pero J es un ideal, de modo que {sn tn } J y, por construccion,
P = {n N | sn tn = 1} U
Sea ahora la sucesion u = {sn tn } {1} = {sn tn 1}. Es claro que
{n N | sn tn 1 = 0} = P
de manera que u I J . Luego,
{1, 1, . . . } = {sn tn } u J
y esto implica que J = S. As que I es maximal.

Definicion 3.1. En virtud del teorema precedente, el anillo cociente
S
(3.2) HR =
I
es un cuerpo que bautizamos como el cuerpo de los hiperreales. Sus
operaciones de suma + y producto son las inducidas por las homologas
en S.
De acuerdo con esta construccion, un elemento de HR, vale decir,
un hiperreal, es la clase de equivalencia de una sucesion {an } S
con respecto al ideal I. En tal sentido, un par de sucesiones reales
{an }, {bn } son equivalentes, si {n N | an bn = 0} U.
Un hiperreal es entonces, tecnicamente, la clase de equivalencia {an }
que puede tambien escribirse (es lo mismo que) {an } + I. Una manera
de representar las operaciones en HR puede ser
({an } + I) + ({bn } + I) = {an + bn } + I
({an } + I) ({bn } + I) = {an bn } + I
El cero es la clase {0, 0, . . . } = I y el uno es la clase {1, 1, . . . } =
{1} + I.
Comentario 3.4. Recordemos que existen infinitos ultrafiltros que con-
tienen al filtro de Frechet. Ulltrafiltros distintos inducen cuerpos hiper-
reales isomorfos, de modo que poco importa el ultrafiltro en referencia.
Sin embargo, un hiperreal = {an } + I depende en ultima instancia
del ultrafiltro elegido U. Por ejemplo, tomemos {an } = {0, 1, 0, 1, . . . }.
Uno solo de estos dos conjuntos complementarios
A = {n N | an = 0} B = {n N | an = 1}
ha de pertenecer a U. Si ocurre que A U, entonces = 0 (el cero en

HR), pero si es B U tenemos que = 1 (el uno en HR). Podra ser
uno u otro, eso depende de si U continene al conjunto de los naturales
pares o el de los impares.
El cuerpo R esta inmerso en HR bajo el monomorfismo : R HR
tal que, para todo r R, se tiene (r) = {r}+I 7. En la practica desde
luego consideramos que R HR e identificamos la clase de equivalencia
de una sucesion constante {r, r, . . . } con el real r.
Ahora abordamos la tarea de dotar a HR de una relacion de orden
que lo convierta en un cuerpo totalmente ordenado.
Definicion 3.2. Para cualquier par de hiperreales = {an } + I y
= {bn } + I, se define
(3.3) {n N | an bn } U
Teorema 3.2. La relacion definida en (3.3) es una relacion de orden
que hace de HR un cuerpo totalmente ordenado.
Demostracion. Primero, es preciso demostrar que esta definicion es
consistente; es decir, si tambien = {a0n } + I y = {b0n } + I, entonces
D = {n N | a0n b0n } U
En efecto, se tiene
A = {n N | an a0n = 0} U B = {n N | bn b0n = 0} U
Luego, A B U y A B D, ya que para todo n A B ocurre
a0n = an bn = b0n
por tanto, como U es un filtro, D U.
O sea que la relacion definida por (3.3) en HR es independiente de
la sucesion que se tome para representar un hiperreal.
Veamos que se trata de una relacion de orden. La reflexividad
es inmediata, pues N U.
La antisimetra se infiere de que, si y , el conjunto
{n N | an = bn } esta en U, pues contiene la interseccon
{n N | an bn } {n N | bn an } U
O sea que = .
En cuanto a la transitividad, si y , donde = {cn } + I,
el conjunto {n N | an cn } esta en U ya que contiene la interseccion
{n N | an bn } {n N | bn cn } U
7
Es muy evidente que es un homomorfismo y, como es entre cuerpos, es
inyectivo.
As que .
Por ultimo, la relacion de orden es total; es decir, para cualquier
par = {an } + I y = {bn } + I, se tiene que {n N | an bn } o su
complemento {n N | bn < an } esta en U, en virtud de que U es un
ultrafiltro. De manera que o bien < .
Es claro que la inmersion : R HR respeta la relacion . Es
decir, para r, s R,
rs = (r) (s)
pues N U.
Falta probar que esta relacion de orden es compatible con la estruc-
tura de cuerpo de HR.
Sean
= {an } + I = {bn } + I = {cn } + I
Supongamos que o sea que E = {n N | an bn } U.
Sea G = {n N | an + cn bn + cn }. Es claro que E G, de donde
G U. En consecuencia,
+ = {an + cn } + I + = {bn + cn } + I
Supongase ahora que 0, es decir H = {n N | cn 0} U.
El conjunto K = {n N | an cn bn cn } esta en U, pues E H K.
Luego,
= {an cn } + I = {bn cn } + I
En conclusion, (HR, +, , ) es un cuerpo totalmente ordenado (y
contiene a R con toda su estructura).

Comentario 3.5. Tengase presente que, para un = {an } + I HR
y un real r R, la expresion, digamos, < r (y analogo para , , >)
significa
{a0 , a1 , a2 , . . . } + I < {r, r, r, . . . } + I
lo cual, de acuerdo con la definicion (3.3), no es otra cosa que
{n N | an < r} U
Por ejemplo, 0 es precisamente
{n N | an 0} U
El valor absoluto en HR se define exactamente igual que en Q y en

R y sus propiedades se demuestran de igual manera.
Para cualquier = {an } + I HR, el lector podra comprobar con
facilidad que
|| = {|an |} + I
4. Estructura de los hiperreales

Es ahora cuando identificamos los infinitesimos en HR y muchas cosas
mas.
Sea = {an }+I un hiperreal no nulo (o sea que {an } / I), de modo
que
P = {n N | |an | > 0} U
y supongamos que la sucesion real {an } tiene lmite 0 en R.
Entonces, para cualquier > 0 real, existe un natural tal que, para
todo n , se tiene |an | < . Esto significa que el conjunto
M = {n N | |an | < }
tiene complemento finito (M pertenece al filtro de Frechet), por tanto
M U y M P T , donde
T = {n N | 0 < |an | < }
luego T U, lo cual quiere decir que
0 < || <
para todo > 0 real.
Estamos pues en presencia de un infinitesimo 0 < || HR.
Un ejemplo particular y concreto es = {1/n} + I.
Podemos afirmar entonces que en HR existen infinitesimos positivos
mas cerca de cero que cualquier real > 0 y negativos mas cerca de
cero que cualquier real < 0.
No existe numero real 6= 0 que satisface este concepto.
Comentario 4.1. Dado un infinitesimo = {an }+I, la sucesion {an }
no necesariamente tiene lmite cero.
Por ejemplo,
{an } = {1, 21 , 1, 13 , 1, . . . }
carece de lmite, pero si U contiene el conjunto M de los naturales
impares, entonces > 0 es infinitesimo.
En efecto, = {bn } + I, donde
{bn } = {0, 21 , 0, 13 , 0, . . . }
es un infinitesimo, pues bn 0 y > 0, ya que
{n N | bn > 0} = M U
Pero tambien
{n N | an = bn } = M U
En conclusion, = .
Si fuese el caso que U contiene los naturales pares, la construccion

de , y la prueba son analogas.
Vease el Lema 5.1 mas adelante donde se da una condicion necesaria
para los infinitesimos en terminos de lmites de sucesiones.
La suma (si es 6= 0) y el producto de dos infinitesimos y es un
infinitesimo.
En efecto, sea r > 0 un real, luego
|| < r/2 || < r/2 = 0 < | + | || + || < r
|| < r || < 1 = 0 < || < r
El producto de un real a 6= 0 por resulta tambien un infinitesimo:
|| < r/|a| = 0 < |a| < r
Sea = {cn } + I un hiperreal tal que la sucesion real {cn } tiene
lmite infinito. Esto significa que, para cada real k > 0 existe un N
tal que, para todo n se tiene |cn | > k.
As pues, para un k > 0 cualquiera, el conjunto
K = {n N | 0 < k < |cn |}
pertenece a U, pues su complemento es finito. Por tanto,
|| > k > 0
Hemos probado que es mayor que todo real positivo o bien (si
< 0) es menor que todo real negativo. Decimos entonces que el
hiperreal es infinito.
Argumentando de manera analoga a como se hizo con los infinitesimos,
se establece que la condicion cn , si bien suficiente no es necesaria
para que el hiperreal sea infinito.
Ejemplos obvios de hiperreal mas infinito es {n} + I > 0, y de menos
infinito {n} + I < 0.
Dejamos al lector verificar que la suma (si es 6= 0) de infinitos y
su producto es infinito; alguna atencion debe prestarse a los signos.
Tambien el producto de un real por un infinito es infinito.
As mismo, es muy sencillo comprobar que
es un infinitesimo 1/ es infinito
El producto de un infinitesimo por un infinito es desde luego un
hiperrreal (que puede estar en R), pero su naturaleza depende del ul-
trafiltro U.
Se dice que un hiperreal es finito si existe un real r > 0 tal que
|| < r o lo que es lo mismo r < < r.
En particular, un infinitesimo es finito, pero ciertamente existen

hiperreales finitos no infinitesimos, como se vera en lo que sigue.
Es un ejercicio muy sencillo probar que, si es un infinitesimo, un
infinito y HR finito, entonces
es infinitesimo
(si 6= 0) es infinito
Lema 4.1. Un hiperreal = {cn } + I es +infinito si, y solo si, para
cada k > 0 real el conjunto
M = {n N | cn > k}
esta en el ultrafiltro U.
Demostracion. es +infinito si, para cada real k > 0, se tiene que
> k, y esto ocurre si, y solo si, M U.

Comentario 4.2. Considerese el hiperreal = {bn } + I tal que
{bn } = {1, 21 , 3, 1, 22 , 6, 1, 23 , 9, . . . }
Ocurre que puede ser 1, un infinitesimo o bien un infinito, segun
cual de estos conjuntos esta en U
{n N | bn = 1} {n N | bn = 2n } {n N | bn = n}
5. La parte estandar de un hiperreal

Sean x, y HR. Se define
x y |x y| es infinitesimo o cero
Intuitivamente, x y indica que x e y estan infinitamente cerca o
son iguales.
Veamos que es una relacion de equivalencia sobre HR.
En efecto, sean x, y, z HR.
Como |x x| = 0, tenemos que x x.
Que x y implica y x es obvio.
Si x y e y z, sabemos que
|x z| |x y| + |y z|
es un infinitesimo (o cero), por tanto x z.
Se infiere que la relacion de equivalencia determina una particion
de HR en clases de equivalencia
(x) = { y HR | x y }
Llamamos (x) la monada de x HR (en memoria de Leibniz que

empleo la palabra monada en sus tratados filosoficos).
La suma y producto en HR son estables con respecto a la relacion de
equivalencia . Es decir, para x, y, z, w HR, tenemos
(5.1) x y & zw = x+z y+w & xz yw
En efecto, existen infinitesimos , tales que x = y + y z = w + ,
entonces
x + z = y + w + ( + ) & xz = yw + (w + y + )
y sabemos que + as como w + y + son infinitesimos (si o/y
es cero la conclusion es la misma).
Es claro que la monoda (0) contienene todos los infinitesimos, ya
que
x es infinitesimo x 0 x (0)
Lema 5.1. Sean x = {an } + I HR y c R.
Si x c, entonces existe un z = {bn }+I tal que {bn } es una sucesion
parcial de {an }, bn c y z c.
Demostracion. Si x c, |x c| es un infinitesimo, luego, para cada
real > 0, 0 |x c| < implica
{ n N | |an c| < } U
Tomemos una sucesion real {n } tal que n > 0 y n 0. Entonces,
para cada k N podemos asegurar que
Mk = { n N | |an c| < k } U
Notese que Mk es infinito por pertenecer a U (vease el Comentario
3.3) 8. Sea nk el primer elemento de Mk distinto de nj para j =
1, 2, . . . , k 1; luego, |ank c| < k .
Consideremos el hiperreal z = {bk } + I tal que, para cada k N,
hacemos bk = ank . Por construccion, se tiene que h 6= k = nh 6= nk ,
de modo que {bk } es una sucesion parcial de {an }.
Ademas,
k N : |bk c| = |ank c| < k
Esto significa que, dado un real > 0, existe un N tal que para
todo k se tiene 0 < k < , lo cual implica que
|bk c| < (k )
Se concluye que bk c.
En consecuencia, {|bk c|} tiene lmite 0, por lo cual |z c| es un
infinitesimo, es decir, z c.
8 Lo cual no impide que N Mk sea infinito tambien.
Comentario 5.1. En el Lema 5.1, no se infiere que

z = {bn } + I = {an } + I = x
solo se deduce que z x.
O sea, bien puede ocurrir que
{i N | ai = bi }
/ U
Designemos por HRF al conjunto de los hiperreales finitos.

Se tiene que HRF es un subanillo de HR, con integridad desde luego.
La demostracion es inmediata. No se trata de un subcuerpo, pues el
inverso de un infinitesimo no esta en HRF .
La relacion de equivalencia fue definida sobre HR, de manera que
conviene destacar el siguiente.
Proposicion 5.1. La monada (0) es un ideal en HRF cuya la relacion
de equivalencia inducida en HRF es precisamente ; vale decir, para
x, y HR,
x HRF & x y (0) = y HRF & xy
Las monadas (x), para x HRF , constituyen una particion de HRF .
Demostracion. Ya se ha visto que la monada (0) es un subanillo de
HRF , pues la suma y el producto de infinitesimos son infinitesimos.
Ademas, para un infinitesimo (0) y un hiperreal finito cualquiera
HRF , ocurre que (0), de manera que (0) es un ideal en
HRF .
El ideal (0) induce la relacion de equivalencia sobre HRF tal que,
para x, y HRF ,
xy x y (0) xy
As pues, es una relacion de equivalencia sobre HRF y la consigu-
iente particion esta constituida por los conjuntos x + (0) = (x), para
todo x HRF .

Teorema 5.1. Para cada x HRF , existe un numero real St(x) (x)
unico que se denomina la parte estandar de x.
St : HRF R es un epimorfismo que respeta la relacion de orden
de HRF , y cuya restriccion a R es la identidad.
El kernel de St es (0) y, en consecuencia, HRF /(0) es un cuerpo
isomorfo con R, bajo el isomorfismo (x) St(x).
Demostracion. Tomemos x HRF cualquiera. Como x es un hiperreal
finito, k < x < k para algun k > 0 en R.
El conjunto
C = {r R | r x}
no es vaco, pues k C, y esta acotado superiormente por k. En
virtud de la propiedad del sup de R, existe un numero real = sup C.
Demostremos que x.
Si = x no hay nada que probar. Supongamos que 6= x y consid-
eramos los dos casos posibles.
(1) x < . Tomemos un real > 0; por definicion de sup, no
es cota superior de C, por tanto x < , lo cual implica
que 0 < x y x es infinitesimo, luego x .
(2) < x. Si x > 0 no es un infinitesimo, entonces existe un
real r > 0 tal que 0 < r < x , luego + r < x, o sea que
+r C y < +r. Esto contradice el que sea cota superior
de C. Por tanto, x > 0 es un infinitesimo y x .
En suma, hemos probado la existencia de un real (x), para
cada x HRF .
Demostremos la unicidad de .
Supongamos que 0 R y 0 (x). Entonces, x y x 0 , luego
0 , de modo que | 0 | es infinitesimo o cero, pero | 0 | R, o
sea que | 0 | = 0 y 0 = .
Esto permite definir la funcion St : HRF R tal que, x HRF :
St(x) = .
Es evidente que
x = St(x) x R
de modo que St es sobreyectiva.
La estabilidad de las operaciones (5.1) en HR con respecto a la
relacion de equivalencia implica que St : HRF R es un epimor-
fismo, pues, para x, y HRF
St(x) x & St(y) y = St(x) + St(y) x + y
= St(x) + St(y) (x + y)
= St(x) + St(y) = St(x + y)
y analogamente para el producto.
Por otro lado,
x y St(x) St(y)
En efecto, existen infinitesimos , tales que
x = St(x) + y = St(y) +
Supongamos que x 6= y, pues x = y St(x) = St(y) y hemos
terminado. Consideremos entonces que x < y.
Si fuese St(y) < St(x), tenemos

St(x) + < St(y) + = 0 < St(x) St(y) <
pero es un infinitesimo y St(x)St(y) R, luego St(x)St(y) = 0
y obtenemos una contradiccion. En consecuencia, St(x) < St(y).
Recprocamente, si St(x) < St(y), no puede ser x = y, pero tampoco
y < x ya que, por lo anterior, sera St(y) < St(x). As pues, x < y.
Por ultimo, es obvio que
St(x) = 0 x (0)
Ya se ha visto que los elementos de HRF /(0) son las monadas (x).

Comentario 5.2. Conviene tener presentes ciertos hechos establecidos
o inferidos en la prueba del Teorema 5.1:
x y St(x) = St(y)
Todo hiperreal finito es de la forma , donde R y es
un infinitesimo o cero.
Si St(y) 6= 0, se tiene

St(x) x
= St
St(y) y
Suponer que St(y) 6= 0 significa que y no es un infinitesimo,
luego y 1 HRF .
Dado que St es un homomorfismo, obtenemos

x x
St St(y) = St y = St(x)
y y
de donde proviene la identidad planteada.
Dejamos sin definir la parte estandar de un hiperreal infinito.
Comentario 5.3. En virtud del Teorema 5.1, podemos afirmar que el
ideal (0) es maximal en el anillo (dominio de integridad) HRF .
Notese que, para todo x HRF ,
(5.2) x + (0) = (x)
o sea que los elementos del cuerpo HRF /(0) (isomorfo con R por el
Teorema 5.1) son exactamente las monadas (x), para x HRF ; es
decir
HRF
(5.3) = { (x) | x HRF }
(0)
Queda determinado el homomorfismo canonico

HRF
: HRF
(0)
tal que x (x), para todo x HRF .
Y tenemos
(x) (y) = (x y) (x) (y) = (xy)
y, si x HRF y x
/ (0), se tiene
(x)1 = (x1 )
porque (x) (x1 ) = (xx1 ) = (1) (que es el 1 en HRF /(0)).
6. Conjuntos y funciones inducidos

Un conjunto 6= A R de numeros reales induce de manera natural
otro conjunto de hiperrreales:
A = { = {an } + I HR | an A}
La definicion de A expresa que
A existe una sucesion real {an } en A con = {an } + I
En particular, R = HR.
Notese que A A al identificar un real r A con su copia
{r, r, . . . } + I HR.
Proposicion 6.1. Sea 6= A R.
Entonces, = {an } + I A si, y solo si,
{n N | an A} U
Demostracion. Si A de acuerdo con la definicion de A , tenemos

{n N | an A} = N U
Recprocamente, supongamos que
M = {n N | an A} U
Tomemos un real b A cualquiera y consideremos la sucesion real
{cn } tal que
cn = an si n M cn = b si n
/M
Observamos entonces que cn A, para todo n N, por tanto =
{cn } + I A y
M P = {n N | an = cn } = P U = =
Se concluye que A .
Si A = {r} estuviese constituido por un solo punto r R, entonces

A = A de acuerdo con la definicion.
Proposicion 6.2. Sean A, B R no vacos.
Se cumplen las siguientes identidades:
(1) A = A R
(2) (A B) = A B
(3) (A B) = A B
(4) (A B) = A B
(5) A B A B
Demostracion.
(1) Un elemento A es un numero real r, es decir, = {r}+I y,
segun la definicion de A , se tiene A y obviamente R.
As pues, A A R.
Recprocamente, un A R es un real r, o sea =
{r} + I, y como esta en A , tambien r A. Por tanto, A
y A R A.
(2)
= {an } + I (A B) n : an A B
n : (an A) & (an B) A B
(3)
= {an } + I (A B) n : an A B
n : (an A) & (an
/ B) A B
(4) Consideremos la identidad
R (A B) = (R A) (R B)
y apliquemosle (2) y (3) para obtener
R (A B) = (R A) (R B)
= (R A ) (R B )
Luego,
(A B) / (R A ) (R B )

/ R A ) (
( / R B )
( A ) ( B ) A B
(5) Supongamos que A B y tomemos un r A. Entonces
{r} + I A = {r} + I B = rB
de donde A B.
Si A B, se infiere de inmediato que A B .

Comentario 6.1. Si A es un conjunto de un solo punto, es obvio que
A = A. Se infiere que si A es finito, tambien A = A, en virtud de la
cuarta propiedad arriba.
Sea A = {1, 2} el conjunto constituido por el par de reales 1, 2. O
sea que un hiperreal = {an } + I esta en A si cada an es 1 o 2. Pero,
N1 = {n N | an = 1}
o su complemento
N2 = {n N | an = 2}
esta en U.
Se concluye que = 1 o bien = 2 (depende del ultrafiltro U). En
cualquier caso, A = A.
Si se tratara de un intervalo acotado, digamos A = [a, b), para a < b
reales, es facil probar que
A = { HR | (a ) ( < b)}
Consideremos el conjunto Z de los hiperenteros.

Sea 0 Z un hiperentero positivo y finito. Es claro que deben
existir enteros n N estrctamente mayores que . Sea m+1 el mnimo
de estos, donde m 0.
Tenemos entonces, m < m + 1.
Se infiere de (3.3) que = {dn } + I, donde
dn Z (n N) & D = {n N | m dn < m + 1} U
Pero, el unico entero dn con m dn < m + 1 es dn = m, de manera
que el conjunto D es precisamente
D = {n N | dn = m} U
lo cual significa que = m (donde identificamos m Z con su copia
{m} + I).
La prueba de que un hiperentero < 0 finito es un entero m < 0 es
analoga.
Hemos demostrado que el conjunto de los hiperenteros finitos es Z.
Desde luego que existe una infinidad de hiperenteros no acotados
(infinitos), por ejemplo {n}+I. Y como los infinitos estan en el cuerpo
totalmente ordenado HR, son comparables; por ejemplo,
{n} + I < {2n } + I < {n!} + I
Estos tres infinitos, por cierto, estan en N . Un infinito que no lo esta

es { n } + I, tampoco {5n/2 } + I.
Comentario 6.2. Tal como se hace con los numeros reales, podemos
definir la parte entera bxc de un hiperreal finito x HR como el entero
bxc Z tal que
bxc x < bxc + 1
Es un ejercicio sencillo probar que bxc = bSt(x)c.
Comentario 6.3. Otro conjunto importante en HR es el de los hiper-

racionales
(6.1) Q = { HR | = {rn } + I donde rn Q (n N)}
Es un simple ejercicio verificar que Q es un subcuerpo de HR.
Ademas, Q es denso en HR, al igual que Q en R.
En efecto, sean < , donde = {an } + I y = {bn } + I ambos
en HR, entonces
M = {n N | an < bn } U
Para cada n M , elegimos un racional rn Q tal que an < rn < bn
/ M hacemos rn = 1. Luego, = {rn } + I Q , y
y para n
M = {n N | an < rn < bn } U
significa que < < .
Es interesante observar que, para cada s R, existe algun Q
tal que s o, lo que es lo mismo, s = St().
En efecto, sabemos que todo numero real s es lmite de una (infinitas)
sucesion {rn } de racionales, es decir rn s; luego = {rn } + I Q
satisface s.
Sea f : A R R una funcion cualquiera.
Definimos la funcion f : A HR HR inducida por f tal que,
para = {an } + I A , se tiene
f () = {f (an )} + I
Es preciso probar que f esta bien definida; es decir, si tambien
= {a0n } + I, donde los a0n A, la imagen debe ser la misma.
En efecto, tenemos que C = {n N | an = a0n } U. Es obvio que
C D = {n N | f (an ) = f (a0n )}
luego, D U.
Se infiere que {f (an )} + I = {f (a0n )} + I y f esta bien definida.
Notese que, para r = {r, r, . . . }+I real, donde r A, ocurre f (r) =

{f (r)} + I = f (r), donde nos permitimos la identificacion de un real
con su copia en HR.
As pues, la restriccion de f a A A es f .
De la definicion de f : A HR HR es claro que
(6.2) f (A ) = [f (A)]
y esta identidad es muy importante, como se vera en adelante.
Por ejemplo, esto permite considerar la funcion exp : HR HR
inducida por exp(t) = et . De modo que
exp () = e = {ean } + I HR
Ejercicio 6.1. Demostrar que exp ( + ) = exp () exp ().
Tambien es sencillo probar que
St(e ) = eSt()
mostrando antes que e 1 para cualquier infinitesimo .
El siguiente resultado es bastante obvio pero util en ocasiones.
Lema 6.1. Sean f, g : A R R funciones tales que
x A : f (x) g(x)
Entonces,
z A : f (z) g (z)
Demostracion. Todo z A es de la forma z = {an } + I, donde los
an A.
Es hipotesis que
{n N | f (an ) g(an ) }
es igual a N y, por tanto, esta en el ultrafiltro U.
Pero, f (z) = {f (an )}+I y g (z) = {g(an )}+I; luego, f (z) g (z)
por definicion de la relacion de orden .

Lema 6.2. Sean f, g : A R R funciones tales que
x, y A : f (x) g(y)
Entonces,
z, w A : f (z) g (w)
Demostracion. z, w A cualesquiera son de la forma z = {an } + I y
w = {bn } + I, donde los an , bn A.
Es hipotesis que el conjunto

{n N | f (an ) g(bn ) }
es precisamente igual a N y, por tanto, esta en el ultrafiltro U.
Pero, f (z) = {f (an )} + I y g (w) = {g(bn )} + I; luego, f (z)

g (w) por definicion de la relacion de orden .

Lema 6.3. Si la funcion f : A R R es creciente (decreciente) en
A, entonces f : A HR HR es creciente (decreciente) en A .
Demostracion. Probemos para el caso de f creciente. El decreciente
admite una prueba totalmente analoga.
Supongamos pues que, para x, y A,
x y = f (x) f (y)
Sean z, w A tales que z w. Si z = {xn } + I y w = {yn } + I,
donde los xn , yn A, esto significa que
M = {n N | xn yn } U
Luego,
M P = {n N | f (xn ) f (yn )} = P U

y, como f (z) = {f (xn )} + I y f (w) = {f (yn )} + I, se infiere que
f (z) f (w).

7. Elementos de topologa en HR
Damos por conocidos los elementos de topologa de R. En esta
seccion se traducen los conceptos topologicos de R a HR.
Sea 6= A R.
Sabemos que un punto c A se denomia interior a A si existe un
real > 0 tal que el intervalo (c , c + ) A.
Proposicion 7.1. Sea 6= A R. Un punto c A es interior a A
si, y solo si, su monoda (c) A .
Demostracion. Supongamos que c es interior a A, entonces existe un
> 0 real con (c , c + ) A.
Consideremos la monada
(c) = {c + | (0)}
(recuerdese que (0) es el conjunto de todos los infinitesimos).
Cualquiera que sea el infinitesimo , se tiene
0 || < = < < = c < c+ < c+
luego, (c) (c , c + ) A .
Supongamos ahora que c A no es interior a A. Luego, para cada
/ A tal que r (c , c + ) 9.
> 0 real, existe un real r
Sea {n } una sucesion real tal que todo n > 0 y n 0 (por
ejemplo, n = 1/n). Construyamos la sucesion real {rn } tal que, para
cada n N, rn / A y rn (c n , c + n ).
Entonces, el hiperreal = {rn }+I cumple las siguientes propiedades:
/ A , pues todo rn R A = (R A) = R A .
(1)
(2) (c).
En efecto, para todo n N,
0 < |rn c| < 2n = c (0) = (c)
Hemos probado que, si c A no es interior a A, entonces (c) no
esta contenida en A . Se infiere que (c) A implica que c es interior
a A.

Sabemos que un conjunto A R se dice abierto si todos sus puntos
son interiores. Segun la Proposicion (7.1) anterior, tenemos
(7.1) A abierto c A : (c) A
Recordemos que un punto a R se dice de adherencia de un conjunto
6= A R cuando, para todo real > 0, existe algun t R con
t (a , a + ) A
el punto a puede estar o no en A.
Es obvio que todo a A es de adherencia de A.
Se dice que a es punto de acumulacion de A si (a , a + ) A
contiene siempre algun punto distinto de a.
Desde luego que un punto interior de A es de acumulacion de A.
Proposicion 7.2. Un punto a R es de adherencia de un conjunto
6= A R si, y solo si, (a) A 6= .
Demostracion. Si a A, se tiene a (a) A y no hay nada que
probar. Suponemos pues que a / A.
Si a
/ A es punto de acumulacion de A, sea {n } una sucesion real
con todo n > 0 y n 0.
En cada intervalo (a n , a + n ) elegimos un real
rn (a n , a + n ) A
Se infiere que el hiperreal = {rn } + I A y, como rn a, ocurre
a lo cual implica (a) A y por tanto (a) A 6= .
9 Notese que siempre r 6= c, pues r
/ A.
Supongamos ahora que a / A no es punto de adherencia (acumu-

lacion) de A; entonces, existe un > 0 tal que (a , a + ) A = .
Ahora bien, (a , a + ) A = [(a , a + ) A] = implica
que
(a) (a , a + ) = (a) A =
Por tanto, (a)A 6= implica que a / A es punto de acumulacion
de A.

Sea A el conjunto de todos los puntos de adherencia de A. Es claro
que A A. Sabemos que A se denomina cerrado si A = A. Esto
equivale a A0 A, donde A0 es el conjunto de todos los puntos de
acumulacion de A.
Un conjunto de reales A que carece de puntos de acumulacion es
desde luego cerrado (A0 = ).
Por convencion, el conjunto vaco es abierto y cerrado.
El conjunto R es evidentemente cerrado y abierto; de hecho, R y
son los unicos conjuntos que son abiertos y cerrados en R.
Corolario 7.1. Un conjunto 6= A R es cerrado si, y solo si, su
complemento R A es abierto.
Demostracion. A es cerrado si, y solo si, ningun x R A es punto
de acumulacion de A, en consecuencia
(x) A = (x) HR A = (R A)

Corolario 7.2. Un conjunto 6= A R es cerrado si, y solo si, para
todo x A finito ocurre que St(x) A.
Demostracion. Supongamos que A no es cerrado, entonces existe algun
punto de acumulacion a A0 de A tal que a / A.
De acuerdo con la Proposicion 7.2 existe un hiperreal (finito porque
a R) con x (a) A . Pero, St(x) = a / A.
Hemos probado que
x A finito: St(x) A = A es cerrado
Ahora suponemos que existe algun x A finito tal que St(x) / A.
Esto significa que x St(x), de modo que x (St(x)) A , vale
decir, (St(x)) A 6= . O sea que St(x) es punto de adherencia
(acumulacion) (Proposicion 7.2) de A y no pertenece a A. En suma, A
no es cerrado. Se infiere que
A es cerrado = x A finito: St(x) A

Recordemos que un conjunto A de reales se dice acotado si esta

contenido en un intervalo cerrado: A [a, b].
Proposicion 7.3. Un conjunto 6= A R es acotado si, y solo si,

todo x A es finito.
Demostracion. Sea A [a, b] acotado; claramente a x b, para
todo x A , y x es finito.
Recprocamente, supongamos que A no esta acotado superiormente.
Consideremos la sucesion real {n} de los numeros naturales. Para
cada n N, ha de existir algun an A tal que n < an . Entonces, el
hiperreal = {an }+I pertenece a A y es +infinito por construccion.
La misma conclusion se obtiene al suponer que A no esta acotado
inferiormente.
En suma, si todo x A es finito, entonces A es acotado (inferior y
superiormente).

Sabemos que un conjunto en R es compacto si, y solo si, es cerrado
y acotado. Nos referimos a las proposiciones anteriores para caracteri-
zarlo:
Proposicion 7.4. Un conjunto 6= A R es compacto si, y solo si,

todo x A es finito y St(x) A.
Corolario 7.3. Un conjunto 6= A R es compacto si, y solo si,

toda sucesion en A admite una sucesion parcial con lmite en A.
Demostracion. Supongamos que A es compacto y sea {an } una sucesion
en A. Luego, el hiperreal x = {an } + I esta en A y, de acuerdo con la
Proposicion 7.4, x es finito y c = St(x) A. En virtud del Lema 5.1,
{an } admite una sucesion parcial con lmite c A.
Recprocamente, supongamos que toda sucesion en A admite una
sucesion parcial con lmite en A.
Supongamos que A no es un conjunto acotado superiormente en R.
Tomemos un a0 > 0 en A, y para cada natural n > 0 elegimos un
an A tal que an > max{an1 , n}. Hemos construido por induccion
una sucesion {an } en A tal que an +; es claro que toda sucesion
parcial de {an } es tambien divergente (a +). Es decir, {an } carece de
sucesiones parciales convergentes. En cosecuencia, A ha de ser acotado
superiormente. De manera analoga se llega a una contradiccion si se
supone que A no esta acotado inferiormente.
En suma, A es un conjunto acotado en R.
Veamos que tambien es cerrado. En efecto, sea c R un punto de
acumulacion de A (si no existe, A es compacto y hemos terminado).
Tomemos cualquier sucesion {cn } en A con cn c. Por hipotesis,

existe una sucesion parcial de {cn } con lmite en A, pero es claro que
toda sucesion parcial de {cn } converge a c. Se infiere que c A. En
conclusion, A es cerrado.

8. Lmites
Sea la funcion f : A R R y c R un punto de acumulacion de
A (c puede estar o no en A).
Recordemos que un L R (si existe) es el lmite de f en c y se
escribe
L = lim f (x)
xc
si, dado un > 0 real, existe un > 0 real tal que
(8.1) x A con 0 < |x c| < : |f (x) L| <
Notese que x 6= c.
Vamos a interpretar esta definicion en HR.
Proposicion 8.1. Sea la funcion f : A R R y c A0 . Entonces,
un L R es lmite de f en c si, y solo si,
(8.2) z A con z 6= c & z c : f (z) L
Demostracion. Supongamos que un L R es lmite de f en c.

Como c es punto de acumulacion de A, la Proposicion 7.2 indica que
(c) A 6= . Tomemos un z (c) A con z 6= c. Es decir, z A ,
z c y z 6= c.
Sea > 0 un real positivo cualquiera.
Existe un real > 0 que satisface la condicion (8.1).
Entonces, 0 < |z c| < , cualquiera que sea el real > 0, pues
|z c| es infinitesimo, ya que z c.
Notese que z es independiente de y de .
Pero z = {xn } + I, donde todo xn A, debido a que z A . Y el
conjunto
M = {n N | 0 < |xn c| < } U
Por tanto, el conjunto
P = {n N | |f (xn ) L| < }
pertenece al ultrafiltro U, porque M P .
Esto implica que f (z) = {f (xn )} + I satisface |f (z) L| < y,
como es cualquier real positivo, |f (z) L| es un infinitesimo, en
consecuencia f (z) L.
Por el contrario, supongamos ahora que el real L no es lmite de f

en c. Esto significa que existe un real 1 > 0 tal que, para cada real
> 0, existe algun x A que satisface
0 < |x c| < & |f (x) L| > 1
Tomemos cualquier sucesion real {n } con n > 0 y n 0. Nuestra
hipotesis permite la construccion de una sucesion {xn } en A tal que
0 < |xn c| < n & |f (xn ) L| > 1

Sea z = {xn } + I A .
Es claro que |xn c| 0, de modo que z c y z 6= c 10 y |f (z)L| >
1 , o sea que f (z) L no es un infinitesimo, es decir, f (z) 6 L.
Hemos probado que la condicion (8.2) es equivalente a que L R es
lmite de f en c.

Proposicion 8.2. Sean las funciones f, g, h : A R R y c A0 .
Si se tiene que
lim f (x) = lim h(x) = L
xc xc
y ademas
x A : f (x) g(x) h(x)
Entonces,
lim g(x) = L
xc
Demostracion. En virtud de la Proposicion 8.1, tenemos

z A con z 6= c & z c : f (z) L & h (z) L
Aplicando el Lema 6.1, obtenemos
w A : f (w) g (w) h (w)
y se infiere de inmediato que
z A con z 6= c & z c : g (z) f (z)
por tanto,
z A con z 6= c & z c : g (z) L
Es decir,
lim g(x) = L
xc
por la Proposicion 8.1.

Sea ahora f : A R R, donde el conjunto A no esta acotado
superiormente.
10 El conjunto {n N | xn 6= c} = {n N | |xn c| > 0} esta en U.
Recordemos que un L R (si existe) es el lmite de f en + y se

escribe
L = lim f (x)
x+
si, dado un > 0 real, existe un k > 0 real tal que
(8.3) x A con x > k : |f (x) L| <
Proposicion 8.3. Sea la funcion f : A R R, donde A no esta
acotado superiormente. Entonces, un L R es lmite de f en + si,
y solo si,
(8.4) z A +infinito : f (z) L
Demostracion. Supongamos que L es lmite de f en +.

Tomemos un
z = {xn } + I A
+infinito en A , es decir, todo xn A y, para todo real k > 0, de
acuerdo con el Lema 4.1 se tiene
M = {n N | xn > k} U
Dado un > 0 real cualquiera, existe un real k > 0 que cumple la
condicion (8.3).
Se infiere que |f (z) L| < ; luego, |f (z) L| es un infinitesimo y

f (z) L.
Supongamos ahora que el real L no es lmite de f en +. Esto
significa que existe un real 1 > 0 tal que, para cada real k > 0, existe
algun x A que satisface
x>k & |f (x) L| > 1
Tomemos cualquier sucesion real {kn } con kn > 0 y kn +.
Nuestra hipotesis permite la construccion de una sucesion {xn } en A
tal que
xn > kn & |f (xn ) L| > 1

Sea z = {xn } + I A .
Es claro que z es +infinito y |f (z) L| > 1 , o sea que f (z) L
no es un infinitesimo, es decir, f (z) 6 L.
En rsumen, hemos probado que la condicion (8.4) es equivalente a
que L R es lmite de f en +.

Comentario 8.1. La Proposicion 8.2 se aplica evidentemente al caso
de limx con las adaptaciones obvias.
Observese que, de existir el lmite L de f en c o en +, las proposi-
ciones 8.1 y 8.3 nos conducen de inmediato a afirmar que ese lmite
es unico, pues, de existir otro L0 , tendramos f (z) L y f (z) L0 ,

lo cual implica, por la transitividad de , que L L0 y forzosamente
L = L0 por tratarse de numeros reales.
Vamos ahora a considerar el lmite de una sucesion real.
Sea {rn } una sucesion real. Recordemos que {rn } tiene lmite s R
o que converge a s y se escribe rn s o bien lim rn = s si a cada > 0
real corresponde algun N tal que
(8.5) n : |rn s| <
Conviene tener presente que una sucesion {rn } es, por definicion,
una funcion g : N R y escribimos g(n) = rn . Se origina la funcion
inducida g : N HR tal que, para un = {pn }+I, donde los pn N,
se tiene g () = {g(pn )} + I. Notese que g(pn ) = rpn .
Designemos por N N al conjunto de todos los hiperreales infinitos
de N .
O sea que = {qn } + I N significa que
k > 0 real : {n N | qn N & qn > k} U
Definimos
r = g () = {g(qn )} + I
Una comparacion de (8.5) para rn s con la definicion (8.3) nos
dice que
lim g(n) = s
n+
La siguiente es una simple adaptacion de la Proposicion 8.3.
Proposicion 8.4. Sea {rn } una sucesion real.
Entonces, {rn } tiene lmite s R si, y solo si, r s para todo
N.
Comentario 8.2. Establecidas las interpretaciones en HR de lmites

de funciones y de sucesiones reales mediate las proposiciones 8.1, 8.3
y 8.4, resulta muy expedito demostrar los resultados usuales apelando
a la estabilidad (5.1) de las operaciones con respecto a .
Por ejemplo, supongamos que f1 , f2 : A R R tienen lmites
respectivos L1 , L2 R en c A0 .
Entonces se cumple la condicion (8.2)
z A con z 6= c & z c : f1 (z) L1 & f2 (z) L2
y se infiere, en virtud de (5.1),
f1 (z) f2 (z) L1 L2 & f1 (z) f2 (z) L1 L2
= lim [f1 (x) f2 (x)] = L1 L2 & lim [f1 (x) f2 (x)] = L1 L2
xc xc
Notese que
lim f2 (x) = L2 z A con z 6= c & z c : L2 = St(f2 (z))
xc
y supongamos que L2 6= 0. Luego, segun lo establecido en el Comentario

5.2, tenemos que

L1 f (z)
z A con z 6= c & z c : = St 1
L2 f2 (z)
y esto implica que
f1 (x) L1
lim =
xc f2 (x) L2
Sabemos que una sucesion real {an } se dice de Cauchy si, dado un
> 0 real, existe un N tal que, para todo par de naturales n, m ,
se tiene
|an am | <
Proposicion 8.5. Para una sucesion real {an }, las siguientes propiedades
son equivalentes:
(1) {an } es de Cauchy.
(2) Para todo par , N (hipernaturales infinitos), ocurre que
a a .
(3) {an } tiene lmite: lim an = St(a ), para cualquier N .
Demostracion. La sucesion {an } es una funcion g : N R tal que
g(n) = an y esta induce g : N HR. Ahora bien, N significa
que = {pn } + I, donde {pn } es una sucesion en N y > k para todo
k > 0 real, y a = g () = {g(pn )} + I; sea tambien = {qn } + I N .
(1) = (2): Dado un > 0 real, existe un N tal que para
todo par de naturales n, m , tenemos |an am | < .
Como > y > , los conjuntos
P = {n N | pn > } Q = {m N | qm > }
estan en U.
Luego, para todo pn > y qn > , se tiene
D = {n N | |g(pn ) g(qn )| < } U
pues P Q D. Esto significa que |g () g ()| < y, como
> 0 es un real positivo cualquiera, g () g (), es decir,
a a .
(2) = (3): Tenemos que a a , para todo par , N .

Primero demostramos que el hiperreal {g(n)} + I es finito.
Tomemos = {n} + I N y, para un h N cualquiera, sea
= {n + h} + I N .
Notese que
a = g () = {g(n)} + I = {an } + I
a = g ( ) = {g(n + h)} + I = {an+h } + I
En virtud de la hipotesis, |g () g ( )| < 1.
Por tanto,
E = {n N | |g(n) g(n + h)| < 1} U
y E es infinito por estar en U. Tomemos un E, entonces
|a a+h | = |g() g( + h)| < 1
= |a+h | < 1 + |a |
y esto es cierto para todo h N. O sea que
m N con m : |am | < 1 + |a | = k
Se infiere que
{m N | |am | < k} = {n N | |g(n)| < k} U
porque su complemento es finito. En consecuencia, |a | =
|g ()| < k, de manera que a es finito y a St(a ). Como
a a , para todo N , se concluye que a St(a ), luego
a es finito, St(a ) = St(a ) y lim an = St(a ) en virtud de la
Proposicion 8.4.
(3) = (1): Supongamos que an s, donde s R y sea > 0
real.
Existe un N tal que, para todo natural n , se tiene
|an s| < /2. Sean n, m , entonces
|an am | |an s| + |am s| <
y {an } es de Cauchy.

Lema 8.1. Sea {rn } una sucesion en un conjunto A R. Entonces,
para todo N se tiene que r A .
Demostracion. La sucesion {rn } es una funcion g : N R tal que
g(n) = rn , para todo n N y, por hipotesis, g(N) A. La funcion
inducida es g : N HR.
En virtud de la Proposicion 6.2 (5), [g(N)] A y, gracias a la

identidad (6.2), [g(N)] = g (N ); se infiere que g (N ) A . Esto
significa que, para todo N , ocurre r = g () A .

El resultado siguiente es bien conocido en los cursos elementales. Le
damos ahora una prueba con tecnicas hiperreales.
Proposicion 8.6. Sea la funcion f : A R R y c A0 .
Entonces, un L R es lmite de f en c si, y solo si, para toda
sucesion {rn } en A tal que rn 6= c y rn c se tiene f (rn ) L.
Demostracion. De acuerdo con la Proposicion 8.1, L R es lmite de
f en c si, y solo si, se cumple la condicion (8.2), es decir,
z A con z 6= c & z c : f (z) L
Supongamos que L es lmite de f en c y sea {rn } una sucesion en A
tal que rn 6= c y rn c. Entonces, para todo N , r A (Lema
8.1), r 6= c y r c (Proposicion 8.4). Se concluye que f (r ) L, lo
cual significa que f (rn ) L por la Proposicion 8.4.
Por el contrario, supongamos que L no es lmite de f en c. Entonces,
existe un real 1 > 0 tal que, para cada real > 0, existe algun x A
que satisface
0 < |x c| < & |f (x) L| > 1
Sea {n } una sucesion real con n > 0 y n 0. Nuestra hipotesis
permite la construccion de una sucesion {xn } en A tal que
0 < |xn c| < n & |f (xn ) L| > 1
o sea que xn 6= c, xn c y f (xn ) 6 L.

9. Continuidad
Sea la funcion f : A R R.
Si a A es un punto aislado de A, es decir, no es de acumulacion de
A, entonces f es continua en a.
Recordemos que para a A0 A decimos que f es continua en a si
lim f (x) = f (a)
xa
Proposicion 9.1. Sea f : A R R y a A.

Entonces, f es continua en a si, y solo si,
z (a) A : f (z) f (a)
Demostracion. La condicion del enunciado es trivial si a A es punto

aislado de A, pues en tal caso (a) A es el conjunto constituido solo
por a, y f (a) f (a).
Si a A0 , se trata de una aplicacion directa de la Proposicion 8.1.

Notese que la condicion del enunciado puede escribirse como
z (a) A : f (z) (f (a)) o bien St[f (z)] = f (a)
o tambien,
z A : za = f (z) f (a)
Proposicion 9.2. Si f : A R R es continua en el conjunto
compacto A, entonces f (A) es compacto.
Demostracion. Tomemos un z [f (A)] . Segun (6.2), [f (A)] =
f (A ), o sea que existe un x A tal que f (x) = z.
Pero A es compacto, luego x es finito y a = St(x) A (Proposicion
7.4). Tenemos que x a y f es continua en a, por tanto f (x) f (a),
de acuerdo con la Proposicion 9.1. Esto significa que f (x) es finito y
St(z) = St[f (x)] = f (a) f (A)
En conclusion, f (A) es compacto por la Proposicion 7.4.

Gracias a la Proposicion 9.2 obtenemos un resultado muy impor-
tante.
Teorema 9.1. (Weierstrass) Si f : A R R es continua en el
conjunto compacto A, entonces f alcanza en A un maximo y un mnimo
absolutos.
Demostracion. Como el conjunto real f (A) es compacto (Proposicion
9.2), es acotado superior e inferiormente. Luego, f (A) admite extremo
superior c e inferior d en R. Es muy sencillo verificar que ambos son
puntos de adherencia de f (A) y, como este es cerrado, ambos estan en
f (A), por tanto existen a, b A tales que f (a) = c y f (b) = d que
satisfacen
x A : f (b) f (x) f (a)

Comentario 9.1. Observese que al Teorema 9.1 damos un demostracion
estandar, vale decir, que no recurre al cuerpo HR. Existen pruebas al-
ternativas de tipo no-estandar, pero son mas complicadas.
Recordemos que una funcion f : A R R es uniformemente

continua en A si, dado un > 0 real, existe un > 0 real tal que
(9.1) x, y A : |x y| < = |f (x) f (y)| <
Es desde luego obvio que si f es uniformemente continua en A, en-
tonces f es continua en A.
Proposicion 9.3. La funcion f : A R R es uniformemente
continua en A si, y solo si, para todo par z, w A , ocurre que
(9.2) zw = f (z) f (w)
Demostracion. Supongamos que f es uniformemente continua en A y

sea > 0 un real.
Existe pues un real > 0 que satisface la propiedad (9.1).
Tomemos z, w A , por tanto z = {xn } + I y w = {yn } + I, donde
todos los terminos xn , yn estan en A.
Ahora bien, z w significa que z w es un infinitesimo, vale decir
|z w| < , o sea
M = {n N | |xn yn | < } U
Se infiere que
M P = {n N | |f (xn ) f (yn )| < }
Luego, P U y |f (z) f (w)| < , de manera que |f (z) f (w)| es
un infinitesimo y f (z) f (w).
Recprocamente, supongamos que f no es uniformemente continua
en A. Entonces, existe un real 1 > 0 tal que, cualquiera que sea el
real > 0, existen x, y A tales que |x y| < y |f (x) f (y)| > 1 .
Sea {n } una sucesion real con n > 0 y n 0. Elegimos un par de
sucesiones {xn } y {yn } en A tales que |xn yn | < n y |f (xn )f (yn )| >
1 . Se infiere que |xn yn | 0; luego, z1 = {xn } + I y w1 = {yn } + I
estan en A , z1 w1 , pero |f (z1 ) f (w1 )| > 1 . De modo que
f (z1 ) 6 f (w1 ) y no se cumple la condicion (9.2).

Teorema 9.2. (Heine) Si f : A R R es continua en el conjunto
compacto A, entonces f es uniformemente continua en A.
Demostracion. Tomemos z, w A tales que z w. Como A es
compacto, z y w son finitos y St(z) = St(w) = c A (Proposicion
7.4).
Ahora bien, f es continua en c, por tanto z c y w c implican
(Proposicion 9.1) f (z) f (c) y f (w) f (c); luego, f (z) f (w) y
f es uniformemente continua en A en virtud de la Proposicion 9.3.
Teorema 9.3. (Dedekind) Sea [a, b] un intervalo cerrado en R (a < b)

y f : [a, b] R R continua en [a, b].
Entonces, si f (a) 6= f (b) y L es un real entre f (a) y f (b), existe un
c [a, b] tal que f (c) = L.
Demostracion. Si L es igual a f (a) o a f (b) estamos en un caso trivial.
Supongamos pues que f (a) < L < f (b) (la prueba es analoga si las
desigualdades se invierten).
Designemos por k = b a > 0.
Sea n N un natural cualquiera con n 1 y consideremos la par-
ticion de [a, b]:

k k k
a < a+ < a+2 < a+3 < ...
n n n

k k
. . . < a + (n 1) < a+n = b
n n
Es evidente que existe algun m con 0 < m < n tal que

k k
f a+m L < f a + (m + 1)
n n
y es posible que esto ocurra para mas de un m, pero convenimos en
elegir el mnimo de ellos. Esto permite definir la funcion h : N N tal
que h(n) m. Y las desigualdades

h(n) h(n) + 1
(9.3) f a+k L < f a+k
n n
son ciertas para todo natural n 1.
Ahora bien,

h(n) h(n) + 1
an = a + k bn = a + k
n n
definen sucesiones reales {an }, {bn } en [a, b] y son tales que (segun (9.3))
las desiguladades
f (an ) L < f (bn )
son validas para todo natural n 1, por lo tanto,
{n N | f (an ) L < f (bn )} U
= {f (an )} + I L < {f (bn )} + I
f ({an } + I) L < f ({bn } + I)
Designando por
= {an } + I = {bn } + I
hemos probado que f () L < f () y se tiene

{n N | bn an = k/n} U = = {k/n} + I
de manera que > 0 es un infinitesimo, es decir, .
Como f es uniformemente continua (Teorema 9.2), f () f ().
Ahora, 0 L f () < f () f (), luego L f () es un in-
finitesimo; por consiguiente, f () L, o sea que L = St[f ()].
En virtud de la Proposicion 9.2, el rango f ([a, b]) es compacto, luego
L f ([a, b]) por la Proposicion 7.4.

Recordemos que un intervalo J R es un conjunto no vaco de reales
tal que, si a, b J y a c b, entonces c J. Desde luego que hay
intervalos acotados y no acotados, cerrados, abiertos y semi-abiertos.
Corolario 9.1. Sea J R un intervalo y f : J R continua en J.
Entonces el rango f (J) es un intervalo.
Demostracion. Descartemos el caso trivial de un intervalo de un solo
punto.
Sean f (a), f (b) f (J) y supongamos que f (a) 6= f (b). Forzosa-
mente a 6= b y no perdemos generalidad al suponer a < b.
Es claro que f es continua en el intervalo [a, b], ya que [a, b] J. En
virtud del Teorema 9.3, f ([a, b]) es un intervalo, de manera que todo
real entre f (a) y f (b) pertenece al rango de f .

Corolario 9.2. Sea [a, b] un intervalo cerrado en R (a < b) y f :
[a, b] R R continua en [a, b]. Entonces, el rango f ([a, b]) es un
intervalo cerrado y acotado.
Demostracion. Por el corolario anterior sabemos que el rango es un
intervalo y, como [a, b] es compacto, el rango es compacto (Proposicion
9.2).

Comentario 9.2. Gracias al Teorema 9.1, podemos afirmar con ref-
erencia al Corolario 9.2 que f ([a, b]) = [m, M ], donde m y M son
respectvamente el mnimo y maximo absolutos de f en [a, b].
10. Integracion
Sea f : [a, b] R R una funcion acotada en [a, b].
Existen pues reales m, M R tales que
x [a, b] : m f (x) M
donde
m = inf {f (x) | x [a, b]} M = sup {f (x) | x [a, b]}
Una particion de [a, b] es simplemente un conjunto finito de puntos
del intervalo incluyendo a y b. Por claridad, se escriben los puntos en
orden creciente de este modo
: a = x0 < x1 < . . . < xn = b
y sus intervalos componentes son Ik = [xk1 , xk ], para k = 1, 2, . . . , n.
Como f esta acotada en [a, b], esta acotada inferior y superiormente en
cada intervalo Ik ; designemos por
mk = inf {f (x) | x Ik } Mk = sup {f (x) | x Ik }
Llamamos suma superior (de Darboux) U (f ; ) y suma inferior (de
Darboux) L(f ; ) de f con respecto a a los numeros reales
n
X
(10.1) U (f ; ) = Mk (xk xk1 )
k=1
Xn
(10.2) L(f ; ) = mk (xk xk1 )
k=1
Para puntos tk Ik que llamaremos marcas, al numero real

n
X
S(f ; ) = f (tk )(xk xk1 )
k=1
le decimos suma de Riemann. Desde luego que depende, no solo de la

particion , sino de la seleccion de los tk .
Las siguientes desigualdades son inmediatas
(10.3) m(b a) L(f ; ) S(f ; ) U (f ; ) M (b a)
cualesquiera sean las marcas elegidas en el caso de S(f ; ). Se observa
que las sumas inferiores, las sumas de Riemann y las sumas superiores
estan acotadas inferior y superiormente.
Existen los numeros reales
(10.4) D = sup {L(f ; )} E = inf {U (f ; )}

Supongamos que a la particion le agregamos un nuevo punto x0k ,

obteniendo de este modo una nueva particion
0 : a = x0 < x1 < . . . < xk1 < x0k < xk < . . . < xn = b
que inserta dos intervalos componentes, en lugar de Ik ,

Ik0 = [xk1 , x0k ] Ik00 = [x0k , xk ]
m0k = inf {f (x) |x Ik0 } Mk0 = sup {f (x) |x Ik0 }
m00k = inf {f (x) |x Ik00 } Mk00 = sup {f (x) |x Ik00 }
Las siguientes relaciones son inmediatas:
|Ik0 | + |Ik00 | = |Ik |
mk m0k mk m00k
Mk0 Mk Mk00 Mk
y de ellas se infieren L(f ; ) L(f ; 0 ) y U (f ; 0 ) U (f ; ). Es claro,
por obvia induccion, que si agregamos a cualquier numero finito de
nuevos puntos, se cumplen estas ultimas desigualdades. En tales casos
0 y decimos que 0 es un refinamiento de y escribimos 0 .
En sntesis, al refinar la particion las sumas inferiores crecen y las
sumas superiores decrecen.
Tomemos un par de particiones , de [a, b]. La particion =
es un refinamiento de ambas, de modo que
L(f ; ) L(f ; ) U (f ; ) U (f ; )
lo cual demuestra que toda suma inferior es menor o igual que cualquier
suma superior.
De las definiciones (10.4) se obtiene en consecuencia:
(10.5) D E
y, para particiones cualesquiera y ,
(10.6) m(b a) L(f ; ) D E U (f ; ) M (b a)
Definicion 10.1. Decimos que f es integrable en [a, b] si
D = E
en cuyo caso designamos indistintamente
Z b Z b
D = f = f (x) dx
a a
Comentario 10.1. Para el lector que conoce la integral de Riemann

por su concepcion post-infinitesimos es importante comparar la Definicion
10.1 con su concepto previo de la integral.
En efecto, sabemos que f es integrable-Riemann si, y solo si, D = E.
Por convencion se definen

Z a Z b Z c
f = f f = 0
b a c
Designemos por K = b a > 0.

Tomemos un real x (0, K] y consideremos la particion
a < a + x < a + 2x < . . . < a + nx b
donde n N es el maximo natural con a + nx b. En caso de
que a + nx < b, el ultimo intervalo componente es [a + nx, b] y su
longitud es K nx < x.
Elegimos como marcas al extremo izquierdo de cada intervalo com-
ponente:
t1 = a t2 = a + x ... tn+1 = a + nx
Esto genera una suma de Riemann (cuya notacion modificamos),
n
X
S(f ; x) = f (tj ) x + f (tn+1 ) (K nx)
j=1
Observese que se ha definido una funcion S : (0, K] R R tal

que x S(f ; x).
De acuerdo con la Proposicion 8.1, este lmite existe si (y solo si)
dx (0, K] con dx 6= 0 & dx 0 : S (dx) L
Vale decir, para todo infinitesimo dx > 0 : St[S (dx)] = L.
Adoptamos el smbolo dx en memoria de Leibniz.
En primer lugar, se infiere de las desigualdades (10.3) que la funcion
S esta acotada, por tanto S solo toma valores finitos.
De modo totalmente analogo a como se hizo para S(f ; x), se definen
L(f ; x) y U (f ; x) y, en consecuencia, las funciones L, U : (0, K]
R:
n
X
L(x) = L(f ; x) = mj x + mn+1 (K nx)
j=0
Xn
U (x) = U (f ; x) = Mj x + Mn+1 (K nx)
j=0
Tambien por las desigualdades (10.3), L y U solo toman valores

finitos.
Lema 10.1. Sea f : [a, b] 7 R una funcion acotada en [a, b]. Entonces,
dado un real > 0, existe un real > 0 tal que, para todo real 0 <
x < , se tiene
(10.7) U (f ; x) < E +
(10.8) D < L(f ; x)
Demostracion. Suponemos que f no es una funcion constante, pues si

lo fuese, m = M y el resultado es trivialmente cierto.
Demostraremos (10.7).
Sea > 0. En virtud de la definicion de E, existe una particion
0 = {a = x0 , x1 , . . . , xn0 = b} de [a, b] para la cual

U (f ; 0 ) < E +
2
Sea

0 < < min , min{(xk xk1 )}
2n0 (M m) k
donde M, m son respectivamente el sup y el inf de f en [a, b].
Tomemos 0 < x < y sea la particion determinada por x.
Como la particion 0 es un refinamiento de 0 , se tiene

(10.9) U (f ; 0 ) U (f ; 0 ) < E +
2
Examinemos ahora en que difieren las particiones y 0 . En
primer lugar, como < mink {(xk xk1 )} y x < , todo intervalo
componente [xk1 , xk ] de 0 forzosamente contiene en su interior al
menos un punto de ; sea x0k el maximo de estos, de modo que el
proximo punto de es xk o, si no, un punto x00k (xk , xk+1 ) que es el
mnimo de los puntos de (xk , xk+1 ) que pertenecen a .
Entonces,
U (f ; x) = U (f ; 0 )
X
+ [Mk (x00k x0k ) Mk0 (xk x0k ) Mk00 (x00k xk )]
k
donde la sumatoria es para 1 k n en los casos xk / . Se en-

tiende que Mk , Mk0 , Mk00 son los sup de f (x) para x en los intervalos
[x0k , x00k ], [x0k , xk ], [xk , x00k ] respectivamente, de modo que
Mk0 mk , Mk00 mk donde mk = inf{f (x)} para x [x0k , x00k ]
Luego,
X
(10.10) U (f ; x) U (f ; 0 ) + (Mk mk )(x00k x0k )
k
pero, por un lado, Mk mk M m; ademas, x00k x0k x < ; y,

por otra parte, la sumatoria a la derecha en (10.10) no tiene mas de n0
sumandos. Entonces

U (f ; x) U (f ; 0 ) + (M m)n0 < U (f ; 0 ) +
2
y, teniendo en cuenta (10.9), obtenemos (10.7).
Con argumentos totalmente analogos se demuestra (10.8), aunque,
para el mismo > 0, puede bien corresponder un 0 > 0 distinto al
> 0 asociado a (10.7). En tal caso, 00 = min{, 0 } satisface la tesis.

Corolario 10.1. Las funciones L, U : (0, K] R satisfacen la propiedad
lim L(x) = D lim U (x) = E
x0 x0
Demostracion. Simplemente otra forma de enunciar el Lema 10.1, dado

que U (x) = U (f ; x) y L(x) = L(f ; x).

Corolario 10.2. Sea f : [a, b] R acotada en [a, b].
Entonces, f es integrable en [a, b] si, y solo si, para cualquier real
> 0, existe un real x > 0 tal que
(10.11) U (f ; x) L(f ; x) <
Demostracion. Si, dado > 0, se cumple la propiedad (10.11), se infiere

de las desigualdades (10.6) que 0 E D < , por tanto D = E.
Recprocamente, supongamos que f es integrable (D = E).
Si existe un 1 > 0 tal que, para todo x > 0 ocurre
U (x) L(x) 1
Entonces, para cualquier dx 0 con dx > 0, se tiene (Corolario 10.1)
U (dx)L (dx) 1 , de modo que E D = St[U (dx)L (dx)] 1 ;
vale decir, D 6= E y f no es integrable, lo cual es una contradiccion.

Corolario 10.3. Sea f : [a, b] R acotada en [a, b].
Entonces, f es integrable en [a, b] si, y solo si, para cualquier real
> 0, existe un real > 0 tal que, para todo real x > 0 con x < ,
se tiene
(10.12) U (f ; x) L(f ; x) <
Demostracion. De acuerdo con el Corolario 10.2, basta con que, dado

> 0, exista algun x > 0 que cumpla (10.12) para que f sea inte-
grable.
Rb
Supongamos ahora que f es integrable (D = E = a f ) y sea > 0.
De acuerdo con el Lema 10.1, existe un real > 0 tal que, para 0 <
x < , se tiene
Z b Z b

U (f ; x) < f+ f < L(f ; x)
a 2 a 2
Luego,
U (f ; x) L(f ; x) <

Proposicion 10.1. Si f : [a, b] R R es integrable en [a, b], en-
tonces existe Z b
lim S(x) = f
x0 a
Demostracion. Sea K = b a.
Para todo x (0, K], sabemos por (10.3) que
L(x) S(x) U (x)
luego,
D = E = lim S(x) = D = E
x0
en virtud de la Proposicion 8.2.

Teorema 10.1. Si f : [a, b] R R es continua en [a, b], entonces f
es integrable.
Demostracion. f es una funcion acotada, pues su rango es compacto
(Proposicion 9.2).
Sea 0 < K = b a y tomemos cualquier real x (0, K]. Sean Ik =
[xk1 , xk ] (k = 1, 2, . . . , n) los intervalos componentes de la particion
determinada por x, y designemos por |Ik | = xk xk1 .
Se tiene
n
X
(10.13) 0 < U (f ; x) L(f ; x) = (Mk mk ) |Ik |
k=1
Ahora bien, por continuidad de f y gracias al Teorema 9.1, existen

puntos uk , vk [xk1 , xk ] tales que
f (vk ) = inf {f (t) | t Ik } f (uk ) = sup {f (t) | t Ik }
Definimos la funcion h : (0, K] R tal que, para x (0, K],
h(x) = max{f (uk ) f (vk )}
k
Se infiere de (10.13) que

(10.14) 0 < U (x) L(x) K h(x)
En virtud del Teorema 9.2, f es uniformemente continua en [a, b];
luego, dado un > 0 real, existe un > 0 tal que, para 0 < x <
ocurre que h(x) < /K, o sea que, por (10.14),
0 < U (x) L(x) <
Esto implica (Corolario 10.2) que f es integrable.

Proposicion 10.2. Sea f : [a, b] R R una funcion acotada y
c (a, b).
Entonces, f es integrable en [a, b] si, y solo si, f es integrable en
[a, c] y en [c, b], en cuyo caso
Z b Z c Z b
f = f + f
a a c
Demostracion. Designemos por f1 y f2 las restricciones de f a los

intervalos [a, c] y [c, b] repectivamente,
De acuerdo con el Lema 10.1, dado un real > 0, existe un real
> 0 tal que, para todo real 0 < x < , se tiene
U (f ; x) < E + D < L(f ; x)
de donde
(10.15) U (f ; x) L(f ; x) < (E D) + 2
Tomemos un natural m N tal que
ca
x = <
m
Es evidente que
(10.16) U (f ; x) = U (f1 ; x) + U (f2 ; x)
(10.17) L(f ; x) = L(f1 ; x) + L(f2 ; x)
2
X
(10.18) U (f ; x) L(f ; x) = [U (fi ; x) L(fi ; x)]
i=1
(10.19) U (f1 ; x) L(f1 ; x) U (f ; x) L(f ; x)
(10.20) U (f2 ; x) L(f2 ; x) U (f ; x) L(f ; x)
Si f es integrable (D = E), obtenemos de (10.15), (10.19) y (10.20),
para i = 1, 2,
U (fi ; x) L(fi ; x) U (f ; x) L(f ; x) < 2
En virtud del Corolario 10.2, f1 y f2 son integrables en sus intervalos

respectivos.
Recprocamente, si f1 y f2 son integrables, a un > 0 hacemos
corresponder, segun el Corolario 10.3, un x > 0 de modo que

U (fi ; x) L(fi ; x) < (i = 1, 2)
2
y sumamos para concluir, por (10.18), que
U (f ; x) L(f ; x) <
y f es integrable por el Corolario 10.2.
En suma, f integrable equivale a que f1 y f2 son integrables en sus
intervalos respectivos. Supongamos pues que f es integrable.
Elegimos un mismo x > 0 para obtener
Z c
L(f1 ; x) f U (f1 ; x)
a
Z b
L(f2 ; x) f U (f2 ; x)
c
Z c Z b
= L(f ; x) f+ f U (f ; x)
a c
aplicando (10.16) y (10.17).

Pero tambien
Z b
L(f ; x) f U (f ; x)
a
Luego, para un > 0, tomamos un x > 0 tal que

U (f ; x) L(f ; x) <
por el Corolario 10.2 y se verifica que
Z b Z c Z b

0 f f+ f <
a a c

Corolario 10.4. Si f : [a, b] 7 R es integrable en [a, b], entonces su
restriccion a cualquier subintervalo [c, d] [a, b] es integrable en [c, d].
Demostracion. En virtud del teorema, f es integrable en [a, d] y, por
el mismo, es integrable en [c, d].

Proposicion 10.3. Sean f, g : [a, b] R integrables y f g en [a, b].

Entonces,
Z b Z b
f g
a a
Demostracion. Para todo x (0, K], donde K = b a, se tiene

S1 (x) = S(f ; x) S(g; x) = S2 (x)
Luego (Proposicion 6.2),
dx 0 con dx > 0 : S1 (dx) S2 (dx)
Pero
Z b Z b
f = lim S1 (x) = St[S1 (dx)] St[S2 (dx)] = g
a x0 a

Corolario 10.5. Sea f : [a, b] R integrable. Entonces, |f | es inte-
grable en [a, b] y se tiene
Z b Z b

f
|f |
a a
Demostracion. Si f solo toma valores positivos, |f | = f , si toma solo

valores negativos, |f | = f ; en ambos casos la conclusion es evidente.
Supongamos que f toma valos positivos y negativos. Entonces m < 0
yM >0
11. Diferenciacion
Definicion 11.1. Sean f : (a, b) R R y x (a, b).
Decimos que f es derivable en x si, para todo dx 0 con dx 6= 0,
f (x + dx) f (x)
dx
es finito y tiene la misma parte estandar, en cuyo caso designamos por

f (x + dx) f (x)

0
f (x) = St
dx
y este numero real se denomina derivada de f en x.
Notese que siempre a < x + dx < b, precisamente porque dx es un
infinitesimo.
Comentario 11.1. Una comparacion con la Proposicion 8.1 indica que
la Definicion 11.1 de derivada es equivalente a la definicion estandar
f (x + h) f (x)
f 0 (x) = lim
h0 h
Proposicion 11.1. Si f : (a, b) R es derivable en x (a, b), en-

tonces f es continua en x.
Demostracion. Designemos por
f (x + dx) f (x)
=
dx
Por hipotsis, es un hiperreal finito para cualquier dx 0 y dx 6= 0.
Tenemos que
f (x + dx) f (x) = dx
luego, f (x+dx)f (x) es un infinitesimo, para todo hiperrreal dx 0
(o sea que x + dx x), y se infiere que f (x + dx) f (x) y f es
continua en x (Proposicion 9.1).

Para los proximos resultados tengamos presente el Teorema 5.1. No
sera citado a cada instancia.
Proposicion 11.2. Sean f, g : (a, b) R R y x (a, b).
Si f y g son derivables en x, entonces
(1) f g es derivable en x y (f g)0 (x) = f 0 (x) g 0 (x)
(2) f g es derivable en x y (f g)0 (x) = f (x)g 0 (x) + f 0 (x)g(x)
(3) Si g 0 (x) 6= 0, (f /g) es derivable en x y
0
f f 0 (x)g(x) f (x)g 0 (x)
(x) =
g g(x)2
Demostracion.
(1) Se deja al lector.
(2) Considerese la identidad

f (x + dx)g (x + dx) f (x)g (x)
= [f (x + dx) f (x)]g (x + dx) + f (x)[g (x + dx) g (x)]
y tengamos presente que g (x + dx) g(x) por continuidad de
g en x (Proposicion 11.1) o sea que St[g (x + dx)] = g(x); y
f (x) = f (x) R.
(3) Como g es continua en x por ser derivable y g(x) 6= 0, se tiene
que, para todo dx 0, g (x + dx) 6= 0 y St[g (x + dx)] = g(x).
Ahora basta con observar la identidad

f (x + dx) f (x)

1

g (x + dx) g (x) dx
1
=
g (x + dx)g(x)

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

g(x) f (x)
dx dx

Lema 11.1. Sea g : (c, d) R R derivable en z (c, d).
Entonces, para cada dz 0, existe un infinitesimo tal que
g (z + dz) g (z) = g 0 (z) dz + dz
Demostracion. Que g es derivable en z significa que

g (z + dz) g (z)
dz
es un hiperrreal finito para todo infinitesimo dz 6= 0 y con la misma
parte estandar g 0 (z).
Luego, a cada dz 0 corresponde algun infinitesimo que stisface
g (z + dz) g (z)
g 0 (z) + =
dz

Comentario 11.2. El lema precedente puede considerarse como una
interpretacion no-estandar del conocido teorema del valor medio.
Proposicion 11.3. Sea f : (a, b) R R derivable en x (a, b).

Sea g : (c, d) R R tal que f (a, b) (c, d) y existe la derivada
g 0 [f (x)].
Entonces, la funcion g f : (a, b) R es derivable en x y se tiene
(g f )0 (x) = g 0 [f (x)] f 0 (x)
Demostracion. Tomemos cualquier infinitesimo dx 0 con dx 6= 0.

Sean z = f (x) y dz = f (x + dx) f (x), de modo que
z + dz = f (x + dx)
Como f es continua en x por derivable (Proposicion 11.1), dz es un
infinitesimo.
En virtud del Lema 11.1, existe un infinitesimo tal que
(11.1) g (z + dz) g (z) = g 0 (z) dz + dz
Esta igualdad (11.1) puede escribirse
(g f )(x + dx) (g f )(x)
= g 0 [f (x)] [f (x + dx) f (x)] + [f (x + dx) f (x)]
De donde
(g f )(x + dx) (g f )(x)
dx
f (x + dx) f (x)

f (x + dx) f (x)

0
= g [f (x)] +
dx dx
Esto significa que el hiperreal a la derecha de la igualdad es finito y
su parte estandar es siempre g 0 [f (x)]f 0 (x), puesto que

f (x + dx) f (x)

dx
(producto de por un hiperrreal finito) es un infinitesimo cuya parte
estandar es 0. En consecuencia, (g f )0 (x) = g 0 [f (x)] f 0 (x).

Decimos que la funcion f : (a, b) R R alcanza en c (a, b) un
maximo (mnimo) relativo si existe un real > 0 tal que (c , c + )
(a, b) y, para todo x (c , c + ) ocurre f (x) f (c) (o f (x) f (c)
para el mnimo). Los maximos y mnimos absolutos son obviamente
relativos tambien.
Proposicion 11.4. Si f : (a, b) R R alcanza en c (a, b) un
maximo (mnimo) relativo y es derivable en c, entonces f 0 (c) = 0.
Demostracion. Supongamos que se trata de un maximo. Existe un real
> 0 tal que (c , c + ) (a, b) y, para todo x (c , c + ) ocurre
f (x) f (c).
Tomemos cualquier z (c, c+) (a, b) o sea que z = {xn }+I,
donde los xn (c , c + ), de manera que
f (z) = {f (xn )} + I f (c) = f (c)
En particular, para todo infinitesimo dc > 0, tenemos

f (c + dc) f (c) f (c dc) f (c)
0
dc dc
Pero, como f es derivable en c, los hiperreales a ambos extremos de las
desigualdades tienen la misma parte estandar, por tanto f 0 (c) 0
f 0 (c), vele decir f 0 (c) = 0.

Teorema 11.1. (Rolle) Sea f : [a, b] R R continua en [a, b] y
derivable en (a, b).
Si f (a) = f (b), entonces existe al menos un punto c (a, b) tal que
f 0 (c) = 0.
Demostracion. En virtud del Teorema 9.1, f alcanza en [a, b] un
maximo y un mnimo absolutos. Si los alcanza en a y en b, se in-
fiere que f es constante y por tanto f 0 (x) = 0 en todo punto x de
(a, b).
Si f alcanza alguno de estos extremos absolutos en c (a, b), se tiene
que f 0 (c) = 0 por la Proposicion 11.4.

Teorema 11.2. (Teorema del Valor Medio) Si f : [a, b] R R
continua en [a, b] y derivable en (a, b), entonces existe algun punto c
(a, b) tal que
f (b) b(a) = f 0 (c) (b a)
Demostracion. La funcion g : [a, b] R tal que
g(x) = (b a) f (x) [f (b) f (a)] x
es continua en [a, b] y derivable en (a.b).
Ademas,
g(a) = b f (a) a f (b) = g(b)
Luego, en virtud del Teorema de Rolle 11.1, existe un c (a, b) tal que
g 0 (c) = (b a) f 0 (c) [f (b) f (a)] = 0

12. Teorema Fundamental del Calculo

Sea f : [a, b] R R. Decimos que g : [a, b] R es una primitiva
de f si g es derivable en (a, b) y, para todo x (a, b), g 0 (x) = f (x).
Sabemos que g, de existir, no es unica pues g + C, donde C R, es
otra primitiva.
Teorema 12.1. (Teorema Fundamental I) Sea g : [a, b] R R

continua en [a, b] y derivable en (a, b).
Si g es una primitiva de la funcion integrable f : [a, b] R, entonces
Z b
(12.1) f = g(b) g(a)
a
Demostracion. Tomemos un real x > 0 y la consiguiente particion de

[a, b]. Consideremos la identidad
Xn
g(b) g(a) = [g(xk ) g(xk1 )]
k=1
Ahora, en cada intervalo componente [xk1 , xk ] aplicamos a g el Teo-

rema del Valor Medio 11.2, o sea que existe un tk (xk1 , xk ) tal que
g(xk ) g(xk1 ) = g 0 (tk ) (xk xk1 ) = f (tk ) (xk xk1 )
= mk (xk xk1 ) f (tk ) (xk xk1 ) Mk (xk xk1 )
= mk (xk xk1 ) g(xk ) g(xk1 ) Mk (xk xk1 )
n
X Xn
= mk (xk xk1 ) g(b) g(a) Mk (xk xk1 )
k=1 k=1
Es decir,
(12.2) L(x) g(b) g(a) U (x)
Pero, dado que f es integrable, se aplica la Proposicion 10.1, segun
la cual
Z b
lim L(x) = D = f = E = lim U (x)
x0 a x0
y, en vista de las desiguladades (12.2), se deduce de inmediato la

formula (12.1).

Teorema 12.2. (Teorema Fundamental II) Sea f : [a, b] R R
continua en [a, b].
Defnase la funcion F : [a, b] R tal que
Z x
x [a, b] : F (x) = f
a
Entonces, F es continua en [a, b], derivable en (a, b) y, para todo
x (a, b), F 0 (x) = f (x).
Demostracion.

Hiperreales

Cargado por

Copyright:

Formatos disponibles

Hiperreales

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Hiperreales

Cargado por

Copyright:

Formatos disponibles

EL CUERPO DE LOS HIPERREALES

No mas ficcion para nosotros, debemos calcular, pero

Date: Agosto 1984 Marzo 2013.

nuestros das entre fsicos, ingenieros y en general entre numerosos

hasta hoy. Curioso es que textos de ensenanza, hasta bien entrado

En esta monografa nos proponemos construir el cuerpo HR de los

2. Caracterizacion del cuerpo de los numeros reales

En cambio, la extension de R a C impone un sacrificio importante:

Ahora bien, el cuerpo se califica de completo si toda sucesion de

tambien llamado supremo; es decir, si 6= A R y existe un k R

3. Construccion de los hiperreales

Comentario 3.3. Un conjunto finito F N no puede pertenecer a

Consideremos ahora la sucesion {tn } tal que

ha de pertenecer a U. Si ocurre que A U, entonces = 0 (el cero en

El valor absoluto en HR se define exactamente igual que en Q y en

4. Estructura de los hiperreales

Si fuese el caso que U contiene los naturales pares, la construccion

En particular, un infinitesimo es finito, pero ciertamente existen

5. La parte estandar de un hiperreal

Llamamos (x) la monada de x HR (en memoria de Leibniz que

Comentario 5.1. En el Lema 5.1, no se infiere que

Designemos por HRF al conjunto de los hiperreales finitos.

Si fuese St(y) < St(x), tenemos

Queda determinado el homomorfismo canonico

6. Conjuntos y funciones inducidos

Demostracion. Si A de acuerdo con la definicion de A , tenemos

Si A = {r} estuviese constituido por un solo punto r R, entonces

Consideremos el conjunto Z de los hiperenteros.

Estos tres infinitos, por cierto, estan en N . Un infinito que no lo esta

Comentario 6.3. Otro conjunto importante en HR es el de los hiper-

Notese que, para r = {r, r, . . . }+I real, donde r A, ocurre f (r) =

Es hipotesis que el conjunto

Supongamos ahora que a / A no es punto de adherencia (acumu-

Recordemos que un conjunto A de reales se dice acotado si esta

Proposicion 7.3. Un conjunto 6= A R es acotado si, y solo si,

Proposicion 7.4. Un conjunto 6= A R es compacto si, y solo si,

Corolario 7.3. Un conjunto 6= A R es compacto si, y solo si,

Tomemos cualquier sucesion {cn } en A con cn c. Por hipotesis,

Demostracion. Supongamos que un L R es lmite de f en c.

Por el contrario, supongamos ahora que el real L no es lmite de f

Demostracion. En virtud de la Proposicion 8.1, tenemos

Recordemos que un L R (si existe) es el lmite de f en + y se

Demostracion. Supongamos que L es lmite de f en +.

es unico, pues, de existir otro L0 , tendramos f (z) L y f (z) L0 ,

Comentario 8.2. Establecidas las interpretaciones en HR de lmites

y supongamos que L2 6= 0. Luego, segun lo establecido en el Comentario

(2) = (3): Tenemos que a a , para todo par , N .

En virtud de la Proposicion 6.2 (5), [g(N)] A y, gracias a la

Proposicion 9.1. Sea f : A R R y a A.

Demostracion. La condicion del enunciado es trivial si a A es punto

Recordemos que una funcion f : A R R es uniformemente

Demostracion. Supongamos que f es uniformemente continua en A y

Teorema 9.3. (Dedekind) Sea [a, b] un intervalo cerrado en R (a < b)

hemos probado que f () L < f () y se tiene

Para puntos tk Ik que llamaremos marcas, al numero real

le decimos suma de Riemann. Desde luego que depende, no solo de la

Supongamos que a la particion le agregamos un nuevo punto x0k ,

que inserta dos intervalos componentes, en lugar de Ik ,

Comentario 10.1. Para el lector que conoce la integral de Riemann