NMERO REAL

Fundamentos de la Matemtica 2008 7

Ejercicios
(13) Resolver en ( , , , ) :
i) 1 9 x <
ii)
2
4 2
0
3
x
x x


iii)
2
1
1 3
x x
x
x

<

iv) 2 3 2 x x
v)
3 2
0
2 2 1
x x
x

(14) Indicar si las siguientes proposiciones son falsas o verdaderas:
i) ( ) , 5 5 x x x < <
ii) ( ) , 5 2 3 7 x x x < < <
iii)
2
, 1 3 1
3
x x x
1




( )

iv) La ecuacin 1 2 x x = tiene solucin vaca.
(15) Demostrar
i) x y x y ( ) , x y
ii) ( ) , x y x y x y

2 Nmero natural
Para dar una definicin nominal explcita de nmero natural, basada en la definicin
axiomtica de nmero real, necesitaremos de un concepto previo que definimos a
continuacin.
2.1 Conjunto inductivo
Consideramos A .
Decimos que A es un conjunto inductivo si, y slo si, se cumple:
1) 0
2) Si ( 1)
A
x A x A
'
1
1
1
!
1
1
1+
.

NMERO REAL
Fundamentos de la Matemtica 2008 8
Por ejemplo, es inductivo;

no es inductivo, porque no cumple la primera

condicin; 0

s es inductivo.
Anotamos I a la familia de todos los conjuntos inductivos. As I ,

I .

Observacin:
0 , 0 1 1 , 1 1 2 , 2 1 3 , A A A A A A A A = = = I I I I


Entonces 0,1, 2, 3,... , A A I . Es decir, que los nmeros reales que identificamos
como naturales pertenecen a todos los conjuntos inductivos. Definiremos:
2.2 Definicin de Nmero Natural
Llamamos conjunto de los nmeros naturales (anotamos ) a la interseccin de
todos los conjuntos inductivos.
De otro modo:
A
A

=
I

2.3 Teorema de Induccin Completa

Dado un conjunto H , H , H :
0
1
H
H
x H x H
'
1
1
=
!
1
1
+


Demostracin.
0
Por hip:
1
Tambien, por hiptesis, tenemos que H
H H
H
H H
H
x H x H
' ' 1 1
1 1
1 1
1 1
1
' 1
1
!
1
1 1
1
=
! !
1
1 1 1
1 1 1
+ 1+
1
1
1

1
1+
I

.
NMERO REAL
Fundamentos de la Matemtica 2008 9

Observacin
La inclusin amplia de conjuntos ( ) , restringida a los conjuntos inductivos, es una
relacin de orden total amplio, estableciendo el conjunto como elemento mnimo, y el
conjunto como elemento mximo.

2.4 Operaciones con nmeros naturales
Al haber definido el conjunto de los naturales como un subconjunto de los reales,
podemos considerarlos como tales a los efectos de mantener las operaciones ya definidas
(adicin, multiplicacin, resta y divisin). Pero esto no nos asegura que la nueva estructura
que surge de restringir el cuerpo de los reales al conjunto de los naturales, siga
manteniendo las mismas propiedades.
En nuestro caso, para corroborar el cumplimiento de cada propiedad sobre los
nmeros naturales, ser necesario estudiar:
Si las operaciones siguen siendo tales (es decir, que la imagen de cada par
por medio de la operacin pertenezca al conjunto de los naturales)
Si los neutros pertenecen a .
Si el simtrico de cada natural es tambin un natural.
Las propiedades asociativa, conmutativa y distributiva se heredan directamente de
la estructura madre, por lo que no es necesario investigarlas.

Teorema: La suma de naturales es natural
a
a b
b
'
1
1

!
1
1
+

Demostracin:
Consideramos el conjunto | H x a x = . Observemos que:
NMERO REAL
Fundamentos de la Matemtica 2008 10
1) H , por la definicin de H
2) 0 H , pues 0 0 0 a H .
3) Si
def. Asociat. def.
( ) 1 ( 1) 1
H H
x H a x a x a x x H

I
.
De 1), 2) y 3), aplicando el teorema de induccin completa, tenemos H = .
As que si tenemos b a b H a b .

Considerando las aclaraciones ya hechas, tendremos que la adicin es una operacin binaria
en los naturales que es asociativa, conmutativa, y tiene neutro, pero no cumple la
propiedad de existencia de opuesto.

Analizaremos ahora el caso de la resta, demostrando que slo es posible la diferencia de
naturales cuando el minuendo es mayor o igual que el sustraendo.

Lema: , 0 1 a a a
Demostracin: consideramos el conjunto

| 0 1 H x x x = = . Vemos
que (por su definicin) H y 0 H . Adems, dado un elemento cualquiera x de H
tendremos dos alternativas: 0 1 1 ( 1) 1 0 1 x x x x H = = = , o bien
1 ( 1) 1 ( 1) 1 ( 1) x x x x H , lo que puede sintetizarse en
que si 1 x H x H .
De estas tres afirmaciones, por el teorema de I.C. tenemos que H = . Entonces,
dado a , si 0 1 a a , como queramos demostrar.

Teorema
, , a b a b a b

Demostracin:
NMERO REAL
Fundamentos de la Matemtica 2008 11
Sea

| H x x a a x =
1) H , por definicin.
2) 0 H , pues 0 a a = .
3) Si x H , hay dos opciones:
Si 1 1
0 1 1
Si
0 1 ( 1) 1
x a x a x H
a x x a x a x H
a x
a x a x a x x H

'
1
= =
1
1
1
1

!
1
1
1
=
1
1+

Es decir, que si 1 x H x H .
De las afirmaciones 1), 2) y 3), por el teorema de I. C. deducimos que H = .
Ahora, como b b H , y adems b a a b .

Teorema: No existen naturales entre 0 y 1.
| 0 1 n n

< <

(16) Queda como ejercicio (sugerencia: considerar el conjunto auxiliar

| 0 1 H x x x = = y probar que H = ).

Teorema
, 1 a n a n a

< <

Realizaremos la demostracin por el absurdo. Supongamos que s existe n en las
condiciones de la tesis, entonces 1 0 1 a n a n a < < < < . Como n a ,
tendramos un natural entre 0 y 1, lo cual contradice el teorema anterior.
Por lo tanto, se cumple el teorema enunciado.

NMERO REAL
Fundamentos de la Matemtica 2008 12
Teorema
, , 1 a b a b a b <
(17) La demostracin queda como ejercicio.

Multiplicacin en los naturales
Utilizando algunas herramientas similares a las usadas en los casos anteriores, se
puede demostrar que la multiplicacin es una operacin en que cumple: asociativa,
conmutativa, neutro, es distributiva respecto a la adicin y no cumple la propiedad de
inverso. La demostracin queda a cargo del lector. Se deduce tambin que la divisin no es
una operacin en .

2.5 Orden en el conjunto de los naturales.
Ya hemos visto algunas propiedades vinculadas al orden en , en particular las
vinculadas a la adicin.
Para continuar este estudio, debemos introducir algunos nuevos conceptos.

Definiciones de conjuntos acotados
Consideramos , A A . Diremos que:
A est acotado superiormente , , , . k k a k a A (se dice que k es una
cota superior del conjunto A)
A est acotado inferiormente , , , . h h a h a A (se dice que h es una
cota inferior del conjunto A)
A est acotado A est acotado superior e inferiormente.
(18) Ejercicio: indicar si los siguientes conjuntos estn acotados (superior o inferiormente):
a) | 2 5 B x x = < b)

c)

NMERO REAL
Fundamentos de la Matemtica 2008 13

Definicin de mximo y mnimo de un conjunto
Consideramos A , m , M . Decimos que:
m es mnimo de A
,
m A
m a a A
'
1
1
1

!
1
1
1+
(Anotamos mn m A = )
M es mximo de
,
M A
A
M a a A
'
1
1
1

!
1
1
1+
(Anotamos mx M A = )

Ejercicios
(19) Demostrar que el mximo (mnimo) de un conjunto, si existe, es nico.
(20) Probar que 2 es el mnimo de | 2 5 B x x = < , y que adems B no tiene
mximo.
(21) Probar que

no tiene mximo ni mnimo.

2.6 Principio de Buena Ordenacin
Teorema
Todo conjunto de naturales no vaco, tiene mnimo.
, min
K
m m K
K
'
1
1
=
!
1
1
+

Demostracin
Si 0 K : Como y , 0 0 K N n N n k k K . Adems, teniendo en cuenta
que en este caso 0 0 mn K K =
Si 0 K : Consideramos

; H x x k k K = <
NMERO REAL
Fundamentos de la Matemtica 2008 14


La idea consiste en probar que H tiene un ltimo elemento
0
x y su siguiente
0
1 x es
el mnimo de K .
Es inmediato que 0 H
Suponiendo que 1 x H x H , el teorema de induccin completa nos lleva a que
H =
Ahora por def. de :
Por hiptesis
K H K
H K H K
K K K
'
1
=
1
1
1
1
= =
!
1
1
1
=
1
1+

lo cual contradice la hiptesis.
En consecuencia la proposicin 1 x H x H es falsa
0 0
por neg.
impl.
1 x H x H
Probemos ahora que
0
1 mn x K = .
Como
0 0 0
, 1 , x H x k k K x k k K <
Por otra parte:
0 0
1 1 , x H x k k K < y tomando en cuenta la
proposicin recuadrada anteriormente, tenemos que:
0 0 0 0
, 1 1 k K x k x K =
De ambas proposiciones recuadradas concluimos que
0
1 x es el mnimo de K .
Teorema
Todo conjunto de naturales no vaco y acotado superiormente tiene mximo.
Demostracin a cargo del lector. Sugerencia: tomar el conjunto de las cotas
superiores naturales; demostrar que este conjunto tiene mnimo y que este mnimo es el
mximo buscado.
H K
0 0
1 x x +
0
NMERO REAL
Fundamentos de la Matemtica 2008 15
2.7 Induccin Completa
Entendemos por induccin al proceso que nos conduce de una proposicin particular
a una general. Es el proceso inverso de la deduccin que nos lleva de lo general a lo
particular.
En este apartado analizaremos el Principio de Induccin Completa, que nos
proporcionar un mtodo capaz de verificar la validez de una proposicin que se enuncia
para todos los naturales a partir de un natural determinado.
Nota: Cuando hablemos de una expresin P referida a los naturales, notaremos que
es verdadera para el natural k escribiendo: ( ) es P k V .

Teorema: Principio de Induccin Completa.
es una expresin referida a los naturales
( ) es ( ) es , ,
( ) es ( 1) es ,
P
P k V P n V n n k
P h V P h V h N h k
'
1
1
1
1
1

!
1
1
1

1
1+

Demostracin:
Consideramos

| ( ) es H x P x k V =
Probemos que H = :
1) H por definicin.
2) 0 H , pues (0 ) ( ) es P k P k V =
3)
hip.
( ) es ( 1) es 1 x H P x k V P x k V x H
Aplicando el teorema de Induccin Completa, considerando estos tres puntos,
tendremos que H = . Entonces:
, ( ) es n n k n k N n k H P n k k V , por lo
tanto, ( ) es , P n V n n k .
NMERO REAL
Fundamentos de la Matemtica 2008 16

Ejercicios
(22) Demostrar que:
a)
2
1 3 5 ..... (2 1) , 1 n n n n =
b)
1
(3 1) (3 1) , 1
2
n
n
i n n n =

c)
1
1
(2 1)3 3
3 , 1
4
n n
i
n
i n n

(23)
a) Hallar a y b sabiendo que
2
2
1
( ) 10 13
n
ai b n n =

se verifica para 1 n = y 2 n = .
b) Demostrar por I. C. la igualdad anterior para todo n natural no nulo.
c) Calcular
2000
201
( ) ai b

(24) Deducir cul es el nmero de diagonales de un polgono de n vrtices y demostrarlo
por I. C.
(25) Deducir cuntas rectas determinan n puntos no alineados tres a tres, y demostrarlo
por I. C.
(26) En cada uno de los siguientes casos inducir una ley general y demostrarla por I. C.
a)
1 1
1 2
2 2
1 1 1
1 2
2 4 4
1 1 1 1
1 2
2 4 8 8
=
=
=

b) 1 1
1 4 (1 2)
1 4 9 1 2 3
1 4 9 16 (1 2 3 4)
=
=
=
=

(27) Sea ( ) A n la proposicin:
2
1
1 2 (2 1)
8
n n =
a) Probar que si ( ) A h es verdadera entonces ( 1) A h es verdadera
b) Determinar el valor de verdad de la proposicin: ( ) A n es verdadera par todo n
natural.

NMERO REAL
Fundamentos de la Matemtica 2008 17
3 Nmero entero
Definicin
Denominamos conjunto de los nmeros enteros (anotamos ) al conjunto formado
por los naturales y sus opuestos.

| x x x =

3.1 Operaciones con enteros
Teorema
La suma y el producto de enteros son enteros
,
a b
a b
a b
'
1
1

!
1
1
+

Demostracin:
Si ,
a b a b
a b
a b a b
'
1
1

!
1
1
+



Si , a b :
Sea b n = , en cuyo caso n , y a b a n = .
Luego
si
si ( )
a n a b a n a b
a n n a a b a n n a
' =
1
1
1
!
1 < = =
1
1+



Por otra parte: ( ) a b a n a n = = , y como a n a b a n =
Si , a b :
Se demuestra anlogamente.
Si , a b :
Denominamos m a = y n b = , en cuyo caso , m n .
( ) a b m n m n = = , y como m n a b
NMERO REAL
Fundamentos de la Matemtica 2008 18
( ) ( ) a b m n m n a b = =

Hemos demostrado que la multiplicacin y la adicin son operaciones binarias en el
conjunto de los enteros. Habr que tener en cuenta las consideraciones ya realizadas
anteriormente para discernir cules de sus propiedades que cumplan en el conjunto de los
reales, tambin se verifican en los enteros.

Ejercicio
(28) Analizar qu tipo de estructura algebraica es ( , , )

4 Nmero racional
Definicin
Llamamos conjunto de los nmeros racionales (anotamos ) a

| con , , 0
p
q
x x p q q = =

En otras palabras, llamamos racionales al conjunto de las fracciones, entendiendo
por fraccin el resultado obtenido de realizar el cociente entre dos enteros.

4.1 Operaciones con nmeros racionales
Teorema
La suma y el producto de racionales, es racional.
,
a b
a b
a b
'
1
1

!
1
1
+

NMERO REAL
Fundamentos de la Matemtica 2008 19
Demostracin

( ) ( )

*
' ' '
' '
'
' ' '
' '
, ,
, ' , '
p p pq qp
q p
q qq
q
p
p p p p q
q
q q q
a b a b
a a p q
b b p q
a b a b

'
1
1
= =
1
' = 1 1
1 1
1 1

! !
1 1
=
1 1
1+ = =
1
1
1
1+

Ejercicio
(29) Analizar qu tipo de estructura algebraica es ( , , )

5 Axioma de Completitud
5.1 Definiciones previas

Consideramos: , , y A A L . Decimos que:
L es extremo superior de A

mn ; es cota superior de L k k A =
es extremo inferior de A

mx ; es cota inferior de h h A =

Nota
Por ser mnimo (mximo) de un conjunto el extremo superior (inferior) si existe es
nico. Esto nos permite adoptar una notacin: ext L A = , extA = .
En otras palabras, llamamos extremo superior de un conjunto a la menor de sus
cotas superiores, y extremo inferior a la mayor de las cotas inferiores. El extremo superior
tambin se denomina supremo, y el inferior nfimo.