4
$\begingroup$

It is well known that given a compact connected smooth manifold without boundary $M$, the set of diffeomorphisms $Diff^{r}(M)$ of $M$ for $r≥1$, is open in $C^{r}(M)$, the set of continuous functions (for example, Thm. 1.7 - Chap 2, in "Differential Topology", M. Hirsch).

My question is: does it follow that $Diff^{r+\alpha}(M) \subset C^{r+\alpha}(M)$ is open w.r.t. the $C^{r + \alpha}$ topology for $0< \alpha \leq 1$?

If it is so, I guess the same can be said about the subset of expanding maps, right? Anything about the subset of hyperbolic systems? I guess here things are strongly dependent on the manifold, along the lines of the work of Crovisier, Bonatti, etc.

Can someone give me some references? Thanks.

Improve this question
$\endgroup$
4
  • $\begingroup$ Is the notation $C^{r+a}$ completely standard? What does it mean for you? $\endgroup$
    – Dylan Thurston
    Commented May 14, 2014 at 12:39
  • $\begingroup$ I mean $C^{r + Hölder}$. $\endgroup$
    – user50774
    Commented May 14, 2014 at 12:41
  • 1
    $\begingroup$ JFYI: Many people would write instead of $C^{r+\alpha}$, the notation $C^{r,\alpha}$ for Holder spaces. $\endgroup$
    – Willie Wong
    Commented May 14, 2014 at 14:13
  • $\begingroup$ True. I think in Analysis the $C^{r, \alpha}$ is the standard notation, whereas in Dynamical Systems the $C^{r + \alpha}$ one. $\endgroup$
    – user50774
    Commented May 14, 2014 at 14:19

1 Answer 1

Reset to default
4
$\begingroup$

Yes, $Diff^{r,\alpha}(M)$ is open in $C^{r,\alpha}(M,M)$. You need a Riemannian metric on $M$ to even say what a $C^{r,\alpha}$-map $M\to M$ is. This is because the $C^1$-topology is coarser than the $C^{r,\alpha}$-topology: so the embedding from $C^{r,\alpha}(M,M)$ with the $C^{r,\alpha}$-topology to $C^{1}(M,M)$ with the $C^1$-topology is continuous, and the inverse image of the open set $Diff^1(M)$ is then the open set $Diff^{r,\alpha}(M)$. See

  • Peter W. Michor: Manifolds of differentiable mappings. Shiva Mathematics Series 3, Shiva Publ., Orpington, (1980), scanned pdf

for more background.

Improve this answer
$\endgroup$
1
  • $\begingroup$ Thanks a lot @peter-michor ! The question came about because I am interested in perturbations of dynamical systems. The idea I initially had was to use the proof in the book of M. Hirsch, plus some interpolation inequalities given, for example, in Lectures of Elliptic and Parabilic Equations in Hoelder spaces, by Krylov. I didn't know your reference, so I've just downloaded your book and will take a close look at this. Kind regards. Christian Rodrigues $\endgroup$
    – user50774
    Commented Jul 14, 2014 at 12:07

You must log in to answer this question.