3
大学数学基礎解説
文献あり

ルベーグ可積分とリーマン可積分

2868
0

1. はじめに

閉区間IR, μR上のルベーグ測度とする. 以後, 関数f:IRに対し, fL1(μ)とはI|f|dμ<であることを表し, fはルベーグ可積分であるという. またfI上リーマン可積分であることを単にリーマン可積分であるという.

よく知られているように, リーマン可積分であることがルベーグ可積分であることも意味するという重要な事実がある:

f:IRとする. このとき, fがリーマン可積分ならば, fL1(μ)であり, 両者は一致する:
If(x)dx=Ifdμ.

一方で, 定理1の逆;

主張:
fL1(μ)ならば, fはリーマン可積分である.

はどうかというと, この主張は成り立たないことが知られている. 実際, f=1Q|I=1QIとすると, fL1(μ)だがfはいたるところ不連続であり, したがってリーマン可積分ではない(§3 定理3参照). ここでARに対し,
1A(x)={1,xA,0,xA
である.

この例によって上の主張は成り立たないが, g=0とおくとf=g, μ-a.e.でありgはリーマン可積分である. そこでこの例を踏まえて, 次のように条件を緩めたものを考えてみよう:

任意のfL1(μ)に対して, 適当なリーマン可積分関数gを取ってきて, f=g, μ-a.e.とできるか.

ここでもし問題1が正しいならば, ルベーグ可積分関数とリーマン可積分関数はμ-a.e.の意味で区別できないということである. すなわち, ルベーグ可積分関数の数は実質的にリーマン可積分関数からは増えていないということになる. ルベーグ積分がリーマン積分を拡張した概念であることを考えると, 可積分関数がμ-a.e.の意味で増えないというのはこの拡張の意味の多くが失われてしまうだろう.

本記事では, ルベーグ可積分関数の方がリーマン可積分関数よりも多く存在することを見る.

2. 準備

DIの可算稠密部分集合とし, D={x1,x2,}とする. 例えば, D=QIとするとよい. また, aIを中心とするIε-開球をB(a;ε)={xI:|xa|<ε}とする.

0<ε<1/2を取り,
A=In=1B(xn;ε2n)
とおく.

AIのコンパクト集合で, 次を満たす.
(1) 任意のxAと任意のδ>0に対して, Iの空でない開球UIAで, UB(x;δ)を満たすものが存在する. したがって, Aは内点を持たない.
(2) 0<μ(A)<1である.

定め方よりAがコンパクトであることは明らか.
(1) xA, δ>0とする. DIで稠密であることより, 十分大きなnを取ってxnB(x;δ/2)かつε/2n<δ/2とできる. よってU=B(xn;ε/2n)とおけば, UIA, UB(x;δ)である.
(2) (xkε/2k,xk+ε/2k)Iなるkとして,
μ(A)μ(IB(xk;ε/2k))=1ε2k1<1,μ(A)1n=1μ(B(xn;ε/2n))1n=0ε2n=12ε>0
である.

太いカントール集合

補題2の性質を満たすような集合の例として, 他に スミス・ヴォルテラ・カントール集合, 太いカントール集合 がある.

3. 問題1の解

問題1の解に関する定理を述べる前に, リーマン積分論の重要な定理を参照しておく.

f:IRとする. このとき, fがリーマン可積分であることとfの不連続点全体がμ-零集合であることとは同値である.

さて, 問題1は次の定理によって否定される:

fL1(μ)で, いかなるリーマン可積分関数g:IRに対してもf=g, μ-a.e.とはならないfが存在する.

Aを§2で与えた集合とする. f=1Aとおくと, fL1(μ)でありA上で不連続である. もしμ-a.e.で一致するリーマン可積分関数gが存在するとすると, gの不連続点からなる部分集合はA{xI:f(x)=g(x)}を含む.
μ(A{xI:f(x)=g(x)})=μ(A)>0
であるので, これは定理3と矛盾である.

証明で与えたAは補題2の性質を満たす集合0<μ(A)<1であるような内点を持たないコンパクト集合であればよい.

参考文献

投稿日:2022220
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

megumin
megumin
6
4393
Interest: Stochastic differential equations, stochastic calculus of variations, mathematical finance, quantum computing.

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 1. はじめに
  2. 2. 準備
  3. 3. 問題1の解
  4. 参考文献