I study the pullback of a map $f$, in special the pullback metric from manifold $\mathcal{Y}$ on a base smooth manifold $\mathcal{X}$. I understand that:
- the push forward operator $f_*: T_x \mathcal{X} \to T_y \mathcal{Y}$ maps every vector $a \in T_x \mathcal{x}$ into at least a vector $b \in T_{f(x)} \mathcal{Y}$ throughout the equality $b = F_* a$ at point $x$.
- The pullback $f^*\xi$ operates on space generated by push forward $f_* T_x \mathcal{X}$, for bundle $\xi$ with its fiber $\xi_x$ and base manifold $E$.
- The section $\Gamma(f^* T \mathcal{X})$ corresponds to every $\mathcal{C}^\infty$-map $s$ defined in an open set $\mathbb{D}_s$ from manifold $\mathcal{X}$ to $E_\xi$ with $s_x \in \xi_{f(p)}$
Given countable coordinate patches $(U, \varphi)$ and $(V, \phi)$ that covers respectively $\mathcal{X}$ and $\mathcal{Y}$ and we have the following embedding $\mathcal{X} \subseteq \mathcal{Y}$, this Wikipedia article provides the following formula in Einstein's notation: $g_{ab} = \partial_a X^\mu \, \partial_b X^\nu g_{\mu\nu}$.
How do they come to this formulation? Even in the pullback metric to coordinate patch, I fail to reproduce the result.