transfinite induction TransfiniteInduction 2002-02-25 18:55:24 2002-06-01 14:56:29 Theorem well ordered set well-ordering principle % this is the default PlanetMath preamble. as your knowledge % of TeX increases, you will probably want to edit this, but % it should be fine as is for beginners. % almost certainly you want these \usepackage{amssymb} \usepackage{amsmath} \usepackage{amsfonts} % used for TeXing text within eps files %\usepackage{psfrag} % need this for including graphics (\includegraphics) %\usepackage{graphicx} % for neatly defining theorems and propositions %\usepackage{amsthm} % making logically defined graphics %\usepackage{xypic} %\usepackage[thmmarks]{ntheorem} % there are many more packages, add them here as you need them % define commands here \newcommand{\br}{[\![} \newcommand{\rb}{]\!]} \newcommand{\oq}{\text{``}} \newcommand{\cq}{\text{''}} \newcommand{\im}{\mathbf{Im}} \newcommand{\dom}{\mathbf{Dom}} \newcommand{\Or}{\vee} \newcommand{\Implies}{\Rightarrow} \newcommand{\Iff}{\Leftrightarrow} \newcommand{\proves}{\vdash} \renewcommand{\And}{\wedge} \newcommand{\Sup}{\bigwedge} \newcommand{\Inf}{\bigvee} \newcommand{\Z}{\mathbb{Z}} \newcommand{\F}{\mathbb{F}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}} \newcommand{\Nat}{\mathbb{N}} \newcommand{\M}{\mathfrak{M}} \newcommand{\N}{\mathfrak{N}} \newcommand{\A}{\mathfrak{A}} \newcommand{\B}{\mathfrak{B}} \newcommand{\K}{\mathfrak{K}} \newcommand{\G}{\mathbb{G}} \newcommand{\Def}{\overset{\operatorname{def}}{:=}} \newcommand{\spec}{\text{{\bf Spec}}} \newcommand{\stab}{\text{{\bf Stab}}} \newcommand{\ann}{\text{{\bf Ann}}} \newcommand{\irr}{\text{{\bf Irr}}} \newcommand{\qt}{\text{{\bf Qt}}} \newcommand{\st}{\mathcal{Qt}} \newcommand{\ro}{\mathbf{r.o.}} \newcommand{\Endo}{\text{{\bf End}}} \newcommand{\mat}{\text{{\bf Mat}}} \newcommand{\der}{\text{{\bf Der}}} \newcommand{\rad}{\text{{\bf Rad}}} \newcommand{\trd}{\text{{\bf tr.d.}}} \newcommand{\cl}{\text{{\bf acl}}} \newcommand{\Int}{\text{{\bf int}}} \newcommand{\V}{\mathbb{V}} \newcommand{\D}{\mathbf{D}} \newcommand{\del}{\partial} \renewcommand{\O}{\mathcal{O}} \newcommand{\aut}{\mathbf{Aut}} \newcommand{\height}{\text{\bf Height}} \newcommand{\coheight}{\text{\bf Co-height}} \newcommand{\lcm}{\operatorname{lcm}} \newcommand{\Gal}{\operatorname{Gal}} \newcommand{\x}{\mathbf{x}} \newcommand{\y}{\mathbf{y}} \newcommand{\inner}[2]{\langle #1|#2\rangle} \renewcommand{\r}{{r}} \renewcommand{\t}{{t}} \newcommand{\restr}{\upharpoonright} \newcommand{\Matrix}[4]{\left(\begin{array}{cc} #1 & #2 \\ #3 & #4 \end{array}\right)} Suppose $\Phi(\alpha)$ is a property defined for every ordinal $\alpha$, the principle of \emph{transfinite induction} states that in the case where for every $\alpha$, if the fact that $\Phi(\beta)$ is true for every $\beta<\alpha$ implies that $\Phi(\alpha)$ is true, then $\Phi(\alpha)$ is true for every ordinal $\alpha$. Formally : \begin{displaymath} \forall\alpha(\forall\beta(\beta<\alpha\Implies\Phi(\beta))\Implies\Phi(\alpha))\Implies\forall\alpha(\Phi(\alpha)) \end{displaymath} The principle of transfinite induction is very similar to the principle of finite induction, except that it is stated in terms of the whole class of the ordinals.