Mixing
可測関数
数学の、特に測度論の分野における可測関数（かそくかんすう、英: measurable function）とは、（積分論を展開する文脈として自然なものである）可測空間の間の、構造を保つ写像である。具体的に言えば、可測空間の間の関数が可測であるとは、各可測集合に対するその原像が可測であることを言う（これは位相空間の間の連続関数の定義の仕方と似ている）。
この定義は単純なようにも見えるが、σ-代数も併せて考えているということに特別な注意が払われなければならない。特に、関数 f: R → R がルベーグ可測であるといったとき、これは実際には f:(R,L)→(R,B){displaystyle fcolon (mathbb {R} ,{mathcal {L}})to (mathbb {R} ,{mathcal {B}})}
慣例では、特に断りの無い限り、位相空間にはその開部分集合全体により生成されるボレル代数が与えられるものと仮定される。最もよくある場合だと、この空間として実数全体あるいは複素数全体からなる空間をとる。例えば、実数値可測関数とは、各ボレル集合の原像が可測となるような関数を言う。複素数値可測関数も同様に定義される。実用においては、ボレル集合族に関する実数値可測関数のみを指して可測関数という語を使用するものもある[1]。関数の値が R や C の代わりに無限次元ベクトル空間に取られるのであれば、弱可測性やボホナー可測性などの、可測性に関する他の定義が用いられることが普通である。
確率論の分野において、σ-代数はしばしば、利用可能な情報すべてからなる集合を表し、ある関数（この文脈では確率変数）が可測であるとは、それが利用可能な情報に基づいて知ることの出来る結果（outcome）を表すことを意味する。対照的に、少なくとも解析学の分野においては、ルベーグ可測でない関数は一般に病的であると見なされる。
目次
1 厳密な定義
2 特別な可測関数
3 可測関数の性質
4 非可測関数
5 関連項目
6 脚注
7 参考文献
8 外部リンク
厳密な定義
(X,Σ){displaystyle (X,Sigma )}
- f:X→Y{displaystyle fcolon Xto Y}
が可測であるとは、すべての E∈T{displaystyle Ein mathrm {T} }
- f:(X,Σ)→(Y,T){displaystyle fcolon (X,Sigma )to (Y,mathrm {T} )}
と書くことがある。
あるいは、f{displaystyle f}
特別な可測関数
(X,Σ){displaystyle (X,Sigma )}はボレル関数とも呼ばれる。連続関数はボレル関数だが、必ずしもすべてのボレル函数が連続函数となるわけではない。しかしながら、可測関数はほとんど連続関数である; ルージンの定理を参照されたい。ボレル関数がある写像 Y→πX{displaystyle Y{stackrel {pi }{{}to {}}}X}
の切断となるとき、それはボレル切断と呼ばれる。
ルベーグ可測関数とは、L{displaystyle {mathcal {L}}}を複素数全体の成す集合 C 上のボレル集合族とするときの、可測関数 f:(R,L)→(C,BC){displaystyle fcolon (mathbb {R} ,{mathcal {L}})to (mathbb {C} ,{mathcal {B}}_{mathbb {C} })}
を言う。ルベーグ可測関数は、被積分函数とすることができるという意味で、解析学において研究の興味の対象となる。
- 定義より、確率変数は標本空間上で定義される可測関数である。
可測関数の性質
- 二つの複素数値可測関数の和や積は、可測である[3]。ゼロによる除算が起こらない限りは、商についても同様のことが成立する[1]。
- 可測関数の合成は、可測である。すなわち、f:(X,Σ1)→(Y,Σ2){displaystyle fcolon (X,Sigma _{1})rightarrow (Y,Sigma _{2})}
および g:(Y,Σ2)→(Z,Σ3){displaystyle gcolon (Y,Sigma _{2})rightarrow (Z,Sigma _{3})}
が可測関数であるなら、g∘f:(X,Σ1)→(Z,Σ3){displaystyle gcirc fcolon (X,Sigma _{1})rightarrow (Z,Sigma _{3})}
も可測関数である[1]。ただし、導入部でのルベーグ可測関数についての議論に注意されたい。
- 実数値可測関数の可算列の（点別の）上限や下限、上極限および下極限は、すべて同様に可測である[1][4]。
- 可測関数の列の各点収束の極限は、可測である。ここで、連続関数について同様のことが成り立つためには、各点収束よりも強い一様収束などの条件が必要とされることに注意されたい。この性質は、関数列の成分の counter domain が距離空間である場合には正しいが、一般的には正しいとは限らない（[5] の 125 および 126 ページを参照）。
非可測関数
応用の場面で現れる実数値関数は、可測関数であることが多い。しかしながら、非可測関数を見つけることは難しいことではない。
- 距離空間に非可測集合が存在している限り、その空間上の非可測関数が存在する。(X,Σ){displaystyle (X,Sigma )}
が非可測集合、すなわち、A∉Σ{displaystyle Anot in Sigma }
であるなら、指示関数 1A:(X,Σ)→R{displaystyle 1_{A}:(X,Sigma )rightarrow mathbb {R} }
は、可測集合 {1}{displaystyle {1}}
の原像が非可測集合 A{displaystyle A}
であることから、非可測である。ここで、R{displaystyle mathbb {R} }
は通常どおりボレル代数を備えるものであり、1A{displaystyle 1_{A}}
は
- 1A(x)={1 if x∈A0 otherwise{displaystyle 1_{A}(x)={begin{cases}1&{text{ if }}xin A\0&{text{ otherwise}}end{cases}}}
- によって与えられる。
- どのような非定数関数であっても、その定義域と値域に適切な σ{displaystyle sigma }
-代数を備えることによって、非可測とすることが出来る。f:X→R{displaystyle f:Xrightarrow mathbb {R} }
を任意の非定数実数値関数としたとき、X{displaystyle X}
に離散的でない代数 Σ={0,X}{displaystyle Sigma ={0,X}}
が備えられるのであれば、f{displaystyle f}
関連項目
- 可測関数のベクトル空間について: Lp{displaystyle L^{p}}
空間
- 測度保存力学系
脚注
- ^ abcdStrichartz, Robert (2000). The Way of Analysis. Jones and Bartlett. ISBN 0-7637-1497-6.
^ 小谷眞一『測度と確率 1』岩波講座 現代数学の基礎, 岩波書店, 1997年
^ Folland, Gerald B. (1999). Real Analysis: Modern Techniques and their Applications. Wiley. ISBN 0-471-31716-0.
^ Royden, H. L. (1988). Real Analysis. Prentice Hall. ISBN 0-02-404151-3.
^ Dudley, R. M. (2002). Real Analysis and Probability (2 ed.). Cambridge University Press. ISBN 0-521-00754-2.
参考文献
- 伊藤清三 『ルベーグ積分入門』 裳華房、1963年。.mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"""""""'""'"}.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}
ISBN 4-7853-1304-8。
外部リンク
- Rowland, Todd.. "Measurable Function". MathWorld（英語）.
Measurable functions in nLab
measurable function - PlanetMath.（英語）
Definition:Measurable Function at ProofWiki
Sazonov, V.V. (2001), "Measurable function", in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4
