Proposition 2
Tag 08CW, permanent. Cite it as [Bourbaki, Tag 08CW].
Functions of a Real Variable, chapter IV, § 2. LINEAR DIFFERENTIAL EQUATIONS
Let B be a continuous endomorphism of E, independent of t, and commuting with A(t) for all ; then B commutes with for all t and in J.
Indeed, by (5)
An important instance of prop. 2 is that where E is endowed with the structure of a normed vector space with respect to the field of complex numbers , and where, for every , is an endomorphism of E for this vector space structure; this means that commutes with the continuous endomorphism of E (for the vector space structure over ); then commutes with this endomorphism, which means that for any and in J, the map is a continuous endomorphism for the normed vector space structure of E over .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.