NÚMERO REAL

Fundamentos de la Matemática 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 ecuación 1 2 x x − = − tiene solución vacía.
(15) Demostrar
i) x y x y − ≤ ÷ ( ) , x y ∀ ∈ ℝ
ii) ( ) , x y x y x y − ≤ − ∀ ∈ ℝ

2 Número natural
Para dar una definición nominal explícita de número natural, basada en la definición
axiomática de número real, necesitaremos de un concepto previo que definimos a
continuación.
2.1 Conjunto inductivo
Consideramos A ⊂ ℝ .
Decimos que A es un conjunto inductivo si, y sólo si, se cumple:
1) 0
2) Si ( 1)
A
x A x A
' ∈
1
1
1
!
1 ∈ ⇒ ÷ ∈
1
1+
.

NÚMERO REAL
Fundamentos de la Matemática 2008 8
Por ejemplo, ℝ es inductivo;
÷
ℝ no es inductivo, porque no cumple la primera
condición; ¦ ¦ 0
÷
∪ ℝ sí es inductivo.
Anotamos I a la familia de todos los conjuntos inductivos. Así ∈ I ℝ ,
÷
∉ I ℝ .

Observación:
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 números reales que identificamos
como naturales pertenecen a todos los conjuntos inductivos. Definiremos:
2.2 Definición de Número Natural
Llamamos conjunto de los números naturales (anotamos ℕ) a la intersección de
todos los conjuntos inductivos.
De otro modo:
A
A

=
I




2.3 Teorema de Inducción Completa

Dado un conjunto H , H ⊂ ℕ , H ≠ ∅:
0
1
H
H
x H x H
' ∈
1
1
⇒ =
!
1 ∈ ⇒ ÷ ∈
1
+


Demostración.
0
Por hip:
1
Tambien, por hipótesis, 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
ℕ ℝ ℝ



.
NÚMERO REAL
Fundamentos de la Matemática 2008 9

Observación
La inclusión amplia de conjuntos ( ) ⊂ , restringida a los conjuntos inductivos, es una
relación de orden total amplio, estableciendo el conjunto ℕ como elemento mínimo, y el
conjunto ℝ como elemento máximo.

2.4 Operaciones con números 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
(adición, multiplicación, resta y división). 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
números naturales, será necesario estudiar:
• Si las operaciones siguen siendo tales (es decir, que la imagen de cada par
por medio de la operación pertenezca al conjunto de los naturales)
• Si los neutros pertenecen a ℕ.
• Si el simétrico de cada natural es también 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
+





Demostración:
Consideramos el conjunto ¦ ¦ | H x a x = ∈ ÷ ∈ ℕ ℕ . Observemos que:
NÚMERO REAL
Fundamentos de la Matemática 2008 10
1) H ⊂ ℕ , por la definición 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 inducción completa, tenemos H = ℕ.
Así que si tenemos b a b H a b ∈ ⇒ ÷ ∈ ⇒ ÷ ∈ ℕ ℕ .

Considerando las aclaraciones ya hechas, tendremos que la adición es una operación 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 sólo es posible la diferencia de
naturales cuando el minuendo es mayor o igual que el sustraendo.

Lema: , 0 1 a a a ∈ ≠ ⇒ − ∈ ℕ ℕ
Demostración: consideramos el conjunto
¦ ¦
| 0 1 H x x x = ∈ = − ∈ ℕ ℕ ⊻ . Vemos
que (por su definición) H ⊂ ℕ y 0 H ∈ . Además, 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 queríamos demostrar.

Teorema
, , a b a b a b ∈ ∈ ≥ ⇒ − ∈ ℕ ℕ ℕ

Demostración:
NÚMERO REAL
Fundamentos de la Matemática 2008 11
Sea
¦ ¦
| H x x a a x = ∈ − ∈ ℕ ℕ ⊻
1) H ⊂ ℕ , por definición.
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 además 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 demostración 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 − ∈ ℕ,
tendríamos un natural entre 0 y 1, lo cual contradice el teorema anterior.
Por lo tanto, se cumple el teorema enunciado.

NÚMERO REAL
Fundamentos de la Matemática 2008 12
Teorema
, , 1 a b a b a b ∈ < ⇒ ÷ ≤ ℕ
(17) La demostración queda como ejercicio.

Multiplicación en los naturales
Utilizando algunas herramientas similares a las usadas en los casos anteriores, se
puede demostrar que la multiplicación es una operación en ℕ que cumple: asociativa,
conmutativa, neutro, es distributiva respecto a la adición y no cumple la propiedad de
inverso. La demostración queda a cargo del lector. Se deduce también que la división no es
una operación 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 adición.
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 están acotados (superior o inferiormente):
a) ¦ ¦ | 2 5 B x x = ∈ − ≤ < ℝ b)
÷
ℝ c)


NÚMERO REAL
Fundamentos de la Matemática 2008 13

Definición de máximo y mínimo de un conjunto
Consideramos A ⊂ ℝ , m ∈ ℝ, M ∈ ℝ. Decimos que:
m es mínimo de A
,
m A
m a a A
' ∈
1
1
1

!
1 ≤ ∀ ∈
1
1+
(Anotamos mín m A = )
M es máximo de
,
M A
A
M a a A
' ∈
1
1
1

!
1 ≥ ∀ ∈
1
1+
(Anotamos máx M A = )

Ejercicios
(19) Demostrar que el máximo (mínimo) de un conjunto, si existe, es único.
(20) Probar que 2 − es el mínimo de ¦ ¦ | 2 5 B x x = ∈ − ≤ < ℝ , y que además B no tiene
máximo.
(21) Probar que
÷
ℝ no tiene máximo ni mínimo.

2.6 Principio de Buena Ordenación
Teorema
Todo conjunto de naturales no vacío, tiene mínimo.
, min
K
m m K
K
' ⊂
1
1
⇒ ∃ ∈ =
!
1 ≠ ∅
1
+



Demostración
Si 0 K ∈ : Como y , 0 0 K N n N n k k K ⊂ ∀ ∈ ≥ ⇒ ≤ ∀ ∈ . Además, teniendo en cuenta
que en este caso 0 0 mín K K ∈ ⇒ =
Si 0 K ∉ : Consideramos
¦ ¦
; H x x k k K = ∈ < ∀ ∈ ℕ
NÚMERO REAL
Fundamentos de la Matemática 2008 14


La idea consiste en probar que H tiene un “último” elemento
0
x y su siguiente
0
1 x ÷ es
el mínimo de K .
Es inmediato que 0 H ∈
Suponiendo que 1 x H x H ∀ ∈ ⇒ ÷ ∈ , el teorema de inducción completa nos lleva a que
H = ⇒ ℕ
Ahora por def. de :
Por hipótesis
K H K
H K H K
K K K
'
1
⇒ ∩ = ∩
1
1
1
1
∩ = ∅ ⇒ = ∅
!
1
1
1
⊂ ⇒ ∩ =
1
1+

ℕ ℕ
lo cual contradice la hipótesis.
En consecuencia la proposición 1 x H x H ∀ ∈ ⇒ ÷ ∈ es falsa
0 0
por neg.
impl.
1 x H x H ⇒ ∃ ∈ ∧ ÷ ∉
Probemos ahora que
0
1 mín 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
proposición 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 mínimo de K .
Teorema
Todo conjunto de naturales no vacío y acotado superiormente tiene máximo.
Demostración a cargo del lector. Sugerencia: tomar el conjunto de las cotas
superiores naturales; demostrar que este conjunto tiene mínimo y que este mínimo es el
máximo buscado.
H K
0 0
1 x x +
0
NÚMERO REAL
Fundamentos de la Matemática 2008 15
2.7 Inducción Completa
Entendemos por inducción al proceso que nos conduce de una proposición particular
a una general. Es el proceso inverso de la deducción que nos lleva de lo general a lo
particular.
En este apartado analizaremos el Principio de Inducción Completa, que nos
proporcionará un método capaz de verificar la validez de una proposición que se enuncia
para todos los naturales a partir de un natural determinado.
Nota: Cuando hablemos de una expresión P referida a los naturales, notaremos que
es verdadera para el natural k escribiendo: ( ) es P k V .

Teorema: Principio de Inducción Completa.
es una expresión 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+



Demostración:
Consideramos
¦ ¦
| ( ) es H x P x k V = ∈ ÷ ℕ
Probemos que H = ℕ:
1) H ⊂ ℕ por definición.
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 Inducción 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 ∀ ∈ ≥ ℕ .
NÚMERO REAL
Fundamentos de la Matemática 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 cuál es el número de diagonales de un polígono de n vértices y demostrarlo
por I. C.
(25) Deducir cuántas 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 proposición:
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 proposición: “ ( ) A n es verdadera par todo n
natural”.

NÚMERO REAL
Fundamentos de la Matemática 2008 17
3 Número entero
Definición
Denominamos conjunto de los números 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
+





Demostración:
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 análogamente.
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 ÷ ∈ ⇒ ÷ ∈ ℕ ℤ
NÚMERO REAL
Fundamentos de la Matemática 2008 18
( ) ( ) a b m n m n a b ⋅ = − ⋅ − = ⋅ ∈ ⇒ ⋅ ∈ ℕ ℤ

Hemos demostrado que la multiplicación y la adición son operaciones binarias en el
conjunto de los enteros. Habrá que tener en cuenta las consideraciones ya realizadas
anteriormente para discernir cuáles de sus propiedades que cumplían en el conjunto de los
reales, también se verifican en los enteros.

Ejercicio
(28) Analizar qué tipo de estructura algebraica es ( , , ) ÷ ⋅ ℤ

4 Número racional
Definición
Llamamos conjunto de los números racionales (anotamos ℚ) a
¦ ¦
| con , , 0
p
q
x x p q q = ∈ = ∈ ≠ ℚ ℝ ℤ

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

4.1 Operaciones con números racionales
Teorema
La suma y el producto de racionales, es racional.
,
a b
a b
a b
' ÷ ∈
1
1
∈ ⇒
!
1 ⋅ ∈
1
+





NÚMERO REAL
Fundamentos de la Matemática 2008 19
Demostración

( ) ( )

*
' ' '
' '
'
' ' '
' '
, ,
, ' , '
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
¦ ¦
mín ; es cota superior de L k k A ⇔ = ∈ ℝ
ℓ es extremo inferior de A
¦ ¦
máx ; es cota inferior de h h A ⇔ = ∈ ℓ ℝ

Nota
Por ser mínimo (máximo) de un conjunto el extremo superior (inferior) si existe es
único. Esto nos permite adoptar una notación: 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
también se denomina supremo, y el inferior ínfimo.

Sign up to vote on this title
UsefulNot useful