摘要

本文通过分类讨论的方法研究最小值函数的不等式关系,具体为min{a,b},min{a,b1+b2},min{a,b1}+min{a,b2}之间的不等式关系.利用得到的不等式条件,验证泛函分析相关数学表达式是否满足不等式公理,从而验证距离公理条件,进而最终论证距离空间的合理性.