▶ 👍 Peano y los naturales 🔢 🥇
En Educación secundaria los números naturales se introducen como aquellos que nos permiten contar elementos de un conjunto. Pero esta definición no se sostiene desde el punto de vista lógico y matemático
En esta entrada te contaré como definir los números naturales a partir de los axiomas de Peano (matemático italiano, 1858-1932). De esta manera tenemos un punto de partida sólido para construir algebraicamente los enteros y a partir de estos los racionales.
Los números naturales.
Como ya te he comentado en la introducción, en esta entrada te voy a hablar de la construcción de los números naturales. Hay varias formas de construir los números naturales: a través de la teoría de conjuntos y la cardinalidad de los mismos; o bien a través de un sistema axiomático. De los varios sistemas axiomáticos que construyen los números naturales, yo he elegido hacerlo a través de los Axiomas de Peano.
Qué son los números naturales.
Definir los números naturales es sencillo desde una perspectiva intuitiva. Como te he dicho antes, los naturales, son aquellos que usamos para contar. Pero aunque esta definición se entiende por todo el mundo, implicaría una gran complejidad matemática siquiera para demostrar la conmutatividad de la suma, pues nos obligaría a estudiar casos y más casos particulares. Además, que en particular seguimos sin definir los números naturales: podríamos seguir contando los elementos de determinado conjunto simplemente poniéndolos en relación con las cuentas de un collar, por ejemplo.
Por lo tanto, debemos construir los números naturales de tal manera que sean consistentes
Cómo se enuncian los axiomas de Peano.
Los axiomas de Peano se enuncian de la siguiente manera:
Existe un conjunto , una aplicación y un elemento de modo que se cumple:
- P1: .
- P2: Si entonces .
- P3: No existe ningun tal que .
- P4: Si y , entonces .
- P5: Si tiene la propiedad de que y siempre que también , entonces .
Nota: como puedes ver la aplicación es la que asigna a cada número su sucesor.
A partir de ahora al conjunto de los números naturales lo representaremos con la letra modificada .
Los axiomas anteriores, entre otras cosas, nos están indicando lo siguiente:
- P1 y P3 significan que los números naturales tienen primer elemento.
- P2, junto P4, nos está indicando que existe una aplicación inyectiva que asigna a cada número su sucesor.
- P3 nos garantiza que esa aplicación no es suprayectiva.
- P5 es el axioma de inducción del que te hablaré a continuación. Tengo una entrada dedicada a este principio la cual te recomiendo.
Operaciones en los números naturales. Propiedades.
Vamos a definir dos operaciones distintas en que son las siguientes:
Suma de números naturales.
Podemos definir en una operación interna, que denominaremos suma, de la siguiente manera:
Definimos por recurrencia la suma de dos números naturales de la siguiente manera:
- .
- .
No es nada difícil deducir, entre otras, las siguientes propiedades:
- Propiedad asociativa:
- Propiedad conmutativa
- Elemento neutro (aparece en cómo hemos definido la suma)
- Propiedad cancelativa:
En particular, no existe elemento simétrico de la suma (que en el caso de la suma se denomina opuesto).
Producto de números naturales
Definimos el producto en como una operación interna de la siguiente manera:
Definimos por recurrencia el producto de dos números naturales de la siguiente manera:
- .
- .
Al igual que antes con la suma, es muy sencillo deducir las siguientes propiedades:
- Propiedad asociativa:
- Propiedad conmutativa
- Elemento neutro (no debes confundirlo con el elemento neutro de la suma)
- Propiedad canelativa:
En particular, no existe elemento opuesto del producto (que en este caso se denomina inverso).
Además los números naturales verifican la propiedad distributiva, esto es:
Para todo se cumple que:
Estructura algebraica de los números naturales.
Dentro de las tres estructuras algebraicas principales: grupo, anillo y cuerpo; la estructura algebraica fundamental es la de grupo. Sin embargo los números naturales NO poseen esta estructura. Te recuerdo rápidamente qué debe cumplir un conjunto y las operaciones asociadas para poder ser consideradas grupo, anillo o cuerpo:
- Se dice que un conjunto y una operación asociada poseen la estructura de grupo si verifican:
- La operación es interna.
- Existe elemento neutro de en .
- Para todo elemento existe en el elemento simétrico respecto de
- Además, si la operación es conmutativa, entonces se denomina grupo conmutativo o abeliano.
- Se dice que un conjunto y dos operaciones asociadas poseen estructura de anillo si verifican:
- es un grupo conmutativo.
- La operación es asociativa.
- La operación es distributiva repecto de la operación
- Si además la operación es conmutativa, se denomina anillo conmutativo.
- Se dice que un conjunto y dos operaciones asociadas poseen estructura de cuerpo si verifican:
- Las operaciones y son:
- Asociativas en .
- Conmutativas en .
- La operación es distributiva respecto de en .
- Existen dos elementos, distintos, en , llamados 0 y 1, que son los neutros de y respectivamente.
- Todo elemento posee elemento opuesto para .
- Todo elemento con posee elemento inverso para .
- Las operaciones y son:
Como ves, los números naturales carecen de elemento opuesto para la suma y de inverso para el producto , por lo que ni siquiera son un grupo.
Los números naturales poseen estructura de monoide tanto para la suma como para el producto.
La estructura algebraica de es la de monoide conmutativo
La estructura algebraica de es la de monoide conmutativo
Es importante que sepas que a partir de los números naturales podemos construir, mediante una relación de equivalencia, los números enteros . Pero esto lo dejamos para otra entrada.
Como siempre, si quieres comentar algo, por favor, déjalo en comentarios
Gracias por leerme
Si quieres contactar conmigo puedes hacerlo aquí
Si te gusta lo que hago y quieres invitarme a un café ¡¡te doy las gracias por adelantado!!
Bibliografía:
- Delgado Pineda, M.; Muñoz Bouzo, M. J.; 2010; Lenguaje matemático, conjuntos y números; Ed. Sanz y Torres; Madrid; ISBN: 978-84-82948-30-7.
- Lentin, A., Rivaud, J.; 1971; Algebra moderna; Ed. Aguilar; Madrid.
- https://www.uv.es/ivorra/Libros/Al.pdf [consultado 15-09-2020]