Skip to main content
2 of 4
edited tags
Ali Taghavi
  • 356
  • 8
  • 31
  • 123

Derivation on real analytic manifolds

Let $M$ be a real analytic manifold. By $C^{\omega}(M)$ we mean the algebra of all analytic functions from $M$ to $\mathbb{R}$. Assume that $D$ is a derivation on $C^{\omega}(M)$ .

Is there a global real analytic vector field $X$ on $M$ such that $D(f)=X.f$ for all $f\in C^{\omega}(M)$?

The motivation:

The smooth version of this statment is true but the proof is based on usage of non analytic functions

Ali Taghavi
  • 356
  • 8
  • 31
  • 123