# Théorie de l'ordre

La théorie de l'ordre est une branche des mathématiques qui étudie des notions centrées autour de la notion de relation d'ordre. Cela comprend aussi bien des relations d'ordre spécifiques, que les préordres, les ordres stricts, voire les relations binaires quelconques sur un ensemble. Cette discipline admet des ramifications en théorie des ensembles, en algèbre générale, en logique formelle et en topologie.

## Relations binaires et structures à relation

Soit $A$ un ensemble, typiquement au sens de la théorie ZFC des ensembles. Une relation binaire ${\mathcal {R}}$ sur un ensemble $A$ peut être vue d'une de deux manières essentiellement équivalentes :
* En tant qu'ensemble, il s'agit d'une partie $R$ quelconque du produit cartésien $A\times A$. Par définition de ce dernier, tout élément de $z\in R$ admet $x,y\in A$ tels que $z$ puisse être exprimé comme le couple $(x,y)$.
* En tant que prédicat, il s'agit d'un prédicat binaire ${\mathcal {R}}$ quelconque sur $A$, dans le sens $\forall x.\forall y.({\mathcal {R}}xy\to (x\in A\&y\in A))$. Toutefois, étant donné $x$ et $y$ variables de la logique du premier ordre, au lieu d'écrire ${\mathcal {R}}xy$, nous utiliserons une notation infixée $x{\mathcal {R}}y$.
L'équivalence de ces deux notions est le résultat de ces deux propriétés :
* Soit un prédicat binaire ${\mathcal {R}}$ sur $A$. On peut construire de $A\times A$ la partie $R=\{z\in A\times A~|~\exists x\in A.\exists y\in A.(z=(x,y)\&x{\mathcal {R}}y)\},$, qu'on peut aussi noter $R=\{(x,y)\in A\times A~|~x{\mathcal {R}}y\}$ plus souplement, duquel découle le théorème $\vdash \forall x.\forall y.(x{\mathcal {R}}y\leftrightarrow (x,y)\in R)$.
* Soit une partie $R\subset A\times A$, on peut directement construire $R$ comme prédicat binaire tel que $\vdash \forall x.\forall y.(x{\mathcal {R}}y\leftrightarrow (x,y)\in R)$.

### Axiomes relationnels

Soit $\sim$ une relation sur un ensemble $A$. $(A,\sim )$ peut être modèle, à savoir satisfaire, un ou plusieurs des axiomes suivants. Pour des soucis de lisibilité, nous nous permettrons d'écrire, pour toutes formules bien formées $\phi$ de la logique du premier avec la signature de la théorie ZFC, d'écrire $\forall x\in A.\phi$ et $\exists x\in A.\phi$, pour désigner $\forall x.(x\in A\to \phi )$ et $\exists x.(x\in A\&\phi )$ respectivement.
* La réflexivité, $\forall x\in A.x\sim x$.
* L'irréflexivité, $\forall x\in A.\neg x\sim x$.
* La transivité, $\forall x\in A.\forall y\in A.\forall z\in A.((x\sim y\&y\sim z)\to x\sim z)$.
* L'antisymétrie, $\forall x\in A.\forall y\in A.((x\sim y\&y\sim x)\to x=y)$.
* L'asymétrie, $\forall x\in A.\forall y\in A.(x\sim y\to \neg y\sim x)$.
* La connexion (en), $\forall x\in A.\forall y\in A.((x=y\vee x\sim y\vee y\sim x))$.
* La connexion forte (en), $\forall x\in A.\forall y\in A.((x\sim y\vee y\sim x))$.
Divers résultats découlent de la satisfacation simultanée de plusieurs de ces axiomes. Par exemple, toute relation réflexive et connectée est fortement connectée, toute relation transitive et symétrique est réflexive, etc.

### Structures à relation

Les structures à relation sont des familles de couples $(A,\leq )$, chacun composé d'un ensemble $A$ muni d'une relation $\leq$ sur $A$. Il s'agit, sous l'angle de la théorie des modèles, de diverses théories d'axiomes relationnels.
* Un ensemble préordonné, parfois appelé proset, satisfait refléxivité et transitivité.
* Un ensemble partiellement ordonné, aussi appelé poset, satisfait réflexivité, antisymétrie et transitivité. Il s'agit donc d'un proset particulier.
* Un ensemble totalement ordonné, aussi appelé toset, satisfait réflexivité, antisymétrie, transitivité, et connexion. Il s'agit donc d'un poset particulier.
* Un ensemble bien ordonné, aussi appelé woset, est un toset $(A,\leq )$ qui satisfait également $\forall a\in P(A).(x=\varnothing \vee \exists x\in a.\forall y\in a.x\leq y)$.
Une relation d'ordre est le nom donné aux relation d'ensembles partiellement ordonnés.
Toute relation binaire $\leq$ sur $A$ réflexive admet une contrepartie stricte $\lneq$ irréflexive, défini en ensemble comme $\{z\in A\times A~|~\exists x\in A.\exists y\in A.(z=(x,y)\&x\leq y\&\neg x=y)\}$., ou de sa contrepartie stricte. On dit d'un tel $\lneq$ qu'il s'agit d'une relation d'ordre strict.

### Morphismes de structures à relation

Chaque théorie axiomatique de structures à relation établit une classe de tous ses modèles. Par exemple, il y a une classe de tous les ensembles préordonnés, une classe de tous les ensembles partiellement ordonnés, et autres. On peut également remarquer qu'entre deux de leurs modèles, $(A,\leq _{A})$ et $(B,\leq _{B})$, on peut définir des applications $f:(A,\leq _{A})\to (B,\leq _{B})$ telles que pour tous $x,y\in A$, il existe des uniques $f(x),f(y)\in B$ tels que, si $x\leq _{A}y$, alors $f(x)\leq _{B}f(y)$. De telles applications sont dites monotones, ou isotones.. Ces applications préservent alors la structure préordonnée, voire partiellement ordonnée, de ces modèles.
De tout ensemble d'axiomes relationnels $\alpha$, on remarque que la théorie axiomatique sur $\alpha$ admet une structure de catégorie, dont la classe d'objets est la classe des modèles de $\alpha$, et dont la classe de morphismes est celle des applications monotones entre deux modèles de $\alpha$ arbitraires. On appellera donc les applications isotones, les morphismes d'ensembles ordonnés (respectivement préordonnés). De la sorte, les terminologies usuelles de la théorie des catégoriques s'appliquent au monde des ensembles ordonnés.
* Un endomorphisme d'ensembles ordonnés est une application isotone d'un ensemble ordonné dans lui-même.
* Deux ensembles ordonnés $(A,\leq _{A})$ et $(B,\leq _{B})$ sont isomorphes si existent des applications isotones $f:(A,\leq _{A})\to (B,\leq _{B})$ et $g:(B,\leq _{B})\to (A,\leq _{A})$ telles que $g\circ f={\text{id}}_{(A,\leq _{A})}$ et $f\circ g={\text{id}}_{(B,\leq _{B})}$, qui sont alors appelées isomorphismes, et morphismes inverses l'un de l'autre.
* Un squelette de la catégorie des modèles de $\alpha$ en est une sous-catégorie qui n'admet aucun isomorphisme entre deux objets distincts.
* Certains objets et constructions catégoriques peuvent être explicités, notamment :
** L'objet initial de la catégorie des ensembles préordonnés est $(\varnothing ,\varnothing )$, et ses objets finaux $(\{*\},=)$ les singletons munis de l'égalité.
** Le produit d'une famille $\left((A_{i},\leq _{A_{i}})\right)_{i\in I}$ est donné par la structure $\left(\prod _{i\in I}A_{i},\prod _{i\in I}\leq _{A_{i}}\right)$, qui elle-même est un ensemble ordonné, et dont $\prod _{i\in I}\leq _{A_{i}}$ est appelé l'ordre produit. Attention toutefois, le produit de deux ensembles totalement ordonné n'est pas toujours totalement ordonné.

### Exemples notables

* Les ordinaux sont des ensembles bien ordonnés. De même, tout ensemble bien ordonné est isomorphe à exactement un ordinal. Les ordinaux forment alors un squelette de la catégorie des ensembles bien ordonnés. On dit alors que la catégorie des ensembles bien ordonnés est équivalente à la catégorie des ordinaux. Quelques ordinaux importants sont les entiers naturels, et même l'ensemble des entiers naturels $\mathbb {N}$ (aussi appelé $\omega$), dans leurs constructions ensemblistes à la von Neumann.
* $\color {blue}\mathbb {Z}$, $\color {blue}\mathbb {Q}$ et $\color {blue}\mathbb {R}$ munis d'un des relations $\leq$ ou $\geq$ sont des ensembles totalement ordonnés, mais ne sont pas bien ordonnés.
* $\mathbb {N}$ muni de la relation de factorisabilité forme un ensemble partiellement ordonné. Il n'est cependant pas connecté. Un contre-exemple est donné par $2$ qui ni ne factorise, ni n'est factorisé par, ni n'est égal à $3$.
* Lorsque l'on étend cette relation aux entiers relatifs, $\mathbb {Z}$ muni de la relation de factorisabilité ne forme plus qu'un préordre. En effet, un contre-exemple de l'antisymétrie est donné par l'observation que $-1~|~1$ et $1~|~-1$, et ce, bien que $-1\neq 1$.

## Infimums, suprémums et extremums
### Préliminaires

Si les théories axiomatiques gouvernant les diverses structures à relation admettent chacune leur propre catégorie, il est intéressant de noter que chaque ensemble préordonné $(A,\leq )$ admet sa propre catégorie associée. Sa classe d'objets est $A$, et ses morphismes sont les parties de l'ensemble associé à $\leq$ qui n'admettent qu'un seul élément, à savoir des singletons. L'application source est donnée par le membre gauche de l'unique élément du morphisme, et l'application but par son membre droit. La composition, quant à elle, est l'application $\circ$ telle que, pour tous éléments $a\leq b\leq c$ de $A$, on ait $\{(b,c)\}\circ \{(a,b)\}=\{(a,c)\}$. Par réflexivité, les morphismes identités existent et sont les $\{(a,a)\}\subset {\leq }$ tels que $a\in A$. De la sorte, le vocabulaire usuel des catégories s'appliquent aux ensembles pré-ordonnés eux-mêmes.
* Puisqu'il existe au plus un morphisme entre deux éléments de $A$, on dit de la catégorie associée à $(A,\leq )$ qu'elle est fine. Le squelette d'un proset étant un poset, certains auteurs peuvent restreindre cette appellation aux catégories associées aux ensembles partiellement ordonnées.
* On peut montrer que deux éléments $a,a'\in A$ sont isomorphes si et seulement si $a\leq a'\&a'\leq a$. Si $(A,\leq )$ est un ensemble partiellement ordonné, on a alors comme seuls isomorphismes les égalités, d'où $(A,\leq )$ squelettique.
Après cela, on peut raisonnablement se demander si ou quand des ensembles ordonnés admettent diverses constructions catégoriques, telles que des objets initiaux et finaux, des produits, des sommes, et autres.

### Treillis et ensemble partiellement ordonnés bornés

Soit $(A,\leq )$ un ensemble ordonné. Puisqu'il admet une structure de catégorie fine, les expressions de diverses constructions catégoriques se simplifient énormément. Qui plus est, bien que ce genre de constructions ne soient généralement uniques qu'à un isomorphisme près, puisqu'on s'est placé dans un ensemble ordonné, les seuls isomorphismes sont les identités, ce qui assure leur unicité.
L'objet final de $(A,\leq )$, s'il existe, est l'élément $\top \in A$ tel que, pour tout $a\in A$, il existe un morphisme $a\to \top$. Un tel morphisme doit normalement être unique, mais puisqu'on s'est placé dans une catégorie fine, l'existence assure l'unicité. L'objet initial, s'il existe, est quant à lui l'élément $\bot \in A$ tel que, pour tout $a\in A$, il existe un morphisme $\bot \to a$.
Le produit catégorique dans $(A,\leq )$, d'une famille ${\mathcal {F}}=\{a_{i}\}_{i\in I}\subset A$, si il existe, est l'élément $a\in A$ tel que $a\leq a_{i}$ pour tout $i\in I$, où les morphismes associés $\{(a,a_{i})\}$ servent alors de projections canoniques (en), et tel que pour tout $a'\in A$, si $a'\leq a_{i}$ pour tout $i\in I$, alors $a'\leq a$. Intuitivement, il s'agit alors du plus grand minorant de la famille. On écrit généralement $a=\bigwedge {\mathcal {F}}$, que l'on appelle alors l'infimum de ${\mathcal {F}}$, ou minimum de ${\mathcal {F}}$ s'il s'agit d'un élément de ${\mathcal {F}}$. L'opération $\bigwedge$ est parfois appelée rencontre.
La somme catégorique dans $(A,\leq )$ d'une famille ${\mathcal {F}}=\{a_{i}\}_{i\in I}\subset A$, si elle existe, est la construction duale du produit, à savoir celle obtenue en "inversant les flèches" dans sa définition. En d'autres termes, il s'agirait de l'élément $a\in A$ tel que $a_{i}\leq a$ pour tout $i\in I$, où les morphismes associés $\{(a_{i},a)\}$ servent alors de co-projections canoniques, et tel que pour tout $a'\in A$, si $a_{i}\leq a'$ pour tout $i\in I$, alors $a\leq a'$. Intuitivement, il s'agit alors du plus petit majorant de la famille. On écrit généralement $a=\bigwedge {\mathcal {F}}$, que l'on appelle alors suprémum de ${\mathcal {F}}$, ou maximum de ${\mathcal {F}}$ s'il s'agit d'un élément de ${\mathcal {F}}$. L'opération $\bigvee$ est parfois appelée jointure.
On dit d'un ensemble partiellement ordonné $(A,\leq )$ qu'il est borné s'il admet un objet final, appelé son élément maximal ou maximum, et un objet initial, appelé son élément minimal ou minimum.

## Treillis

On dira de $(A,\leq )$ qu'il est un treillis si, pour tous éléments $a,b\in A$, il existe un infimum et un suprémum de $\{a,b\}$, qu'on note respectivement $a\land b$ et $a\lor b$. Dans un treillis, qu'il soit borné ou non, si $a\land b=a$ ou $a\lor b=b$ (équivalents), on dira que $a$ est le minimum de $a$ et $b$. De même, si $a\land b=b$ ou $a\lor b=a$ (équivalents), on dira que $a$ est le maximum de $a$ et $b$. À noter que $a\leq b$ équivaut à $a\land b=a$ et $a\lor b=b$.
A contrario d'autres théories d'axiomes relationnels, la catégorie des treillis est généralement défini de sorte à ce que chaque morphisme de treillis $f:(A,\leq _{A})\to (B,\leq _{B})$ soit non seulement isotone, mais tel que pour tous éléments $a,b\in A$, on ait $f(a\land b)=f(a)\land f(b)$ et $f(a\lor b)=f(a)\lor f(b)$. Un morphisme de treillis est donc une application isotone qui préserve les suprémums et infimums finis.
$(A,\leq )$ est un treillis complet s'il admet un suprémum et un infimum sur toutes familles arbitraires d'éléments de $A$, qui sont encore une fois uniques. Si le suprémum d'une famille ${\mathcal {F}}\subset A$ est élément ${\mathcal {F}}$, on l'appellera maximum de ${\mathcal {F}}$. Si l'infimum d'une famille ${\mathcal {F}}\subset A$ est élément ${\mathcal {F}}$, on l'appellera minimum de ${\mathcal {F}}$.
* Les treillis peuvent être représentés avec des diagrammes de Hasse.
* Le produit de deux treillis, au sens des ensembles ordonnés, est lui-même un treillis.

### Connexions avec la topologie et la logique
#### Cadres et locales

Les treillis sont les objets centraux de la topologie sans points. En effet, tout espace topologique sur $X$ est un ensemble $\Omega _{X}$, duquel la structure $(\Omega _{X},\subset )$ forme un treillis, plus spécifiquement un cadre. La catégorie duale à celle des cadres est celle des locales.

#### Algèbres de Heyting et de Boole

Une algèbre de Heyting est un treillis borné $(A,\leq )$ admettant une bifonction ${\Rightarrow }:A\times A\to A$ telle que pour tous $a,b,c\in A$, il y ait équivalence entre $c\land a\leq b$ et $c\leq a\Rightarrow b$. En particulier, $a\land (a\Rightarrow b)\leq b$, ce qui fait écho à la règle du modus ponens. De fait, on appelle $\Rightarrow$ l'implication.
* Un morphisme d'algèbres de Heyting est un morphisme de treillis qui préserve l'implication.
* À tout algèbre de Heyting $(A,\leq )$, nous définissons également la négation $\neg :A\to A$ la fonction telle que $\neg :a\mapsto a\Rightarrow \bot$.
Une algèbre de Boole n'est autre qu'une algèbre de Heyting pour laquelle la négation est involutive, c'est-à-dire que $\neg \neg a=a$ pour tous $a\in A$.
* Le théorème de représentation de Stone pour les algèbres de Boole pose l'équivalence de la catégorie des algèbres de Boole avec celle des espaces de Stone.
* L'algèbre de Boole à deux éléments, à isomorphisme près, forme une sémantique complète et saine de la logique classique, ce qui établit une forme d'équivalence entre évaluation Booléenne à deux valeurs et démonstrations en logique classique.
Les algèbres de Heyting ont également leur importance en logique, notamment de par leur utilisation en sémantique de logique intuitionniste.
Il existe également une construction duale aux algèbres de Heyting, dites algèbres de co-Heyting, qui admet une opération de co-implication plutôt que d'implication, à savoir une bifonction ${\setminus }:A\times A\to A$ telle que pour tous $a,b,c\in A$, il y ait équivalence entre $b\leq a\vee c$ et $b\setminus a\leq c$, ce qui ressemble davantage au syllogisme disjonctif. Les algèbres de co-Heyting servent notamment en sémantique de logique dual-intuitionniste, une forme notable de logique paracohérente.