Proposition: Die Dirichletfunktion ist unstetig

Die Dirichletfunktion ist unstetig auf .

Beweis

Teil 1: Unstetig für

Sei , also irrational. Sei eine Folge rationaler Zahlen mit (eine solche Folge existiert mit Proposition 13.2.9).

Dann gilt:

  1. da alle muss auch gelten: .
  2. Aber da reell ist, gilt .

Damit ist die Dirichletfunktion nicht stetig auf .

Teil 2: Unstetig für

Sei andererseits . Sei . Für gilt:

Damit gilt:

  1. aber .

Damit ist die Dirichletfunktion nicht stetig auf .