Peano aksiomas

Vikipēdijas lapa
Jump to navigation Jump to search
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 , nevienā brīdī neatsaucoties un nebalstoties uz ierastajiem un cilvēkam ļoti intuitīvajiem skaitļu un skaitīšanas principiem.

Vēsture[labot šo sadaļu | labot pirmkodu]

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[1].

1881. gadā Čārlzs Sanderss Pīrss piedāvāja savu aksiomatizācijas veidu naturālajiem skaitļiem[2], 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?)[3], 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)[4].

Formulējums[labot šo sadaļu | labot pirmkodu]

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[5]:

  • ("0 ir naturāls skaitlis")

Oriģinālajā Peano formulējumā izmantots simbols "1"[4], 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 un skaitli . 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[labot šo sadaļu | labot pirmkodu]

Šī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ā[5][6].

Saskaitīšana[labot šo sadaļu | labot pirmkodu]

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[labot šo sadaļu | labot pirmkodu]

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[labot šo sadaļu | labot pirmkodu]

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[labot šo sadaļu | labot pirmkodu]

Šī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[labot šo sadaļu | labot pirmkodu]

Kopu konstrukcija[labot šo sadaļu | labot pirmkodu]

Naturālos skaitļus iespējams konstruēt, izmantojot tikai kopu teorijas aksiomas[7]. Šā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ē[8][9]:

    

    

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[labot šo sadaļu | labot pirmkodu]

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[8]:

  • 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[labot šo sadaļu | labot pirmkodu]

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[10], 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[11]. 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[12].

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[labot šo sadaļu | labot pirmkodu]

  1. Hermann Grassmann. "Lehrbuch der Arithmetik", 1861.
  2. Peirce, C. S. (1881). "On the Logic of Number". American Journal of Mathematics 4 (1/4): 85. doi:10.2307/2369151.
  3. Richard Dedekind. Was sind und was sollen die Zahlen?. New York : Cambridge University Press, 2012. ISBN 978-1-139-23731-4. OCLC 929054504.
  4. 4,0 4,1 Giuseppe Peano. "Arithmetices principia, nova methodo exposita", 1889.
  5. 5,0 5,1 Roberto Pelayo. «Peano Axioms», 05-Aug-2014.
  6. N. Mohan Kumar. «CONSTRUCTION OF NUMBER SYSTEMS».
  7. Patrick Suppes. Axiomatic set theory,. New York, : Dover Publications, 1972. ISBN 0-486-61630-4. OCLC 570574.
  8. 8,0 8,1 Jacob Shapiro. «The Peano Axioms», 2014. gada 24. septembris.
  9. Paul R. Halmos. Naive Set Theory. Mansfield Centre, Conn. : Martino Pub, 2011. ISBN 978-1-61427-131-4. OCLC 756292667.
  10. Charles Fritz Jr. "Bertrand Russell's construction of the external world", 1952.
  11. Artemov, Sergei (2020-06-22). "The Provability of Consistency". arXiv:1902.07404 [math].
  12. Chow, Timothy Y. (2018-07-15). "The Consistency of Arithmetic". arXiv:1807.05641 [math].