Totala ordo: Malsamoj inter versioj

[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
Oryanw (diskuto | kontribuoj)
→‎Finiaj tutecaj ordoj: raspis la artikolon; "majo" estas monato; "nombro" similas al kvanto, "numero" pli similas al nomo
Oryanw (diskuto | kontribuoj)
refer->parol, nom
Linio 1:
{{polurinda|Tuteca ordo}}
En [[matematiko]], '''tuteca ordo''', '''lineara ordo''' aŭ '''simpla ordo''' sur [[aro]] ''X'' estas ĉiu [[duargumenta rilato]] sur ''X'' kiu estas [[Malsimetria rilato|malsimetria]], [[Transitiva rilato|transitiva]], kaj [[Tuteca rilato|tuteca]]. Tio signifas ke se ni nomos iun tian rilaton per ≤ , tiam jenaj propozicioj veros por ĉiuj ''a'', ''b'' kaj ''c'' en ''X'':
 
Linio 50 ⟶ 49:
Por ĉiu tutece orda aro ''X'' ni povas difini la '''malfermitajn [[Intervalo (matematiko)|intervalojn]]''' (''a'', ''b'') = {''x'' : ''a'' < ''x'' kaj ''x'' < ''b''}, (−∞, ''b'') = {''x'' : ''x'' < ''b''}, (''a'', ∞) = {''x'' : ''a'' < ''x''} kaj (−∞, ∞) = ''X''. Ni povas uzi malfermitajn intervalojn por difini [[topologio]]n sur ĉiuorda aro, la [[topologio de ordo]].
 
Notu ke la formala difino de orda aro kiel aro parigita kun ordo garantias, ke estas unika [[ordotopologio]] sur kiu ajn orda aro. Tamen, en praktiko, la distingo inter aro kiu havas ordon sur ĝi difinitan kaj la paro de la aro kaj asociita ordo estas kutime ignorata. Tial por eviti konfuzon kiam pli ol unu ordo estas uzata en kune kun aro estas ordinare paroli pri la ordotopologio produktita de aparta ordo. Ekzemple, se '''N''' estas la naturaj nombroj, < estas malpli ol kaj > pli granda ol, ni povus referiparoli al lapri ordotopologio sur '''N''' produktita de < kaj pri la ordotopologio sur '''N''' produktita de > (en ĉi tiu kazo ili okaze estas identaj, sed tio ne okazos ĝenerale).
 
La ordotopologio povas esti montrita [[herede normala]].
Linio 65 ⟶ 64:
Dum el difina vidpunkto, '''ĉeno''' nure estas sinonimo por '''tutece orda aro''', la termino kutime priskribas tutece orditan subaron de iu [[parta ordo]]. Tial la reelaj nombroj kredeble priskribiĝus kiel '''tutece orda aro'''. Tamen, se ni konsiderus ĉiujn subarojn de la entjeroj ''parte orditaj'' per inkludado tiam la tutece orda aro sub inkludo { ''I''<sub>''n''</sub> : ''n'' estas natura nombro} difinita supre en ekzemplo ofte nomiĝus ''ĉeno''.
 
La emo uzi la vorton ''ĉeno'' por referi alnomi tutece orditaorditan subarosubaron de parta ordo verŝajna proas de la grava rolo kiun tiaj tutece orditaj subaroj ludas en la [[Lemo de Zorn]].
 
===Finiaj tutecaj ordoj===