函数 公式 实数 集合 延拓