Rationality indicator is not Baire class one
ID: rationality-indicator-is-not-baire-class-one
The indicator of the rational numbers in the real numbers is discontinuous everywhere because both the rationals and irrationals are dense. The discontinuity theorem for Baire class one functions therefore shows that it is not Baire class one.
New to topics? Read the docs here!