Preorde

In de ordetheorie, een onderdeel van de wiskunde, is een preorde of quasi-orde, een relatie tussen de elementen van een verzameling die veel lijkt op een orderelatie, maar waarin elementen kunnen voorkomen die niet met elkaar vergeleken kunnen worden en elementen die van elkaar verschillen en in beide richtingen met elkaar te vergelijken zijn, wat wil zeggen dat ze op dezelfde plaats in de ordening staan. Wat de orde betreft zijn deze laatste gelijkwaardig of equivalent. De relatie is te omschrijven als 'kleiner of equivalent' in plaats van 'kleiner of gelijk'. Preordes in het algemeen en preordes die geen partiële ordes zijn, worden vaak aangeduid met het symbool $\lesssim$. Een preorde ontstaat bijvoorbeeld als een groep mensen ingedeeld wordt naar de leeftijd, in jaren. Er zullen mensen zijn die even oud zijn en van wie dus niet uitgemaakt kan worden wie eerder of later in de rangschikking komt. De relatie is in dit geval: 'jonger of even oud'.

Definitie

Een preorde $\lesssim$ op een verzameling $X$ is een homogene tweeplaatsige relatie die reflexief en transitief is.

Voor elementen $x,y,z\in X$ geldt dus:

• reflexiviteit: $x\lesssim x$ en
• transitiviteit: als $x\lesssim y$ en $y\lesssim z$, dan is ook $x\lesssim z$

Een preorde $\lesssim$ heeft daarmee een ruimere betekenis dan een partiële orde. In een preorde is het mogelijk dat voor twee verschillende elementen $x$ en $y$ geldt dat zowel $x\lesssim y$ als $y\lesssim x$. Daarmee wordt een equivalentierelatie $\sim$ gedefinieerd door

$x\sim y$ als $x\lesssim y$ en $y\lesssim x$

Als vervolgens een relatie $\leq$ op de equivalentieklassen $X/\sim$ gedefinieerd wordt door:

$[x]\leq [y]$ als $x\lesssim y$,

dan is $\leq$ een partiële orde op $X/\sim$.

Hieruit kan vervolgens een strikte partiële orde $<$ op $X$ afgeleid worden, bepaald door:

$x<y$ als $x\lesssim y$ en $[x]\neq [y]$

Met deze definities geldt voor alle $x,y\in X$:

$x\lesssim y$ dan en slechts dan als $x<y$ of $x\sim y$

Dit verklaart de notatie $\lesssim$. Een preorde op $X$ wordt dus gekarakteriseerd door een partitie van $X$ waarvan de klassen partieel geordend zijn. Als de klassen totaal geordend zijn is de preorde een totale preorde. Als de klassen singletons zijn, elk precies één element bevat, dan is de preorde een partiële orde. Als beide gelden is de preorde een totale orde. Van iedere homogene tweeplaatsige relatie $R$ is de reflexief-transitieve afsluiting $R^{*}$ een preorde.

Eigenschap

In een preorde zijn er de volgende mogelijkheden voor de relatie tussen twee elementen $a$ en $b$:

$a\lesssim b$ en $b\not \lesssim a$: $a$ is kleiner dan $b$

$a\lesssim b$ en $b\lesssim a$: $a$ en $b$ zijn equivalent, als de preorde een partiële orde is, betekent dit dat $a=b$

$a\not \lesssim b$ en $b\lesssim a$: $b$ is kleiner dan $a$

$a\not \lesssim b$ en $b\not \lesssim a$: $a$ en $b$ kunnen niet met elkaar worden vergeleken. De elementen in een totale preorde is zijn wel allemaal met elkaar te vergelijken.

Gerichte graaf

Een preorde kan voorgesteld worden als een gerichte graaf waarin een gericht pad van $A$ naar $B$ bestaat als $A\lesssim B$. Omgekeerd kan op elke gerichte graaf zonder cykels een preorde gedefinieerd worden door de relatie $A\lesssim B$ tussen de knopen $A$ en $B$, als er een gericht pad van $A$ naar $B$ is.

Speciale preordes

Een antisymmetrische preorde is een partiële orde, antisymmetrie betekent immers

$(x\lesssim y\$ en $\ y\lesssim x)\Longrightarrow x=y$

Een equivalentierelatie is een symmetrische preorde en een totale orde is een antisymmetrische totale preorde.

De strikte versie van een preorde kan worden gedefinieerd als $x<y$ als $x\lesssim y$ en $x\not \sim y$. Dit is een irreflexieve homogene tweeplaatsige relatie die transitief is. Irreflexiviteit en transitiviteit impliceren samen asymmetrie, wat een strikte partiële orde oplevert. Verschillende preordes kunnen zo dezelfde strikte partiële orde opleveren. Toegepast op een totale preorde hoeft dit geen strikte totale orde op te leveren.

Bij een totale preorde levert (de inverse van) het complement van een preorde een strikte zwakke orde op.

Voorbeelden

• Een afbeelding $f$ van een verzameling $V$ in een partieel geordende verzameling $W$ induceert een preorde met de relatie $x\lesssim y$ als $f(x)\leq f(y)$.

Zwakke orde

Een zwakke orde of totale preorde is een homogene tweeplaatsige relatie die transitief en totaal is. Merk op dat totaliteit reflexiviteit impliceert en iedere totale preorde dus een specifiek geval van een preorde is.