Peano aksiomas
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 , 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  artimētiskās īpašības, izmantojot simbolu 0 un pēcteča funkciju .

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

  ("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:

    
("vienādība ir refleksīva")
 
("vienādība ir simetriska")
 
("vienādība ir tranzitīva")
 
("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:

    
("katram naturālam skaitlim n tā pēctecis arī ir naturāls skaitlis")
 
("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")
   
("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  kā  un skaitli  kā . 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 , kur , 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:

 

     

         ("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 , 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  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  kopas un tās īpašībām, iespējams tālāk definēt veselo skaitļu kopu , racionālo skaitļu kopu , reālo skaitļu kopu  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 () ī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  un , lai vispirms aprakstītu, ko nozīmē pieskaitīt 0:

     

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

     

Izejot no šī, piemēram apskatām . Ievērojot, ka :

     .

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

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

     

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

     

Pēc šī varam apskatīt patvaļīga skaitļa reizināšanu ar 1: . Izmantojot, ka :

     .

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

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

     

Un, turpinot:

     

     

Struktūra  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ā:

 
 
 
 
 
 

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

Naturālie skaitļi no kopām

Kopu konstrukcija 

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ē:

     

     

Un definē 0 kā tukšo kopu:

     

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

     

     

     

     utt.

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

     

     

Šī pēcteču kopa ir vienāda ar naturālo skaitļu kopu . 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: 
      ("0 ir naturāls skaitlis")
Pierādījums: 
      ir pēcteču kopa un pēcteču kopas satur , tātad .
     
 Apgalvojums:
       ("naturāla skaitļa n pēctecis ir naturāls skaitlis")
Pierādījums: 
      ir pēcteču kopa un tā satur visus pēctečus .
     
 Apgalvojums: 
      ("0 nav neviena naturāla skaitļa pēctecis")
Pierādījums:
        nesatur nevienu elementu, bet pēc definīcijas  satur vismaz vienu elementu ().
     
Apgalvojums: 
      kopa ir unikāla.
Pierādījums: 
     Pieņemam, ka tā nav. Tātad pastāv kāda cita pēcteču kopa . Tā kā  ir pēcteču kopa, tad . Bet  ir pēcteču kopa, kas iekļauta ikvienā citā pēcteču kopā, tādēļ .         Tas iespējams, ja šīs kopas satur vienus un tos pašus elementus un, pēc ekstensijas aksiomas, ir vienādas, t.i.,  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 

Skaitļu teorija
Matemātiskā loģika
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 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 , 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 patgs . 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 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 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 artimētiskās īpašības , izmantojot simboluun pēcteča funkciju \ . Pirmā aksioma postulē simbolu " 0 " par naturālu skaitli : ( " 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 : ( " vienādība ir refleksīva " ) ( " vienādība ir simetriska " ) ( " vienādība ir tranzitīva " ) ( " 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 : ( " katram naturālam skaitlim n tā pēctecis arī ir naturāls skaitlis " ) ( " 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 " ) ( " neviena naturāla skaitļa pēctecis nav ) Piemēram , pēc šīm pēdējāmaksiomām iespējams definēt skaitli kā un skaitli kā \ . 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 , kur , 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 : ( " ja K ir kopa , kas satur skaitliun 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 , 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 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 kopas un tās īpašībām , iespējams tālāk definēt veselo skaitļu kopu , racionālo skaitļu kopu , reālo skaitļu kopu 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 ( ) ī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 un , lai vispirms aprakstītu , ko nozīmē pieskaitīt Divu naturālo skaitļu summa var tikt definēta pēc : Izejot no šī , piemēram apskatām \ . Ievērojot , ka \ : \ . Šādi iteratīvā ceļā var iegūt visus saskaitīšanas operācijas rezultātus naturālajos skaitļos . Reizināšana Līdzīgi var definēt reizināšanas darbības īpašības . Vispirms definē reizināšanu ar Divu naturālo skaitļu reizinājumu var definēt pēc : Pēc šī varam apskatīt patvaļīga skaitļa reizināšanu ar \ . Izmantojot , ka \ : \ . Šādi , tāpat kā saskaitīšanas gadījumā , var aprakstīt visus iespējamos rezinājumus starp diviem naturāliem skaitļiem . Sakārtojums Naturālo skaitļu sakārtojums definējams pēc : Un , turpinot : Struktūra 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ā : Pastāv arī alternatīvi Peano aritmētikas aksiomatizācijas veidi . Naturālie skaitļi no kopām Kopu konstrukcija 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ē : Un definēkā tukšo kopu : Izmantojot funkciju , veido jaunus elementus , kurus var apzīmēt ar tradicionālajiem skaitļu simboliem : utt . Definē pēcteču kopu , kas satur tukšo kopu un visus tās pēctečus : Šī pēcteču kopa ir vienāda ar naturālo skaitļu kopu \ . 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 : ( " 0 ir naturāls skaitlis " ) Pierādījums : ir pēcteču kopa un pēcteču kopas satur , tātad \ . Apgalvojums : ( " naturāla skaitļa n pēctecis ir naturāls skaitlis " ) Pierādījums : ir pēcteču kopa un tā satur visus pēctečus \ . Apgalvojums : ( " 0 nav neviena naturāla skaitļa pēctecis " ) Pierādījums : nesatur nevienu elementu , bet pēc definīcijas satur vismaz vienu elementu ( ) . Apgalvojums : kopa ir unikāla . Pierādījums : Pieņemam , ka tā nav . Tātad pastāv kāda cita pēcteču kopa \ . Tā kā ir pēcteču kopa , tad \ . Bet ir pēcteču kopa , kas iekļauta ikvienā citā pēcteču kopā , tādēļ \ . Tas iespējams , ja šīs kopas satur vienus un tos pašus elementus un , pēc ekstensijas aksiomas , ir vienādas , t.i. , 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āsmatemā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 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 Skaitļu teorija Matemātiskā loģika