Skip to main content
added 50 characters in body
Source Link
ABIM
  • 5.4k
  • 3
  • 19
  • 41

Let $\exp$ denote the matrix exponential map, let $Y\subset C^{\infty}(\mathbb{R}^d,\mathbb{R}^d)$ be defined the collection of all functions of the form $$ f(x) = \exp\left( \sum_{i=1}^n f_i(x) A_i \right)x, \qquad f_i \in C_c(\mathbb{R}^d,[0,1]), A_i \in \mathfrak{gl}_d(\mathbb{R}) . $$ Edit: What additional constrains do I need on $f_i$ so that $f$ is a diffeomorphism and $Y$ is dense in the subset of $C^{\infty}(\mathbb{R}^d,\mathbb{R}^d)$ of diffeomorphisms fixing $0$? Or is it just dense in some space of embeddings?

Let $\exp$ denote the matrix exponential map, let $Y\subset C^{\infty}(\mathbb{R}^d,\mathbb{R}^d)$ be defined the collection of all functions of the form $$ f(x) = \exp\left( \sum_{i=1}^n f_i(x) A_i \right)x, \qquad f_i \in C_c(\mathbb{R}^d,[0,1]), A_i \in \mathfrak{gl}_d(\mathbb{R}) . $$ Edit: What additional constrains do I need on $f_i$ so that $f$ is a diffeomorphism and $Y$ is dense in the subset of $C^{\infty}(\mathbb{R}^d,\mathbb{R}^d)$ of diffeomorphisms fixing $0$?

Let $\exp$ denote the matrix exponential map, let $Y\subset C^{\infty}(\mathbb{R}^d,\mathbb{R}^d)$ be defined the collection of all functions of the form $$ f(x) = \exp\left( \sum_{i=1}^n f_i(x) A_i \right)x, \qquad f_i \in C_c(\mathbb{R}^d,[0,1]), A_i \in \mathfrak{gl}_d(\mathbb{R}) . $$ Edit: What additional constrains do I need on $f_i$ so that $f$ is a diffeomorphism and $Y$ is dense in the subset of $C^{\infty}(\mathbb{R}^d,\mathbb{R}^d)$ of diffeomorphisms fixing $0$? Or is it just dense in some space of embeddings?

added 12 characters in body
Source Link
ABIM
  • 5.4k
  • 3
  • 19
  • 41

Let $\exp$ denote the matrix exponential map and, let $X \in C^{\infty}(\mathbb{R}^d,\mathrm{Mat}_{d\times d}(\mathbb{R}))$ denote the set of all continuous injective maps. Let $Y\subset C^{\infty}(\mathbb{R}^d,\mathbb{R}^d)$ denotebe defined the setcollection of all mapsfunctions of the form $$ f(x)= \exp(g(x))x ,\quad g \in X. $$$$ f(x) = \exp\left( \sum_{i=1}^n f_i(x) A_i \right)x, \qquad f_i \in C_c(\mathbb{R}^d,[0,1]), A_i \in \mathfrak{gl}_d(\mathbb{R}) . $$ IsEdit: What additional constrains do I need on $Y$$f_i$ so that $f$ is a studied object? Is it the collectiondiffeomorphism and $Y$ is dense in the set of all diffeomorphismssubset of $\mathbb{R}^d$$C^{\infty}(\mathbb{R}^d,\mathbb{R}^d)$ of diffeomorphisms fixing the origin? For the compact-convergence topology$0$?

Let $\exp$ denote the matrix exponential map and let $X \in C^{\infty}(\mathbb{R}^d,\mathrm{Mat}_{d\times d}(\mathbb{R}))$ denote the set of all continuous injective maps. Let $Y\subset C^{\infty}(\mathbb{R}^d,\mathbb{R}^d)$ denote the set of all maps of the form $$ f(x)= \exp(g(x))x ,\quad g \in X. $$ Is $Y$ a studied object? Is it the collection dense in the set of all diffeomorphisms of $\mathbb{R}^d$ fixing the origin? For the compact-convergence topology?

Let $\exp$ denote the matrix exponential map, let $Y\subset C^{\infty}(\mathbb{R}^d,\mathbb{R}^d)$ be defined the collection of all functions of the form $$ f(x) = \exp\left( \sum_{i=1}^n f_i(x) A_i \right)x, \qquad f_i \in C_c(\mathbb{R}^d,[0,1]), A_i \in \mathfrak{gl}_d(\mathbb{R}) . $$ Edit: What additional constrains do I need on $f_i$ so that $f$ is a diffeomorphism and $Y$ is dense in the subset of $C^{\infty}(\mathbb{R}^d,\mathbb{R}^d)$ of diffeomorphisms fixing $0$?

added 18 characters in body
Source Link
ABIM
  • 5.4k
  • 3
  • 19
  • 41

Let $\exp$ denote the matrix exponential map and let $X \in C(\mathbb{R}^d,\mathrm{Mat}_{d\times d}(\mathbb{R}))$$X \in C^{\infty}(\mathbb{R}^d,\mathrm{Mat}_{d\times d}(\mathbb{R}))$ denote the set of all continuous injective maps. Let $Y\subset C(\mathbb{R}^d,\mathbb{R}^d)$$Y\subset C^{\infty}(\mathbb{R}^d,\mathbb{R}^d)$ denote the set of all maps of the form $$ f(x)= \exp(g(x))x ,\quad g \in X. $$ Is $Y$ a studied object? Is it the collection dense in the set of all diffeomorphisms of $\mathbb{R}^d$ fixing the origin? For the compact-convergence topology?

Let $\exp$ denote the matrix exponential map and let $X \in C(\mathbb{R}^d,\mathrm{Mat}_{d\times d}(\mathbb{R}))$ denote the set of all continuous injective maps. Let $Y\subset C(\mathbb{R}^d,\mathbb{R}^d)$ denote the set of all maps of the form $$ f(x)= \exp(g(x))x ,\quad g \in X. $$ Is $Y$ a studied object? Is it the collection dense in the set of all diffeomorphisms of $\mathbb{R}^d$ fixing the origin? For the compact-convergence topology?

Let $\exp$ denote the matrix exponential map and let $X \in C^{\infty}(\mathbb{R}^d,\mathrm{Mat}_{d\times d}(\mathbb{R}))$ denote the set of all continuous injective maps. Let $Y\subset C^{\infty}(\mathbb{R}^d,\mathbb{R}^d)$ denote the set of all maps of the form $$ f(x)= \exp(g(x))x ,\quad g \in X. $$ Is $Y$ a studied object? Is it the collection dense in the set of all diffeomorphisms of $\mathbb{R}^d$ fixing the origin? For the compact-convergence topology?

added 57 characters in body; edited tags
Source Link
ABIM
  • 5.4k
  • 3
  • 19
  • 41
Loading
formatting
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 285
Loading
Source Link
ABIM
  • 5.4k
  • 3
  • 19
  • 41
Loading