有效域 在数学的一个分支凸分析中有效域是对定义域的扩展