Axiomes de Peano
De Viquipèdia
Els axiomes de Peano (o postulats de Peano) és un conjunt d'axiomes de segon ordre que defineixen de manera exacta la teoria dels nombres naturals. Varen ser establerts per Giuseppe Peano (1858-1932), matemàtic italià, a l'any 1889, a l'article Arithmetices principia, nova methodo exposita ("Els principis de l'aritmètica, presentats per un nou mètode"). La teoria de primer ordre que sorgeix d'aquests axiomes s'anomena Aritmètica de Peano (PA).
Els axiomes de Peano serveixen per construir molts dels conjunts de sistemes numèrics (nombres enters, racionals, reals, complexes,...), i les estructures matemàtiques que s'utilitzen avui en dia. L'aritmètica de Peano constitueix el punt fonamental per al formalisme de l'aritmètica.
[edita] Axiomes de Peano
Peano va crear una notació lògica per presentar els seus axiomes. Encara que aquesta notació no és la utilitzada actualment, és molt similar a la notació moderna. Peano utilitza el símbol ε per la pertinença a un conjunt, i una C en reversa per a la implicació lògica (que es va convertir en 
).
Els nou axiomes de Peano, escrits en notació moderna, són:
- Existeix un element, 1, que pertany al conjunt dels nombres naturals.
- Tot nombre natural és igual a ell mateix.
- Per tots nombres naturals a i b, a = b si i només si b = a.
- Per a tots nombres naturals a, b i c, si a = b i b = c llavors a = c.
- Si a = b i b és un nombre natural, llavors a és un nombre natural.
- Existeix una funció S, anomenada successor (també coneguda per S(a) = a + 1), tal que si a és un nombre natural, llavors S(a) és un nombre natural.
- Si a i b són nombres naturals, llavors a = b si i només si S(a) = S(b).
- Si a és un nombre natural, llavors S(a) no és igual a 1.
- Per a cada conjunt K, si 1 pertany a K, i per a cada natural x que pertany a K, es té que S(x) pertany a K, llavors tot nombre natural és de K.
Els axiomes 2, 3, 4 i 5 són considerades actualment les propietats bàsiques d'igualtat, i són preses per certes en la majoria de contexts. Llavors els axiomes 1, 6, 7, 8 i 9 són els que realment descriuen l'estructura dels nombres naturals, i per això moltes vegades es presenten aquests cinc axiomes com els axiomes de Peano.
Els axiomes 6, 7 i 8 determinen les propietats de l'operació successor. L'axioma 6 afirma que tot nombre natural té un successor; l'axioma 7 determina que el successor és una operació injectiva del conjunt dels nombres natuals a ell mateix, i l'axioma 8 diu que 1 no és el successor de cap nombre natural. Aquests axiomes impliquen que el conjunt dels nombres naturals és infinit, ja que cap en la cadena
no hi ha dos elements iguals, encara que els axiomes 1 a 8 no són suficients per demostrar que aquesta cadena conté tots els nombres naturals.
L'axioma 9 és l'axioma d'inducció (o principi d'inducció) que implica que tot conjunt de nombres naturals contenint l'element 1 i tancat amb l'operació successor conté tots els nombres naturals. Això implica, per tant, que la cadena anterior conté tots els nombres naturals, perquè la cadena anterior conté l'1 i si un nombre x és de la cadena, el seu successor també hi és. Com que aquest axioma té un quantificador sobre tots els conjunts, és un axioma de segon ordre.
[edita] Curiositats
- El fet de considerar el 0 com a nombre natural o no és un tema controvertit. Per a molts matemàtics que estudien l'anàlisi matemàtica, no ha de ser inclòs, encara que pels més algebristes, sí que ho ha de ser. De tota manera, el nombre zero es sol considerar natural depenent del context on es treballi.
