MathDB
existence of surjections

Source: LIMIT 2019 CCS1 P2

April 28, 2021
function

Problem Statement

Which of the following are true? <spanclass=latexbold>(A)</span> f:NZ onto and increasing<span class='latex-bold'>(A)</span>~\exists f:\mathbb N\to\mathbb Z\text{ onto and increasing} <spanclass=latexbold>(B)</span> f:ZQ onto and increasing<span class='latex-bold'>(B)</span>~\exists f:\mathbb Z\to\mathbb Q\text{ onto and increasing} <spanclass=latexbold>(C)</span> f:QZ onto and increasing and bounded<span class='latex-bold'>(C)</span>~\exists f:\mathbb Q\to\mathbb Z\text{ onto and increasing and bounded} <spanclass=latexbold>(D)</span> None of the above<span class='latex-bold'>(D)</span>~\text{None of the above}