>>496
老婆心ながら

後半の「(1) を否定する」は、分かるな
対偶証明だよ
(1) の否定→(2) の否定
より
(2)→(1)
が証明されている

当然、前半「(1)を仮定する」は
(1)→(2)
が証明されている

この証明には、”Lebesgue 可測集合”の知識が存分に使われている
宜しいんじゃないですか

西谷達雄 Lebesque積分 http://www4.math.sci.osaka-u.ac.jp/~nishitani/Lebesgue.pdf
を読めば良い

さて、ジョルダン測度の話は下記ですね
現在進行形です
　>>439
439１３２人目の素数さん
2024/02/04(日) 21:20:54.62ID:Ble3bCny
>>437
308は

>上関数と下関数の差がε未満になる範囲の
>ジョルダン外測度とジョルダン内測度の差が0になる、
>そのときに限りリーマン可積分

のように
ジョルダン測度を使って条件を述べようとしているが
これは西谷流に反しているのでは？
(引用終り)