Axiomas de Peano

Axiomas de Peano
Los axiomas de Peano o postulados de Peano son un conjunto de axiomas aritmticos ideados por Giuseppe Peano en el siglo XIX. Estos axiomas se han utilizado prcticamente sin cambios en diversas investigaciones matemticas, incluyendo cuestiones acerca de la consistencia y completitud de la aritmtica y la teora de nmeros. Los cinco axiomas o postulados de Peano son los siguientes: 1. 2. 3. 4. 5. El 1 es un nmero natural.1 est en N, el conjunto de los nmeros naturales. Todo nmero natural n tiene un sucesor n* . El 1 no es el sucesor de ningn nmero natural. Si hay dos nmeros naturales n y m con el mismo sucesor, entonces n y m son el mismo nmero natural. Si el 1 pertenece a un conjunto K de n. naturales, y dado un elemento cualquiera k, el sucesor k* tambin pertenece al conjunto K, entonces todos los nmeros naturales pertenecen a ese conjunto K. Este ltimo axioma es el principio de induccin matemtica.

Hay un debate sobre si considerar al 0 como nmero natural o no. Generalmente se decide en cada caso, dependiendo de si se lo necesita o no. Cuando se resuelve incluir al 0, entonces deben hacerse algunos ajustes menores: 1. 2. 3. 4. 5. El 0 es un nmero natural. Si n es un nmero natural, entonces el sucesor de n tambin es un nmero natural. El 0 no es el sucesor de ningn nmero natural. Si hay dos nmeros naturales n y m con el mismo sucesor, entonces n y m son el mismo nmero natural. Si el 0 pertenece a un conjunto, y dado un nmero natural cualquiera, el sucesor de ese nmero tambin pertenece a ese conjunto, entonces todos los nmeros naturales pertenecen a ese conjunto.

Presentacin formal
Como se dijo anteriormente, existe un debate sobre si incluir al 0 entre los nmeros naturales o no. A continuacin se presentan los axiomas de Peano de manera formal, contemplando ambas posibilidades:

Cuando se excluye al 0
Los smbolos que designan los conceptos primitivos son El smbolo . , , finalmente, designa . designa un predicado mondico que pretende ser ledo como "ser un nmero natural". El smbolo

por su parte, designa una constante que pretende representar al nmero uno. Y el smbolo una funcin sobre x que devuelve al sucesor de x. A esta funcin muchas veces se la escribe Los cinco axiomas de Peano son:

Del quinto axioma existen dos variantes. El primero est formulado en lgica de primer orden, y es en realidad un esquema de axioma. El segundo s es un axioma, pero est formulado en lgica de segundo orden.

Axiomas de Peano Adems de los cinco axiomas, la aritmtica de Peano recurre a dos definiciones (de la suma y de la multiplicacin), que a veces se presentan como axiomas. A continuacin se incluyen todas las variantes: Definiciones de suma y multiplicacin:

Axiomas de la suma y de la multiplicacin:

Cuando se incluye al 0
Los smbolos que designan los conceptos primitivos son Axiomas: .

Cambiar los axiomas para que incluyan al 0 es slo una cuestin de cambiar toda aparicin del 1 por el 0. Sin embargo, en las definiciones (o los axiomas) de suma y de multiplicacin hay que hacer algunos leves ajustes ms: Definiciones de suma y multiplicacin:

Axiomas de la suma y de la multiplicacin:

Axiomas de Peano

Modelos inintencionales
Un modelo es una interpretacin de los smbolos primitivos que hace verdaderos a todos los axiomas. Por ejemplo, interpretando al smbolo 0 como el nmero cero, y al predicado N como los nmeros naturales, el primer axioma resulta verdadero, porque es verdad que "el cero es un nmero natural". Lo mismo ocurre con todos los otros axiomas: bajo las interpretaciones naturales de 0, N y x', cada uno de los axiomas resulta verdadero. Luego, las interpretaciones naturales de los smbolos primitivos son un modelo de la aritmtica de Peano. Originalmente, los axiomas de Peano fueron diseados para caracterizar a los nmeros naturales, y los smbolos primitivos deban ser interpretados de esta manera natural. Sin embargo, los smbolos que designan a los conceptos primitivos admiten otras reglas de designacin (interpretaciones), algunas de las cuales sern adems modelos. Por ejemplo, podra interpretarse al smbolo 0 como el nmero dos, a N como el predicado "ser un nmero par", y a x' como el sucesor del sucesor, en vez del sucesor inmediato. En tal caso, los axiomas tendran que entenderse as: 1. 2. 3. 4. 5. El dos es un nmero par Si n es un nmero par, entonces el sucesor del sucesor de n tambin es un nmero par El dos no es el sucesor del sucesor de ningn nmero par. Si hay dos nmeros pares n y m con el mismo sucesor de sucesor, entonces n y m son el mismo nmero par. Si el dos pertenece a un conjunto, y dado un nmero par cualquiera, el sucesor del sucesor de ese nmero tambin pertenece a ese conjunto, entonces todos los nmeros pares pertenecen a ese conjunto.

Bajo esta interpretacin, todos los axiomas resultan verdaderos, y los axiomas ya no definen a los nmeros naturales, sino a los nmeros pares. Tambin es posible encontrar modelos (es decir, interpretaciones que hagan verdaderos a todos los axiomas) por fuera de la matemtica. Por ejemplo, podra interpretarse a 0 como el primer da de la creacin, a N como el predicado "ser un da", y a x' como el da despus de x. Bajo esta interpretacin, los axiomas tambin resultan verdaderos. A aquellos modelos que no fueron originalmente planeados se los llama modelos inintencionales (non-intended models), y existen infinitos modelos inintencionales de la aritmtica de Peano. Estrictamente hablando, la aritmtica de Peano no define a la serie de los nmeros naturales, sino a la nocin ms amplia de progresin.

Bibliografa
Peano, Giuseppe (marzo de 1979). Julin Velarde Lombraa. ed. Los principios de la aritmtica: expuestos segn un nuevo mtodo. Traducido por Julin Velarde Lombraa (1 edicin). Pentalfa Ediciones. ISBN 978-84-85422-02-9.

Vase tambin
Concepto primitivo Conjunto bien ordenado

Enlaces externos
MaTeTaM: Postulados de Peano [1] El Arte de las Matemticas: Postulados de Peano [2]

Axiomas de Peano

Referencias
[1] http:/ / www. matetam. com/ glosario/ definicion/ postulados-peano [2] http:/ / dianapatriciadiazgutierrez. blogspot. com/ 2009/ 05/ postulados-de-peano. html

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Axiomas de Peano Fuente: http://es.wikipedia.org/w/index.php?oldid=48941805 Contribuyentes: Atope36, Camilo, Cgb, Charly Toluca, Chikarancid, Daniel unam, Dnu72, Dreitmen, Ingenioso Hidalgo, JMCC1, Joseaperez, Julio grillo, Jynus, Luis Felipe Schenone, Manw, Matdrodes, Raulshc, Raystorm, Rbonvall, Rsg, Sabbut, Spaceone, SpeedyGonzalez, Tano4595, Triebjlr, 38 ediciones annimas

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/