Polynomring/Direkter Summand/Differentialoperatoren/Fakt/Beweis

Beweis

Sei ${}f\in R\subseteq P$. Dann gibt es einen Differentialoperator ${}E\colon P\rightarrow P$ mit ${}E(f)=1$. Die Einschränkung ${}E'$ ist dann nach Fakt ein Differentialoperator auf ${}R$ mit der gewünschten Eigenschaft, da ${}\rho (1)=1$.

Zur bewiesenen Aussage