可测函数

可测函数（）是保持可测空间結構的函数，也是勒貝格積分中主要討論的函數。

正式定義

重要範例

實可測函數 
取本節定義中的  為实数系   ，然後取：

 
 

換句話說， 是由實數開區間所生成的博雷爾代數（注意到  本身是個拓扑基），那麼這樣的 -  可測函數  ，通常會簡稱為  - 實可測函數；甚至簡稱為實可測函數。概率论裡的随机变量就是實可測函數。

博雷爾函数 
如果 與  正好也是拓撲空間，這時取以下兩個最小σ-代数：

 
 

換句話說， 是由  上开集所生成的博雷爾代數； 是由  上开集所生成的博雷爾代數，那這樣  -  可测函数  又称为  -  博雷爾函数（Borel function）。

根據拓撲空間连续函數的定義，  -  博雷爾函数必定  -  連續，但反之不成立，原因可見下面可测函数的性质的定理(2)。

可测函数的性质

两个可测的实函数的和与积也是可测的。
可数个實可测函数的最小上界也是可测的。
可测函数的逐点极限是可测的。（连续函数的对应命题需要比逐点收敛更强的条件，例如一致收敛。）
卢辛定理

勒贝格可测函数 
勒贝格可测函数是一个实函数f : R → R，使得对于每一个实数a，集合

都是勒贝格可测的集合。勒贝格可测函数的一个有用的特征，是f是可测的当且仅当mid{-g,f,g}对于所有非负的勒贝格可积函数g都是可积的。

不可测函数
不是所有的函数都是可测的。例如，如果是实数轴的一个不可测子集，那么它的指示函数是不可测的。

参见
可测函数的向量空间：空间
保测动态系统

参考文献 

测度论
函数