A set of discontinuities of a f:ERf:E\to\mathbb R, where ERE\subseteq\mathbb R, is the set

D(f)={xE:f is not continuous at x}.D(f)=\{x\in E : f \text{ is not continuous at } x\}.

Equivalently, xD(f)x\in D(f) exactly when xx is a of ff.

Remarks

This set is central in ; for bounded functions on an interval, integrability can be characterized in terms of how “small” D(f)D(f) is (see the ).

Examples
  • If ff is continuous on [a,b][a,b], then D(f)D(f) is the .
  • On [a,b][a,b], let ff be the of Q[a,b]\mathbb Q\cap[a,b]. Then D(f)=[a,b]D(f)=[a,b].