论文部分内容阅读
在赋范线性空间中,本文讨论最小时间函数T_S的ε-次微分计算公式.T_S由非空闭集S和非空闭凸集U决定,并以距离函数和指示函数为其特例.本文利用新的讨论方法取消了已有结果中的重要假设:T_S满足calmness条件,建立了T_S在集合S外的点处的ε-次微分的下估计式,该估计式由相应的法锥和集合U的支撑函数的次水平集表示.