今回は, 最近ネットで見つけた, 微分積分学の第二基本定理を証明します. 定理: [a, b] を R の有界閉区間, f : [a, b] → R をリーマン可積分な有界関数, F : [a, b] → R を連続関数で, 任意の x ∈ ]a, b[ に於いて F は微分可能で, DF(x) = f(x) が成り立っ…

今日の時点では、ブルバキ積分 vol.4 のハール測度の直積が終了。 あとは、微分積分学の第二基本定理の、リーマン積分の場合に証明を与えていました。