Twitterで流れてきたので 一次元(多分Rのこと)閉集合で内点をもたないルベーグ測度が正である集合は存在するか？ Baireのカテゴリー定理を使うんじゃないか？というつぶやきを見たけど一回生のレポート課題みたいだからもっと初等的に示せるのかも．内点を持…

昨日の記事で(ii)の主張の証明がわからなかったので休息がてら今日は一日中ダラダラ考えてた．(一応↓は昨日の記事)Sardの定理で取り敢えずそれなりの証明を考えてみた． をMの座標近傍系， をNの座標近傍系， を可微分写像，AをMの零集合とする．定義から が…