# Peano aksiomas

Džuzepe Peano, 1858-1932
**Peano aksiomas** (vai **Dēdekinda-Peano aksiomas**) ir aksiomas matemātiskajā loģikā, kas apraksta naturālo skaitļu un to aritmētikas īpašības. Tās 1889. gadā formulēja itāliešu matemātiķis Džuzepe Peāno. Šīs aksiomas ļauj caur dažiem simboliem un operācijām definēt bezgalīgu kopu, kas uzvedas precīzi kā labi pazīstamā naturālo skaitļu kopa WIKINIUM\_MATH\_PH\_0 , nevienā brīdī neatsaucoties un nebalstoties uz ierastajiem un cilvēkam ļoti intuitīvajiem skaitļu un skaitīšanas principiem.

## Vēsture

Vēsturiski naturālo skaitļu aritmētika tika pieņemta par pašsaprotamu un aritmētikas un naturālo skaitļu īpašību formalizēšanai netika pievērsts daudz uzmanības līdz pat 19.gs. vidum, kad Hermans Grasmanis parādīja, ka daudzas no artimētikas īpašībām var izvest no dziļākām pamata sakarībām.

1881. gadā Čārlzs Sanderss Pīrss piedāvāja savu aksiomatizācijas veidu naturālajiem skaitļiem, savukārt 1888. gadā Rihards Dēdekinds piedāvāja citu aksiomatizāciju savā darbā "Kas ir skaitļi un kādiem tiem jābūt?" (vācu: *Was sind und wassollen die Zahlen?*), un 1889. gadā Džuzepe Peano pirmoreiz publicēja tās pārveidotu variantu savā darbā "Aritmētikas principi, izklāstīti pēc jaunas metodes" (latīņu: *Arithmetices principia, nova methodo exposita)**.*

## Formulējums

Aksiomu formulējums sastāv no deviņām aksiomām: četras no tām apraksta vienādības relācijas īpašības un pārējās piecas apraksta pašu aritmētiku. To aprakstā izmantoti matemātiskās loģikas un kopu teorijas apzīmējumi, kas tajā laikā vēl nebija izstrādāti un iegājušies; vairāki no mūsdienu matemātiskās loģikas simboliem nāk tieši no Peano izmantotajiem apzīmējumiem savos darbos, piemēram, piederība kopai "∈" no Peano izmantotā simbola "ε". Peano aksiomas ir minimāla aksiomu kopa, kas definē naturālo skaitļu WIKINIUM\_MATH\_PH\_2 artimētiskās īpašības, izmantojot simbolu 0 un pēcteča funkciju WIKINIUM\_MATH\_PH\_4 .

Pirmā aksioma postulē simbolu "0" par naturālu skaitli:

* WIKINIUM\_MATH\_PH\_6 ("0 ir naturāls skaitlis")

Oriģinālajā Peano formulējumā izmantots simbols "1", bet tam šajā kontekstā nav nozīmes - tas ir tikai apzīmējums "pirmajam" naturālajam skaitlim.

Nākamās četras apraksta matemātisko vienādību. Šīs nereti tiek izlaistas no Peano aksiomu formulējuma, tomēr simbols "=" ir tikai simbols, tādēļ ir svarīgi definēt, kādas ir tā īpašības:

* WIKINIUM\_MATH\_PH\_8

("vienādība ir refleksīva")

* WIKINIUM\_MATH\_PH\_10

("vienādība ir simetriska")

* WIKINIUM\_MATH\_PH\_12

("vienādība ir tranzitīva")

* WIKINIUM\_MATH\_PH\_14

("naturālo skaitļu kopa ir slēgta zem vienādības")

Un tālākās aksiomas apraksta naturālo skaitļu aritmētiku, ieviešot pēcteča funkciju:

* WIKINIUM\_MATH\_PH\_16

("katram naturālam skaitlim n tā pēctecis arī ir naturāls skaitlis")

* WIKINIUM\_MATH\_PH\_18

("skaitļi m un n ir vienādi tad un tikai tad, ja to pēcteči arī ir vienādi; funkcija S ir injektīva")

* *WIKINIUM\_MATH\_PH\_20*

("neviena naturāla skaitļa pēctecis nav 0")

Piemēram, pēc šīm pēdējām 3 aksiomām iespējams definēt skaitli WIKINIUM\_MATH\_PH\_22 kā WIKINIUM\_MATH\_PH\_24 un skaitli WIKINIUM\_MATH\_PH\_26 kā WIKINIUM\_MATH\_PH\_28 . Tomēr šīs aksiomas negarantē, ka šādi tiks radīti *tieši* *visi* naturālie skaitļi, jo nav teikts, ka ikvienam naturālam skaitlim ir obligāti *jāseko* kādam citam. Piemēram, ir iespējama kopa WIKINIUM\_MATH\_PH\_30 , kur WIKINIUM\_MATH\_PH\_32 , kas apmierina līdzšinējās aksiomas, bet acīmredzot nav vēlamā naturālo skaitļu kopa. Tādēļ tiek pievienota pēdējā *indukcijas* aksioma:

* WIKINIUM\_MATH\_PH\_34 WIKINIUM\_MATH\_PH\_36

     WIKINIUM\_MATH\_PH\_38

     WIKINIUM\_MATH\_PH\_40 ("ja **K** ir kopa, kas satur skaitli 0 un ikvienu n un tā pēcteci S(n), tad kopa **K** ir naturālo skaitļu kopa)

Pēc šīs pēdējās aksiomas pievienošanas, visas aksiomas kopā garantē, ka pēc tām var izveidot vienu vienīgu naturālo skaitļu kopu WIKINIUM\_MATH\_PH\_42 , kas ir minimālā visus nosacījumus apmierinošā kopa. Piedevām šajā formulējumā nav svarīgi, kā tieši strādā pēcteča funkcija WIKINIUM\_MATH\_PH\_44 vai kas īsti ir radušies naturālie skaitļi pēc būtības - galvenais ir tas, ka pēc šīm sakarībām iegūtā kopa pēc dabas ir identa naturālo skaitļu kopai un to aritmētikai.

Izejot no WIKINIUM\_MATH\_PH\_46 kopas un tās īpašībām, iespējams tālāk definēt veselo skaitļu kopu WIKINIUM\_MATH\_PH\_48 , racionālo skaitļu kopu WIKINIUM\_MATH\_PH\_50 , reālo skaitļu kopu WIKINIUM\_MATH\_PH\_52 utt.

## Aksiomātiskā aritmētika

Šīs aksiomas un tajās izmantotā pēcteča funkcija ļauj ne vien precīzi definēt naturālo skaitļu kā kopas īpašības, bet arī tradicionālo aritmētisko darbību ( WIKINIUM\_MATH\_PH\_54 ) īpašības, kuras var veikt šajā naturālo skaitļu kopā.

### Saskaitīšana

Izmantojot tikai Peano aksiomas, definēsim saskaitīšanas darbību. Izmantosim to, ka WIKINIUM\_MATH\_PH\_56 un WIKINIUM\_MATH\_PH\_58 , lai vispirms aprakstītu, ko nozīmē pieskaitīt 0:

     WIKINIUM\_MATH\_PH\_60

Divu naturālo skaitļu summa var tikt definēta pēc:

     WIKINIUM\_MATH\_PH\_62

Izejot no šī, piemēram apskatām WIKINIUM\_MATH\_PH\_64 . Ievērojot, ka WIKINIUM\_MATH\_PH\_66 :

     WIKINIUM\_MATH\_PH\_68 .

Šādi iteratīvā ceļā var iegūt visus saskaitīšanas operācijas rezultātus naturālajos skaitļos.

     WIKINIUM\_MATH\_PH\_70

### Reizināšana

Līdzīgi var definēt reizināšanas darbības īpašības. Vispirms definē reizināšanu ar 0:

     WIKINIUM\_MATH\_PH\_72

Divu naturālo skaitļu reizinājumu var definēt pēc:

     WIKINIUM\_MATH\_PH\_74

Pēc šī varam apskatīt patvaļīga skaitļa reizināšanu ar 1: WIKINIUM\_MATH\_PH\_76 . Izmantojot, ka WIKINIUM\_MATH\_PH\_78 :

     WIKINIUM\_MATH\_PH\_80 .

Šādi, tāpat kā saskaitīšanas gadījumā, var aprakstīt visus iespējamos rezinājumus starp diviem naturāliem skaitļiem.

     WIKINIUM\_MATH\_PH\_82

### Sakārtojums

Naturālo skaitļu sakārtojums definējams pēc:

     WIKINIUM\_MATH\_PH\_84

Un, turpinot:

     WIKINIUM\_MATH\_PH\_86

     WIKINIUM\_MATH\_PH\_88

Struktūra WIKINIUM\_MATH\_PH\_90 veido komutatīvu, sakārtotu algebrisko pusgredzenu.

### Peano aritmētikas aksiomas

Šīs sešas aksiomas ir pietiekamas, lai spētu aprakstīt saskaitīšanu un reizināšanu naturālo skaitļu kopā:

* WIKINIUM\_MATH\_PH\_92
* WIKINIUM\_MATH\_PH\_94
* WIKINIUM\_MATH\_PH\_96
* WIKINIUM\_MATH\_PH\_98
* WIKINIUM\_MATH\_PH\_100
* WIKINIUM\_MATH\_PH\_102

Pastāv arī alternatīvi Peano aritmētikas aksiomatizācijas veidi.

## Naturālie skaitļi no kopām

### Kopu konstrukcija

Tukša kopa
Naturālos skaitļus iespējams konstruēt, izmantojot tikai kopu teorijas aksiomas. Šādā veidā aprakstot naturālos skaitļus kā kopas, Peano aksiomas pārtop par teorēmām, kuras iespējams pierādīt, izejot tikai no kopu teorijas aksiomām. Pastāv vairāki konstrukcijas tipi, izejot no Cermelo-Frenkela (ZFC) aksiomām. Populārākā ir Džona fon Neimana konstrukcija, kur pēcteča operāciju definē:

     WIKINIUM\_MATH\_PH\_104

     WIKINIUM\_MATH\_PH\_106

Un definē 0 kā tukšo kopu:

     WIKINIUM\_MATH\_PH\_108

Izmantojot funkciju WIKINIUM\_MATH\_PH\_110 , veido jaunus elementus, kurus var apzīmēt ar tradicionālajiem skaitļu simboliem:

     WIKINIUM\_MATH\_PH\_112

     WIKINIUM\_MATH\_PH\_114

     WIKINIUM\_MATH\_PH\_116

     utt.

Definē pēcteču kopu, kas satur tukšo kopu un visus tās pēctečus:

     WIKINIUM\_MATH\_PH\_118

     WIKINIUM\_MATH\_PH\_120

Šī pēcteču kopa ir vienāda ar naturālo skaitļu kopu WIKINIUM\_MATH\_PH\_122 . Atkal, visas ierastās aritmētiskās īpašības izriet dabiski no šīs konstrukcijas radītās struktūras un tās dabas.

### Peano aksiomu pierādījums

Izmantojot šo formulējumu, kas balstās uz vēl fundamentālākajām kopu teorijas (ZFC) aksiomām, iespējams Peano aksiomas pierādīt kā teorēmas.

Daži piemēri:

* *Apgalvojums:*

     WIKINIUM\_MATH\_PH\_124 ("0 ir naturāls skaitlis")

* *Pierādījums:*

     WIKINIUM\_MATH\_PH\_126 ir pēcteču kopa un pēcteču kopas satur WIKINIUM\_MATH\_PH\_128 , tātad WIKINIUM\_MATH\_PH\_130 .

* *Apgalvojums:*

      *WIKINIUM\_MATH\_PH\_132*  ("naturāla skaitļa n pēctecis ir naturāls skaitlis")

* *Pierādījums:*

      *WIKINIUM\_MATH\_PH\_134 ir pēcteču kopa un tā satur visus pēctečus* WIKINIUM\_MATH\_PH\_136 .

* *Apgalvojums:*

      *WIKINIUM\_MATH\_PH\_138*  ("0 nav neviena naturāla skaitļa pēctecis")

* *Pierādījums:*

     WIKINIUM\_MATH\_PH\_140 nesatur nevienu elementu, bet pēc definīcijas WIKINIUM\_MATH\_PH\_142 satur *vismaz vienu* elementu ( WIKINIUM\_MATH\_PH\_144 ).

* *Apgalvojums:*

     WIKINIUM\_MATH\_PH\_146 kopa ir unikāla.

* *Pierādījums:*

     Pieņemam, ka tā nav. Tātad pastāv kāda cita pēcteču kopa  *WIKINIUM\_MATH\_PH\_148* . Tā kā WIKINIUM\_MATH\_PH\_150 ir pēcteču kopa, tad  *WIKINIUM\_MATH\_PH\_152* . Bet WIKINIUM\_MATH\_PH\_154 ir pēcteču kopa, kas *iekļauta ikvienā citā pēcteču kopā*, tādēļ  *WIKINIUM\_MATH\_PH\_156* .      Tas iespējams, ja šīs kopas satur vienus un tos pašus elementus un, pēc *ekstensijas aksiomas*, ir vienādas, t.i.,  *WIKINIUM\_MATH\_PH\_158*  un pastāv tikai viena naturālo skaitļu kopa.

## Konsistence

Peano aksiomu konsistence bija jautājums, kas radās uzreiz pēc to pirmās publicēšanas. Matemātiķi kā Bērtrands Rasels bija pārliecināti, ka šī aksiomatizācija ir skaidra definīcija naturālajiem skaitļiem, bet citi norādīja uz to, ka šīm aksiomām nav konsistences pierādījums. Dāvids Hilberts iekļāva jautājumu *"Vai Peano aksiomu konsistenci ir iespējams pierādīt ar galīgām metodēm?"* savās 23 matemātiskajās problēmās. Īsi pēc tam Kurts Gēdels publicēja savu nepabeigtības teorēmu.

Tomēr, lai arī šī teorēma šķietami norāda uz to, ka Peano aksiomas nav pierādāmas ar galīgām metodēm, nav līdz galam skaidrs, ko nozīmē *galīgas metodes*. Pastāv vairāki Peano aksiomu pierādījumi, jauni arvien turpina parādīties. Tie mēdz izmantot ekstendētas metodes, piemēram, transfinītu indukciju, kur it kā transfinītos objektus (*tālāk par bezgalību*), ko izmanto pierādījumā, iespējams definēt caur galīgu aprakstu un objektiem. Tāds, piemēram, ir 1936. gadā publicētais Gerharda Gencena Peano aksiomu pierādījums. Šis pierādījums ir matemātiski valids un precīzs.

Peano aksiomu konsistenci neuzskata vairs par atvērtu problēmu ierastajā matemātiskajā izpratnē. Lai arī vairākums matemātiķu mūsdienās ir pārliecināti par šo aksiomu konsistenci, sastopami ir arī skeptiski matemātiķi, kas šīs aksiomas atmet. Tomēr paliek jautājums, vai mēs uzticamies loģiskajai spriešanai un simbolu manipulācijām pašā fundamentā. Šādu jautājumu ir praktiski neiespējami atbildēt, jo vienmēr jābūt izejas punktam, kuru jāpieņem bez pierādījuma.

Jāmin arī, ka, ja Peano aksiomas patiešām ir konsistentas, tad tām neizbēgami jābūt nepabeigtām, citiem vārdiem, jāpastāv apgalvojumiem par naturāliem skaitļiem, kurus ar Peano aksiomām nav iespējams pierādīt.

## Atsauces