Espace tangent, fibré tangent

PythonTechOutils Mathématique pour InformatiqueLeave a comment

1 - Espace tangent

Espace tangent Soit M une variété différentiable de dim=n et de classe C¹, pour tout point m∈M considérons l'ensemble C(M,m) formé des courbes de classe C^{p} c:I→M (I intervalle ouvert de centre 0) telles que : c(0)=m. <definition/>On dit que deux courbes c₁ et c₂ de C(M,m) sont tangente en m s'il existe une carte (U,ϕ) en m telles que : (ϕ∘c₁)′(0)=(ϕ∘c₂)′(0)

La relation c₁ et c₂ sont tangentes en m est une relation d'équivalence sur C(M,m). <definition/>Une classe d'équivalence selon la relation d'équivalence définie ci-dessus est appelé un vecteur tangent à M au point m. L'espace quotient associé à cette relation est appelé l'espace tangent à la variété M au point m, noté T_{m}M. <remark/>L'application θ_{ϕ}:T_{m}M→ℝⁿ c↦θ_{ϕ}(c)=(ϕ∘c)′(0) est bijective, ce qui permet de définir une structure d'espace vectoriel sur T_{m}M en posant pour tous c₁, c₂, c ∈T_{m}M et pour tous λ∈ℝ: c₁+c₂=θ_{ϕ}⁻¹[(θ_{ϕ}c₁)+θ_{ϕ}(c₂)] et λc=θ_{ϕ}⁻¹(λθ_{ϕ}(c)) <remark/>1- L'espace tangent T_{m}M ne change pas si on remplace l'atlas initiale par un autre atlas équivalent. 2- Si U est ouvert de M contenant m alors T_{m}U=T_{m}M. 3- T_{(m,n)}(M×N)=T_{m}M⊕T_{n}N

 

2 - Fibré tangent

Fibré tangent <definition/>L'union disjointe ⊔T_{m}M= {(m,u)/m∈M et u∈T_{m}M} des espaces tangents est appelé le fibré tangent Soient maintenant M et N deux variétés différentiable de dimension m et n avec des atlas (U_{i}ϕ_{i})_{i∈I} et (U_{j}′ϕ_{j}′)_{j∈J} et soit f:M→N une application de classe C¹(ie pour tout x∈M et pour tout U_{i} contenant x et U_{j}′ contenant f(x) l'application ϕ_{j}′∘f∘ϕ_{i}⁻¹ est de classe C¹) <proposition-def/>l'application C(M,m)→C(N,f(m)) c↦f∘c passe au quotient en une application T_{m}f:T_{m}M→T_{f(m)}N nommée différentielle de f au point m ( ou application linéaire tangente de f au point m). Si deplus (U,ϕ) est une carte en m et (V,ψ) est une carte en f(m) alors pour tout u∈T_{m} on a : T_{m}f(u)=θ_{ψ}⁻¹∘d_{ϕ(m)}(ψ∘f∘ϕ⁻¹)∘θ_{ϕ}(u):=d_{m}f(u) En plus le diagramme suivant est commutatif :

 

3- Différentielle d'une application

La différentielle de f est l'application df:TM→TN définie par : df_{x}(X) = ψ_{j}^{′-1}∘d(ϕ_{j}′∘f∘ϕ_{i}⁻¹)_{ϕ_{i}(x)}∘ψ_{i}⁻¹(X) pour tout x ∈ M et X∈T_{x}M, U_{i} contenant x et U_{j}′ contenant f(x) - En particulier si f est à valeurs réelle on a df_{x}(X)=d(f∘ϕ_{i}⁻¹)_{ϕ_{i}(x)}∘ψ_{i}⁻¹(X) - En particulier si f est à variables réelles on a : df_{x}(X)=ψ_{j}^{′-1}∘d(ϕ_{j}′∘f)_{x}(X)

4 - Fibré vectoriel tangent

Etant donné une carte ϕ:U→V⊂ℝⁿ le fibré tangeant à U est le sous ensemble T(U)={(a,u)/a∈U et u∈T_{a}M}⊂T(M) et on a une bijection : <K1.1/> <K1.1 ilk="MATRIX" > T(ϕ): T(U)→T(V)=V×ℝⁿ (a,c)↦(ϕ(a),(ϕ∘c)′(0) </K1.1> <conclusion/>La projection canonique p:T(M)→M définie par p(a,u)=p pour (a,u)∈TM ( ie a∈M et u∈T_{a}M ) est un fibré vectoriel de rang n. <proof/>Soit a∈M il exite alors une carte (U,ϕ) en a d'après la remarque précédente φ=(ϕ⁻¹×Id_{ℝⁿ})∘T(ϕ):p⁻¹(U)=T(U)→U×ℝⁿ est un homéomorphisme.

 

Post Views: 4 846

Leave a Reply

Your email address will not be published. Required fields are marked *