Tema 2: Axioma de los números

UNIDAD 1: Epistemología de la Matemática

Este compendio recoge textualmente documentos e información de varias fuentes debidamente

citadas, como referencias elaboradas por el autor para conectar los diferentes temas.

Se lo utilizará únicam ente con fines educativos.

FORMATO CONTROLADO: FR0044/ v1.1 / 11-05-2020

 DESARROLLO DEL CONTENIDO DEL TEMA 1

TEMA 2

Axioma de los números

Objetivo

Conocer las definiciones y conceptualizaciones básicas de la Matemática, fundamentos legales y los

elementos que la conforman.

Introducción

Empecemos este primer tema con una recopilación de todo lo que mayormente hemos visto durante
nuestra etapa escolar y colegial. Seguramente veremos conceptos y definiciones que no son nuevos,
pero que espero, puedan tener una nueva perspectiva o que consolide el entendimiento que ya tenían
de ellos.

FORMATO CONTROLADO: FR0044/ v1.1 / 11-05-2020

 DESARROLLO DE LOS SUBTEMAS DEL TEMA 1
Sinopsis histórica. definición axiomática de los Números naturales.
Subtema 1:
Números enteros

Los axiomas de Peano se refiere a una teoría que formaliza operaciones aritméticas sobre los números
naturales N y sus propiedades. Hay una aritmética de Peano de primer orden y una aritmética de Peano
de segundo orden, y se puede hablar de aritmética de Peano en la teoría de tipos de orden superior.

Los axiomas (o postulados ) de Peano son cinco reglas, definidas en términos teóricos de conjuntos, para
la construcción de números naturales. Los axiomas llevan el nombre del matemático italiano Peano, quien
los publicó en 1889, aunque él mismo los atribuyó al matemático alemán Dedekind.

Como la lógica de primer orden tiene ciertas ventajas sintácticas y teóricas de modelos sobre la lógica de
segundo orden, y se ha desarrollado mucho más, la noción predeterminada de aritmética de Peano se
suele considerar como la de primer orden. Sin embargo, describiremos las nociones de primer y segundo
orden. Tenga en cuenta que el tratamiento original de Peano fue de segundo orden.

Dado el conjunto de números naturales, Nat , cuyos elementos iniciales son 0,1,2,3,4, ... , los axiomas
se definen de la siguiente manera:

Hay una constante 0: Nat . (Esto también se considera una función nula para Nat ).

Existe un total de , unario función s , s: Nat> Nat , se hace referencia como la función sucesor , es decir,
para cada elemento x en Nat , hay uno y sólo un elemento y en Nat tal que Y = S (x) .

Hay uno y solo un elemento en Nat, la constante 0 , que no es el sucesor de un elemento en Nat . Así,
para todo x en Nat , s (x) = | = 0 , es decir, 0 no es miembro de Ran (s) .

FORMATO CONTROLADO: FR0044/ v1.1 / 11-05-2020

 Para todos x y y en Nat , S (x) = s (y) -> x = y . En otras palabras, para todo x e y en Nat , x = | = y -
> S (x) = | = s (y) (es decir, la función sucesor es una inyección ).

Para todos los subconj untos A de Nat , si 0 es un miembro de A o para todo x que per tenece a A , s (x)
es un miembro de A, esto implica que A = Nat . En otras palabras, dada una colección A de elementos
en Nat tal que 0 está en A y para cada x en A s (x) también está en A , entonces A = Nat . Esto se conoce
como el principio de inducción o el principio de inducción matemática.. En consecuencia, podemos definir
la suma de números naturales de tal manera que s (x) = x + 1 , para todo x en Nat .

El conjunto Nat junto con la constante 0: Nat y la función s: Nat-> Nat se conocen como el sistema Peano
(Nat, 0, S) .

Los axiomas (ligeramente refinado) también se pueden aplicar al conjunto de números positivos, Pos ,
cuyos elementos iniciales son 1,2,3,4,5, ... .

Aquí no podemos cuantificar subconjuntos, como en el esquema de inducción de segundo or den, y no se

aplican las técnicas de álgebra inicial que pueden usarse para fabricar sumas y multiplicaciones. En
cambio, la suma y la multiplicación deben integrarse en la firma. La inducción se convierte en un esquema
de inducción sobre fórmulas en el lenguaje generado por la firma.

Por lo tanto, la firma de la aritmética de Peano de primer orden consiste en una constante 0, un símbolo
de función unaria s y símbolos de función binaria +, .

Un sistema de cinco axiomas para el conjunto de números naturales. N y una función S (sucesor) en él,
presentado por G. Peano (1889):

1. 0∈N0∈N
2. x∈N→ Sx∈Nx∈N→ Sx∈N
3. x∈N→ Sx≠0x∈N→ Sx≠0
4. x∈N𝖠y∈N𝖠Sx=Sy→ x=yx∈N𝖠y∈N𝖠Sx=Sy→ x=y
5. 0∈M𝖠∀x(x∈M→ Sx∈M)→ N⊆M0∈M𝖠∀x(x∈M→ Sx∈M)→ N⊆M for any property MM (axiom of
induction).

En la primera versión de su sistema, Peano usó 1 en vez de 0 en los axiomas 1, 3 y 5. R. Dedekind (1888)
propuso axiomas similares.

Números naturales, estructura axiomática

Además de la extracción ingenua de números naturales basada en concepciones de cantidades y arreglos

o un enfoque estrictamente teórico de conjuntos, también es posible una estructura llamada axiomática

FORMATO CONTROLADO: FR0044/ v1.1 / 11-05-2020

 de númer os naturales. Se basa en principios que, en su totalidad, deben ser plausibles, completos, libres
de contradicciones e independientes entre sí. Estos luego forman un sistema de axiomas.

Además de la extracción ingenua de números naturales basada en ideas y arreglos establecidos o en un

enfoque estrictamente teórico de conjuntos, es posible una estr uctura llamada axiomática de números
naturales (y todos los demás rangos de números basados en ellos). Se basa en principios (axiomas) que
en su totalidad deben ser plausibles, completos, libres de contradicciones e independientes entre sí. Estos
luego forman un sistema de axiomas .

Este procedimiento ya fue utilizado por EUKLID (matemático griego alrededor del 300 a. C.), quien
desarrolló una estructura geométrica estrictamente científica y sistemática en su obra "Elementos", en la
parte superior de la cual colocó definiciones, axiomas y postulados.

Para los números naturales, el matemático italiano GIUSEPPE PEANO (1858 a 1932) dio el siguiente
sistema de axiomas (más tarde llamado así por él):

1. 1 es un número natural.
2. Cada número natural tiene exactamente un sucesor.
3. 1 no es sucesor de un número natural.
4. Cada número natural es sucesor de como máximo un número natural.
5. Si un enunciado sobre númer os naturales es correcto para 1, y si su corrección para cualquier
número natural n implica su corrección para el sucesor n ', entonces el en unciado es válido para
todos los números naturales.

De estos axiomas se pueden derivar todas las propiedades de los números naturales y todas las leyes
para calcular con ellos.

Observaciones:

Según el sistema de axiomas de Peano anterior, el númer o 0 no per tenece a los números naturales. Si
desea agregarlos, debe reemplazar el número 1 en los axiomas 1, 3 y 5 con el número 0.

El quinto axioma es el principio de inducción completa.

Clasificación interpretación de los números: naturales, enteros, racionales

Subtema 2:
e irracionales, reales

Los conjuntos numéricos juntan varios conjuntos cuyos elementos son números. Están formados por
números naturales, enteros, racionales, irracionales y reales. La rama de las matemáticas que
estudia los conjuntos numéricos es la teoría de conjuntos.

FORMATO CONTROLADO: FR0044/ v1.1 / 11-05-2020

 Consulta a continuación las características de cada uno de ellos como concepto, símbolo y
subconjuntos.

Conjunto de números naturales (N)

El conjunto de números naturales está representada por N . Reúne los números que usamos para
contar (incluido el cero) y es infinito.
Subconjuntos de números naturales
 N * = {1, 2, 3, 4, 5 ..., n, ...} o N * = N - {0}: conjuntos de números naturales distintos de
cero, es decir, sin cero.

 N p = {0, 2, 4, 6, 8 ..., 2n, ...}, donde n ∈ N: conjunto de números naturales pares.

 N i = {1, 3, 5, 7, 9 ..., 2n + 1, ...}, donde n ∈ N: conjunto de números naturales impares.
 P = {2, 3, 5, 7, 11, 13, ...}: conjunto de números primos naturales.
Conjunto de números enteros (Z)
El conjunto de los números enteros es representado por Z . Reúne todos los elementos de los números
naturales (N) y sus opuestos. Por lo tanto, se concluye que N es un subconjunto de Z (N ⊂ Z):
Subconjuntos de enteros
 Z * = {..., –4, –3, –2, –1, 1, 2, 3, 4, ...} o Z * = Z - {0}: conjuntos de enteros distintos de
cero, que es, sin el cero.
 Z += {0, 1, 2, 3, 4, 5, ...}: conjunto de números enteros y no negativos. Tenga en cuenta que
Z + = N.
 Z * + = {1, 2, 3, 4, 5, ...}: conjunto de enteros positivos sin el cero.
 Z - = {..., –5, –4, –3, –2, –1, 0}: conjunto de enteros no positivos.
 Z * - = {..., –5, –4, –3, –2, –1}: conjunto de enteros negativos sin el cero.
Conjunto de números racionales (Q)
El conjunto de los números racionales están representados por Q . Reúne todos los números que se
pueden escribir en la forma p / q, donde p y q son números enteros y q ≠ 0.

Q = {0, ± 1, ± 1/2, ± 1/3, ..., ± 2, ± 2/3, ± 2/5, ..., ± 3, ± 3/2, ± 3 / 4, ...}

Tenga en cuenta que todo entero también es un número racional. Por tanto, Z es un subconjunto de Q.

Subconjuntos de números racionales

 Q * = subconjunto de números racionales distintos de cero, formado por números racionales
sin cero.
 Q += subconjunto de números racionales no negativos, formado por números racionales
positivos y cero.
*
 Q += subconjunto de números racionales positivos, formado por números racionales
positivos, sin cero.

FORMATO CONTROLADO: FR0044/ v1.1 / 11-05-2020

  Q - = subconjunto de números racionales no positivos, formado por números racionales
negativos y cero.

 Q * - = subconjunto de números racionales negativos, formando números racionales negativos,

sin cero.
Conjunto de números irracionales (I)
El conjunto de los números irracionales es representado por Me . Reúne números decimales inexactos
con una representación infinita y no periódica, por ejemplo: 3.141592 ... o 1.203040 ...
Es importante notar que los diezmos periódicos son números racionales y no irracionales. Son
números decimales que se repiten después de la coma, por ejemplo: 1.3333333 ...
Conjunto de números reales (R)
El conjunto de los números reales es representado por R . Este conjunto está formado por los números
racionales (Q) e irracionales (I). Por lo tanto, tenemos que R = Q 𝖴 I. Además, N, Z, Q e I son
subconjuntos de R.
Pero tenga en cuenta que si un número real es racional, tampoco puede ser irracional. De la mis ma
manera, si es irracional, no es racional.

Subconjuntos de números reales

 R * = {x ∈ R│ x ≠ 0}: conjunto de números reales distintos de cero.
 R + = {x ∈ R│ x ≥ 0}: conjunto de números reales no negativos.
 R * + = {x ∈ R│ x> 0}: conjunto de números reales positivos.

 R - = {x ∈ R│ x ≤ 0}: conjunto de números reales no positivos.

*
 R - = {x ∈ R│ x <0}: conjunto de números reales negativos.

Lea también sobre Números: qué son, historia y conjuntos .

Intervalos numéricos
También hay un subconjunto relacionado con los números reales que se denominan
intervalos. Deje una y b ser números reales y a <b, tenemos los siguientes rangos reales :
Rango abierto de extremos :] a, b [= {x ∈ R│ a <x <b}

Rango cerrado de extremos : [a, b] = {x ∈ R│ a ≤ x ≤ b}

Rango abierto a la derecha (o cerrado a la izquierda) de los extremos: [a, b [= {x ∈ R│ a ≤ x <b}

FORMATO CONTROLADO: FR0044/ v1.1 / 11-05-2020

 Rango abierto a la izquierda (o cerrado a la derecha) de los extremos:] a, b] = {x ∈ R│ a <x ≤ b}

Propiedades de conjuntos numéricos

Diagrama de conjuntos de números

Para facilitar los estudios sobre conjuntos numéricos, a continuación se presentan algunas de sus
propiedades:

 El conjunto de números naturales (N) es un subconjunto de los números enteros: Z (N ⊂ Z).

 El conjunto de números enteros (Z) es un subconjunto de los números racionales: (Z ⊂ Q).
 El conjunto de números racionales (Q) es un subconjunto de los números reales (R).
 Los conjuntos de naturales (N), enteros (Z), racionales (Q) e irracionales (I) son subconjuntos
de números reales (R).

Subtema 3: RESOLUCIÓN DE EJERCICIOS

1. Para los conjuntos A={1,2,4,5,7}, B={2,4,9} y C={4,9} realice las siguientes operaciones:

a) A𝖴B

Los elementos que son de A o de B son 1,2,4,5,7,9, por lo tanto A𝖴B ={1,2,4,5,7,9}.

FORMATO CONTROLADO: FR0044/ v1.1 / 11-05-2020

 b) A∩ B

El único elemento que es común a A y B es 4, por lo tanto A∩ B={2,4}.

Con la información del ejemplo anterior halle:

a) A∩ C

b) B𝖴C

2. Indique cuáles axiomas se usaron para realizar las siguientes operaciones:

a) 3+(2+1)=(3+2)+1 Axioma asociativo de la suma

b) 2(3+4)=(3+4)2 Axioma conmutativo de la multiplicación

c) 2⋅ (3⋅ 4) = 2⋅ (4⋅ 3) Axioma conmutativo de la multiplicación

3. Indique cuáles axiomas se usaron para realizar las siguientes operaciones:

1) 3 X 1/3 =1

2) 4+(0+3)=4+3

3) 1+0=0+1=1

4. Determine cuál axioma de orden se usa para justificar los siguientes enunciados:

a) Si 2<3 entonces 4<5. Axioma de aditividad del orden

b) Si 2<3 entonces 8<12. Axioma de la multiplicatividad del orden

5. Determine cuál axioma de orden se usa para justificar los siguientes enunciados:

a) Si 3<4 y 4<10 entonces 3<10.

b) Si -1<0 entonces -3<-2.

c) Si 2<5 entonces 10<25.

FORMATO CONTROLADO: FR0044/ v1.1 / 11-05-2020

 REFERENCIAS
Aylwin, C. U. (2011). Los números reales y el infinito. Universidad de los Andes, Mérida,
Venezuela.
Burger, E. (1965). La axiomatización y los números naturales II. Revista Colombiana de
Matemáticas, 7(2), 20-31.
Casas Zavala, R. (2001). Material instruccional para el estudio de los números reales (Doctoral
dissertation, Universidad Autónoma de Nuevo León).
Dutari, N. C. (1980). Análisis matemático de los números reales. El Basilisco: Revista de
materialismo filosófico, (10), 4-7.
Oostra, A. (2002). El concepto de número natural según Charles S. Peirce.
REALES, I. N. (2020). III. SERIES DE NUMEROS REALES.

FORMATO CONTROLADO: FR0044/ v1.1 / 11-05-2020