25

NMERO REAL
Cortaduras y pares de clases contiguas
Antes de comenzar propiamente con el tema
precisamos definir un par de conceptos.
Definicin
Consideramos A y A dos conjuntos de racionales A y A .
Decimos que A, A es una cortadura de racionales si y solo si:
1) A A
2) a a a A a A
3) A A
Ejemplos

1) Si B x / x 2 y B x / x 2 tenemos que B, B es una

cortadura de racionales pues i) B 1 B y B 3 B
ii) b b b B b B

b B , b 2
b b b B b B
b B , b 2
iii) B B
Como B B B B Faltara probar que B B

x 2 x B

Ahora: x , por tricotoma

x B B
x 2 x B

2) Si C x / x 2 y C x / x 2 tenemos que C C 2 .
En consecuencia C , C no es una cortadura de racionales.
3) Verificar que D, D con D x / x 2 1 y D x / x 2 1 no es
una cortadura de racionales.

25

26

4) Consideramos E x / x 0 x / x 0 x 2 2 y
E x / x 0 x 2 2 . Probemos que E , E es una cortadura de racionales.

i) E E A cargo del lector.

ii) e e e E e E
e 0

Ahora e E x / x 0 x / x 0 x 2 ,
e 0 e 2 2

Si e 0 como e E, e 0 e e
2

Si e 0 e2 2, teniendo en cuenta que e E, e2 2 podemos afirmar que

e2 e2 considerando que adems en este caso e 0 y tambin e 0 e e

iii) E E
Es inmediato que E E . Probemos que E E

x 0 x E

Ahora: x ,
x2 2 x E

x 0,

x2 2 x E

x E E

Recordemos que oportunamente probamos que r / r 2 2

Definicin

Consideramos A y A dos conjuntos de racionales A y A .

Decimos que A, A es un par de clases contiguas (P.C.C.) de racionales si y
solo si:
1) A A
2) a a a A a A
3) , a A a A / a a

26

27

Nota Comentemos brevemente la parte 3) de la definicin. 0 siempre existe un par

de elementos uno de A y otro de A cuya diferencia es menor que

Dado cualquier segmento de longitud

por chico que este sea siempre existen un
par de elementos uno de A y el otro de A
cuya distancia es menor que

a a

Ejemplos
1) Si B x / x 2 y B x / x 2 probemos que B, B es un P.C.C. de
racionales. Las primeras dos condiciones ya fueron demostradas. Vamos entonces por la
tercera
iii) b B b B / b b

2 B 2 B / 2 2

3
3
3
3 3

2 3

2 3

2
3
2) Anlogamente se demuestra que C , C es un P.C.C. de racionales

C x / x 2 y C x / x 2
3) D, D con D x / x 2 1 y D x / x 2 1 tampoco es un P.C.C. de
racionales pues falla la segunda condicin.
n 1

4) Probemos que H , H con H 1 y H x / x

, n * es un P.C.C. de
n

racionales. Es inmediato que H H . Ahora:

27

28

i)
ii)

11

H 1 H y H si n 1 x
2 H
1

h h h H h H

n 1
1
1
1 con n * Si n * n 0 1 1
n
n
n
Entonces h 1 h H . Como h H , h 1 h h h H h H

h H , h

iii) h H h H / h h

n 1
1
1
1
Por otra parte
n 1
n
n
n
Como los racionales cumplen la propiedad de Arqumedes: n0 / n0 1
Entonces h

n0 1
n 1
1
H 1 H / h h 0
1
n0
n0
n0

Ejercicio Si K x /1 x 2 y K x / 3 x 4
Demostrar que K , K no es un P.C.C. de racionales.
Hemos visto algn ejemplo de P.C.C.

C, C , H , H que no son cortaduras. Ahora

demostremos que toda cortadura es un P.C.C.

Teorema
Toda cortadura es un P.C.C.
H) A, A cortadura T) A, A P.C.C.
Dem.
Como las dos primeras condiciones de cortadura y P.C.C coinciden, solo habr
que demostrar la ltima condicin.
Dado 0 debemos encontrar a1 A y a1 A / a1 a1
Como A A a0 A a0 A . Si a0 a0 el problema estara
resuelto. Si a0 a0 tomamos /0 .
Consideramos ahora la progresin aritmtica a0 , a0 , a0 2 ,..., a0 h ,...

28

29

Probaremos que en esta progresin hay trminos en A y trminos en A. Y justamente la

diferencia entre el ltimo termino que pertenece a A y el primero que pertenece a A es
que es menor que .

a0

a0

a0 2

a0 n0 a0 n0 1

a0 n

Es inmediato que a0 A . Aplicando Arqumedes a y a0 a0 podemos afirmar que

n / n a0 a0 a0 n a0 a0 n A
Demostremos ahora que hay dos trminos consecutivos de esta progresin el primero en
A y el segundo en A. Para ello consideramos H x / a0 x A
Observemos que: 1) H (Lo cual es inmediato por definicin de H)
2) H 0 H pues a0 0. a0 A
3) H acotado superiormente por n hallado al aplicar Arqumedes.
De 1) , 2) y 3) utilizando el principio de buena ordenacin podemos afirmar que

n0 H a1 a0 n0 A
n0 max H

n0 1 H a1 a0 n0 1 A
Como A, A es una cortadura A A Q y como a1 a0 n0 1 A a1 A

a1 a0 n0 A a1 a0 n0 1 A / a1 a1 a0 n0 1 a0 n0
Nota Como E , E con E x / x 0 x / x 0 x 2 2 y

E x / x 0 x 2 2 es una cortadura de racionales, es tambin un P.C.C.

Elemento de separacin de un P.C.C.
Definicin

Consideramos: A, A un P.C.C. y

Decimos que es elemento de separacin de A, A a a a A a A

Ejemplos 1) 2 es elemento de separacin de B, B con B x / x 2

y B x / x 2
29

30

2) 1 es elemento de separacin de H , H con H 1 y

1 n 1
n 1

n *
H x / x
, n * pues 1 1 1
n
n
n

3) Probemos que E , E con E x / x 0 x / x 0 x 2 2 y

E x / x 0 x 2 2 no tiene elemento de separacin. Lo que haremos por

absurdo. Suponemos que / es elemento de separacin de E , E . Es claro que
0 . Probemos que E E lo cual generara una contradiccin con el hecho
de que E , E es una cortadura de racionales.

Comencemos por demostrar que E demostrando que 2 2

Si 2 2 buscamos / 2
2

Ahora 2 2 2 si tomamos 0 1 tenemos que 2

2

2 2 2 2 2

Por otra parte

2 2 2 2 1 2

2 1 2 2

2 2
2 1

2 2
Por densidad de 0 / 0 0 min 1,

2

2 2 0 02 2 2 0 0 2 0 H

Pero 0 lo cual contradice que sea elemento de separacin de E , E

Entonces 2 2 E
Probemos ahora que E demostrando que 2 2
Si 2 2 para generar el absurdo buscamos / 2
2

Ahora 2 2 2 2 2
2

Por otra parte 2 2 2 2 2 2

2 2 2 2

2
2

2 2
0 Aplicando nuevamente la
Como en este caso supusimos que 2
2
2

densidad de los reales podemos afirmar que 1 / 0 1

30

2 2

31

2 21 12 2 21 2 1 H

Pero 1 lo cual contradice que sea elemento de separacin. As que E

Tambin demostramos que E lo cual contradice el hecho de que E , E es una
cortadura. Por lo tanto E , E no tiene elemento de separacin.
Nota
A los P.C.C. de racionales que tienen elemento de separacin los denominamos
P.C.C. propios. Y a los que no tienen elemento de separacin impropios.
Teorema
Los pares de clases contiguas propios tienen un nico elemento de separacin.
Dem.
Consideramos A, A un P.C.C. Supongamos que tiene elementos de separacin

y . Si por ejemplo a a a A a A
A

Tomamos / 0 Como a a A a a A
Adems a a A Sumando ambas desigualdades nos queda

a a

a A a A / a a lo cual contradice

a A a A

que A, A sea un P.C.C. Por lo tanto

Definicin de nmero real
Denominamos P al conjunto de todas los P.C.C. de racionales.
a b a A, b B

Consideramos R : P P; A, A R B, B
b a b B, a A

Comencemos por demostrar que R es de equivalencia.

A, A R A, A A, A P
Observemos que A, A R A, A a a
Idntica

a A, a A
31

32

Ahora A, A P , A, A es un P.C.C. a a a A, a A
a a a A, a A

A, A R B, B

Recproca Si

A, A R B, B

Transitiva

B, B R A, A

a b a A, b B b a b B, a A

b a b B, a A a b a A, b B

A, A R B, B

B, B R C, C

B, B R A, A

A, A R C, C

a c a A, c C
Ahora A, A R C , C
c a c C , a A
Demostremos que a c a A, c C por reduccin al absurdo.
Suponemos que a1 A c1 C / a1 c1

B, B R C , C
A, A R B, B

b c1 b B
b c1 a1 b b B, b B
a1 b b B
c1 y a1 elementos de separacin de B, B lo cual es contradictorio pues tendramos un
Como

P.C.C. con dos elementos de separacin.

Anlogamente se demuestra que c a c C, a A .
Nota A partir de ahora si A, A R B, B anotamos A, A B, B
Ejercicios Probar:
1) Si A, A y B, B son dos P.C.C. con el mismo elemento de separacin
entonces A, A B, B .
2)

A, A B, B y elemento de separacin de A, A
de separacin de B, B

es elemento

En consecuencia todos los P.C.C. equivalentes a un P.C.C. propio son propios y tienen el
mismo elemento de separacin. Los P.C.C. equivalentes a un P.C.C. impropio son
impropios.
32

33

Definicin
Llamamos conjunto de los nmeros reales al conjunto cociente P

al cual

anotaremos .
En consecuencia en este marco terico un nmero real es una clase de equivalencia de un
P.C.C. Podemos entonces denominar nmero real del P.C.C. A, A a A, A que es el
conjunto A, A X , X P.C.C. de racionales / X , X A, A
Por lo dicho anteriormente si A, A es propio todos los P.C.C. de A, A son propios y
tienen el mismo elemento de separacin de A, A . En este caso si es el elemento de
separacin de A, A anotaremos en lugar de A, A . Y diremos que A, A es un
real racional.
En caso de que A, A sea impropio todos los P.C.C. de A, A son impropios. Decimos
que A, A es un irracional.
Intentaremos ahora demostrar que los reales as definidos cumplen con las proposiciones
que en el otro marco terico que desarrollamos fueron los tres axiomas que definieron a los
reales. Si lo logramos estaramos encontrando un modelo para el mencionado sistema
axiomtico, demostrando as su consistencia.
El desarrollo detallado ir en un prximo archivo.

33