Skip to main content
Post Made Community Wiki
Source Link
Péter Komjáth
  • 7.1k
  • 2
  • 37
  • 43

The number of real functions is $c^c=2^c$ which is bigger than $c$ by Cantor's theorem ($c$ is cardinality continuum). The number of real continuous functions is at most $c^{\aleph_0}=c$ as they can be recovered from restrictions to ${\bf Q}$, and there are $c^{\aleph_0}$ many functions ${\bf Q}\to {\bf R}$. This argument, which requires several minor steps in an introductory set theory class, eventually shows that there exists a discontinuous real function.