I am well familiar with the principle of mathematical induction. But while reading a paper by Roggenkamp, I encountered the Principle of Transfinite Induction (PTI). I do not know the theory of cardinals, and never had a formal introduction to Set theory or Cardinals theory. The concept of PTI was amusing to me so I […]

If $I=[a,b)$ we write $|I|=b-a$ for the length of $I$. Given a theorem of Caratheodory, the tricky part in showing the existence of Lebesgue measure is this: Lemma If $[0,1)$ is the disjoint union of a countable collection $(I_j)$ of half-open intervals then $\sum_j|I_j|=1$. It’s easy to conclude that this is easier than it really […]

I know what transfinite induction is, but not sure how it is used to prove something. Can anyone show how transfinite induction is used to prove something? A simple case is OK.

Intereting Posts

Chatting about mathematics (with real-time LaTeX rendering)
Boundedness of operator on Hilbert space
showing a function defined from an integral is entire
Is there an elementary proof that $\sum \limits_{k=1}^n \frac1k$ is never an integer?
This one weird thing that bugs me about summation and the like
Why is quantified propositional logic not part of first-order logic?
Is the function $ f(x,y)=xy/(x^{2}+y^{2})$ where f(0,0) is defined to be 0 continuous?
Use Induction to prove that for all $n \in \mathbb{N}, (x^n + \frac{1}{x^n}) \in \mathbb{Z}$ if $x+\frac{1}{x}\in\mathbb{Z}$.
Is for every ultrahomogenous structure M the theory Th(M) model complete?
Prove that the polynomial $(x-1)(x-2)\cdots(x-n) + 1$, $n\ne 4$, is irreducible over $\mathbb Z$
Definite integral over a simplex
Modulo of a negative number
Proving an invertible matrix which is its own inverse has determinant $1$ or $-1$
A kind of converse of Lagrange's Theorem
Ratio between highest number among $n$ and $n+1$ samples