大范围隐函数存在定理的计算可检验充分条件

摘要

＜正＞ [6]中讨论了隐函数存在定理的计算可检验充分条件,其中有关结果都是局部性质的。在什么条件下,能得到大范围隐函数存在定理,这个问题值得进一步探讨。本文仍利用区间分析方法,提出大范围隐函数存在定理的计算可检验充分条件,并把古典隐函数存在定理（[3],p.128,定理5.2.4）以及[6]中的局部隐函数存在定理作为它的推论。本文采用[6]中有关概念与记号,这里不再一一重复。