# Isomorphism to Closed Interval

## Theorem

Let $m, n \in \N$ such that $m < n$.

Let $\closedint {m + 1} n$ denote the integer interval from $m + 1$ to $n$.

Let $h: \N_{n - m} \to \closedint {m + 1} n$ be the mapping defined as:

$\forall x \in \N_{n - m}: \map h x = x + m + 1$

Let the orderings on $\closedint {m + 1} n$ and $\N_{n - m}$ be those induced by the ordering of $\N$.

Then $h$ a unique order isomorphism.

## Proof

First note that the cardinality of $\closedint {m + 1} n$ is given by:

$\card {\closedint {m + 1} n} = n - m$

From Unique Isomorphism between Equivalent Finite Totally Ordered Sets, it suffices to show that $h$ is an order isomorphism.

To this end, remark that, for all $x, y \in \N_{n - m}$:

 $\ds \map h x$ $=$ $\ds \map h y$ $\ds \leadstoandfrom \ \$ $\ds x + m + 1$ $=$ $\ds y + m + 1$ $\ds \leadstoandfrom \ \$ $\ds x$ $=$ $\ds y$ Natural Number Addition is Cancellable

proving $h$ is an injection.

Hence from Equivalence of Mappings between Finite Sets of Same Cardinality, $h$ is also a bijection.

$x \le y \iff \map h x \le \map h y$

so $h$ is an order isomorphism.

$\blacksquare$