09/06/30 16:02:17
補題
X 局所コンパクト空間とし、μを X 上の正値Radon測度とする。
p を 1 ≦ p < +∞ を満たす実数とする。
q を p の共役指数(過去スレ010の578)とする。
θ を L^p(X, R, μ) 上の連続線形形式とする。
>>88より、θ の K(X, R) への制限 ν は実Radon測度(過去スレ009の728)となる。
このとき、L^q(X, R, μ) の元 h ≧ 0 が存在し、
任意の f ∈ K(X, R) に対して |ν|(f) = ∫ fh dμ となる。
証明
>>88より、任意の f ∈ K+(X, R) に対して |ν|(f) ≦ N(θ) N_p(f) となる。
X の任意のコンパクト集合 K に対して
μ(K) = inf {μ(f) ; χ_K ≦ f, f ∈ K+(X, R) } であるから、
μ(K) = 0 なら |ν|(K) = 0 である。
よって、Lebesgue-Radon-Nikodymの定理(過去スレ011の734)より、
|ν| = gμ となる局所μ可積分な関数 g ≧ 0 が存在する。
f を X から [0, 1] への連続関数で