ルベーグ積分では通常「非負単関数」から積分を定義していきますが、テキストによっては一般の単関数（符号を持つもの）から定義している場合があります。この違いが問題ないのか、不定形が生じないのかという点は重要な理解ポイントです。本記事ではその論理構造を整理します。
ルベーグ積分の標準的な出発点
一般的な構成では、まず非負単関数の積分を定義します。
これは測度と整合的に扱いやすく、極限操作との相性が良いためです。
その後、一般の可測関数へ拡張していく流れになります。
一般単関数から定義する方法
一方で、単関数を正負に分解して定義する方法もあります。
単関数 φ は φ = φ⁺ − φ⁻ と書けるため、それぞれ非負単関数として扱います。
この方法では最初から符号付き関数を許容します。
無限測度集合での不安について
ご指摘のように、無限測度集合で「∞ − ∞」のような不定形が起こる可能性が問題になります。
しかしこれは定義の段階で排除されており、積分可能性の条件で制御されます。
つまり、任意の単関数で無条件に引き算しているわけではありません。
正負分解による整合性
一般単関数 φ に対しては、φ⁺とφ⁻をそれぞれ非負単関数として積分します。
その上で ∫φ = ∫φ⁺ − ∫φ⁻ と定義しますが、両方が有限である場合に限ります。
この制約により不定形は回避されます。
なぜこの定義でも問題ないのか
非負単関数から始めても、一般単関数から始めても、最終的に得られる積分は一致します。
これは単関数の線形性と単調収束定理に基づいて保証されます。
したがって、どちらの定義も数学的には整合的です。
まとめ
ルベーグ積分は非負単関数から構成する方法が標準ですが、一般単関数から始めても正負分解により同等の理論が構築できます。
不定形の問題は定義上の制約によって回避されており、矛盾は生じません。
したがってテキストごとの差は構成方法の違いにすぎません。
コメント