単関数のソースを表示

[[数学]]の[[実解析]]の分野における'''単関数'''（たんかんすう、{{Lang-en-short|simple function}}）とは、[[実数直線]]の[[部分集合]]上の（十分に「良い」 - 正式な定義は下節を参照）[[実数]]値関数で、有限個の値しか取らないものをいう。
しばしば加えて、単関数は[[可測関数|可測]]であることが要求されることもある。

基本的な単関数の一例として、半開区間 [1,9) 上で定義された[[床関数]]が挙げられる（これは {1,2,3,4,5,6,7,8} のいずれかの値しか取らない）。
より発展的な例として、実数直線上の[[ディリクレの関数|ディリクレ関数]]は、有理数に対しては 1 となり、その他の値に対しては 0 となる（すなわち「単関数」が「単純」であるというのは、技巧的な意味合いにおいてであって、一般的な話し言葉とは幾分食い違いがある）。また、すべての[[階段関数]]は単関数であることにも注意されたい（任意の単函数を階段函数と呼ぶ場合もある<ref>伊藤『ルベーグ積分入門』p.60</ref>）。

単関数は、[[ルベーグ積分]]などの[[積分]]の理論の発展の第一段階において使用される。なぜならば、単関数に対して積分の定義を構築することは非常に容易なことであり、単関数の列を用いることで、より一般の関数を近似することが直ちに可能であるからである。

== 定義 ==
きちんと述べれば、単関数とは[[測度|可測集合]]の[[指示関数]]の有限な[[線型結合]]のことである。より正確に述べれば、集合 ''X'' 上の実数値単関数とは、'''1'''<sub>''A''</sub> を ''A'' の[[指示関数]]として、''X'' の有限[[集合の分割|分割]]
: <math>X = A_1\sqcup A_2\sqcup\cdots\sqcup A_n</math>
と、適当な[[実数]]の定数 &alpha;<sub>1</sub>, …, &alpha;<sub>''n''</sub> をとって
: <math> f(x) = \sum_{i=1}^n \alpha_i\,\mathbf{1}_{A_i}(x)</math>
なる形に表すことのできる関数 ''f'': ''X'' &rarr; '''R''' を言う。しばしば、&alpha;<sub>''i''</sub> の中に、&plusmn;&infin; なる値を許容する（[[拡大実数]]値単関数）。また上記の定数を[[複素数]]にとれば、複素数値単関数も定義できる。

単関数を[[可測空間]] (''X'', Σ) 上で考えるとき、この形の単関数が &Sigma;-可測であるための必要十分条件は、任意の ''A''<sub>''i''</sub> が &Sigma; に属することである。従って可測関数のみを考える場合には、単関数を「互いに交わらない可測集合の[[列 (数学)|有限列]] ''A''<sub>1</sub>, …, ''A''<sub>''n''</sub> ∈ Σ で、それらの和が ''X'' を被覆するもの」に関する指示関数の線型結合として定める。

== 単関数の性質 ==
定義より、二つの単関数の和、差、積はふたたび単関数である。また、単関数の定数倍もふたたび単関数である。したがって、ある与えられた可測空間上のすべての単関数の集まりは、'''K''' 上の[[可換多元環]]を成す（'''K''' は文脈により '''R''' または '''C''' の何れか）。これは可測函数全体の成す可換多元環の部分多元環である。さらに適当な順序によって[[リース空間]]（ベクトル束<!-- lattice, not bundle -->）を成す。

== 単関数の積分 ==
空間 (''X'',Σ) 上に[[測度]] μ が定義されるとき、単函数 ''f'' の μ に関する[[ルベーグ積分|積分]]は、
: <math>\int_X f\,d\mu:= \sum_{k=1}^na_k\mu(A_k)\quad (f=\sum_k a_k\mathbf{1}_{A_k})</math>
で与えられる。文脈によっては（係数または測度の）値が &plusmn;&infin; となってもよいが、右辺の和の各項がすべて有限である場合のみを考えることも多い。

== ルベーグ積分との関係 ==
どのような非負の[[可測関数]] <math>f\colon X \to\mathbb{R}^{+}</math> であっても、単調増加な非負の単関数の列の各点収束の極限として与えられる。実際、<math>f</math> を測度空間 <math>(X, \Sigma,\mu)</math> 上定義される、上述のような非負可測関数とする。各 <math>n\in\mathbb N</math> に対し、<math>f</math> の値域を、<math>2^{2n}+1</math> 個の区間で、その内の <math>2^{2n}</math> 個が長さ <math>2^{-n}</math> を持つようなものに区分する。すなわち、各 <math>n</math> に対して、

:<math>I_{n,k}=\left[\frac{k-1}{2^n},\frac{k}{2^n}\right)</math> for <math>k=1,2,\ldots,2^{2n}</math>

および

:<math>I_{n,2^{2n}+1}=[2^n,\infty)</math>

を定める（固定された <math>n</math> に対して、各集合 <math>I_{n,k}</math> は互いに素であり、実数直線の非負の部分を覆うことに注意されたい）。

今、可測集合

:<math>A_{n,k}=f^{-1}(I_{n,k}) \,</math> for <math>k=1,2,\ldots,2^{2n}+1</math> 

を定義する。このとき、単関数の増加列

:<math>f_n=\sum_{k=1}^{2^{2n}+1}\frac{k-1}{2^n}{\mathbf 1}_{A_{n,k}}</math> 

は、<math>n\to\infty</math> としたとき、<math>f</math> へと各点収束する。<math>f</math> が有界であるなら、その収束は一様であることに注意されたい。（簡単に積分可能である）単関数によるこのような <math>f</math> の近似によって、積分 <math>f</math> を定義することが出来る。より詳細な議論は、記事「[[ルベーグ積分]]」を参照されたい。

== 注記 ==
<references /> 

== 参考文献 ==
*{{aut|J. F. C. Kingman, S. J. Taylor}}. ''Introduction to Measure and Probability'', 1966, Cambridge.
*{{aut|[[サージ・ラング|S. Lang]]}}. ''Real and Functional Analysis'', 1993, Springer-Verlag.
*{{aut|[[ウォルター・ルーディン|W. Rudin]]}}. ''Real and Complex Analysis'', 1987, McGraw-Hill.
*{{aut|H. L. Royden}}. ''Real Analysis'', 1968, Collier Macmillan.
* {{cite book|和書| author=伊藤清三 | title=ルベーグ積分入門 | series=数学選書4 | publisher=裳華房 | year=1963 | isbn=4-7853-1304-8}}

{{DEFAULTSORT:たんかんすう}}
[[Category:関数の種類]]
[[Category:測度論]]
[[Category:解析学]]
[[Category:数学に関する記事]]