No Order Isomophism Between Distinct Initial Segments of Woset

From ProofWiki
Jump to navigation Jump to search


Let $E$ be a well-ordered set.

Let $S_\alpha, S_\beta$ be initial segments of $E$ that are order isomorphic.

Then $S_\alpha = S_\beta$.


Aiming for a contradiction, suppose $S_\alpha \ne S_\beta$.

Then $\alpha \ne \beta$.

By the trichotomy law, $\alpha \prec \beta$ or $\beta \prec \alpha$.

Without loss of generality assume $\alpha \prec \beta$.

Then $S_\alpha \subsetneqq S_\beta$.

That is, $S_\alpha$ is an initial segment of $S_\beta$.

By hypothesis $S_\alpha$ and $S_\beta$ are order isomorphic.

Thus there is an order isomorphism between $S_\beta$ and an initial segment of $S_\beta$.

This contradicts No Isomorphism from Woset to Initial Segment.

Thus $S_\alpha = S_\beta$.