Osaliselt järjestatud hulk: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
Resümee puudub |
PResümee puudub |
||
13. rida:
== Taust ja motiveering ==
Järjestusi kohtab kõikjal, vähemalt [[matemaatika]]s ja selle naabervaldkondades, näiteks [[arvutiteadus]]es. Kõige esimene järjestus, millega puututakse kokku juba [[algkool]]imatemaatikas, on [[naturaalarv]]ude järjestus ≤. See intuitiivne mõiste on hõlpsasti ülekantav teistele arvuhulkadele, nagu näiteks [[täisarv]]udele ja [[reaalarv]]udele. Ettekujutus, et üks arv on teisega võrdne või teisest väiksem, on üks
Ülalmainitud järjestustel on üks eriomadus: iga elementi saab võrrelda mis tahes teise elemendiga, ehk teiste sõnadega, ta on teisest suurem, teisest väiksem või teisega võrdne. See nõue ei ole siiski alati soovitav. Üks tuntud näide on [[hulk]]ade järjestus, mis seisneb selles, et üks hulk võib olla teise [[alamhulk]]. Kui kõik ühe hulga elemendid on ühtlasi teise hulga elemendid, siis võib öelda, et esimene hulk onteisest hulgast või teise hulgaga väiksem või võrdne. Kuid on hulki, mida ei saa teineteisega sel kombel võrrelda, sest kummaski on elemente, mis teises puuduvad. Seega on tegemist osalise järjestusega, mitte täieliku ehk lineaarse järjestusega nagu ülaltoodud näidetes.
|