product rule in banach algebra
i asked myself, whether the product rule is correct for functions which have values in a banach algebra.
I think it is true, but i'm not so sure. Do you know it? Or can you check my "proof" for the product rule please?:
Let f,g:V->W be two differentiable maps, whereas W is some banachalgebra. Then we have:
therefore we have the derivative:
f(x)*dg(x)[h]+df(x)[h]*g(x) and the product rule is proved.
Of course we use in the calculation above, that the multiplication is distributive and also that
Thank you a lot!
Re: product rule in banach algebra
The product rule is defined for operator valued functions, and will then also be defined for functions whose values are in Banach algebras. It al depends on the definition of the derivative. The following definition I find particularly useful
where is then the derivative of at . The situation can be simplified slightly when we consider functions of the form
with a Banach algebra. The above definition then reduces to
Here the resemblance with the normal definition of the derivative is clear. So let us now consider the product rule
Just check my algebra, but I think this should clear it up.