9
$\begingroup$

How would you prove the Cantor Pairing Function bijective? I only know how to prove a bijection by showing (1) If $f(x) = f(y)$, then $x=y$ and (2) There exists an $x$ such that $f(x) = y$

How would you show that for a function like the Cantor pairing function?

  • 0
    The cited article shows you an alternative way in its proof of the fact: construct the inverse function.2011-12-14
  • 0
    The same problem appeared in several threads at AoPS: http://www.artofproblemsolving.com/Forum/viewtopic.php?f=151&t=229199 http://www.artofproblemsolving.com/Forum/viewtopic.php?f=73&t=369071& http://www.artofproblemsolving.com/viewtopic.php?t=223472 http://www.artofproblemsolving.com/viewtopic.php?t=2221242011-12-16

4 Answers 4