Translation of Integer Interval is Bijection

From ProofWiki
Jump to navigation Jump to search


Let $a, b, c \in \Z$ be integers.

Let $\closedint a b$ denote the integer interval between $a$ and $b$.

Then the mapping $T: \closedint a b \to \closedint {a + c} {b + c}$ defined as:

$\map T k = k + c$

is a bijection.


Note that if $k \in \closedint a b$, then indeed $k + c \in \closedint {a + c} {b + c}$.


Let $k, l \in \closedint a b$ with $k + c = l + c$.

By Integer Addition is Cancellable, $k = l$.

Thus $T$ is injective.



Let $m \in \closedint {a + c} {b + c}$.

Then $m - c \in \closedint a b$.

Then $\map T {m - c} = m - c + c = m$.

Thus $T$ is surjective.


Also see