# Composite of Bijection with Inverse is Identity Mapping

## Theorem

Let $f: S \to T$ be a bijection.

Then:

$f^{-1} \circ f = I_S$
$f \circ f^{-1} = I_T$

where $I_S$ and $I_T$ are the identity mappings on $S$ and $T$ respectively.

## Proof

Let $f: S \to T$ be a bijection.

From Inverse of Bijection is Bijection, $f^{-1}$ is also a bijection.

Let $x \in S$.

$\exists y \in T: y = \map f x \implies x = \map {f^{-1} } y$

Then:

 $\displaystyle \map {f^{-1} \circ f} x$ $=$ $\displaystyle \map {f^{-1} } {\map f x}$ Definition of Composition of Mappings $\displaystyle$ $=$ $\displaystyle \map {f^{-1} } y$ By Hypothesis $\displaystyle$ $=$ $\displaystyle x$ By Hypothesis $\displaystyle$ $=$ $\displaystyle \map {I_S} x$ Definition of Identity Mapping

From Domain of Composite Relation and Codomain of Composite Relation, the domain and codomain of $f^{-1} \circ f$ are both $S$, and so are those of $I_S$ by definition.

So all the criteria for Equality of Mappings are met and thus $f^{-1} \circ f = I_S$.

Let $y \in T$.

$\exists x \in S: x = \map {f^{-1} } y \implies y = \map f x$

Then:

 $\displaystyle \map {f \circ f^{-1} } y$ $=$ $\displaystyle \map f {\map {f^{-1} } y}$ Definition of Composition of Mappings $\displaystyle$ $=$ $\displaystyle \map f x$ By Hypothesis $\displaystyle$ $=$ $\displaystyle y$ By Hypothesis $\displaystyle$ $=$ $\displaystyle \map {I_T} y$ Definition of Identity Mapping

From Domain of Composite Relation and Codomain of Composite Relation, the domain and codomain of $f \circ f^{-1}$ are both $T$, and so are those of $I_T$ by definition.

So all the criteria for Equality of Mappings are met and thus $f \circ f^{-1} = I_T$.

$\blacksquare$