Definition:Bijection/Graphical Depiction

From ProofWiki
Jump to navigation Jump to search

Diagrammatic Presentation of Bijection on Finite Set

The following diagram illustrates the bijection:

$f: S \to T$

and its inverse, where $S$ and $T$ are the finite sets:

\(\ds S\) \(=\) \(\ds \set {a, b, c, d}\)
\(\ds T\) \(=\) \(\ds \set {p, q, r, s}\)

and $f$ is defined as:

$f = \set {\tuple {a, p}, \tuple {b, r}, \tuple {c, s}, \tuple {d, q} }$

Thus the images of each of the elements of $S$ under $f$ are:

\(\ds \map f a\) \(=\) \(\ds p\)
\(\ds \map f b\) \(=\) \(\ds r\)
\(\ds \map f c\) \(=\) \(\ds s\)
\(\ds \map f d\) \(=\) \(\ds q\)
$S$ is the domain of $f$.
$T$ is the codomain of $f$.
$\set {p, q, r, s}$ is the image of $f$.

The preimages of each of the elements of $T$ under $f$ are:

\(\ds \map {f^{-1} } p\) \(=\) \(\ds \set a\)
\(\ds \map {f^{-1} } q\) \(=\) \(\ds \set d\)
\(\ds \map {f^{-1} } r\) \(=\) \(\ds \set c\)
\(\ds \map {f^{-1} } s\) \(=\) \(\ds \set c\)

$f$ is surjective and injective:

$\map {f^{-1} } x$ a singleton for all $x \in \Cdm f$