[Math] Derivative of Projection on Manifolds

differential-geometrydifferential-topology

Let $f : X×Y\to X $ be a Projection map where X and Y are manifolds. Now , I need to show that the derivative on tangent spaces $$Df(x,y): T_x(X)×T_y(Y)\to T_x(X) $$will also be the analogous Projection.

I am not sure how to start, as I am new to the subject.

As suggested in the comments, this I think is the required isomorphism
$D\phi_0×D\psi_0 \to (D\phi_0,D\psi_0)$, where$ \phi,\psi $are local parametrizations of X & Y

Kindly help !

Thanks & regards

Best Answer

Always start with what you know:

  1. As $X$ and $Y$ are manifolds, they are equipped with local coordinates $x_i$, $y_i$
  2. As a product manifold, $X\times Y$ has a local coordinate system that looks like $(x_i, y_i)$
  3. The projection map $f(x,y) = x$

So now, the exercise becomes: write down the differential of the projection in the $(x_i,y_i)$ coordinate system. Can you take it from here?