summaryrefslogtreecommitdiffstats
path: root/notes-mitro206.tex
diff options
context:
space:
mode:
Diffstat (limited to 'notes-mitro206.tex')
-rw-r--r--notes-mitro206.tex18
1 files changed, 16 insertions, 2 deletions
diff --git a/notes-mitro206.tex b/notes-mitro206.tex
index 175b1a6..f1f495d 100644
--- a/notes-mitro206.tex
+++ b/notes-mitro206.tex
@@ -2584,7 +2584,15 @@ remarquera la convention faite que $x$ appartient à son propre aval.
antisymétrique (i.e., est une relation d'ordre partiel) si et
seulement si $G$ est acyclique. Lorsque $G$ est bien-fondé, la
relation d'accessibilité est elle-même bien-fondée (au sens où le
-graphe qu'elle définit est bien-fondé).
+graphe qu'elle définit est bien-fondé) : si on la voit comme une
+relation d'ordre partiel ($x>y$ signifiant que $y$ est accessible à
+partir de $x$), cela signifie qu'il n'y a pas de suite strictement
+décroissante.
+
+Une relation d'ordre \emph{total} $>$ qui soit bien-fondée, i.e.,
+telle qu'il n'existe pas de suite strictement décroissante, est
+appelée un \textbf{bon ordre}, ou définir un ensemble
+\textbf{bien-ordonné}.
\begin{defn}\label{definition-downstream-closed-inductive}
Si $G$ est un graphe orienté, on dira qu'un ensemble $P$ de sommets de
@@ -3293,6 +3301,12 @@ $\omega+1,\omega+2,\omega+3,\ldots$, après quoi vient $\omega\cdot 2$
\\{\footnotesize (Une rangée de $\omega^2$ allumettes.)}
\end{center}
+\thingy Les ordinaux servent à mesurer la taille des ensembles
+bien-ordonnés (c'est-à-dire, les ensembles totalement ordonnés dans
+lesquels il n'existe pas de suite infinie strictement décroissante)
+exactement comme les entiers naturels servent à mesurer la taille des
+ensembles finis.
+
\thingy On pourra ajouter les ordinaux, et les multiplier, et même
élever un ordinal à la puissance d'un autre, mais il n'y aura pas de
soustraction ($\omega-1$ n'a pas de sens, en tout cas pas en tant
@@ -3330,7 +3344,7 @@ Plus formellement, quel que soit l'ordinal $\alpha$, l'ensemble
$\{\beta : \beta<\alpha\}$ des ordinaux plus petits, vu comme un
graphe pour la relation $>$ (i.e., on fait pointer une arête orientée
de chaque ordinal $\beta$ vers chaque ordinal strictement plus petit),
-est bien-fondé.
+est bien-fondé, ou de façon équivalente, bien-ordonné.
%