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

ラドン測度はσ有限集合上内部正則である

148
1

下記の定理を証明します.

ラドン測度はσ有限集合上内部正則である.

RVに, この定理が"One can show that ..."と書いてありましたが, 証明がなかったので, 自分で補いました.

なお, 本稿における用語の定義は, RVに従っています. 文献によっては定義が本稿のものと微妙に異なる可能性がありますのでご注意下さい.

はじめに, 測度の定義を復習します.

σ加法族・可測空間

Xを集合, MXXの部分集合の族とする. MXX上のσ加法族であるとは, 以下の条件をみたすことである.

  1. XMX.
  2. MXは補集合について閉じている. すなわちAMXならば, XAMX.
  3. MXは可算合併について閉じている. すなわちA1,A2,MXならば, i=1AiMX.

σ加法族MXの元のことを可測集合とよぶ. 可測空間とは, 集合Xと, X上のσ加法族MXの組(X,MX)のことである. 誤解のおそれがなければ, 単にXのことを可測空間とよぶ.

条件(1), (2)より, σ加法族は空集合を含み, 条件(2), (3)より, σ加法族は可算交叉についても閉じていることがわかります (ド・モルガンの法則).

測度・測度空間

(X,MX)を可測空間とする. MX上の関数μ:MX[0,](X,MX)上の測度であるとは, 以下の条件をみたすことである.

  1. μ()=0.
  2. A1,A2,...MXが互いに交わりを持たない可測集合ならば, μ(i=1Ai)=i=1μ(Ai).

測度空間とは, 集合X, X上のσ加法族MX, (X,MX)上の測度μの組(X,MX,μ)のことである.

可測集合A,BABをみたすならば, 条件2よりμ(B)=μ(A)+μ(BA)なので, μ(A)μ(B)であることがわかります.

ボレル集合族・ボレル測度

Xを位相空間とする. Xのすべての開集合を含む最小のσ加法族BXXボレル集合族といい, BXの元をボレル集合, 可測空間(X,BX)上の測度をボレル測度という.

σ加法族の定義から, BXXの開集合および閉集合の可算合併と可算交叉を含むことがわかります. とくに, Xがハウスドルフ空間であれば, コンパクト集合は閉集合なので, コンパクト集合はボレル集合になります.

続いて, ラドン測度を定義します. RVでは局所コンパクト空間しか扱わないので, 測度空間に局所コンパクト性を課していますが, 実際は任意のハウスドルフ空間に一般化できます.

外部正則性

Xをハウスドルフ空間, EXのボレル集合とする. X上のボレル測度μEにおいて外部正則であるとは, μ(E)=inf{μ(U)|EU, UXの開集合}がなりたつことである.

内部正則性

Xをハウスドルフ空間, EXのボレル集合とする. X上のボレル測度μEにおいて内部正則であるとは, μ(E)=sup{μ(K)|EK, KXのコンパクト集合}がなりたつことである.

ラドン測度

Xを局所コンパクトハウスドルフ空間とする. Xのボレル測度μラドン測度であるとは, 以下をみたすことである.

  1. Xの任意のコンパクト集合Kに対して, μ(K)<.
  2. μXの任意のボレル集合Eにおいて外部正則.
  3. μXの任意の開集合Uにおいて内部正則.
σ有限性

Xをハウスドルフ空間, μX上のボレル測度とする. Xのボレル集合Eσ有限であるとは, Eμ(Ei)<となるボレル集合Eiの可算合併で表されることをいう.

定理1の証明

Xのボレル集合Eσ有限とする.

まず, μ(E)<の場合を考える. 正の数ϵを任意にとる. μEにおいて外部正則なので, Eを含む開集合Uが存在して, μ(U)<μ(E)+ϵとなる. また, μUにおいて内部正則なので, Uに含まれるコンパクト集合Kが存在して, μ(U)ϵ<μ(K)となる. μ(UE)<ϵと外部正則性から, UEを含む開集合Vで, μ(V)<ϵとなるものが存在する. KVEに含まれるコンパクト集合である. ここで,

μ(KV)=μ(K)μ(KV)>μ(U)ϵμ(V)>μ(E)2ϵ.

ϵは任意だったので, これはEが内部正則であることを意味している.

続いて, μ(E)=の場合を考える. Eσ有限だから, μ(Ei)<となるボレル集合Eiの可算合併で書ける. 自然数Nを任意に取る. μ(E)=だから, ある自然数n0が存在して, μ(i=1n0Ei)>Nとできる. μ(i=1n0Ei)は有限だから, 前半の証明よりi=1n0Eiに含まれるコンパクト集合Kn0が存在して, μ(i=1n0Ei)μ(Kn0)>Nとできる. Nは任意だったので, これはsup{μ(K)|KE,Kはコンパクト}=を意味している.

参考文献

[1]
Dinakar Ramakrishnan , Robert J. Valenza, Fourier Analysis on Number Fields, Graduate Texts in Mathematics (GTM, volume 186), Springer, 1999
投稿日:2024122
更新日:2024124
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

名古屋の大学生です。整数論を研究したいです。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中