Peanos axiom
Peanos axiom (även kallad Dedekind–Peanos axiom) är en mängd axiom för de naturliga talen som presenterades av de den italienska matematikern Giuseppe Peano. Dessa axiom har varit viktiga inom forskning om fundamentala frågor som konsistens och fullständighet i talteori.
Behovet av formalism inom aritmetiken insågs inte förrän Hermann Grassmann visade att man med hjälp av basala fakta om efterföljaroperationer och induktion kunde bevisa många andra resultat inom aritmetiken. I början 1880-talet bidrog Charles Sanders Peirce med en axiomatisk behandling av de naturliga talen och ett par år senare föreslog Richard Dedekind en samling av axiom för de naturliga talen. På slutet av 1880-talet publicerade Peano en mer precis formulerad version av den samlingen axiom i sin bok Arithmetices principia, nova methodo exposita (Aritmetikens principer visade med en ny metod).
Axiomen
redigeraNär Peano formulerade sina axiom var det inte bara innebörden av axiomen som var viktiga men också hans notation.
Peano bibehöll en klar distinktion mellan matematiska och logiska symboler, vilket på den tiden inte var vanligt eftersom den matematiska logiken var i sin linda. Denna typ av separation hade introducerats av Gottlob Frege 1879, men Peano var omedveten om detta, och skapade sina notationer oberoende av Frege. Peanos arbete var baserad på arbete av George Boole och Ernst Schröder.
Peanos axiom definierar de aritmetiska egenskaperna av de naturliga talen. De primitiva begreppen i detta system är tal, 0 (tal) (ibland 1 (tal)), och efterföljare, .
- 0 är ett naturligt tal.
- För varje naturligt tal (likhet är reflexiv).
- För alla naturliga tal och , där , så är (likhet är symmetrisk).
- För alla naturliga tal , och , där och , så är (likhet är transitiv).
- För alla och , om är ett naturligt tal och så är också ett naturligt tal (mängden naturliga tal är sluten över likhet).
- För varje naturligt tal , är ett naturligt tal.
- 0 är inte efterföljare till något tal.
- Två olika tal har aldrig samma efterföljare.
- Om P är en egenskap, sådan att 0 har denna egenskap, och om det att ett tal n har egenskapen P medför att efterföljaren till n också har egenskapen P, så har varje tal egenskapen P.
Peanos originalformuleringar av axiomen använde 1 istället för 0. Detta val är godtycklig då axiom 1 inte förser 0 med några särskilda egenskaper.
Aritmetik
redigeraUtifrån dessa axiom kan man definiera och härleda egenskaper hos de aritmetiska operationerna som addition och multiplikation.
Addition
redigeraAddition är en funktion , definierad enligt:
Multiplikation
redigeraMultiplikation är en funktion , definierad enligt:
Källor
redigera- Landau: "Grundlagen der Analysis", en närmast komplett redovisning av hur ordnings- och räknereglerna för de olika talområdena kan härledas ur Peanos axiom.