Non-measurable functions
Real-valued functions encountered in applications tend to be measurable;
however, it is not difficult to prove the existence of non-measurable functions.
Such proofs rely on the axiom of choice in an essential way, in the sense that
ZermeloโFraenkel set theory without the axiom of choice does not prove
the existence of such functions.
|