From ac917f5ec32b5401db42e185f4eb59e8d3b1766e Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Wed, 9 Mar 2016 16:41:10 +0100 Subject: Mention the terminology "well-ordered". --- notes-mitro206.tex | 18 ++++++++++++++++-- 1 file 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é. % -- cgit v1.2.3