展开 函数在可测集上可积的充要条件