Déformation de la boule unité
Salut tout le monde,
ça fait quelque jour que je réfléchis sur une question de la géométrie différentielle.
Existe-t-il un $C^{\infty}$-difféomorphe entre un $\mathbb{R}$-espace vectoriel normé et sa boule unité (ouverte).
En dimension finie (travaillons sur $\mathbb{R}^n$) on peut le construire de plusieurs façons.
Il suffit de prendre une fonction $f \: C^{\infty}$-difféomorphe entre $]-1,1[$ et $\mathbb{R}$ puis la "normalisé" pour se retrouver dans la boule unité.
Alors la fonction $h(x):= f(\lVert x \rVert)x$ remplit les conditions.
(par exemple la fonction $\tanh$).
Ou d'une façon un peu intuitive la fonction $f$ définie par $f(x):=\dfrac {x} {\sqrt{1+\lVert x \rVert_2 ^2 }}$.
Mais en dimension infinie je me bloque, j'ai essayé de construire un exemple mais en vain.
(en effet la non existence d'homéomorphisme implique directement la non existence de $ C^{\infty}$-difféomorphisme, mais un homéomorphe existe )
Je serais reconnaissant si quelqu'un pouvait nous me débloquer.
ça fait quelque jour que je réfléchis sur une question de la géométrie différentielle.
Existe-t-il un $C^{\infty}$-difféomorphe entre un $\mathbb{R}$-espace vectoriel normé et sa boule unité (ouverte).
En dimension finie (travaillons sur $\mathbb{R}^n$) on peut le construire de plusieurs façons.
Il suffit de prendre une fonction $f \: C^{\infty}$-difféomorphe entre $]-1,1[$ et $\mathbb{R}$ puis la "normalisé" pour se retrouver dans la boule unité.
Alors la fonction $h(x):= f(\lVert x \rVert)x$ remplit les conditions.
(par exemple la fonction $\tanh$).
Ou d'une façon un peu intuitive la fonction $f$ définie par $f(x):=\dfrac {x} {\sqrt{1+\lVert x \rVert_2 ^2 }}$.
Mais en dimension infinie je me bloque, j'ai essayé de construire un exemple mais en vain.
(en effet la non existence d'homéomorphisme implique directement la non existence de $ C^{\infty}$-difféomorphisme, mais un homéomorphe existe )
Je serais reconnaissant si quelqu'un pouvait nous me débloquer.
Réponses
-
Édit : J'ai peut-être posté trop vite. Mieux vaut mieux y réfléchir plus tard.
-
Une question, pourquoi ton $f$ ne peut pas faire l'affaire dans le cas d'un préhilbertien ?
$f :(E,||.||)\to B,$ avec $f(x):=\dfrac {x} {\sqrt{1+\lVert x \rVert ^2 }}$ et $E$ un e,v muni d'un produit scalaire et $||.||$ la norme qui provient du produit scalaire.Le 😄 Farceur
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres