De digitale vraagbaak voor het wiskundeonderwijs

home |  vandaag |  gisteren |  bijzonder |  gastenboek |  wie is wie? |  verhalen |  contact

HOME

samengevat
vragen bekijken
een vraag stellen
hulpjes
zoeken
FAQ
links
twitter
boeken
help

inloggen

colofon

  \require{AMSmath}

Re: Equivalente afstanden

 Dit is een reactie op vraag 98559 
Begrijp ik het goed dat exp(x)=Mx+R(x) geldt omdat als we dim(G)=n noteren dan kunnen we G imbedden in R^{nxn} en g is isomorf met R^n dus krijgen we dat exp:R^n- $>$ R^{nxn} een lokale diffeomorfisme, zodat exp(x)=Mx rond een kleine omgeving van x. Ik begrijp wel niet zo goed hoe de inverteerbaarheid van M impliceert dat a|x|_{euclid} $<$ |Mx|_{geod} $<$ A|x|_{euclid}.

Rafik
Student universiteit België - vrijdag 7 maart 2025

Antwoord

Inderdaad, je vertaalt alles naar omgevingen van $0$ in $\mathbb{R}^n$.

De geodeten zijn, nabij $0$, nagenoeg rechte lijnen en er geldt dat
$$\lim_{x\to0}\frac{\|x\|_2-\|x\|_g}{\|x\|_2} =0
$$Voor $a$ en $A$ heb je
$$a\|a\|_2\le \|Mx\|_2\le A\|x\|_2
$$Nu kun je, op de manier van gewone Analyse met meer variabelen, een kleine omgeving van $0$ vinden waarop
$$\frac12a\|x\|_g, \frac12a\|x\|_2 \le \|Mx\|_g \le 2A\|x\|_g, 2A\|x\|_2 $$

kphart
Vragen naar aanleiding van dit antwoord? Klik rechts..!
zaterdag 8 maart 2025



home |  vandaag |  bijzonder |  gastenboek |  statistieken |  wie is wie? |  verhalen |  colofon

©2001-2025 WisFaq - versie 3

eXTReMe Tracker - Free Website Statistics