设$B(E,F)$是从一个Banach空间$E$到另一个Banache空间$F$的所有有界线性算子的集合,$B^+(E,F$)$中的所有双分裂算子的集合和$GI(a)$中$a\的广义逆集合。在本文中,我们介绍对于B^+(E,F)$中的$A\和GI(A$T\in\Omega(a,a^+)$的一个充要条件。然后是几个条件证明了等价于以下性质:$B=A^+(I_F+(T−A)A^+)^{−1}$是广义的$T$的逆运算,其中$R(B)=R(A^+)$,$N(B)=N(A^+$)$,对于Omega(A,A^+,)$中的$T\,其中$I_F$是$F$上的恒等式。此外,我们还获得了从$\Omega(A,A^+)$到自身的光滑$(C^∞)$微分同胚$M_A(A^+,T)$与不动点$A$。设$S=\{T\in\Omega(A,A^+):R(T)∈N(A^+。使用微分同构$M_A(A^+,T)$,我们证明了以下定理:$S$是$B(E,F)$中的光滑子流形,并在S$中的任意$X\处与$M(X)$相切。定理展开了$\mathcal{F}$at$A$从$A$的本地邻居到全局的平滑可积性无界域$\Omega(A,A^+)$。它似乎对发展全球分析和微分方程中的地理方法。