isométrie infinitésimale
Bonjour
réf. Gonnord et Tosel Tome II p33
Il s'agit en gros de démontrer que si la différentielle d'une fonction f de classe C1 sur un ouvert connexe de $\R^n$ est une isométrie alors f est une isométrie
Pour cela en 2b) On utilise
$I=\int_{0}^{1} df(x_0+(t(x-x_0))(x-x_0)dt$
avec $t\in[0,1]$
Taylor donne $I=f(x)-f(x_0)$
On nous dit alors que $||I||=1$
pour moi il faut diviser par $||x-x_0||$ pour avoir ce résultat
Mais alors la conclusion comme quoi l'intégrande est constante ne donne plus le résultat escompté (isométrie affine locale) à cause de cette norme qui vient se rajouter:
en effet en t=0 on a
$df(x_0)(x-x_0)=(||x-x_0||)(f(x)-f(x_0))$ ce qui ne fait pas à priori de f une isométrie affine au voisinage de x0
Réponses
-
Si je comprends bien, tu obtiens en fait $\Vert f(x) - f(x_0 ) \Vert = \Vert x - x_0 \Vert $ et tu doutes d'avoir une isometrie. Est-ce bien cela ?
-
ben oui!
tout dépend de ce que l'on entend par isométrie mais généralement il faut également que la fonction soit affine (ou linéaire) -
Bonjour
Une isométrie :qui conserve les distances, de Rn dans Rn est affine
Cordialement -
Liautard
C'est classique? Facile? Evident? -
Bonjour e=mc3.
C'est évident car il y a conservation des barycentres, mais je ne répète plus la démonstration, je l'ai mise deux fois en moins d'un mois. D'autre part, la notion d'isométrie est relative aux espaces métriques, pas uniquement aux espaces affines. Autrement dit, une isométrie d'une espace affine est une application affine mais si le cadre est plus général...
Bruno -
Merci
c'est vrai que c'est classique, mais j'étais tellement plongé dans mon problème..
Ceux qui ont le Tosel sous la main jetez y un oeil. On dirait qu'il redémontre ce résultat en faisant du calcul différentiel et en plus je ne vois pas comment. -
Bonjour e=mc3
Vu le nombre de fois que Bruno a donné sa démonstration,fort astucieuse
je considère que pour ce site: c'est évident!
cordialement -
je confirme c'est un grand classique que je connaissais depuis le CAPES...j'ai parlé un peu vite. En fait je me suis concentré sur la démo de Tosel qui, après avoir démontré la conservation de la distance, montre le caractère affine par du calcul différentiel et notamment par l'usage de Taylor et là je ne suis plus son raisonnement à cause de du produit par $||x_x_0||$ qui selon moi a été oublié, mais je suis sûr que c'est moi qui ne voit pas bien...
-
je confirme c'est un grand classique que je connaissais depuis le CAPES...j'ai parlé un peu vite. En fait je me suis concentré sur la démo de Tosel qui, après avoir démontré la conservation de la distance, montre le caractère affine par du calcul différentiel et notamment par l'usage de Taylor et là je ne suis plus son raisonnement à cause de du produit par $||x - x_0||$ qui selon moi a été oublié, mais je suis sûr que c'est moi qui ne voit pas bien...
-
Bonjour
<BR>tu peux aussi voir ce lien pour une joli demo.
<BR>
<BR><a href=" http://www.les-mathematiques.net/phorum/read.php?f=2&i=249641&t=249559#reply_249641"> http://www.les-mathematiques.net/phorum/read.php?f=2&i=249641&t=249559#reply_249641</a><BR> -
Merci adsj
j'ai bien regardé le poste référencé.
J'ai plusieurs questions
1°)On fait l'hypothèse f(0)=0 . Mais f peu très bien être affine. Le raisonnement marche -t-il encore dans le cas où f(0) est non nul
2°)COmment Nono montre -t-il le fait que les x pour lesquels f est isométrique est un ouvert?
sinon pour le Tosel au 2b) je persiste à dire qu'il me semble qu'il y a une erreur de raisonnement -
Salut e=mc3,
Si f(0) est diff de 0, tu composes avec une translation...
Vu que tu révises j'imagine que tu prépares à aller à l'oral: alors bon courage ! -
Bonjour
la démonstration peut se faire rapidement
le fait que f ait pour dérivée une isométrie fait que /f(x)-f(x°)/<=/x-x°/
c'est evident sur ta formule I=...
f est un difféomorphisme local f^- 1 -1ayant pour dérivée un isométrie on
a /f-1(x)-f^-1(y)/ <=/x-y/
donc f est une isométrie locale donc une application affine locale
sa dérivée est donc localement constante donc connexité: constante
cordialement -
Hello, before i have been on this sites:
Toyota Camry Dodge Viper Chrysler 300c Honda Accord Dodge Challenger Ford Truck Ford Mustang BMW Los Angeles BMW Huston BMW X5 Citroen Toyota Land Cruiser
But didn't find necessary information! On your site i have found all needed info! Thank you! -
Hello, before i have been on this sites:
Audi A4 Audi Chicago Audi New York Audi TT Audi Los Angeles Audi A8 BMW Dallas BMW Atlanta BMW Chicago Audi City
But didn't find necessary information! On your site i have found all needed info! Thank you! -
Hello, before i have been on this sites:
BMW Orange County BMW Motorcycle BMW San Diego BMW San Jose California BMW San Francisco BMW Oakland BMW Washington DC BMW New York BMW Part Bmw M5
But didn't find necessary information! On your site i have found all needed info! Thank you! -
Hello, before i have been on this sites:
Audi New York BMW Dallas Audi Los Angeles Audi A8 Audi A4 Audi Chicago BMW Atlanta Audi City Audi TT BMW Chicago
But didn't find necessary information! On your site i have found all needed info! Thank you! -
Hello, before i have been on this sites:
BMW San Diego BMW Washington DC BMW Part BMW San Jose California BMW Oakland BMW Orange County BMW Motorcycle BMW New York BMW San Francisco Bmw M5
But didn't find necessary information! On your site i have found all needed info! Thank you! -
Hello, before i have been on this sites:
Audi New York Audi TT BMW Chicago Audi A8 Audi City BMW Dallas BMW Atlanta Audi Los Angeles Audi A4 Audi Chicago
But didn't find necessary information! On your site i have found all needed info! Thank you! -
Hello, before i have been on this sites:
Free Video Hosting Video Hosting
And found out that's great sites for watching and share videos! Thank you!
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.8K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 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