可測関数

数学の、特に測度論の分野における可測関数（かそくかんすう、）とは、（積分論を展開する文脈として自然なものである）可測空間の間の、構造を保つ写像である。具体的に言えば、可測空間の間の関数が可測であるとは、各可測集合に対するその原像が可測であることを言う（これは位相空間の間の連続関数の定義の仕方と似ている）。
この定義は単純なようにも見えるが、σ-代数も併せて考えているということに特別な注意が払われなければならない。特に、関数 "f": R → R がルベーグ可測であるといったとき、これは実際には formula_1 が可測関数であることを意味する。すなわち、その定義域と値域は、同じ台集合上で異なる σ-代数を持つものを表している（ここで formula_2 はルベーグ可測集合全体の成す σ-代数であり、formula_3 は R 上のボレル集合族である）。結果として、ルベーグ可測関数の合成は必ずしもルベーグ可測とはならない。ただし任意のルベーグ可測関数 formula_1 に対し "f" とほとんど至るところ一致するボレル可測関数　formula_5　が存在するので、ルベーグ測度0の集合上での違いを無視する文脈では可測関数同士の合成は再び可測関数となる。
慣例では、特に断りの無い限り、位相空間にはその開部分集合全体により生成されるボレル代数が与えられるものと仮定される。最もよくある場合だと、この空間として実数全体あるいは複素数全体からなる空間をとる。例えば、実数値可測関数とは、各ボレル集合の原像が可測となるような関数を言う。複素数値可測関数も同様に定義される。実用においては、ボレル集合族に関する実数値可測関数のみを指して可測関数という語を使用するものもある。関数の値が R や C の代わりに無限次元ベクトル空間に取られるのであれば、弱可測性やボホナー可測性などの、可測性に関する他の定義が用いられることが普通である。
確率論の分野において、σ-代数はしばしば、利用可能な情報すべてからなる集合を表し、ある関数（この文脈では確率変数）が可測であるとは、それが利用可能な情報に基づいて知ることの出来る結果（outcome）を表すことを意味する。対照的に、少なくとも解析学の分野においては、ルベーグ可測でない関数は一般に病的であると見なされる。
厳密な定義.
formula_6 と formula_7 を可測空間、つまり "X" および "Y" はそれぞれ σ-代数 formula_8 および formula_9 を備えた集合とする。関数
が可測であるとは、すべての formula_11 に対して formula_12 が成り立つことを言う。この可測性の概念は、σ-代数 formula_8 および formula_9 に依存する。そのことを強調するために、formula_15 が可測関数であるとき
と書くことがある。
あるいは、formula_17 を formula_18-可測ということがある。
非可測関数.
応用の場面で現れる実数値関数は、可測関数であることが多い。しかしながら、非可測関数を見つけることは難しいことではない。