Osaliselt järjestatud hulk: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu
Kamma (arutelu | kaastöö)
PResümee puudub
Resümee puudub
5. rida:
: kui ''a'' ≤ ''b'' ja ''b'' ≤ ''a'', siis ''a'' = ''b'' (antisümmeetrilisus)
 
Nii [[naturaalarv]]ude, [[täisarv]]ude, [[ratsionaalarv]]ude ja [[reaalarv]]ude tavapärane järjestus on osaline järjestus. Ent nende järjestuste puhul on tegemist '''[[lineaarne järjestus|lineaarse järjestuse]]''' ehk '''täieliku järjestusega''', ehk teiste sõnadega, hulga ''P'' mis tahes erinevate elementide korral kehtib lisatingimus:
 
:''a'' ≤ ''b'' või ''b'' ≤ ''a'' (täielikkus)
 
TäielikultLineaarselt järjestatud hulka nimetatakse ka '''ahelaks'''. Enamik klassikalisi järjestusi on küll lineaarsed, kuid [[hulk]]ade järjestu, mis tekib sellest, et üks hulk võib olla teise [[alamhulk]], ei ole lineaarne.
 
== Taust ja motiveering ==
17. rida:
Ü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.
 
{{pooleli}}
''Pooleli''
 
[[Kategooria:Matemaatika]]