可測関数 f:X→ℂ に対して「|α|=1 を満たし f=α|f| と書ける複素可測関数 α が存在する」という主張は、複素関数の位相と可測性を組み合わせた基本的な構造定理です。本記事では、その証明の流れを論理的に整理して解説します。
証明の目的と全体像
この定理の目的は、複素数値関数 f を「大きさ」と「位相」に分解することです。
つまり |f| を実数部分として取り出し、残りを単位円上の関数 α で表現します。
結果として f = α|f| かつ |α|=1 が成立します。
集合 E = {x ∈ X : f(x)=0} の役割
まず E = {x ∈ X : f(x)=0} を考えます。
この集合は可測であり、ここでは f(x)=0 の点では α を自由に定義できることが重要です。
0 では位相が定義できないため、特別扱いが必要になります。
E の外での α の構成
x ∈ X \ E では f(x) ≠ 0 なので複素数の極形式が使えます。
すなわち f(x)=|f(x)|·(f(x)/|f(x)|) と書けます。
ここで α(x)=f(x)/|f(x)| と定めると |α(x)|=1 が成立します。
E 上での α の定義
x ∈ E では f(x)=0 なので f=α|f| の形は自動的に成立します。
このとき α(x)=1 など任意の可測関数でよく、最も単純に 1 と定めます。
この定義でも |α(x)|=1 を保つことができます。
可測性の確認
X\E 上では f と |f| が可測なので商 f/|f| も可測になります。
E 上では定数関数として定義しているため可測性は保たれます。
したがって α は X 全体で可測関数となります。
まとめ
可測関数 f は、ゼロ集合と非ゼロ部分に分けることで扱いやすくなります。
非ゼロ部分では極形式により α = f/|f| と定義し、ゼロ部分では任意に拡張できます。
この構成により f = α|f| かつ |α|=1 を満たす可測関数 α の存在が示されます。
コメント