I need help solving the following problem:(adsbygoogle = window.adsbygoogle || []).push({});

Let [itex]M,N[/itex] be differentiable manifolds, and [itex]f\in C^\infty(M,N)[/itex]. We say that the fields [itex]X\in \mathfrak{X}(M)[/itex] and [itex]Y \in \mathfrak{X}(N)[/itex] are f-related if and only if [itex]f_{*p}(X(p))=Y_{f(p)}[/itex] for all [itex]p\in M[/itex].

Prove that:

(a) [itex]X[/itex] and [itex]Y[/itex] are f-related if and only if [itex]X(g \circ f)=Y(g) \circ f[/itex], for all [itex]g\in C^\infty(M)[/itex].

(b) If [itex]X_i[/itex] is f-related with [itex]Y_i[/itex], [itex]i=1,2[/itex], then [itex][X_1,X_2][/itex] is f-related with [itex][Y_1,Y_2][/itex].

I know this is silly, but my main problem is that i dont know how the identity [itex]f_{*p}(X(p))=Y_{f(p)}[/itex] looks like. What i mean is the following:

If [itex]X=\sum_{i=1}^m X_i \frac{\partial }{\partial x_i}[/itex], and [itex]Y=\sum_{j=1}^m Y_j \frac{\partial }{\partial y_j}[/itex], then

[tex]f_{*p}(X(p))=f_{*p}(\sum_{i=1}^m X_i(p) \frac{\partial }{\partial x_i})=\sum_{i=1}^m f_{*p}(X_i(p) \frac{\partial }{\partial x_i})[/tex]

so

[tex]f_{*p}(X(p))=\sum_{i=1}^m f_{*p}(X_i(p))\frac{\partial }{\partial x_i}+X_i(p) f_{*p}(\frac{\partial }{\partial x_i})=\sum_{j=1}^m Y_j (f(p))\frac{\partial }{\partial y_j}.[/tex]

Is this correct?

Another question. Does anyone know some good online notes regarding vector bundles?

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Vector Fields and Vector Bundles

Loading...

Similar Threads for Vector Fields Vector | Date |
---|---|

A Pushforward of Smooth Vector Fields | Jan 12, 2018 |

A Can I find a smooth vector field on the patches of a torus? | Oct 9, 2017 |

A Pushing forward a vector field | Oct 4, 2017 |

I Vector field on a manifold | Sep 7, 2017 |

I Lie groups left invariant vector fields | Mar 10, 2017 |

**Physics Forums - The Fusion of Science and Community**