Borel sets --

Gerry Myerson asked, I suspect didactically:

>> given AC, be assured that there DO exist Lebesgue
>> measurable sets which are not Borel measurable!
>> (All the subsets of the Cantor set, for example.)
>
>I think there are some subsets of the Cantor set that are Borel
>measurable. What did you really mean?

He meant all those sets which are images of non-Borel sets
under some standard nice mapping of the reals into the CS.

(We ignore half the endpoints of the latter, as usual.)

----------------------------------------------------------------
Bill Taylor W.Taylor@xxxxxxxxxxxxxxxxxxxxx
----------------------------------------------------------------
The math is done right, but is the right math done?
----------------------------------------------------------------

.

Relevant Pages