Sei (rn )n∈N eine Abzählung von Q. Die Funktion f : R → R sei definiert durch:
\( f(x):=\sum \limits_{r_{n}<x} 2^{-n} \)
Nun soll ich zeigen,dass f wohl definiert und streng monoton wachsend ist.
Und dass f stetig in allen irrationalen Zahlen und unstetig in alle rationalen Zahlen ist.