粗糙度不等式

针对文献提出的粗糙度不等式及其使等式成立的充分条件，给出了使等号成立且更一般的充分条件，并以两种不同的形式给出，证明两者彼此等价。最后，给出一个新的粗糙度定义，并证明在这种定义下，下近似具有与上近似一样的不等式及其充分条件。