可測関数

可測関数（かそくかんすう、（英: measurable function）は、（積分論を展開する文脈として自然なものである）可測空間の間の、構造を保つ写像である。具体的に言えば、可測空間の間の関数が可測であるとは、各可測集合に対するその原像が可測であることを言う（これは位相空間の間の連続関数の定義の仕方と似ている）。数学、特に測度論でよく用いられる。

この定義は単純なようにも見えるが、σ-代数も併せて考えているということに特別な注意が払われなければならない。特に、関数 f: R → R がルベーグ可測であるといったとき、これは実際には $f\colon (\mathbb {R} ,{\mathcal {L}})\to (\mathbb {R} ,{\mathcal {B}})$ が可測関数であることを意味する。すなわち、その定義域と値域は、同じ台集合上で異なる σ-代数を持つものを表している（ここで ${\mathcal {L}}$ はルベーグ可測集合全体の成す σ-代数であり、 ${\mathcal {B}}$ は R 上のボレル集合族である）。結果として、ルベーグ可測関数の合成は必ずしもルベーグ可測とはならない。ただし任意のルベーグ可測関数 $f\colon (\mathbb {R} ,{\mathcal {L}})\to (\mathbb {R} ,{\mathcal {B}})$ に対し f とほとんど至るところ一致するボレル可測関数　 $g\colon (\mathbb {R} ,{\mathcal {B}})\to (\mathbb {R} ,{\mathcal {B}})$ 　が存在するので、ルベーグ測度0の集合上での違いを無視する文脈では可測関数同士の合成は再び可測関数となる。

慣例では、特に断りの無い限り、位相空間にはその開部分集合全体により生成されるボレル代数が与えられるものと仮定される。最もよくある場合だと、この空間として実数全体あるいは複素数全体からなる空間をとる。例えば、実数値可測関数とは、各ボレル集合の原像が可測となるような関数を言う。複素数値可測関数も同様に定義される。実用においては、ボレル集合族に関する実数値可測関数のみを指して可測関数という語を使用するものもある^[1]。関数の値が R や C の代わりに無限次元ベクトル空間に取られるのであれば、弱可測性やボホナー可測性などの、可測性に関する他の定義が用いられることが普通である。

確率論の分野において、σ-代数はしばしば、利用可能な情報すべてからなる集合を表し、ある関数（この文脈では確率変数）が可測であるとは、それが利用可能な情報に基づいて知ることの出来る結果（outcome）を表すことを意味する。対照的に、少なくとも解析学の分野においては、ルベーグ可測でない関数は一般に病的であると見なされる。

定義

$(X,\Sigma ),\ (Y,\mathrm {T} )$ をそれぞれ可測空間とする。逆像を用いて、関数 $\textstyle f\colon X\to Y$ が次の条件、

\forall E\in \mathrm {T} ,\quad f^{-1}(E)\in \Sigma

を満たすとき、 $\textstyle f$ は可測関数である。このとき「 $\textstyle f$ は可測である（英: $f$ is measurable）」という。

これは、 $f$ によって生成される $\sigma$ -代数 $\sigma (f)$ が $\Sigma$ の部分集合（ $\sigma (f)\subseteq \Sigma$ ）であることと同値である。

$X,Y$ がそれぞれσ-代数 $\Sigma ,\mathrm {T}$ を備えた集合であることを強調し、この可測関数を $f\colon (X,\Sigma )\to (Y,\mathrm {T} )$ と表記する場合がある。また「 $\textstyle f$ は $(\Sigma ,\mathrm {T} )$ -可測である」という場合もある^[2]。

性質

可測関数の合成は、可測である。すなわち、 $f:(X,\Sigma _{1})\rightarrow (Y,\Sigma _{2})$ および $g:(Y,\Sigma _{2})\rightarrow (Z,\Sigma _{3})$ が可測関数であるなら、 $g\circ f:(X,\Sigma _{1})\rightarrow (Z,\Sigma _{3})$ も可測関数である^[1]。ただし、導入部でのルベーグ可測関数についての議論に注意されたい。

$Y$ を距離空間とすると、各点収束する可測関数列 $f_{n}:X\to Y$ の極限も可測である。この性質は、 $Y$ が距離空間でない一般の場合には正しいとは限らない（^[3] の 125 および 126 ページを参照）。ここで、連続関数について同様のことが成り立つためには、各点収束よりも強い一様収束などの条件が必要とされることに注意されたい。

実数値可測関数の性質

実数値可測関数の可算列の（各点の）上限や下限、上極限および下極限は、すべて同様に可測である^[1]^[4]。

複素数値可測関数の性質

二つの複素数値可測関数の和や積は、可測である^[5]。ゼロによる除算が起こらない限りは、商についても同様のことが成立する^[1]。

特別な可測関数

ボレル可測関数

$(X,\Sigma ),\ (Y,\mathrm {T} )$ をそれぞれボレル空間とする。このとき、ボレル可測関数は $(\Sigma ,\mathrm {T} )$ -可測な関数である。ボレル関数とも。

連続関数はボレル関数だが、必ずしもすべてのボレル函数が連続函数となるわけではない。しかしながら、可測関数はほとんど連続関数である; ルージンの定理（英語版）を参照されたい。ボレル関数がある写像 $Y{\stackrel {\pi }{{}\to {}}}X$ の切断となるとき、それはボレル切断と呼ばれる。

ルベーグ可測関数

ルベーグ可測関数とは、 ${\mathcal {L}}$ をルベーグ可測集合族、 ${\mathcal {B}}_{\mathbb {C} }$ を複素数全体の成す集合 C 上のボレル集合族とするときの、可測関数 $f\colon (\mathbb {R} ,{\mathcal {L}})\to (\mathbb {C} ,{\mathcal {B}}_{\mathbb {C} })$ を言う。ルベーグ可測関数は、被積分函数とすることができるという意味で、解析学において研究の興味の対象となる。

実数値関数 $f\colon X\to \mathbb {R}$ がルベーグ可測であることの必要十分条件は、任意の $\alpha \in \mathbb {R}$ に対して

\{x\in X\mid f(x)>\alpha \}\in \Sigma

が成り立つことである。これは、条件の不等号を $\geq ,<,\leq$ に置き換えたものや、任意の開集合の原像が可測集合であることとも同値である。連続関数、単調関数、ステップ関数、半連続関数、リーマン積分可能関数、および有界変動関数は、すべてルベーグ可測である^[6]。複素数値関数 $f\colon X\to \mathbb {C}$ が可測であることは、その実部と虚部が共に可測であることと同値である。

確率変数

→詳細は「確率変数」を参照

定義より、確率変数は標本空間上で定義される可測関数である。

非可測関数

応用の場面で現れる実数値関数は、可測関数であることが多い。しかしながら、非可測関数を見つけることは難しいことではない。

非可測関数の存在証明は、本質的な部分で選択公理に依存している。実際に、選択公理を除いた公理的集合論（ツェルメロ＝フレンケル集合論）だけでは、非可測関数の存在を証明することはできない。

距離空間に非可測集合が存在している限り、その空間上の非可測関数が存在する。

距離空間に非可測集合が存在している限り、その空間上の非可測関数が存在する。 $(X,\Sigma )$ を可測空間とし、 $A\subset X$ が非可測集合（英語版）、すなわち、 $A\not \in \Sigma$ であるなら、指示関数 $1_{A}:(X,\Sigma )\rightarrow \mathbb {R}$ は、可測集合 $\{1\}$ の原像が非可測集合 $A$ であることから、非可測である。ここで、 $\mathbb {R}$ は通常どおりボレル代数を備えるものであり、 $1_{A}$ は

1_{A}(x)={\begin{cases}1&{\text{ if }}x\in A\\0&{\text{ otherwise}}\end{cases}}

によって与えられる。

どのような非定数関数であっても、その定義域と値域に適切な $\sigma$ -代数を備えることによって、非可測とすることが出来る。 $f:X\rightarrow \mathbb {R}$ を任意の非定数実数値関数としたとき、 $X$ に離散的でない代数 $\Sigma =\{0,X\}$ が備えられるのであれば、 $f$ は非可測である。なぜならば、その値域の任意の点の原像は $X$ の空でない真部分集合であり、したがって $\Sigma$ に含まれないからである。

脚注

[脚注の使い方]

注釈

出典

1 2 3 4 Strichartz, Robert (2000). The Way of Analysis. Jones and Bartlett. ISBN 0-7637-1497-6
↑ 小谷眞一『測度と確率 1』岩波講座現代数学の基礎, 岩波書店, 1997年
↑ Dudley, R. M. (2002). Real Analysis and Probability (2 ed.). Cambridge University Press. ISBN 0-521-00754-2
↑ Royden, H. L. (1988). Real Analysis. Prentice Hall. ISBN 0-02-404151-3
↑ Folland, Gerald B. (1999). Real Analysis: Modern Techniques and their Applications. Wiley. ISBN 0-471-31716-0
↑ Carothers, N. L. (2000). Real Analysis. Cambridge University Press. ISBN 0-521-49756-6

参考文献

伊藤清三『ルベーグ積分入門』裳華房、1963年。ISBN 4-7853-1304-8。

外部リンク

Rowland, Todd. “Measurable Function”. mathworld.wolfram.com (英語).
Measurable functions in nLab
measurable function - PlanetMath.（英語）
Definition:Measurable Function at ProofWiki
Sazonov, V.V. (2001) [1994], “Measurable function”, Encyclopedia of Mathematics, EMS Press

[strichartz-1] 1 2 3 4 Strichartz, Robert (2000). The Way of Analysis. Jones and Bartlett. ISBN 0-7637-1497-6

[2] 小谷眞一『測度と確率 1』岩波講座現代数学の基礎, 岩波書店, 1997年

[dudley-3] Dudley, R. M. (2002). Real Analysis and Probability (2 ed.). Cambridge University Press. ISBN 0-521-00754-2

[royden-4] Royden, H. L. (1988). Real Analysis. Prentice Hall. ISBN 0-02-404151-3

[folland-5] Folland, Gerald B. (1999). Real Analysis: Modern Techniques and their Applications. Wiley. ISBN 0-471-31716-0

[carothers-6] Carothers, N. L. (2000). Real Analysis. Cambridge University Press. ISBN 0-521-49756-6

[1]

[2]

[3]

[4]

[5]

[6]

定義

性質