on::::依测度收敛.如果函数列在"S"上依测度收敛到formula_4，那么上面的命题仍然成立。证明：存在formula_11的一个子列使得这个子列仍然依测度收敛到formula_4，于是又存在这个子列的一个子列在"S" 上"μ"-几乎处处逐点收敛到formula_4，于是命题成立。