730 CHAPTER 22. THE DERIVATIVE

Then O is open and I is in Cm (O) for all m = 1,2, · · · . Also

DI(A)(B) =−I(A)(B)I(A). (22.10.19)

In particular, I is continuous.

Proof: Let A ∈ O and let B ∈L (X ,Y ) with

||B|| ≤ 12

∣∣∣∣A−1∣∣∣∣−1.

Then ∣∣∣∣A−1B∣∣∣∣≤ ∣∣∣∣A−1∣∣∣∣ ||B|| ≤ 1

2and so by Lemma 22.10.3, (

I +A−1B)−1 ∈L (X ,X) .

It follows that

(A+B)−1 =(A(I +A−1B

))−1=(I +A−1B

)−1A−1 ∈L (Y,X) .

Thus O is an open set.Thus

(A+B)−1 =(I +A−1B

)−1A−1 =

∑n=0

(−1)n (A−1B)n

A−1

=[I−A−1B+o(B)

]A−1

which shows that O is open and, also,

I(A+B)−I(A) =∞

∑n=0

(−1)n (A−1B)n

A−1−A−1

= −A−1BA−1 +o(B)

= −I(A)(B)I(A)+o(B)

which demonstrates 22.10.19. It follows from this that we can continue taking derivativesof I. For ||B1|| small,

− [DI(A+B1)(B)−DI(A)(B)] =

I(A+B1)(B)I(A+B1)−I(A)(B)I(A)

= I(A+B1)(B)I(A+B1)−I(A)(B)I(A+B1)+

I(A)(B)I(A+B1)−I(A)(B)I(A)

= [I(A)(B1)I(A)+o(B1)] (B)I(A+B1)+

I(A)(B) [I(A)(B1)I(A)+o(B1)]

730 CHAPTER 22. THE DERIVATIVEThen @ is open and 3 is inC™ (@) for allm=1,2,---. AlsoD3 (A) (B) = —3(A) (B)3(A). (22.10.19)In particular, 3 is continuous.Proof: Let A € @ and let Be (X,Y) withIB\| <5 lA WWThen '[JA-'B\] <A" || NIBI] < 5and so by Lemma 22.10.3,(1+A-'B) | €.2(X,X).It follows that(A+B)! =(A(I+A'B)) = (1+ A7'B) 'A € Y(Y,X).Thus @ is an open set.Thus(A+B) '=(1+A7'B) ‘A= y (—1)"(A7'B)"A7!n=0= [I1—A“'B+0(B)|A7!which shows that @ is open and, also,3(A+B)—3(A) = ¥ (-1 "Ata!n=0—A~'BA~'+0(B)—5 (A) (B)3(A) +0 (B)which demonstrates 22.10.19. It follows from this that we can continue taking derivativesof 3. For ||B;|| small,— [D3(A + Bi) (B) — D3(A) (B)] =J(A+ Bi) (B)3(A+B1) —35(A) (B)5(A)QQ= 3(A+B,)(B)3(A+B,)—35(A)(B)5(A+B1)+J (A) (B)5(A+B1) —3(A) (B)5(A)= [5(A) (Bi) 3 (A) +0(Bi)] (B) (A+ Bi) +J(A) (B) [5 (A) (Bi) 5(A) +0 (B1)]