展开 函数柯西收敛准则的否定形式是什么