ルベーグ積分や測度論のスレ

[0135 １３２人目の素数さん 2012/02/07(火) 01:05:14.56]

>>128
集合論では R も R^n も同相。集合論では R = 2^ω だからね。
よって ZF+DC に「R^1の部分集合は全部ルベーグ可測である」って公理を追加したら
自動的に「R^2の部分集合は全部ルベーグ可測である」となる。
当然これらは決定性公理から導かれる。