Using contraction mapping principle to prove implicit function existence theorem under weak condition

• 用压缩映射原理证明较弱条件下的隐函数存在定理