Difference between revisions of "Notes:Differential (manifolds)"
From Maths
(Saving work) |
m (Adding a few things) |
||
| Line 2: | Line 2: | ||
:* {{MM|1=dF_p\left(\frac{\partial}{\partial x^i}\Big\vert_p\right)=dF_p\left(d(\varphi^{-1})_{\hat{p} }\left(\frac{\partial}{\partial x^i}\Big\vert_{\hat{p} }\right)\right) }}{{MM|1==d(\psi^{-1})_{\hat{F}(\hat{p})}\left(d\hat{F}_{\hat{P} }\left(\frac{\partial}{\partial x^i}\Big\vert_{\hat{p} }\right)\right) }}{{MM|1==d(\psi^{-1})_{\hat{F}(\hat{P})}\left(\frac{\partial \hat{F}^j}{\partial x^i}(\hat{p})\frac{\partial}{\partial}{y^j}\Big\vert_{\hat{F}(\hat{p})}\right)}}{{MM|1==\frac{\partial\hat{F}^j}{\partial x^i}(\hat{P})\frac{\partial}{\partial y^j}\Big\vert_{F(p)} }} and this is apparently a matrix! It's very easy to forget what the operations are, what their elements are, so forth. This notes page is a reminder for me. Example taken from page 62 of [[Books:Introduction to Smooth Manifolds - John M. Lee]] | :* {{MM|1=dF_p\left(\frac{\partial}{\partial x^i}\Big\vert_p\right)=dF_p\left(d(\varphi^{-1})_{\hat{p} }\left(\frac{\partial}{\partial x^i}\Big\vert_{\hat{p} }\right)\right) }}{{MM|1==d(\psi^{-1})_{\hat{F}(\hat{p})}\left(d\hat{F}_{\hat{P} }\left(\frac{\partial}{\partial x^i}\Big\vert_{\hat{p} }\right)\right) }}{{MM|1==d(\psi^{-1})_{\hat{F}(\hat{P})}\left(\frac{\partial \hat{F}^j}{\partial x^i}(\hat{p})\frac{\partial}{\partial}{y^j}\Big\vert_{\hat{F}(\hat{p})}\right)}}{{MM|1==\frac{\partial\hat{F}^j}{\partial x^i}(\hat{P})\frac{\partial}{\partial y^j}\Big\vert_{F(p)} }} and this is apparently a matrix! It's very easy to forget what the operations are, what their elements are, so forth. This notes page is a reminder for me. Example taken from page 62 of [[Books:Introduction to Smooth Manifolds - John M. Lee]] | ||
==Definitions== | ==Definitions== | ||
| + | * '''Smoothness of a map ({{AKA}}: {{M|C^\infty}}''' - a map, {{M|f:U\subseteq\mathbb{R}^n\rightarrow V\subseteq\mathbb{R}^m}} is ''smooth'' if it has continuous partial derivatives of all orders. | ||
| + | * '''[[Smooth map]]''' - Given [[smooth manifold|smooth manifolds]], {{M|M}} and {{M|N}} and a [[map]], {{M|F:M\rightarrow N}}. {{M|F}} is a smooth map if: | ||
| + | ** {{M|\forall p\in M\ \exists (U,\varphi)\in\mathcal{A}_M\ \exists(V,\psi)\in\mathcal{A}_N[p\in U\wedge F(p)\in V\wedge F(U)\subseteq V\implies \psi\circ F\circ \varphi^{-1}:\varphi(U)\rightarrow\psi(V)\text{ is smooth}]}}<ref group="Note">Lee uses {{M|\wedge}} (and) where I have written {{M|\implies}}</ref> | ||
* '''[[Derivation]]''' - a map, {{M|\omega:C^\infty(M)\rightarrow\mathbb{R} }} that is [[linear map|linear]] and satisfies the [[Leibniz rule]]: | * '''[[Derivation]]''' - a map, {{M|\omega:C^\infty(M)\rightarrow\mathbb{R} }} that is [[linear map|linear]] and satisfies the [[Leibniz rule]]: | ||
** {{M|1=\forall f,g\in C^\infty(M)[w(fg)=f(a)w(g)+g(a)w(f)]}} (sometimes called the product rule) | ** {{M|1=\forall f,g\in C^\infty(M)[w(fg)=f(a)w(g)+g(a)w(f)]}} (sometimes called the product rule) | ||
| Line 7: | Line 10: | ||
* '''Differential of {{M|F}} at {{M|p}}'''. For [[smooth manifold|smooth manifolds]], {{M|M}} and {{M|N}} and a [[smooth map]], {{M|F:M\rightarrow N}} we define the ''differential of {{M|F}} as {{M|p\in M}}'' as: | * '''Differential of {{M|F}} at {{M|p}}'''. For [[smooth manifold|smooth manifolds]], {{M|M}} and {{M|N}} and a [[smooth map]], {{M|F:M\rightarrow N}} we define the ''differential of {{M|F}} as {{M|p\in M}}'' as: | ||
** {{M|dF_p:T_pM\rightarrow T_{F(p)}M}} given by: {{M|1=dF_p:v\mapsto\left\{:C∞(N)→R:f↦v(f∘F)\right.}} | ** {{M|dF_p:T_pM\rightarrow T_{F(p)}M}} given by: {{M|1=dF_p:v\mapsto\left\{:C∞(N)→R:f↦v(f∘F)\right.}} | ||
| + | ==Notes== | ||
| + | <references group="Note"/> | ||
Revision as of 18:53, 14 May 2016
- Reason for page: I'm encountering expressions like:
- dFp(∂∂xi|p)=dFp(d(φ−1)ˆp(∂∂xi|ˆp))=d(ψ−1)ˆF(ˆp)(dˆFˆP(∂∂xi|ˆp))=d(ψ−1)ˆF(ˆP)(∂ˆFj∂xi(ˆp)∂∂yj|ˆF(ˆp))=∂ˆFj∂xi(ˆP)∂∂yj|F(p) and this is apparently a matrix! It's very easy to forget what the operations are, what their elements are, so forth. This notes page is a reminder for me. Example taken from page 62 of Books:Introduction to Smooth Manifolds - John M. Lee
Definitions
- Smoothness of a map (AKA: C∞ - a map, f:U⊆Rn→V⊆Rm is smooth if it has continuous partial derivatives of all orders.
- Smooth map - Given smooth manifolds, M and N and a map, F:M→N. F is a smooth map if:
- ∀p∈M ∃(U,φ)∈AM ∃(V,ψ)∈AN[p∈U∧F(p)∈V∧F(U)⊆V⟹ψ∘F∘φ−1:φ(U)→ψ(V) is smooth][Note 1]
- Derivation - a map, ω:C∞(M)→R that is linear and satisfies the Leibniz rule:
- ∀f,g∈C∞(M)[w(fg)=f(a)w(g)+g(a)w(f)] (sometimes called the product rule)
- Tangent space to M at p TpM is a vector space called the tangent space to M at p, it's the set of all derivations of C∞(M)
- Differential of F at p. For smooth manifolds, M and N and a smooth map, F:M→N we define the differential of F as p∈M as:
- dFp:TpM→TF(p)M given by: dFp:v↦{:C∞(N)→R:f↦v(f∘F)
Notes
- Jump up ↑ Lee uses ∧ (and) where I have written ⟹
