EL SISTEMA DE LOS NUMEROS REALES

1. La nocin general de cerradura

Definicin: sea S un conjunto linealmente ordenado de
elementos cualesquiera. Llamaremos cortadura de S, a todo
par de clases (A,B) de elementos de S, que cumpla con las
tres condiciones siguientes:
a. A y B
Es decir, ninguna de las dos clases es vaca.
b. a<b
Para cualquier a A y b B .
c. Si s S , s A o s B
Es decir, todo elemento de S pertenece a una de las
clases.
Las clases A y B reciben los nombres de clases interior y
superior,

respectivamente.

Dichas

clases

son

siempre

disjuntos, segn se deduce de la condicin (b); pues si un

elemento perteneciera a ambas clases, seria anterior a s
mismo, lo que es imposible. Tambin se deduce de (b) y (c)
que todo elemento anterior a uno de la clase A, pertenece a
A y todo elemento posterior a B, pertenece a B.
Ejemplos:
1) si S representa al conjunto de letras (p, q, r, s),
ordenado segn la posicin de las letras, el par de
clases { (p,q), (r,s) } es una cortadura de S, como se
comprueba inmediatamente.
2) Si N representa los conjuntos de los n, naturales,
ordenado de acuerdo a su magnitud, el par de clases {
(0,1,2,3), (4,5, ..) } es una cortadura de N .
3) Sea E el conjunto de los enteros. Pongamos en una
clase A, a todos los n negativos, y en una clase B a
todos los dems nmeros enteros. El par de clases
(A,B) constituye una cortadura de

E .

4) Sea

el conjunto de los n, racionales y r un n,

racional dado. Pongamos en una clase A todo n

racional a, tal que a r , y en una clase B todos los
dems n racionales. El par de clases (A,B) es una
cortadura de R pues se tiene:
a. r A , pues r r y r 1 B , pues r 1>r .
Es decir las clases A y B son no vacas.
a A y bB .
b. Sean los n racionales
definicin de la clase A debe ser
definicin de B resulta

b> n

Por

a r , y por

de donde

a r <b

o sea a b .
Es deir cualquier elemento de la clase A es
anterior a cualquiera de la clase B.
c. De la definicin de B resulta que todo n racional
debe pertenecer a una de las dos clases.
5) Sea nuevamente R el conjunto de los n, racionales y
r un n, racional dado. Pongamos ahora en una clase A
todo n racional a, tal que

a<r , y en una clase B

todos los dems n racionales. El par de clases (A,B) es

tambin una cortadura del sistema de los n racionales,
como se deduce fcilmente.
R el conjunto de los n, racionales.
6) Seaotra vez
Pongamos en una clase B todo n racional positivo cuyo
cuadrado sea mayor que 2 y pongamos en una clase A
todos los dems n racionales. Demostraremos que el
par de clases (A,B) es una cortadura.
a. Se tiene:
12=1<2 ; luego 1 A ; entonces
1>0 y
y contiene nmeros positivos.
2
2>0 y 2 =4>2 ; luego 2 B ; entonces

B .

b. Sean a y b nmeros cualesquiera de A y B. si es

a 0 , deber ser

son positivos. Y si es

a<b , pues los elementos de B

a>0

debera ser

a2 <2<b 2

de

donde a<b .
c. De la definicin de las clases A y B, resulta que todo
n racional pertenece a una de las dos clases
El par de clases (A,B) es pues una cortadura del
sistema de los n racionales.

2. Tipos de cortaduras
Dada una cortadura pueden presentarse los casos siguientes:
1 La clase inferior posee un elemento mximo y la superior
uno mnimo. Se dice, en este caso, que la cortadura produce un
salto.

En el ejemplo 1, el mximo de la clase inferior es q y

el mnimo de la superior es r.
En el ejemplo 2, el mximo de la clase inferior es 3 y el

mnimo de la superior es 4.
En el ejemplo 3, el mximo de la clase inferior es -1 y el

mnimo de la superior es 0
2 La clase inferior posee un elemento mximo y la superior no
posee mnimo.
En el ejemplo 4, el mximo de la clase inferior es r. la
clase inferior no tiene mnimo, pues si lo hubiera,
llammoslo
y

, los n racionales comprendidos entre r

no perteneceran a ninguna de las dos clases, lo

que no es posible.
3La clase inferior no posee mximo

y la superior posee

mnimo

En el ejemplo 5, la clase superior tiene como mnimo al

nmero r pues r pertenece a B. la clase inferior no tiene

mximo, pues si lo hubiera llammoslo

racionales

entre

comprendidos

los n
r

no

perteneceran a ninguna de las dos clases, lo que no es

posible.
En el 2 y 3 caso el mximo de la clase inferior o el
mnimo de la clase superior, reciben el nombre de
elemento frontera o elemento de separacin de la
cortadura.

4La clase inferior no posee mximo y la superior no posee

mximo.

Tomemos el ejemplo 6. Si la clase inferior tuviera un

mximo

debera ser

>0

puesto que la clase A

contiene n positivos. Dicho nmero

2<2

es tal que

ya que no existen n racionales cuyos cuadrados

sean iguales a 2.
Ahora bien, el numero
a'=

2+2
+2

Es positivo, ya que

lo es. Adems, como se puede

poner:
a' = +

Es
Pero

2
+2

a ' > , puesto uqe el segundo sumando es positivo.

a' 2 <2 , puesto que se puede poner:
a' 2=(

2(2 )
2+2 2
) =2
+2
( +2)2

Y el sustraendo es positivo. Resulta entonces que

y

a ' A ; pero, como

a ' 2 <2 . Luego

a'>0

a ' > , habra en

la clase A un n mayor que el mximo, lo que es imposible.

La clase A no posee pues mximo.
Si la clase superior tuviera un mnimo

, se tendra

segn la definicin de la clase B:

> 0 y 2 >2
Ahora bien, el nmero:
2

b '=

+2
2

Es positivo, ya que

lo es. Adems como se puede

poner:
b '=

2 2
2

b ' < , puesto que el sustraendo es positivo.

Es
Pero

b ' >2 , puesto que se puede poner:

b ' 2 =(

2+2 2
22 2
) =2+(
)
2
2

Y el segundo sumando es positivo. Resulta entonces que

b>0 y

b ' 2 >2 . Luego

b ' B ; pero, como

b'< ,

habra en la clase B un n menor que el mnimo,lo que no

es imposible. La clase B no tiene pues mnimo.
Teorema: en el sistema de los n naturales y en el sistema de los n
enteros toda cortadura es del primer tipo, es decir, la clase interior
posee mximo y la superior posee mnimo.

Demostracin: sea (A,B) una cortadura del

sistema de los n naturales o enteros. La clase A,
por ser acotada superiormente, posee un mximo
. Entonces el n,

+1

por ser mayor que

pertenece a B; y como entre

+1

no

Teorema: en el sistema de los n racionales, no existen cortaduras

del primer tipo, pero si existen de los otros tres tipos.

Demostracin: sea (A,B) una cortadura del

sistema de los n racionales. Si la clase A
procediera un mximo
mnimo

y la clase B un

, los n racionales comprendidos entre

no podran pertenecer a ninguna de

Los ejemplos 4, 5, 6, dados anteriormente muestran que, en

el sistema de los n racionales, existen cortaduras del 2, 3 y
4 tipos respectivamente.
De acuerdo al teorema anterior en el sistema de los n
racionales existen cortaduras con frontera y cortaduras sin
fronteras.
3. Cortaduras del sistema de los nmeros racionales: en
adelante, y mientras
solamente

cortaduras

no se advierta lo contrario, consideramos

del

sistema

de

los

racionales.

Denotaremos estas cortaduras de la forma (A1,A2), (B1,B2), etc. Los

nmeros de la clase A1sern denotadas a1, a1, a1, etc. los de la
clase A2con a2, a2, a2, etc. Si la cortadura (A1,A2) posee frontera,

la denotaremos con

; si (B1,B2) la posee, la denotaremos con

, etc
Antes hemos que, el sistema de los n racionales existen
cortaduras confronteras y cortaduras sin frontera, ahora bien
cada n racional r es frontera de dos cerraduras: la que tiene a r
como mximo de la clase inferior

y la que tiene a r como

mnimo de la clase superior. A fin de que todo n racional sea

frontera de una nica cortadura dejaremos de considerar
aquellas que tiene mnimo en la clase superior. En adelante
pues, consideraremos solamente la cortaduras del sistema de
los n racionales que tiene mximo en la clase inferior o que no
tiene mximo ni mnimo. Dicho de otro modo, consideramos
todas aquellas cortaduras que no tienen mnimo de la clase
superior.
Resulta ahora que a todo n racional le corresponde una nica
cortadura de la cual es frontera. Pero existen cortaduras que no
tienen ningn n racional como frontera, como lo muestra el
ejemplo 6.
Nos proponemos ahora extender el concepto de n racional de
tal modo que toda cortadura posea frontera. Comenzaremos
exponiendo ciertas propiedades de las cortaduras del sistema
de los n racionales, que nos servirn de punto de partida para
establecer nuestro nuevo concepto de nmero: el de nmero
real.
Sean

(A1,A2), (B1,B2) dos cortaduras del sistema de los n

racionales que tengan como frontera (mximos de la clase

inferior) a los n racionales

, respectivamente. Se

tiene las propiedades siguientes:

1. = , si y solamente si las cortaduras (A1,A2) y (B1,B2)
son idnticas, es decir

A 1=B1 y A 2=B 2

Demostracin: sea = , entonces, si a1 A 1 , debe

ser

a 1 ; luego

a 1

A 1< B 1

tiene pues

Si b1 B 1

b 1 y por lo tanto

a 1 B 1

y por lo tanto

b 1 A 1

Se

b 1 luego

es

Se tiene tambin

B 1< A 1 de donde A 1=B1 .Es obvio entonces que

debe ser

A 2=B 2

Suponemos ahora que las dos cortaduras son

idnticas. Debe ser entonces: A 1=B1

y como un

conjunto de nmeros no puede tener dos mximos,

debe ser

2.

= .

, si y solamente si las clases

menos un elemento en comn.

< ,
Demostracin: sea
racional
Como

tal

r > es r A 2

A 2=B 1

tomemos

y como r <

es

tiene un elemento comn r. Como

<r

r B1

; y como

un

numero

<r< .

que

Supongamos ahora que las clases

ser

tiene por lo

r B1
A2

B1

r A 2 debe

debe ser

r< .

luego <
3. Sea (C1,C2) la cortadura que tiene como frontera (mximo
como C1) al numero

+ . Un numero pertenece a C2si y

solo si es de la forma a2 + b2.

Demostracin: tenemos un C2 , se tiene que C2 +
; luego

C2 + +d

siendo d > 0 . Se puede

d
d
poner:C2 ( + 2 )+( + 2 ) ,
d
+
2

d
+
2

donde

A2y

B2. Luego C2es de la forma a2 + b2.

Tomaremos ahora un nmero a 2 + b2. Como a2

, b2

4. Sea

a2 + b2 + ,

es tambin

luego a2 + b2 C2.
(C1,C2) la cortadura que tiene como frontera al
. Un nmero pertenece a C 2si y solo si es

numero

de la forma a2 b1
Demostracin: tenemos un
; luego C2 + d

poner:

C2

se tiene que C2

, siendo d > 0. Se puede

d
d
C2 ( + 2 )( 2 )

d
B 1
2

donde

d
+ A2y
2

Luego C2es de la forma a2 b1

Tomaremos ahora un nmero a2 b1 . Como a2

, b1

es tambin

a 2 b1

luego a2 b1 C2.
5. Sea (C1,C2) la cortadura que tiene como frontera al
numero

, siendo

>0

> 0 . un nmero

pertenece a C2. Si y solo si es de la forma a2b2.

Demostracin:tenemos unC2; se tiene que
luego puede ponerse C2 d = ( d )
Pero

d> ,

luego

es

C2 ,

siendo d > 1.
d b2.

As que C2= ab2. Pero como la clase B2no posee

mnimo, existe unb2<b2de donde b2= b2e siendo e

> 1. Sustituyendo en la anterior. Se tiene: C 2=

ab2e= ( e )b2y como e > 1, es

e > ; asi que

ae = a2. Se tiene entonces C2 = a2b2

Tenemos ahora un nmero a2b2. Como a2> > 0
y b2 > > 0, se tiene: a2b2 > , luego a2b2
C2
6. Sea (C1,C2)

numero

la cortadura que tiene como frontera el

siendo

> 0 y >0 . Un nmero pertenece a

C2 si y solo si de la forma a2 / b1 siendo b1> 0

Demostracin: tenemos un C2, se tiene que C2>

d
luego pude ponerse C2 = . d = , siendo d > 1.
Pero d > ; luego es d > a2.
Pero como la clase A2 no posee mnimoexiste un
a2< a2; de donde a2 = a2. E, siendo e > 1.
Sustituyendo en la anterior, se tiene:
a' ' 2 a' ' 2
=

. Y como e > 1, es
C2 =
e

=
e

<
e

asi que

b1

Se tiene entonces C2 =

a' ' 2
b' ' 1 .

Tomemos ahora un nmero

Como a2> > 0
a2
>
b1 ; luego

a2
b1 , siendo b1> 0.

y 0 < b1<

a2
C2.
b1

, es tambin

Observacin: asignaremos ahora a cada cortadura del sistema de

los n racionales (sin mnimo en clase superior) como su frontera la
misma cortadura. Las seis propiedades anteriormente establecidas
nos permiten
definir sobre estos elementos relaciones y
4. Concepto
de entonces
nmero real
Definicin:
el sern
nombre
de nmero
real a
toda.
operaciones.
Dichosdaremos
elementos
los llamados
nmeros
reales
cortaduras del sistema de los n racionales, que no posea
mnimo en su clase superior
Notacin: denotaremos a los n reales con las letras latinas
minsculas, y las clases de un n real, con las mismas letras
pero maysculas, acompaadas de subndices. As diremos
que el n real a est formado por el par de clases (A1,A2) el b
esta formado por las clases (B1,B2), etc
5. Igualdad
Definicin: diremos que el n real a es igual al n real b, y
escribiremos a = b, si y solo si a y b representan la misma
cerradura.
Propiedades:
I.

1. a = a
2. si a = b, b = a
3. si a = b, b = c, a = c
Las tres propiedades anteriores son consecuencia
inmediata de las que posee la relacin de identidad.
4. Existen nmeros reales a y b tales a b.
Demostracin: en efecto las cortaduras (A1,A2)

(B1,B2), definidas respectivamente por ( a1 0 a2 ) y (

b1 1 b2 ) son nmeros reales, por no poseer mnimo
las clases superiores. El numero 1 pertenece a

A2

pero no a B2por consiguiente A2 B2asi resulta que a

b
Ejercicios: demostrar apoyndose solamente en I-1 a
I-4, las propiedades siguientes:
Si a = c y b = c, a = b
Si a = b y a = c, b = c

Si a

b, b

Relaciones entre nmeros reales

6. Menor:
La propiedad 2 , establecida a principio para cortaduras con
fronteras, ns sugiere lo siguiente.
Definicin: diremos que el nmero real a es menor que b y
escribiremos
a<b , si y solo si las clases A2 y B1 poseen por lo menos
un elemento en comn. Si a no es menor que b,
escribiremos a

Teorema auxiliar:

a<b

las clases

infinitos elementos comunes.

Demostracin: por ser a<b
tal que r

A2 y r

A2

B1 tienen

, existe un n racional r,

B1. Como A2 no tiene mnimo

existe un n racional s, tal que s < r y s

s < r , es tambin s

A2. Por ser

B1. Y los infinitos n racionales

comprendidos entre s y r debern pertenecer a B 1 por

ser menores que r y a A2 por ser mayores que s
Propiedades:
II.
1. Si a

b,a<bob<a
Demostracin: si a b, es A2

B2. Luego existe

un n racional r que cumple una de las dos alternativas

r

A2y r no pertenece a A 2 y r

sigue que r

A 2 y B1 o r

B2. De donde se

B2 y A1. En el primer

caso es a < b y en el segundo b < a.

2. Si a < b , b a
Demostracin: por ser a < b, existe r , tal que r
A2y B1

si fuerab < a, existira s, tal que

A2yA1 . de donde resultara que a la vez seria r > s y r

< s , lo que es imposible

3. si a < b y b < c, a < c

demostracin: de la hiptesis existe un r, tal

que r

A2 y B1y un s, tal que r

A2 y B1y s

B2 es r < s . De los cual resulta, por pertenecer s

a C1 que r C1. Luego r A2y C1 y as es a < c

Ejercicios: Deducir de I - 1 a I - 4 y de II - 1 a II 3, las
propiedades siguientes
a a
Si a = b , a b, b

Si a < b, a b
Si a b, a = b o b < a

7. Mayor
Definicin: diremos que a es mayor que b y escribiremos a >b,
si y solo si b<a
Ejercicios:
Demostrar que la relacin mayor que esconvexa,
asimtrica y transitiva.
Demostrar la ley de la tricotoma
8. Menor o igual:
Definicin: pondremos a b, si y solo si a < b o a = b.
Ejercicios:
1.
Demostrar que la relacin es reflexiva, asimtrica
generaliza y transitiva.
2.
Si a b y b < c, a < c
3.
Si a < b y b c, a < c
9. Mayor igual:
Definicin: pondremos a b, si y solo si a > b o a = b.

 Ejercicios:
1. Demostrar que la relacin
2. a b si y solo si b a

es tambin de orden

3. si a

b y b > c, a > c
4. si a > b y b c, a > c

Operaciones con nmeros reales:

10. adicin:

la

propiedad

3,

establecida

al

principio

para

cortaduras con frontera, nos sugiere la siguiente.

Definicin: dados los n reales a y b llamaremos suma de a
y b, y denotaremos con a + b, al nmero real c, si existe
cuya clase superior este formada por todos los nmeros de
la forma
Antes

a2 +b 2

de

exponer

las

propiedades

de

la

adicin,

estableceremos el siguiente:
Teorema auxiliar: sea (A1 y A2) una cortadura cualquiera
del sistema de los n racionales. Dado un numero arbitrario
>0 , tan pequeo como se quiera, existen siempre
nmeros a1 y a2 tales que a2 a1 =
Demostracin: fijemos nmeros a1 y
natural tal que:
a2a1
n>
, de donde

a1 +n > a2

a2 . Sea n un n

. Luego

a1 +n A 2

Consideramos ahora al conjunto finito de nmeros:

a1 , a1 + a1 +2 , a1 +n

(1)

El primer nmero de (1) pertenece a A1, y el ultimo a A2. Llamemos

a1 al mayor de los que pertenece a A1 el siguiente pertenecer a A2 y
llammoslo a2. Se tiene:
a2 a1=

[ a1 +( i+1) ][ a 1+i ]=

Como se quiera demostrar.

Propiedades:
III.
1. a + b siempre existe y es nica
Demostracin:
a) siempre existe: sean a y b dos n reales.
Pongamos en una clase C2 todos los n de la
forma a2 + b2 y pongamos en C1 todos los
dems n racionales, se tiene:
1. puesto que existen nmeros a2 y b2 la
suma a2 + b2, que les existe siempre
pertenece a C2. As C2 . Adems,
siempre es a1< a2 y b1< b2, de donde a1 +
b1< a2 + b2. Por consiguiente los nmeros
de la forma a1 + b1 no pueden pertenecer
a C2; pertenecen entonces a C1 y as es C1

2. si fuera c1
siendo d

c2, se tendra c1 = c2 + d,

0. De donde c1 = (a2 + b2) +

d = a2 + (b2 + d) = a + b2. Es decir c1

C2, lo que es imposible. Siempre es

pues c1 < c2
Resulta pues que el par de clases (C 1,C2)
es

una

cortadura.

Adems,

la

clase

superior no tiene mnimo; pues dado c2

C2, se debe tener c2 = a2 + b2. Como

A2 no tiene mnimo, existe un a 2< a2 de

donde c2 = a2 + b2< a2 + b2 = c2; o sea
c2< c2.
El par de clases (C1,C2) es pues un nmero
real.

b) Es nica: pues la definicin dada determina

unvocamente la clase superior C2 y por
consiguiente, la clase inferior C1.
2. a + b = b + a
Demostracin: pongamos a + b = c y b + a = d
Dado c2 C2 se tiene entonces: c2 = a2 + b2 = b2
+ a2; luego c2

D2. O sea C2< D2. Dado ahora d2

D2, se tiene: d2 = b2 + a2 =a2+b2; luego d2

C2. O sea D2< C2. De donde C2 =D2, lo que

implica c = d. a lo que es lo mismo: a + b = b + a.
3. (a + b) + c = a + (b + c)
4. Si a < b, a + c < b + c
Demostracin: pongamos a + c = d y b + c = e.
como a < b, existen nmeros r < s pertenecientes a
la vez a A2 Y B1
Dado s r > 0, existen por el teorema auxiliar, c 1 y
c2, tales que: c2 c1 = s r; de donde r + c 2 = s
+ c1 = t. ahora bien como r

A2, el numero t = s

+ c1 = b1+c1pertenece a E1. Luego d < e; o sea a

+ c < b + c.
Ejercicios:
Demostrar

apoyndose

en

las

cuatro

propiedades anteriores y sin recurrir a las

cortaduras, las propiedades siguientes:
1. Si a < b, c + a < c + b
2. Si a < b y c < d, a + c < b + d
3. Si a b y c d , a+ c b+ d
4. Si a<b y c d , a+ c< b+d
5.
6.
7.
8.

Si a b y c< d , a+ c< b+d

Si a + c = b + c, a = b
Si a + c < b + c, a < b
Si a+ c b+c , a b

11. Sustraccin:
Definicin: dados los nmeros a y b, se llama diferencia entre
a y b y se denota con a b, al nmero c, si existe, tal que a =
b + c.

La operacin que hace corresponder a pares de nmeros

reales, su diferencia, recibe el nombre de sustraccin.
Propiedades:
IV.

1. Dados los n reales a y b existe siempre a b

Demostracin: debemos en primer lugar construir un
nmero real de una manera apropiada y, en segundo
lugar, demostrar que es la diferencia.
La propiedad establecida al principio nos sugiere la
siguiente construccin: dividamos los n racionales en
dos clases (C1,C2); pongamos en C2 todo n racional
que sea de la forma a2 b1 y pongamos en C1 todos
los dems n racionales. Se tiene:
1. C2 . Evidentemente. Todo numro de la forma

a1 b2 perteneciente a C1 pues de a1

b2, rsulta a1 b2

es pues C1

a2 b2

2. Si fuera c1
d

a 2 y b1

c2, se tendra: c1 = c2 + d siendo

0; es tambin: c1 = (a1 b1) + d = (a2 + d)

b1 = a2 b1; es decir c1

C2, lo que es

imposible. Siempre es pues c1 c2

3. To n racional pertenece a una de las dos clases.
4. C2 no posee mnimo; pues dado c 2 = a2 b1,
tomemos c2

c2 de donde a2 b1

a 2 b1 =

c2; o sea c2 = a2 b1 c2
El par de clases c = (C 1,C2) es una cortadura sin
mnimo en la clase superior, es decir, es un n real.
Demostraremos a continuacin que a b = c.
pongamos d =b +c. debemos demostrar que d = a.
es decir que D2 = A2.
Sea d2 D2; se tiene: d2 = b2 + c2 = b2 + (a2
b1) = (b2 b1) + a2 = a2 sea d2

A2

Sea ahora a2

A2; tomemos a2 < a2. Pongamos

= a2 a2 > 0 de donde a2 = a2 +

a la

cortadura (B1,B2) por el teorema auxiliar, existen

b1 y b2, tales que b2 b1 =
a2 = a2 +

. Se tiene pues

= a2 + (b2 b1) = b2 + (a2 b1)

= b2 +c2 =d2; o sea a a2 D2

Ejercicios:
1. La diferencia de dos n reales, es nica.
2. Si se suma se resta un mismo nmero a los dos trminos de
una diferencia, esta no vara.
Teorema: para todo n real a es a a = cte

Cero de los nmeros reales:

Definicin: se da el nombre

de cero y se denota con el

smbolo 0, a la diferencia constante de un numero cualquiera

de s mismo.
De modo que, por definicin es a a = 0, para todo n real a.
O sea a + 0 = a
Veremos a continuacin la relacin que existe entre el cero de
los n reales y el cero de los n racionales.
Corolario 1: la cortadura que define al n real 0, contiene como
mximo de la clase inferior al nmero racional 0.
Corolario 2: si el n real a es mayor que cero, su clase inferior
A1, contiene infinitos nmeros racionales positivos.