Proposition 3
Tag 08HY, permanent. Cite it as [Bourbaki, Tag 08HY].
Functions of a Real Variable, chapter VI, § 1. GENERALIZED TAYLOR EXPANSIONS
Let be a composition operator of order ; then for every polynomial of degree ; for every polynomial of degree , is a polynomial of degree .
This is an immediate consequence of formula (2) of VI, p. 271 and of the definition of the order of .
It is clear that every operator of order can be written in a unique way as , where is an operator of order 0 (and so invertible).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.