- #1
plasticfloor
- 1
- 0
Hey,
here is the formal question.
M is a riemannian sub-manifold in N. a,b are vector fields such that for each p[tex]\in[/tex]M, ap,bp [tex]\in[/tex] TpM [tex]\subset[/tex] TpN
prove
[tex]\nabla[/tex]Mba = pr([tex]\nabla[/tex]Nba)
where pr is the projection funtion pr:TpN[tex]\rightarrow[/tex]TpM
and [tex]\nabla[/tex]N and [tex]\nabla[/tex]M are the covariant derivative operators (by riemannian connection) in N and M respectively.
I don't really understand why is this not immediate from definitions. the covariant derivative is taking a regular derivative and then projecting onto the tangent bundle. in a manifold the tangent bundle is just the manifold itself so the regular derivate is already the covariant derivative because the projection part is just identity. thus when I will project this vector on TpM ofcourse I wil get the covariant derivative on M because it's the projection onto Tp[\SUB]M of the regular derivative of vector fields on M.
is what I'm asked to prove actually just that the covariant derivative equal to the regular derivative when the vector fields in question belong to a sub manifold?
here is the formal question.
M is a riemannian sub-manifold in N. a,b are vector fields such that for each p[tex]\in[/tex]M, ap,bp [tex]\in[/tex] TpM [tex]\subset[/tex] TpN
prove
[tex]\nabla[/tex]Mba = pr([tex]\nabla[/tex]Nba)
where pr is the projection funtion pr:TpN[tex]\rightarrow[/tex]TpM
and [tex]\nabla[/tex]N and [tex]\nabla[/tex]M are the covariant derivative operators (by riemannian connection) in N and M respectively.
I don't really understand why is this not immediate from definitions. the covariant derivative is taking a regular derivative and then projecting onto the tangent bundle. in a manifold the tangent bundle is just the manifold itself so the regular derivate is already the covariant derivative because the projection part is just identity. thus when I will project this vector on TpM ofcourse I wil get the covariant derivative on M because it's the projection onto Tp[\SUB]M of the regular derivative of vector fields on M.
is what I'm asked to prove actually just that the covariant derivative equal to the regular derivative when the vector fields in question belong to a sub manifold?
Last edited: