Here’s an interesting reason to accept the existence of non-measurable sets (and hence of whatever weak version of the Axiom of Choice that it depends on). A basic family of mathematical results in analysis says that most measurable real-valued functions on the real line are “close to” being continuous, i.e., that they can be approximated by continuous functions in some appropriate sense. But it is intuitive to think that there “should” be real-valued functions on the real line that are not close to being continuous—there “should” be functions that are very, very messy. So, intuitively, there should be non-measurable functions, and hence non-measurable sets.
(1) Most M are C
ReplyDelete(2) There should be some non-C
It does not follow that there should be non-M
because (1) does not rule out some M being non-C.
Incidentally, I wonder why you care about set theory:
mathematical sets are fictions defined by axioms, but
numbers are real properties of the stuff of the world.