9.2.5 函数间隔的性质