From fc719d7ad4315d42fec0644ce589de9a1a1350e8 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Tue, 5 Apr 2016 15:59:27 +0200
Subject: Re-read exercises on ordinals.

---
 exercices-ordinaux.tex | 82 +++++++++++++++++++++++++++-----------------------
 1 file changed, 44 insertions(+), 38 deletions(-)

(limited to 'exercices-ordinaux.tex')

diff --git a/exercices-ordinaux.tex b/exercices-ordinaux.tex
index f3cbc74..182059a 100644
--- a/exercices-ordinaux.tex
+++ b/exercices-ordinaux.tex
@@ -55,6 +55,7 @@
 \newcommand{\danger}{\noindent\hangindent\parindent\hangafter=-2%
   \hbox to0pt{\hskip-\hangindent\dbend\hfill}}
 %
+\newcommand{\spaceout}{\hskip1emplus2emminus.5em}
 \newif\ifcorrige
 \corrigetrue
 \newenvironment{corrige}%
@@ -66,7 +67,11 @@
 %
 %
 \begin{document}
+\ifcorrige
+\title{Exercices sur les ordinaux — Corrigé}
+\else
 \title{Exercices sur les ordinaux}
+\fi
 \author{David A. Madore}
 \maketitle
 
@@ -91,8 +96,6 @@ Git: \input{vcline.tex}
 
 \exercice
 
-\newcommand{\spaceout}{\hskip1emplus2emminus.5em}
-
 Ranger les ordinaux suivants par ordre croissant :
 \spaceout $\omega^{\omega+1} + \omega^\omega\cdot 33$ ;
 \spaceout $\omega\cdot 3 + 42$ ;
@@ -198,8 +201,8 @@ Dans l'ordre croissant : \spaceout $0$ ;
 \spaceout $\omega^{(\omega^\omega + 1)}$ ;
 \spaceout $\omega^{(\omega^\omega\cdot 2)}$ ;
 \spaceout $\omega^{\omega^{(\omega+1)}}$ ;
-\spaceout $\omega^{\omega^{(\omega\cdot 2)}}$ ; et enfin
-\spaceout $\omega^{\omega^{(\omega^2)}}$.
+\spaceout $\omega^{\omega^{(\omega\cdot 2)}}$ ;
+\spaceout et enfin\spaceout $\omega^{\omega^{(\omega^2)}}$.
 \end{corrige}
 
 
@@ -240,21 +243,22 @@ avec $n$ termes $\omega+1$ (où $n$ est un entier naturel $\geq 1$) ?
   = \alpha + \cdots + \alpha$).  On a donc $(\omega+1)\cdot n =
   \omega\cdot n + 1$.
 
-(d) L'ordinal $(\omega+1)\cdot \omega$ est donc la limite des
-  $(\omega+1)\cdot n = \omega\cdot n + 1$ pour $n\to\omega$.  Cette
-  limite vaut $\omega^2$ : en effet, $\omega^2 \geq \omega\cdot n + 1$
-  pour chaque $n<\omega$, mais inversement, si $\gamma < \omega^2$, on
-  a $\gamma < \omega\cdot n$ pour un certain $n$ (par exemple en
+(d) L'ordinal $(\omega+1)\cdot \omega$ est donc la limite
+  (c'est-à-dire la borne supérieure) des $(\omega+1)\cdot n =
+  \omega\cdot n + 1$ pour $n\to\omega$.  Cette borne supérieure
+  vaut $\omega^2$ : en effet, $\omega^2 \geq \omega\cdot n + 1$ pour
+  chaque $n<\omega$, mais inversement, si $\gamma < \omega^2$, on a
+  $\gamma < \omega\cdot n$ pour un certain $n$ (par exemple en
   utilisant le fait que $\omega^2 = \omega\cdot\omega$ est elle-même
   la limite des $\omega\cdot n$, c'est-à-dire le plus petit ordinal
   supérieur ou égal à eux), et en particulier $\gamma < \omega\cdot n
-  + 1$ ; ou, si on préfère, $\omega\cdot n \leq \omega\cdot n + 1 \leq
-  \omega\cdot (n + 1)$ où $\omega\cdot n$ et $\omega\cdot (n+1)$ ont
-  la même limite $\omega^2$, d'où il résulte que $\omega\cdot n + 1$
-  aussi.
+  + 1$ ; ou, si on préfère, quel que soit $n$ on a $\omega\cdot n \leq
+  \omega\cdot n + 1 \leq \omega\cdot (n + 1)$ où $\omega\cdot n$ et
+  $\omega\cdot (n+1)$ ont la même limite $\omega^2$ quand
+  $n\to\omega$, d'où il résulte que $\omega\cdot n + 1$ aussi.
 
-(e) On a $(\omega+1)\cdot (\omega+1) = (\omega+1)\cdot \omega + \omega
-  + 1 = \omega^2 + \omega + 1$.
+(e) On a $(\omega+1)\cdot (\omega+1) = (\omega+1)\cdot \omega +
+  (\omega + 1) = \omega^2 + \omega + 1$.
 
 (f) On a toujours $\alpha^2 = \alpha\cdot\alpha$, donc $(\omega+1)^2 =
   \omega^2 + \omega + 1$ comme on vient de le montrer.
@@ -268,7 +272,7 @@ avec $n$ termes $\omega+1$ (où $n$ est un entier naturel $\geq 1$) ?
 
 \exercice
 
-(a) Que vaut $(\omega 2) \times (\omega 2)$ ?
+(a) Que vaut $(\omega 2) \cdot (\omega 2)$ ?
 
 (b) Plus généralement, que vaut $(\omega 2) \cdots (\omega 2)$ avec
 $n$ facteurs $\omega 2$ (où $n$ est un entier naturel $\geq 1$) ?
@@ -300,17 +304,18 @@ entier naturel.
   \alpha^{1+\cdots+1} = \alpha \cdots \alpha$).  On a donc $(\omega
   2)^n = \omega^n \cdot 2$.
 
-(d) L'ordinal $(\omega 2)^\omega$ est la limite des $\omega^n \cdot 2$
-  pour $n\to\omega$.  Cette limite vaut $\omega^\omega$ : en effet,
-  $\omega^\omega \geq \omega^n \cdot 2$ pour chaque $n<\omega$, mais
-  inversement, si $\gamma < \omega^\omega$, on a $\gamma < \omega^n$
-  pour un certain $n$ (par exemple en utilisant le fait que
-  $\omega^\omega$ est lui-même la limite des $\omega^n$, c'est-à-dire
-  le plus petit ordinal supérieur ou égal à eux), et en particulier
-  $\gamma < \omega^n \cdot 2$ ; ou, si on préfère, $\omega^n \leq
-  \omega^n \cdot 2 \leq \omega^{n+1}$ où $\omega^n$ et $\omega^{n+1}$
-  ont la même limite $\omega^\omega$, d'où il résulte que $\omega^n
-  \cdot 2$ aussi.
+(d) L'ordinal $(\omega 2)^\omega$ est la limite (c'est-à-dire la borne
+  supérieure) des $\omega^n \cdot 2$ pour $n\to\omega$.  Cette borne
+  supérieure vaut $\omega^\omega$ : en effet, $\omega^\omega \geq
+  \omega^n \cdot 2$ pour chaque $n<\omega$, mais inversement, si
+  $\gamma < \omega^\omega$, on a $\gamma < \omega^n$ pour un
+  certain $n$ (par exemple en utilisant le fait que $\omega^\omega$
+  est lui-même la limite des $\omega^n$, c'est-à-dire le plus petit
+  ordinal supérieur ou égal à eux), et en particulier $\gamma <
+  \omega^n \cdot 2$ ; ou, si on préfère, quel que soit $n$ on a
+  $\omega^n \leq \omega^n \cdot 2 \leq \omega^{n+1}$ où $\omega^n$ et
+  $\omega^{n+1}$ ont la même limite $\omega^\omega$ quand
+  $n\to\omega$, d'où il résulte que $\omega^n \cdot 2$ aussi.
 
   Bref, $(\omega 2)^\omega = \omega^\omega$.  En revanche,
   $\omega^\omega \cdot 2^\omega = \omega^\omega \cdot \omega =
@@ -360,12 +365,12 @@ a $1 + \alpha > \alpha$.
 \exercice
 
 On rappelle que si $\alpha' \geq \alpha$ sont deux ordinaux, il existe
-un unique $\beta$ tel que $\alpha' = \alpha + \beta$.  (a) En déduire
-que si $\gamma < \gamma'$ alors $\omega^\gamma + \omega^{\gamma'} =
-\omega^{\gamma'}$ (on pourra utiliser la conclusion de l'exercice
-précédent).  (b) Expliquer pourquoi $\omega^{\gamma'} +
-\omega^\gamma$, lui, est strictement plus grand que $\omega^{\gamma'}$
-et $\omega^\gamma$.
+un unique $\beta$ tel que $\alpha' = \alpha + \beta$.\spaceout (a) En
+déduire que si $\gamma < \gamma'$ alors $\omega^\gamma +
+\omega^{\gamma'} = \omega^{\gamma'}$ (on pourra utiliser la conclusion
+de l'exercice précédent).\spaceout (b) Expliquer pourquoi
+$\omega^{\gamma'} + \omega^\gamma$, lui, est strictement plus grand
+que $\omega^{\gamma'}$ et $\omega^\gamma$.
 
 \begin{corrige}
 (a) Si $\gamma < \gamma'$, il existe $\beta$ tel que $\gamma' = \gamma
@@ -395,13 +400,14 @@ et $\omega^\gamma$.
 (A) (1) Que vaut $2^{\omega+1}$ ?\spaceout (2) Que vaut
 $2^{\omega^2}$ ?\spaceout (3) Expliquer pourquoi $\omega^\omega =
 \omega\cdot \omega^\omega$.  En déduire ce que vaut
-$2^{\omega^\omega}$.  (À chaque fois, on écrira les ordinaux demandés
-en forme normale de Cantor.)
+$2^{\omega^\omega}$.\spaceout (À chaque fois, on écrira les ordinaux
+demandés en forme normale de Cantor.)
 
-(B) On suppose que $\varepsilon = \omega^\varepsilon$.  (1) Que vaut
-$\varepsilon^\varepsilon$ ?\spaceout (2) Que vaut
+(B) On suppose que $\varepsilon = \omega^\varepsilon$.\spaceout
+(1) Que vaut $\varepsilon^\varepsilon$ ?\spaceout (2) Que vaut
 $\varepsilon^{\varepsilon^\varepsilon}$ (on pourra utiliser un des
-deux exercices précédents) ?
+deux exercices précédents) ?\spaceout (À chaque fois, plusieurs
+écritures sont possibles.)
 
 \begin{corrige}
 (A) (1) On a $2^{\omega+1} = 2^\omega\cdot 2^1 = \omega\cdot
-- 
cgit v1.2.3

