Természetes számok
A Wikipédiából, a szabad enciklopédiából.
Természetes számoknak nevezzük akár a 0, 1, 2, ... stb. számokat (azaz a nemnegatív egész számokat) akár az 1, 2, 3, ... stb. számokat (vagyis a pozitív egész számokat). A természetes számok halmazát általában az
szimbólummal jelöljük, vagy (tipográfiai okokból) ehelyett sokszor az
vastagított betűvel.
Vigyázat! Tekintve, hogy egyes matematikai tárgyú írások a természetes számok közé sorolják a nullát, mások nem, így minden esetben figyelmet kell fordítanunk arra, hogy utánanézzünk, az adott kontextusban a szerzők melyik konvenciót alkalmazzák.
Tartalomjegyzék |
[szerkesztés] A természetes számok formális-axiomatikus elmélete – a Peano-aritmetika
Minden matematikai természetű témakör akkor tehető tudományos vizsgálódás tárgyává, ha rögzítjük azt az axiomatikus elméletet, melyben a témakör összes állítása formális kijelentés alakjában megfogalmazható. A természetes számok matematikájának axiomatikus elmélete, mint elsőrendű elmélet a Peano-aritmetika, jelben: PA (Giuseppe Peano olasz matematikus tiszteletére).
PA alapfogalmai a 0 konstansjel (individuumnév), melyet nullának nevezünk, a ' egyváltozós függvényjel(egybemenetű névfunktor), melyet rákövetkezés vagy szukszceszor operátornak mondunk (szemléletesen n' az n számot pontosan eggyel követő szám), a + kétváltozós függvényjel, azaz az összeadás és a függvényjel, ami a szorzás.
PA axiómái a következők (az n, m, k, ... jelek olyan változók, melyek természetes számokat szimbolizálnak):
- (P1) n' 0
- (azaz a nulla semminek sem rákövetkezője)
- (P2) n' = m' n = m
- (ha két szám rákövetkezője egyenlő, akkor a számok is egyenlők)
- (P3) n + 0 = n
- (a nulla alaptulajdonsága)
- (P4) n + m' = (n + m)'
- (összeg rákövetkezője)
- (P5) n 0 = 0
- (nullával való szorzás)
- (P6) n m' = (n m) + n
- ("elődisztributivitás")
- (P7) ( F(0) & (F(n) F( n' ) ) ) F(n)
- (a teljes indukció formulasémája, F tetszőleges a Peano-aritmetika nyelvén megfogalmazható tulajdonság (predikátum))
A 0 rákövetkezőjét, 0'-t 1-gyel jelöljük. A (P1) axiómába n helyére 0-t helyettesítve ekkor kapjuk, hogy
Ezzel természetesen semmi újat nem tudtunk meg a számokról, mint ahogy a formális elméletek nem mondhatanak olyat tárgyukról, amit az informális elméletben ne tudtunk volna. Ám nem is ez a céljuk. A formális tárgyalásmód az elmélet egészéről állít valamit. (Például, hogy ellentmondásmentes-e, vagy axiómái függetlenek-e.)
[szerkesztés] A természetes számok a halmazelméletben
A Peano-aritmetika halmazelméleti modelljének nevezzük az olyan (N, 0,' ,+ ,) rendezett 5-öst, ahol N halmaz, 0 ∈ N, ' :N N függvény, +:N N N, és :N N N pedig művelet, melyekre teljesülnek a PA rendszer axiómái.
[szerkesztés] Sztenderd modell
A természetes számok halmazelméleti modelljeként kiválóan megfelel a
halmaz. Itt rendre
...
A természetes számok halmaza végtelen (mégpedig megszámlálhatóan végtelen), számosságát az
(alef null – itt a héber abc első betűje) szimbólummal jelöljük. Ha mint rendszámra gondolunk rá, akkor az
jelet használjuk.
A természetes számok halmaza a legkisebb számosságú végtelen halmaz.
Rendezési tulajdonságok: A természetes számok halmazának egy nagyon fontos tulajdonsága, hogy (a szokásos rendezéssel) jólrendezett, azaz akárhány (de legalább egy) természetes számot kiválasztva azok közt van egy legkisebb.
[szerkesztés] Algebrai tulajdonságok
Algebrai tulajdonságok: A természetes számok halmaza az összeadással kommutatív félcsoport, a szorzással szintúgy.
A természetes számok halmaza zárt (a négy alapművelet közül) az összeadásra és a szorzásra.