From cc313c77972ed1e73128321be910cf63d631ebcf Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Mon, 4 Apr 2016 15:09:40 +0200 Subject: Start writing an exercise sheet on ordinals. --- exercices-ordinaux.tex | 209 +++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 209 insertions(+) create mode 100644 exercices-ordinaux.tex diff --git a/exercices-ordinaux.tex b/exercices-ordinaux.tex new file mode 100644 index 0000000..3f5849e --- /dev/null +++ b/exercices-ordinaux.tex @@ -0,0 +1,209 @@ +%% This is a LaTeX document. Hey, Emacs, -*- latex -*- , get it? +\documentclass[12pt,a4paper]{article} +\usepackage[francais]{babel} +\usepackage[utf8]{inputenc} +\usepackage[T1]{fontenc} +%\usepackage{ucs} +\usepackage{times} +% A tribute to the worthy AMS: +\usepackage{amsmath} +\usepackage{amsfonts} +\usepackage{amssymb} +\usepackage{amsthm} +% +\usepackage{mathrsfs} +\usepackage{wasysym} +\usepackage{url} +% +\usepackage{makeidx} +%% Self-note: compile index with: +%% xindy -M texindy -C utf8 -L french notes-mitro206.idx +% +\usepackage{graphics} +\usepackage[usenames,dvipsnames]{xcolor} +\usepackage{tikz} +\usetikzlibrary{matrix,calc} +\usepackage{hyperref} +% +\theoremstyle{definition} +\newtheorem{comcnt}{Tout} +\newcommand\thingy{% +\refstepcounter{comcnt}\smallbreak\noindent\textbf{\thecomcnt.} } +\newcommand\exercice{% +\refstepcounter{comcnt}\bigbreak\noindent\textbf{Exercice~\thecomcnt.}} +\renewcommand{\qedsymbol}{\smiley} +% +\newcommand{\outnb}{\operatorname{outnb}} +\newcommand{\downstr}{\operatorname{downstr}} +\newcommand{\precs}{\operatorname{precs}} +\newcommand{\mex}{\operatorname{mex}} +\newcommand{\id}{\operatorname{id}} +\newcommand{\limp}{\Longrightarrow} +\newcommand{\gr}{\operatorname{gr}} +\newcommand{\rk}{\operatorname{rk}} +% +\DeclareUnicodeCharacter{00A0}{~} +% +\DeclareMathSymbol{\tiret}{\mathord}{operators}{"7C} +\DeclareMathSymbol{\traitdunion}{\mathord}{operators}{"2D} +% +\DeclareFontFamily{U}{manual}{} +\DeclareFontShape{U}{manual}{m}{n}{ <-> manfnt }{} +\newcommand{\manfntsymbol}[1]{% + {\fontencoding{U}\fontfamily{manual}\selectfont\symbol{#1}}} +\newcommand{\dbend}{\manfntsymbol{127}}% Z-shaped +\newcommand{\danger}{\noindent\hangindent\parindent\hangafter=-2% + \hbox to0pt{\hskip-\hangindent\dbend\hfill}} +% +\newif\ifcorrige +\corrigetrue +\newenvironment{corrige}% +{\ifcorrige\relax\else\setbox0=\vbox\bgroup\fi% +\smallbreak\noindent{\underbar{\textit{Corrigé.}}\quad}} +{{\hbox{}\nobreak\hfill\checkmark}% +\ifcorrige\relax\else\egroup\fi\par} +% +% +% +\begin{document} +\title{Exercices sur les ordinaux} +\author{David A. Madore} +\maketitle + +\centerline{\textbf{MITRO206}} + +{\footnotesize +\immediate\write18{sh ./vc > vcline.tex} +\begin{center} +Git: \input{vcline.tex} +\end{center} +\immediate\write18{echo ' (stale)' >> vcline.tex} +\par} + +\pretolerance=8000 +\tolerance=50000 + + + +% +% +% + +\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$ ; +\spaceout $\omega^{\omega+1} + \omega + 33$ ; +\spaceout $\omega^{\omega+2} + \omega^\omega$ ; +\spaceout $\omega^2\cdot 42 + 1000$ ; +\spaceout $\omega^2 + \omega$ ; +\spaceout $\omega^2\cdot 42 + \omega$ ; +\spaceout $\omega^{\omega^2 + 1}$ ; +\spaceout $\omega^{\omega^{(\omega\cdot 2)}}$ ; +\spaceout $\omega^{\omega^\omega} + 1$ ; +\spaceout $\omega^{\omega+1} + \omega\cdot 33$ ; +\spaceout $\omega^{\omega^2}$ ; +\spaceout $\omega^{\omega^2 + 1} + \omega^{\omega\cdot 2}\cdot 1000$ ; +\spaceout $\omega^{\omega^2 + \omega}$ ; +\spaceout $\omega\cdot 3$ ; +\spaceout $\omega^{(\omega^\omega\cdot 2)}$ ; +\spaceout $\omega^{\omega^3}$ ; +\spaceout $\omega^{\omega+1} + 1000$ ; +\spaceout $\omega^{\omega+2}$ ; +\spaceout $\omega^{\omega+1}\cdot 2$ ; +\spaceout $\omega\cdot 2 + 1729$ ; +\spaceout $\omega^2 + 1000$ ; +\spaceout $42$ ; +\spaceout $\omega^{\omega^2 + \omega} + \omega^{\omega^2 + 1}$ ; +\spaceout $\omega^{\omega\cdot 2}\cdot 1000$ ; +\spaceout $\omega^2\cdot 42$ ; +\spaceout $\omega^{\omega+1} + \omega^2\cdot 33$ ; +\spaceout $\omega^2$ ; +\spaceout $\omega$ ; +\spaceout $\omega^{\omega+1}$ ; +\spaceout $\omega^{\omega^2 + 1} + \omega^{\omega^2}\cdot 42$ ; +\spaceout $\omega^{\omega\cdot 2} + \omega^{\omega+2}$ ; +\spaceout $\omega^{\omega^2 + \omega} + \omega^{\omega^2} + \omega^{\omega+1}$ ; +\spaceout $\omega^{\omega^{(\omega^2)}}$ ; +\spaceout $\omega^{\omega^2 + 1}\cdot 2$ ; +\spaceout $\omega^2 + \omega\cdot 42$ ; +\spaceout $\omega + 42$ ; +\spaceout $\omega^{\omega^2\cdot 2}$ ; +\spaceout $\omega^{\omega\cdot 2 + 42}$ ; +\spaceout $\omega^{\omega\cdot 2}$ ; +\spaceout $\omega\cdot 2$ ; +\spaceout $\omega^{\omega+1} + \omega^2 + 33$ ; +\spaceout $\omega^{\omega^{(\omega+1)}}$ ; +\spaceout $\omega^\omega$ ; +\spaceout $\omega^{\omega^2 + \omega + 1}$ ; +\spaceout $\omega^{\omega^\omega}\cdot 2$ ; +\spaceout $\omega^{\omega^\omega}$ ; +\spaceout $0$ ; +\spaceout $\omega^{\omega^2} + \omega^{\omega+1}$ ; +\spaceout $\omega^{(\omega^\omega + 1)}$. + +\begin{corrige} +On vérifie que tous ces ordinaux sont écrits en forme normale de +Cantor (et les exposants de $\omega$ aussi, etc.). On les compare +donc en comparant à chaque fois la plus grande puissance de $\omega$. + +Dans l'ordre croissant : \spaceout $0$ ; +\spaceout $42$ ; +\spaceout $\omega$ ; +\spaceout $\omega + 42$ ; +\spaceout $\omega\cdot 2$ ; +\spaceout $\omega\cdot 2 + 1729$ ; +\spaceout $\omega\cdot 3$ ; +\spaceout $\omega\cdot 3 + 42$ ; +\spaceout $\omega^2$ ; +\spaceout $\omega^2 + 1000$ ; +\spaceout $\omega^2 + \omega$ ; +\spaceout $\omega^2 + \omega\cdot 42$ ; +\spaceout $\omega^2\cdot 42$ ; +\spaceout $\omega^2\cdot 42 + 1000$ ; +\spaceout $\omega^2\cdot 42 + \omega$ ; +\spaceout $\omega^\omega$ ; +\spaceout $\omega^{\omega+1}$ ; +\spaceout $\omega^{\omega+1} + 1000$ ; +\spaceout $\omega^{\omega+1} + \omega + 33$ ; +\spaceout $\omega^{\omega+1} + \omega\cdot 33$ ; +\spaceout $\omega^{\omega+1} + \omega^2 + 33$ ; +\spaceout $\omega^{\omega+1} + \omega^2\cdot 33$ ; +\spaceout $\omega^{\omega+1} + \omega^\omega\cdot 33$ ; +\spaceout $\omega^{\omega+1}\cdot 2$ ; +\spaceout $\omega^{\omega+2}$ ; +\spaceout $\omega^{\omega+2} + \omega^\omega$ ; +\spaceout $\omega^{\omega\cdot 2}$ ; +\spaceout $\omega^{\omega\cdot 2} + \omega^{\omega+2}$ ; +\spaceout $\omega^{\omega\cdot 2}\cdot 1000$ ; +\spaceout $\omega^{\omega\cdot 2 + 42}$ ; +\spaceout $\omega^{\omega^2}$ ; +\spaceout $\omega^{\omega^2} + \omega^{\omega+1}$ ; +\spaceout $\omega^{\omega^2 + 1}$ ; +\spaceout $\omega^{\omega^2 + 1} + \omega^{\omega\cdot 2}\cdot 1000$ ; +\spaceout $\omega^{\omega^2 + 1} + \omega^{\omega^2}\cdot 42$ ; +\spaceout $\omega^{\omega^2 + 1}\cdot 2$ ; +\spaceout $\omega^{\omega^2 + \omega}$ ; +\spaceout $\omega^{\omega^2 + \omega} + \omega^{\omega^2} + \omega^{\omega+1}$ ; +\spaceout $\omega^{\omega^2 + \omega} + \omega^{\omega^2 + 1}$ ; +\spaceout $\omega^{\omega^2 + \omega + 1}$ ; +\spaceout $\omega^{\omega^2\cdot 2}$ ; +\spaceout $\omega^{\omega^3}$ ; +\spaceout $\omega^{\omega^\omega}$ ; +\spaceout $\omega^{\omega^\omega} + 1$ ; +\spaceout $\omega^{\omega^\omega}\cdot 2$ ; +\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)}}$. +\end{corrige} + + +% +% +% +\end{document} -- cgit v1.2.3