discontinuity of characteristic function
Theorem. For a subset of , the set of thediscontinuity (http://planetmath.org/Continuous)points of the characteristic function
is theboundary (http://planetmath.org/BoundaryFrontier) of .
Proof. Let be a discontinuity point of . Then anyneighborhood (http://planetmath.org/Neighborhood) of contains the points and such that and . Thus and , whence is a boundary point of .
If, on the contrary, is a boundary point of and an arbitrary neighborhood of, it follows that contains both points belonging to and points not belonging to. So we have in the points and such that and . This means that cannot be continuous at the point (N.B. thatone does not need to know the value ).