補題
K を実数体または複素数体とする。
E, F を K 上のBanach空間とする。
L(E, F) の可逆元全体を GL(E, F) とする。
Ψ: GL(E, F) → GL(F, E) を Ψ(T) = T^(-1) で定義する。

このとき、dΨ(S)(T) = -S^(-1)TS^(-1) である。

証明
S ∈ GL(E, F) のとき、
T → -S^(-1)TS^(-1) は連続な線型写像 L(E, F) → L(F, E) である。
よって、
T → S のとき、|T^(-1) - S^(-1) + S^(-1)(T - S)S^(-1)|/|T - S| → 0 を
証明すればよい。

T^(-1) - S^(-1) + S^(-1)(T - S)S^(-1)
= T^(-1) - S^(-1) + S^(-1)TS^(-1) - S^(-1)
= T^(-1) - S^(-1) - S^(-1) + S^(-1)TS^(-1)
= T^(-1) - S^(-1) - S^(-1)(I - TS^(-1))
= T^(-1)(T - S)S^(-1)(T - S)S^(-1)

よって、
|T^(-1) - S^(-1) + S^(-1)(T - S)S^(-1)| ≦ |T^(-1)||T - S|^2|S^(-1)|^2

よって、
|T^(-1) - S^(-1) + S^(-1)(T - S)S^(-1)|/|T - S| ≦ |T^(-1)||T - S||S^(-1)|^2

よって、
T → S のとき、|T^(-1) - S^(-1) + S^(-1)(T - S)S^(-1)|/|T - S| → 0
証明終