大学数学基礎解説

文献あり

可測函数の定義と位相空間について

位相空間論,解析学,測度論

241

概要

よく考えると教科書に出てくる可測函数の定義はちょっと不思議な感じがするので追いかけてみたい。

本文

直接の関係はないのだが、連続写像の定義を見てみたい。

位相空間 $(X, O_{X})$ , $(Y, O_{Y})$ があるとする。この時、

$f : X \to Y$ が連続写像であるとは、任意の $O \in O_{Y}$ に対して $f^{- 1} (O) \in O_{X}$ が成り立つ時を言う。ここで、 $B \subset Y$ に対して

$f^{- 1} (B) := {x \in X; f (x) \in B}$

である。

この定義は不人気な $ϵ - δ$ 論法を素直に位相空間の言葉で書いたようなものなので、大きな違和感はない定義と思われる。

次に、可測空間 $(R^{d}, B (R^{d})) (d \geq 1)$ から $(R, B (R))$ への実 (Borel) 可測函数について考えたい。素朴に考えると、以下の定義だと受け入れやすい。

B

-可測函数 1

$f : R^{d} \to R$ が可測函数 ( $(B (R^{d}), B (R))$ -可測) であるとは、任意の $B \in B (R)$ に対して $f^{- 1} (B) \in B (R^{d})$ が成り立つ時を言う。

実際、文献 [5] の定義はそのようになっている。確率空間の言葉で書かれているが以下のような内容である:

確率空間 $(Ω, F, P)$ 上の函数 $Y : Ω \to R^{n}$ は、すべての開集合 $U \subset R^{n}$ に対して $Y^{- 1} (U) \in F$ を満たす時、 $F$ -可測であると言う。

この書き方を真似ると、

B

-可測函数 2

$f : R^{d} \to R$ が可測函数 ( $(B (R^{d}), B (R))$ -可測) であるとは、任意の $O \in O (R)$ に対して $f^{- 1} (O) \in B (R^{d})$ が成り立つ時を言う。

ここで、2つの疑問がわく:

何故逆像をとる対象は $B \in B (R^{d})$ ではなく、開集合 $O \in O (R^{n})$ なのか？
有名な教科書 [2] と [3] での可測函数の定義は一般の可測集合の逆像でも開集合の逆像でもなく、開半直線ではなかったか？

というものである。これについて順に見ていきたい。

何故、開集合の逆像で良いのか？

これについては例えば文献 [4] が参考になった。恐らくどの教科書でも載っているのだろうが最初に目についたのがこの本であった。これは p.43 Proposition 2.1 が該当する:

$f : X \to Y$ が $(B (R^{d}), B (R))$ -可測である $⟺$ 任意の $E \in O_{Y}$
に対して $f^{- 1} (E) \in B (R^{d})$

$(\Rightarrow)$ は明らか。 $(\Leftarrow)$ については、 $M = {E \subset Y; f^{- 1} (E) \in B (R^{d})}$ を考える。集合と写像と逆像で触れた $f^{- 1}$ の性質より、補集合と無限和について閉じており、よって $σ$ -加法族になっている。また、仮定より、 $M$ は $Y$ のすべての開集合を含む。するとBorel集合族の定義を思い出すと、 $O_{Y} \subset B (R) \subset M$ という関係になっていることがわかる。従って、任意の $B \in B (R)$ に対して $f^{- 1} (B) \in B (R^{d})$ である。

という事で、可測函数の定義として「 $B$ -可測函数 1」と「 $B$ -可測函数 2」のどちらを採用しても良いことがわかったので、見出しの疑問はとりあえず解消した。

ところが、文献 [2] pp.60-61 および文献 [3] p.98 を見ると Borel可測函数で触れた以下の形の記述が見られる:

B

-可測函数 3

$f : R^{d} \to R$ がBorel可測函数であるとは、任意の $a \in R$ に対して ${x; f (x) > a} \in B (R^{d})$ が成り立つ時を言う。

Borel可測函数で見たように、実際には ${f < a}$ や ${f = a}$ も含まれてくるので、色々な区間の逆像がBorel集合の時という定義だということが分かる。

しかし、あまりにも区間は開集合やBorel集合と比べると具体的すぎて、これをもって可測函数を定義するのは漏れが出ないのかが不安になる。

何故、開半直線で良いのか？

実はこれも文献 [4] p.44 Proposition 2.3 に含まれるのだが、もう少し位相の言葉を使って眺めてみたいと思う。

ここで位相空間の概念を引っ張ってきたい。

位相空間論より

専ら文献 [1] を参考にする。

開基; open base

$(X, O)$ を位相空間とする。 $O$ の部分集合 $P$ について、任意の $O \in O$ に対して、ある $P_{o} \subset P$ がとれて、 $O = \cup P_{o}$ とできる時、 $P$ を位相 $O$ の開基と呼ぶ。

例えば、 $(X, O) = (R, O (R))$ の場合、 $x \in X$ における半径 $ϵ > 0$ の開球 $(x - ϵ, x + ϵ)$ の全体がなす集合は開基になる。

準開基; subbase

$(X, O)$ を位相空間とする。 $O$ の部分集合 $S$ について、任意の $O \in O$ と $x \in O$ に対して、常に有限個の $N_{1}, \dots, N_{r} \in S$ がとれて、 $x \in \cap_{i} N_{i} \subset O$ とできる時、 $S$ を位相 $O$ の準開基と呼ぶ。

例えば、 $(X, O) = (R, O (R))$ の場合、開半直線の全体 $S = {(a, + \infty), (- \infty, a); a \in R}$ は準開基になる。実際、十分小さな $ϵ > 0$ に対して $x \in (\infty, x + ϵ) \cap (x - ϵ, + \infty) = (x - ϵ, x + ϵ) \subset O$ とできる。

さて、可測函数の定義「 $B$ -可測函数 3」に戻ると、 ${x \in R^{d}; f (x) > a} = f^{- 1} ((a, + \infty))$ がBorel集合になること、従って、 ${x \in R^{d}; f (x) < a} = f^{- 1} ((- \infty, a))$ もBorel集合になることが、可測函数の定義であることが分かる。これは要するに、準開基の逆像がBorel集合になるという定義なのではないか？という推測ができる。

定義「 $B$ -可測函数 2」 $⟺$ 定義「 $B$ -可測函数 3」

$(\Rightarrow)$ は明らか。 $(\Leftarrow)$ については、 $O \in O (R)$ を任意にとる。 $O$ は可算個の $(x - δ_{x}, x + ϵ_{x})$ の和で表すことができる。これは以下のようにして分かる。
$O^{'} = O \cap Q$ とおくと、 $O^{'}$ は高々可算個の点からなり、 $O$ の稠密な部分集合になる。任意の $x \in O^{'}$ に対して適当な $ϵ_{x} > 0$ と $δ_{x} > 0$ をとると、 $(x - δ_{x}, x + ϵ_{x}) \subset O$ とできる。ここで、 $ϵ_{x} = sup_{ϵ} {ϵ; (x, x + ϵ) \subset O}$ および $δ_{x} = sup_{δ} {δ; (x - δ, x) \subset O}$ となるようにとっておく。注意として、 $(x, x + ϵ_{x}) \subset O$ および $(x - δ_{x}, x) \subset O$ が成立する。
よって、 $P := \cup_{x \in O^{'}} (x - δ_{x}, x + ϵ_{x}) \subset O$ であるが、実はこれは一致する。もし $y \in O ∖ P$ がとれるとする。稠密性より $(y - ϵ, y + ϵ) \subset O$ となるような任意の $ϵ > 0$ に対して、ある $z \in O^{'}$ がとれて、 $| y - z | < ϵ$ となる。仮に $z \geq y$ とする。この時、 $y \in (z - ϵ, z + ϵ_{z}) \subset O$ となる。ところが、 $(z - ϵ, z + ϵ_{z}) \subset (z - δ_{z}, z + ϵ_{z}) \subset P$ でもあるため、 $y \in P$ を得るが、これは矛盾である。 $z < y$ の場合も同様である。従って、

$\begin{array}{r} O = \cup_{x \in O^{'}} (x - δ_{x}, x + ϵ_{x}) \end{array}$

を得た。
故に、 $O$ の $f$ による逆像は集合と写像と逆像より、

$\begin{aligned} f^{- 1} (O) & = \cup_{a \in O^{'}} f^{- 1} ((a - δ_{a}, a + ϵ_{a})) \\ = \cup_{a \in O^{'}} ({x; f (x) < a + ϵ_{a}} \cap {x; f (x) > a - δ_{a}}) \in B (R^{d}) \end{aligned}$

であることが分かる。

まとめ

準開基という概念を持ち出すのは大袈裟な気はするが、よく見かける実可測函数の定義は、準開基の $f$ による逆像がBorel集合になることで定義されていると見ることもできそうだという事に気づいて面白そうなのでざっと書き出してまとめてみた。

Borel集合族自体はかなり抽象的な存在であるにも関わらず、 $R$ の位相の、とりわけ具体的な準開基を用いて函数の可測性を定義してもなんとか辻褄が合うらしいことはなかなか面白い。

参考文献

[1]

溝畑茂, ルベーグ積分, 岩波全書, 岩波書店, 1984

[2]

内田伏一, 集合と位相, 数学シリーズ, 裳華房, 1986

[3]

伊藤清三, ルベーグ積分入門, 数学選書, 裳華房, 2017

[4]

B. エクセンダール, 確率微分方程式, 丸善出版, 2012

[5]

G. Folland, Real Analysis (Second Edition), John Wiley & Sons, Inc., 1999

投稿日：2023年3月29日

この記事を高評価した人

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

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

バッジはありません。

バッチを贈って投稿者を応援しよう

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

投稿者

derwind

2751

数学を専攻してたはずのに気がついたら道を踏み外しちゃったよ的なー。プログラムでの検証等々は https://zenn.dev/derwind でうにょうにょ。

他の人のコメント

コメントはありません。

読み込み中

derwind

可測函数の定義と位相空間について

概要
本文
何故、開集合の逆像で良いのか？
何故、開半直線で良いのか？
位相空間論より
まとめ
参考文献