Un article de Wikipédia, l'encyclopédie libre.
En mathématiques , un ensemble totalement ordonné est un ensemble ordonné dans lequel deux éléments quelconques sont toujours comparables.
Soit
E
{\displaystyle E}
un ensemble muni d'une relation d'ordre
⪯
{\displaystyle \preceq }
.
Rappelons que toute relation d'ordre
⪯
{\displaystyle \preceq \,}
vérifie les propriétés suivantes :
(réflexivité )
∀
x
,
x
⪯
x
{\displaystyle \forall x,\ x\preceq x}
;
(transitivité )
∀
x
,
y
,
z
,
(
x
⪯
y
e
t
y
⪯
z
)
⇒
x
⪯
z
{\displaystyle \forall x,y,z,\ {\bigl (}x\preceq y\mathrm {\ et\ } y\preceq z{\bigr )}\Rightarrow x\preceq z}
;
(antisymétrie )
∀
x
,
y
,
(
x
⪯
y
e
t
y
⪯
x
)
⇒
x
=
y
{\displaystyle \forall x,y,\ {\bigl (}x\preceq y\mathrm {\ et\ } y\preceq x{\bigr )}\Rightarrow x=y}
.
(
E
,
⪯
)
{\displaystyle (E,\preceq )}
est un ensemble totalement ordonné si, en outre, tous les éléments de
(
E
,
⪯
)
{\displaystyle (E,\preceq )}
sont comparables pour
⪯
{\displaystyle \preceq }
:
∀
x
,
y
,
(
x
⪯
y
o
u
y
⪯
x
)
{\displaystyle \forall x,y,\ {\bigl (}x\preceq y\mathrm {\ ou\ } y\preceq x{\bigr )}}
.
L'ensemble
E
=
{
∅
,
{
1
}
,
{
2
}
,
{
1
,
2
}
}
{\displaystyle E={\bigl \{}\ \emptyset ,\ \{1\},\ \{2\},\ \{1,2\}{\bigr \}}}
des parties de
{
1
,
2
}
{\displaystyle \{1,2\}}
est ordonné par la relation d'inclusion. Cependant,
E
{\displaystyle E}
n'est pas totalement ordonné :
{
1
}
{\displaystyle \{1\}}
et
{
2
}
{\displaystyle \{2\}}
ne sont pas comparables au sens de l'inclusion.
L'ensemble
R
{\displaystyle \mathbb {R} \,}
des nombres réels muni de la relation d'ordre usuelle
≤
{\displaystyle \leq }
est totalement ordonné.