Walter rudin 9.32

analysis derivatives projection metric-spaces matrix-rank

There are the theorem and its proof :

$\mathscr b'$ mapping means continuously differentiable function.

enter image description here

enter image description here

I don't understand how do we get (76) from (71). If this is so then it means that ($PF(H(X))$)' = $P(F(H(X))'$ But from where we can say that this is true?

Any help would be appreciated.


It will be the same as the derivative of $\frac d{dx}(Ax)$ and it's equal of $A.$

Related

Let $x_n$ a sequence in a Banach Space $B$ such that give a $\epsilon>0$, there is a convergent sequence $\{y_n\}$ with $\|y_n-x_n\|<\epsilon$
Normal subgroup: a problem in Verification of equivalence
Identity element in a finite cyclic group $G$.
The tangent space is well-defined
The real vector space $M_n(\mathbb{R})$ cannot be spanned by nilpotent matrices, for any positive integer $n.$. True or False $?$ [duplicate]
What is $\lim_{n\to\infty} n (\sum_{k = 1}^{n} \frac{1}{\sqrt {n^2 + k}} - 1)$?
How do I increase the maximum amount of players in a server or host?
What is the criteria for the other donut option to become viable in Don't get fired?
Steam shopping cart is emptying itself
Minecraft pocket on Hudl
Where can I play Naruto Ninpou any version with someone else for free? [closed]
What does the Flipped Input option do in Cave Story+?