Skip to main content
5 of 5
deleted 9 characters in body
Eduardo Longa
  • 2.1k
  • 12
  • 11

Is the space of analytic sections of a vector bundle a Fréchet space?

Let $\pi : E \to M$ a smooth vector bundle of finite rank, where both $E$ and $M$ are finite dimensional smooth manifolds, and $M$ is compact. I already know that the space $\Gamma^\infty(M,E)$ of smooth sections of $E$ is naturally a Fréchet space (with the seminorms given in terms of multiple derivatives of sections).

Now suppose that all the objects above are real analytic and let $\Gamma^\omega(M,E)$ be the space of real analytic sections of $E$.

My question is: is $\Gamma^\omega(M,E)$ a Fréchet space in some “natural” way? If not, what is the “richest” structure one can put in this vector space? For instance, I would like to know if it is a Baire and metrizable topological vector space.

Eduardo Longa
  • 2.1k
  • 12
  • 11