1 Conjuntos Numricos.

Contenido

Captulo 1

Pgina

1.1

Introduccin

1.2

Nmeros Naturales

1.2.1 Introduccin

1.2.2 Axiomas de los nmeros naturales

1.2.3 Propiedades de la adicin entre nmeros naturales

1.3

Nmeros Enteros

13

1.4

Nmeros Racionales

13

1.5

Nmeros Reales

13

1.6

Nmeros Complejos.

13

1.7

Problemas

13

Objetivos
*

Interpreta correctamente las propiedades de las operaciones definidas en los conjuntos numricos.

Clasifica correctamente los diferentes conjuntos numricos.

Argumenta sobre las diferencias entre las propiedades de los conjuntos numricos.

Indicadores de Logros
*

Identifica los diferentes nmeros.

Diferencia las propiedades vlidas en cada conjunto numrico.

Argumenta sobre las diferencias entre los conjuntos numricos y sus construcciones..

1.1. Introduccin

Introduccin 1.1
En este captulo realizaremos la construccin de los conjuntos numricos empezando con una construccin
axiomtica de los nmeros Naturales segn los axiomas de Peano , luego a partir de los nmeros Naturales
haremos una construccin de los nmeros Enteros construyendo primero un conjunto equicomparable con los
Naturales bajo una aplicacin, llamado el conjunto de los Enteros nmeros, tambin haremos una construccin
alternativa donde a partir de la definicin de la diferencia entre dos nmeros Naturales construiremos conjuntos
que representaran cada uno un nmero, esa misma idea la utilizaremos para construir los nmeros racionales
a partir de la definicin de divisin de nmeros Enteros, luego demostraremos que existen nmeros que no se
pueden representar como el cociente de dos Enteros a ese conjunto lo llamaremos Irracionales. Y para terminar
construiremos de manera axiomtica los nmeros Reales. Para terminar veremos que existen nmeros que al
elevarlos al cuadrado nos da un nmero negativo, ese conjunto es el de los nmeros Complejos.

Nmeros Naturales 1.2

1.2.1.

Introduccin

En la antigedad, el concepto de nmero surgi como consecuencia de la necesidad prctica de contar objetos.
Para ello, al principio el hombre se vali de los elementos de que dispona a su alrededor: dedos, piedras...
Basta recordar, por ejemplo, que la palabra clculo deriva de la palabra latina calculus, que significa contar
con piedras. La serie de nmeros naturales era, obviamente, limitada; pero la conciencia sobre la necesidad
de ampliar el conjunto de los nmeros naturales, representaba ya una importante etapa en el camino hacia
la matemtica moderna. Paralelamente a la ampliacin de los conjuntos numricos, se desarrollaron su
simbologa y los sistemas de numeracin diferentes para cada civilizacin.
Fue en la India entre los siglos V y XII d.C. donde se empezaron a usar correctamente los nmeros negativos,
se introdujo el cero e incluso se lleg a aceptar como vlidos los nmeros irracionales. Es indiscutible la
procedencia hind del sistema de numeracin decimal y de las reglas de clculo.
El cero es o no un nmero natural?
Este es uno de los temas de ms frecuente discusin entre quienes se dedican a las matemticas.
Cuando Peano introdujo los axiomas para definir el conjunto de los nmeros naturales, inici este conjunto
por el nmero uno. Pero cuando Cantor estudi la teora de conjuntos, encontr que deba empezar por el
cero, dada la necesidad de asignarle un cardinal al conjunto vaco. Quiz fue esto lo que hizo que, diez aos
ms tarde, Peano empezara los nmeros naturales con el cero.

Antalcides Olivo

1.2. Nmeros Naturales

En las ltimas dcadas ha sido muy popular la teora de conjuntos, lo cual justifica que muchos profesores
prefieran comenzar el conjunto de los nmeros naturales por el cero. En este captulo se elige iniciar el
conjunto de los nmeros naturales por el uno, aunque el cero es necesario para el cardinal del conjunto vaco,
para el neutro de la suma y para tantas otras aplicaciones. Pero en algunos temas, como el de las sucesiones,
es mejor iniciar los nmeros naturales sin el cero, pues es normal que se relacione el primer trmino con el
nmero uno, el segundo trmino con el nmero dos y as sucesivamente, recordando que no hay un ordinal
para el cardinal cero.
Axiomas de Peano
La ms conocida axiomatizacin de los nmeros naturales, contenida en el escrito Arithmetices Principia
Nova Methodo Exposita del italiano Giuseppe Peano, se presenta en esta seccin en forma detallada,
al igual que la forma mas moderna de la axiomatizacin, la definicin de las operaciones y sus propiedades
debidamente demostradas.
Durante el siglo XlX, sin duda con el impulso de la aparicin de las geometras no euclidianas, se multiplicaron
los esfuerzos por axiomatizar la geometra empeo culminado finalmente en 1899 con la publicacin de
Fundamentos de la Geometra, de David Hilbert , tambin se presentaron varias axiomatizaciones de la
aritmtica o, con ms precisin, de los nmeros naturales.
Sin lugar a dudas, la ms conocida es la que present el matemtico italiano Giuseppe Peano (1858-1932)
por primera vez en 1889 en un pequeo libro publicado en Turn titulado Arithmetices Principia Nova
Methodo Exposita. Este texto incluye sus famosos axiomas, pero ms que un texto a de aritmtica, este
documento contiene una introduccin a la lgica en la cual se presentan por primera vez los smbolos actuales
para representar la pertenencia, la existencia, la contenencia (en la actualidad es invertido, acorde con el de
los nmeros) y para la unin y la interseccin.
Peano reconoce hacer uso de estudios de otros autores: en 1888 despus de estudiar a G. Boole, E. Schrder, C.
S. Peirce y otros, estableci una o o analoga entre operaciones geomtricas y algebraicas con las operaciones
de la lgica; en aritmtica menciona el trabajo de Dedekind publicado el ao anterior reconocido de manera
generalizada como la primera axiomatizacin de la aritmtica, aunque sali a la luz 7 aos despus del artculo
de Peirce y un texto de Grassmann de 1861. Este ultimo libro posiblemente fu fuente de inspiracin tanto
para Peano y Dedekind como para Peirce.
Arithmetices Principia, escrito en latn es el primer intento de Peano , para lograr una axiomatizacin de las
matemticas en un lenguaje simblico.
Consiste en un prefacio y 10 secciones:
1. Nmeros y Adicin.
2. Sustraccin.
3. Mximos y Mnimos.
Antalcides Olivo

1.2. Nmeros Naturales

4. Multiplicacin.
5. Potenciacin.
6. Divisin.
7. Teoremas varios.
8. Razones de Nmeros.
9. Sistemas de Racionales e Irracionales.
10. Sistemas de Cantidades.
En libro establece los siguientes axiomas:
1. 1 IN .
2. Si a IN entonces a = a.
3. Si a IN entonces a = b si y slo si b = a.
4. Si a, b, c IN entonces a = b, b = c implica a = c.
5. Si a = b y b IN entonces a IN .
6. Si a IN entonces a + 1 IN .
7. Si a IN entonces a = b si y slo si a + 1 = b + 1.
8. Si a IN entonces a + 1 6= 1.
9. Si k es una clase, 1 k, y si para x IN : x k implica x + 1.

1.2.2.

Axiomas de los nmeros naturales

Empezaremos ahora la construccin de los nmeros naturales siguiendo la idea de Peano.

Axioma. 1.2.1

Existencia de los nmeros naturales

Existe un conjunto IN 6= llamado conjunto de los nmeros Naturales.

Podramos decir que este axioma establece uno de los trminos no definidos de la teora el cual es el nmero
natural.

Antalcides Olivo

1.2. Nmeros Naturales

Axioma. 1.2.2

Existencia del nmero mnimo

Existe un nmero llamado 1 IN .

Del axioma 1.2.1 tenemos que como IN 6= entonces debe tener por lo menos un elemento, el axioma 1.2.2 lo
define como el nmero 1.
Relacin de igualdad

Axioma. 1.2.3

Existe una relacin = tal que a = b significa que a y b representan el mismo nmero natural, que cumpla
las siguientes propiedades
a, b, c IN se tiene que:
i) Si a IN entonces a = a.
ii) Si a IN entonces a = b si y slo si b = a.
iii) Si a, b, c IN entonces a = b, b = c implica a = c.
iv) Si a = b y b IN entonces a IN .

En el captulo ?? pgina ?? presentamos el concepto de igualdad como un trmino no definido, pero Peano lo
present como un axioma y adems establece que es una relacin, algo que no planteamos en la teora de
conjuntos al presentar el trmino , pero si cuando se estableci el axioma de extensin.
Observamos tambin que el axioma ?? establece las tres primeras propiedades, por tanto este axioma establece
slo la propiedad iv), la cual nos asegura que un nmero natural slo puede ser representado por un nmero
natural. Es decir que si existen otros nmeros estos no pueden representar a un nmero natural.
Axioma. 1.2.4

Sucesor

Existe una aplicacin

IN

IN

que cumple las siguientes propiedades

i) n IN , (n) 6= 1
ii) n, m IN

(n) = (m) n = m.

La propiedad i) que establece el axioma 1.2.4 nos dice que el nmero uno no tiene preimagen, es decir no es
sucesor de ningn natural, es el primero.
La segunda propiedad del axioma 1.2.4 establece la relacin de igualdad, en funcin de la funcin sucesor,
pero tambin nos aclara que el sucesor de un nmero natural es nico.

Antalcides Olivo

1.2. Nmeros Naturales

Axioma. 1.2.5

Existe una operacin

Adicin entre naturales

+:

IN IN

IN

(a, b)

c = + (a, b) = a + b

que cumple las siguientes condiciones .

n, n IN se tiene que
i) + (n, 1) = (n)
ii) + ( (n) , m) = + (n, (m)) = (+ (n, m))

Hubiramos podido establecer los axiomas 1.2.1 y 1.2.5 como definiciones, pero decidimos establecerlos como
axiomas, porque no conocemos todava la estructura de IN .
Definicin. 1.2.1

Sucesor

La aplicacin que garantiza el axioma 1.2.4 la definiremos

IN

IN

(n) = n + 1

de acuerdo

con la propiedad i) del axioma 1.2.5

Esta definicin la podemos expresar de la siguiente manera:

Si n IN n + 1 IN .

Y con el podemos construir los nmeros naturales de la siguiente forma

i) 1 IN entonces existe (1) = 1 + 1 IN . Al nmero 1 + 1 lo llamaremos dos, es decir 1 + 1 := 2.
ii) 2 IN entonces existe (2) = 2 + 1 IN . al nmeros 2 + 1 lo llamaremos tres, es decir 2 + 1 := 3.
iii) 3 IN entonces existe (3) = 3 + 1 IN . al nmeros 3 + 1 lo llamaremos cuatro, es decir 3 + 1 := 4.
Podemos seguir construyendo los nmeros naturales de manera indefinida, es decir el conjunto de los nmeros
naturales es infinito y de acuerdo con el axioma del conjunto infinito ( axioma ?? en la pgina ??) este
conjunto es posible ya que sigue la misma construccin que determina este axioma.
En estos momentos como ya conocemos la estructura del conjunto de los nmeros naturales podemos definir
la adicin entre naturales de acuerdo con la definicin 1.2.1.
Sean m y n nmeros naturales entonces m + n = (1 + 1 + 1 + + 1) + (1 + 1 + 1 + + 1) es decir:
m veces
n veces

Antalcides Olivo

1.2. Nmeros Naturales

Tabla 1.1: Tabla de la adicin entre nmeros naturales.

+

1
2
3
4
..
.

2
3
4
5
..
.

3
4
5
6
..
.

4
5
6
7
..
.

5
6
7
8
..
.

..
.

Observemos en ta tabla que 1 + 1 = 2 o que 3 + 1 = 4 , que es lo que conocemos desde la bsica primaria.
Axioma. 1.2.6

Induccin

Si A IN , A 6= , tal que
i) 1 A.
ii) Si (n A n + 1 A) A = IN .

El axioma de induccin se puede presentar tambin de la siguiente forma :

Sea P una propiedad cualesquiera. entonces todo nmero satisface la propiedad P si se tiene que:
i) 1 satisface la propiedad P , es decir P (1)es cierto.
ii) Si n satisface la propiedad P , entonces n + 1 tambin satisface la propiedad P , es decir
Si P (n) P (n + 1) .

iii) Se concluye P se satisface para cualquier natural, es decir P (m) es cierta m IN .

Nota:

Cuando el axioma se presenta de esta forma se le llama Principio de Induccin. Queda da tarea su

demostracin.
Resumiendo lo que afirman estos postulados o axiomas, podemos entender que se trata de un conjunto
que tiene un elemento mnimo, el uno (Axioma 1.2.2), es decir no es siguiente de ningn otro (Axioma
1.2.4.i)), es decir, se trata del primer elemento del conjunto, y todos los dems elementos tienen cada uno un
elemento siguiente (Axioma 1.2.2.ii) ), de modo que dos elementos distintos tienen siguientes distintos. El
1.2.6 postulado es de suma importancia por dotarnos de un mtodo de demostracin de propiedades, ya que
nos indica que todo conjunto A al que pertenezca el uno, y tal que todo elemento de A tiene siguiente en
A, necesariamente ha de coincidir con el conjunto IN de los nmeros naturales. Es lo que se acostumbra a
denominar mtodo simple de induccin completa.
A partir de estos cinco axiomas, y usando sistemticamente el 1.2.6 axioma, de la induccin completa, podemos
probar todas las propiedades del conjunto IN .
Antalcides Olivo

1.2. Nmeros Naturales

Teorema. 1.2.1
Ningn nmero natural coincide con su sucesor, es decir n IN , n 6= (n) .

Demostracin:
Sea A = {n IN : n 6= (n)}, ahora apliquemos el axioma de induccin (1.2.6)
1. 1 A, por el axioma del mnimo (1.2.2) y el axioma del sucesor (1.2.4.i)) (1) 6= 1.
2. n A, n 6= (n) (n) 6= ( (n)) por el recproco del axioma 1.2.4.ii), de lo que se deduce que
(n) A.
3. Por tanto vemos que de 1) 1 A y de 2) si n IN (n) A se deduce que A = IN por el axioma
de induccin (1.2.6), luego n IN , n 6= (n) .


Teorema. 1.2.2
Si dos aplicaciones definidas en IN IN conmutan con la aplicacin sucesor ( (n)) y tiene la misma imagen
para el 1, entonces ambas coinciden.
En el lenguaje L lo podemos expresar :
Si f : IN IN y g : IN IN son aplicaciones tal que
f = f g = g f (1) = g (1) , n IN f (n) = g (n) .

Demostracin:
Sea A = {n IN : f (n) = g (n)}, ahora apliquemos el axioma de induccin.
i) 1 A, pues por hiptesis f (1) = g (1) .
ii) IN ,
f (n) = g (n)

(f (n)) = (g (n))

( f ) (n) = (g ) (n)

(f ) (n) = (g ) (n)

f [ (n)] = g [ (n)]
(n) A.
Antalcides Olivo

1.2. Nmeros Naturales

iii) En definitiva, vemos de i) 1 A , de ii) si n A (n) A, de lo que se deduce por el axioma 1.2.6
que A = IN .


Teorema. 1.2.3
Dadas dos aplicaciones f : IN IN y g : IN IN si existe alguna tercera aplicacin : IN IN tal que,
f = f g = g f (1) = g (1) , n IN f (n) = g (n) .

Demostracin:
Sea A = {n IN : f (n) = g (n)}, ahora apliquemos el axioma de induccin.
i) 1 A, pues por hiptesis f (1) = g (1) .
ii)n IN ,

(f ) (n) = ( f ) (n) f ( (n)) = (f (n)) = (g (n)) = g ( (n))

(n) A.

iii) En definitiva, vemos de i) 1 A , de ii) si n A (n) A, de lo que se deduce por el axioma 1.2.6
que A = IN .

1.2.3.

Propiedades de la adicin entre nmeros naturales

Teorema. 1.2.4

unicidad de la suma

La aplicacin + es nica, es decir si +1 y +2 son sumas entonces +1 = +2 .

Demostracin:
Definamos dos aplicaciones, f y g, mediante +1 y +2 de la siguiente manera
Sea f : IN IN definida n IN f (n) = +1 (n, m) ,
Sea g : IN IN definida n, m IN g (n) = +2 (n, m) ,

para algn m IN .
para algn m IN .

Antalcides Olivo

1.2. Nmeros Naturales

Entonces :
i) 1 IN



 f (1) = +1 (1, m) = 1 + m

f (1) = g (1).

 g (1) = +2 (1, m) = 1 + m
ii) n IN

(f ) (n) = +1 ( (n) , m) = (+1 (n, m)) = [f (n)] = ( f ) (n)

entonces n IN , (f ) (n) = ( f ) (n) f = f .
iii) n IN

(g ) (n) = +2 ( (n) , m) = (+2 (n, m)) = [g (n)] = ( g ) (n)

entonces n IN , (g ) (n) = ( g ) (n) g = g.
Es decir las aplicaciones f y g con la aplicacin sucesor de acuerdo con el teorema 1.2.3 , entonces
f (n) = g (n) ,

n IN . p +1 (n, m) = +2 (n, m) .


Notacin: representaremos de aqu en adelante la adicin entre dos nmeros naturales n y m como n + m en
vez de + (n, m.) por tanto las condiciones que cumple la operacin se denotar
i) (n) = n + 1
ii) (n) + m = (n + m) .
Menor que

Definicin. 1.2.2
Se dice que a IN es menor o igual que b IN si existe un c IN tal que b = a + c.

Notacin: Si un nmero a es menor o igual a un nmero b se denota a b.

Meyor que

Definicin. 1.2.3
Se dice que a IN es mayor o igual que b IN si existe un c IN tal que a = b + c.

Notacin: Si un nmero a es mayor o igual a un nmero b se denota a b.

Principio de la buena ordenacin

Axioma. 1.2.7

Si A 6= y A IN existe un nico nmero m A tal que m a, a A, m recibe de mnimo elemento de A.

Antalcides Olivo

10

1.2. Nmeros Naturales

Definicin. 1.2.4

Cero

Existe un nmero llamado neutro aditivo o cero que representa con el smbolo 0, tal que si a IN
a + 0 = 0 + a = a, adems definimos la aplicacin

(n) =

(n)

si n IN ,

si n = 0.

Nota: Podemos ahora construir un nuevo conjunto IN0 := IN {0} y podemos redefinir la adicin

+:

IN0 IN0

IN0

(a, b)

c = a+b

Si definimos la siguiente proposicin 0 := 0 + 0. Con esta definicin acabamos con la discusin si el cero es o
no un nmero natural, para nosotros no, pero cuando lo necesitemos trabajamos con el conjunto IN0
El axioma de induccin matemtica lo podemos extender a IN0 cambiando la primera condicin a 0 A.
En general el axioma es vlido para cualquier subconjunto de IN que le falten un numero finito de los primeros
nmeros, es decir si B0 IN tal que B0 = {a0 , a1 , , }, ai IN , i = 0, 1, 2, , entonces el axioma de
induccin se cumple cambiando la primara condicin por a0 A.
Propiedades de la adicin

Teorema. 1.2.5
a, b, c IN0 se cumplen las siguientes propiedades:
i) Propiedad conmutativa: a + b = b + a.
ii) Propiedad asociativa: (a + b) + c = a + (b + c) .
iii) Propiedad cancelativa: Si a + c = b + c a = b.

Demostracin:
i)
1 Veamos primero que a, b IN ,

0+b = b+0
Sea A = {b IN : 0 + b = b + 0}
0 A, ya que 0 + 0 = 0 + 0.

b A, (b) + 0 = (b + 0) = (b) = 0 + (b) (b) A.

Antalcides Olivo

11

1.2. Nmeros Naturales

Luego por el axioma de induccin para IN0 , tenemos que A = IN0 , y se verifica que b IN 0 , 0 + b =
b + 0.
2 Veamos ahora que b IN0 , (0) + b = b + (0)
Sea A = {b IN0 : (0) + b = b + (0)}
0 A, pues (0) + 0 = (0 + 0) = 0 + (0)

b A, (b) + (0)

= (b + (0))
= ( (0) + b)
= ( (0 + b))
= (b)
= (0 + + (b))
= (0) + (b) (b) A.

3 Veamos finalmente que a, b IN0 ,

a+b = b+a

Sea A = {b IN0 : a + b = b + a,

0 A,

para cada a IN0 }

a + 0 = 0 + a, a IN0

b A, a + (b)

= a + (0 + b)
= a + (0) + b
= (a) + 0 + b
= 0 + (a) + b
= (0) + a + b
= [0 + (a + b)]
= (a + b)
= (b + a)
= (b) + a (b) A

Antalcides Olivo

12

1.3. Nmeros Enteros

Luego , por el axioma de induccin para IN0 , A = IN0 , y se verifica que a, b IN0 , a + b = b + a.


Las demostraciones de las otras propiedades quedan como ejercicio para el lector.

1.2.3.1.

Multiplicacin entre nmeros naturales

Multiplicacin entre nmeros naturales

Definicin. 1.2.5
Definimos
:

la

multiplicacin

entre

IN IN

IN

(n, m)

l = (n, m)= nm

nmeros

naturales

como

una

aplicacin

, de modo que a, b IN se cumple

i) (1, m) = (m, 1) = m
ii) ( (n) , m) = (n, m) + m.

Nmeros Enteros 1.3

Nmeros Racionales 1.4
Nmeros Reales 1.5
Nmeros Complejos. 1.6
Problemas 1.7
Conclusin q : Los caballos tienen cuatro patas.
1. En los incisos del a) al e), escriba las proposiciones como implicaciones, luego decida si es falso o

(c) Hiptesis p : Dos rectas se intersecan, Conclusin q : Las dos rectas no son paralelas.

verdadero
(a) Hiptesis p : Un hombre vive en Barranquilla,
Conclusin q : Vive en Antioqua.

(d) Conclusin q : Dos rectas son perpendiculares,

Hiptesis p : Las rectas se intersecan.

(b) Hiptesis p : Algunas manzanas son rojas,

Antalcides Olivo

(e) Hiptesis p : Dos ngulos tienen la misma me-

13

1.7. Problemas

dida, Conclusin q : Los ngulos son congruen-

tiene un ngulo recto, tiene dos lados congruentes.

tes.

Comentario: Para demostrar que la conjetura es

falsa, debe presentar un contraejemplo, para explicar

2. Analice la siguiente conjetura: Si un tringulo

Antalcides Olivo

que es verdadera use las definiciones.

14