连续型平均映射函数

本文用公理方法定义了连续型平均映射函数。从公理定义出发，推证了连续型平均映射函数的一系列基本性质。给出了多种平均映射函数的构作方法。