„Jólrendezett halmaz” változatai közötti eltérés

[ellenőrzött változat][ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló
aNincs szerkesztési összefoglaló
1. sor:
'''Jólrendezett halmaznakhalmaz'''nak nevezünk egy halmazt, ha adott rajta egy [[jólrendezés]], ami olyan teljes [[rendezési reláció|rendezést]] jelent, melyre igaz, hogy alaphalmaza minden nemüres részhalmazának van a rendezés szerint [[legkisebb elem]]e. A fogalomhoz kapcsolódik a [[jólrendezési tétel]].
 
== Definíció ==
17. sor:
 
Egy jólrendezett halmazban minden elemnek van ''rákövetkező''je, azaz olyan elem, ami a nála nagyobbak közül a legkisebb. (Kivéve ha a halmaznak van legnagyobb eleme, akkor annak értelemszerűen nincs rákövetkezője.)
Érdemes megemlíteni, hogy nem feltétlenül van minden elemnek ''megelőző''je. Tekintsük azt a halmazt, ami két példányban tartalmazza a természetes számokat olymódonoly módon, hogy egy példányon belül a rendezés a szokásos, de a második példány minden eleme nagyobb az első példány elemeinél. (ω&nbsp;+&nbsp;ω: 0<sub>1</sub>, 1<sub>1</sub>, 2<sub>1</sub>, …, 0<sub>2</sub>, 1<sub>2</sub>, 2<sub>2</sub>, …). Ez a halmaz jólrendezett, de 0<sub>2</sub>-nek nincs megelőzője. (0<sub>1</sub>-nek sincs, de az a legkisebb elem a halmazban.)
 
A jólrendezett halmazok azért kényelmesek, mert alkalmazható bennük a [[transzfinit indukció]] (a [[teljes indukció]] általánosítása), melynek segítségével a halmaz elemeire olykor könnyen bizonyíthatunk állításokat.