P. 1
POSTULADOS DE PEANO

POSTULADOS DE PEANO

|Views: 2.110|Likes:
Publicado porCarlos Saldaña

More info:

Published by: Carlos Saldaña on Sep 20, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOCX, PDF, TXT or read online from Scribd
See more
See less

07/23/2013

pdf

text

original

POSTULADOS DE PEANO

El matemático italiano PEANO, definió una serie de axiomas que describen al conjunto de los números naturales, de la siguiente manera:
    

1 es un número. El sucesor inmediato de un número también es un número. 1 no es el sucesor inmediato de ningún número. Dos números distintos no tienen el mismo sucesor inmediato. Toda propiedad perteneciente a 1 y al sucesor inmediato de todo número que también tenga esa propiedad pertenece a todos los números.

. El 1 es número natural. . El siguiente de un número natural es también un número natural. . Si los siguientes de dos números naturales son iguales, entonces los números son iguales. . No existe un número natural cuyo siguiente sea 1. . Si S es un conjunto de números naturales tal que 1 es de número natural es de números naturales. Los postulados de Peano definen los números naturales de manera recursiva y económica. E incluso se puede decir que los construyen. Notemos que los postulados usan tres preconceptos: número natural (el cual queda definido por los axiomas), primer número natural (implícito en (n-->n+1) Los Postulados de Peano describen la estructura Números Naturales sin necesitad de otra teoría alguna (por ejemplo Teoría de Conjuntos) y ajena de las definiciones aritméticas de suma o equivalencia, de la siguiente forma: y ), y la función "siguiente" o consecutivo también su siguiente está en y siempre que un es el conjunto de

, entonces

0 es un símbolo que cumple la propiedad de ser un Número Natural. (Nótese que 0 no tiene que significar nada en lo absoluto, bien puede ser una manzana, el

para cada α elemento de S. Jakob Bernoulli. es el único clasificable como lógica de segundo orden. Se han propuesto sistemas axiomáticos más débiles. En términos de lógica. Al-Karaji) y fue definida con más precisión por Francesco Maurolico. este postulado nos permite construir nuevos Números Naturales. α es un Número Natural y además. como único medio para poder demostrar propiedades. el uno en los reales o cualquier otra cosa) Si α es un Número Natural. el Número Natural σ(α) entonces S representa a la colección o grupo de todos los Números Naturales. Pascal y Fermat. pues garantiza un elemento inicial) Si α y β son Número Naturales distintos. no existe un Número Natural α tal que el símbolo 0 represente al mismo objeto que σ(α) (A este postulado se le conoce con el nombre de Principio del Buen Orden. encerrándolos entre el los símbolos σ( y )) el símbolo 0 no tiene la forma σ(α) para α un Número Natural. A este último postulado se le conoce también con el nombre de inducción matemática.conjunto vacío. (Nótese en este postulado que el significado del símbolo. cuyo significado será: aquél Número Natural que sucede al Número Natural α. en tanto que los demás axiomas son de lógica de primer orden. que prescinden del principio de inducción (aritmética de Robinson). otra vez. de los números naturales. entonces los Números Naturales σ(α) y σ(β) también son distintos. por lo tanto. Sin embargo. . Se viene utilizando de modo más o menos informal desde la antigüedad (Euclides. incluso muy básicas. (En Teoría de Conjuntos este postulado se leería como: σ Si 0 forma S es forma es una una colección parte parte o de de función grupo S tal inyectiva) que: y. S. entonces el símbolo σ(α) representa a un Número Natural distinto de α. es independiente de la notación. Peano incorporó la inducción como un axioma de su sistema. el principio de inducción matemática es más complejo que el resto de los axiomas.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->