Sí, esto es cierto. Deje $p :TM\vert_N \to TN$ ser la proyección ortogonal. Por la singularidad de la de Levi-Civita de la conexión, es suficiente para demostrar que la conexión de $\nabla^N$ $N$ definido por $\nabla^N_X Y = p(\nabla^M_X Y)$ donde $X$ $Y$ son campos vectoriales en $N$ (técnicamente a tomar $\nabla^M_X Y$ necesitamos $Y$ a ser un campo de vectores en $M$ pero $\nabla^M_X Y$ sólo depende de $Y$ a lo largo de $X$ , por lo que podemos extender a $M$ de todos modos queremos y este va a ser bien definido) es compatible con la métrica y torsionfree. Para la compatibilidad con la métrica, vamos a $X, Y, Z$ campos vectoriales en $N$ $\tilde X, \tilde Y, \tilde Z$ denotando extensiones de a $M$. A continuación, en $N$ hemos
$$
X \langle Y, Z\rangle = \tilde X \langle \tilde Y ,\tilde Z\rangle = \langle \nabla^M_{\tilde X} \tilde Y, \tilde Z\rangle + \langle \tilde Y, \nabla^M_{\tilde X} \tilde Z\rangle = \langle
\nabla_{\tilde X}^M \tilde Y, Z\rangle + \langle Y, \nabla_{\tilde X}^M \tilde Z\rangle$$
$$
= \langle
p(\nabla_{\tilde X}^M \tilde Y), Z\rangle + \langle Y, p(\nabla_{\tilde X}^M \tilde Z)\rangle = \langle \nabla^N_{X} de {Y, Z \rangle + \langle Y, \nabla_X^N Z\rangle.$$
Torsionfree viene del hecho de que $p([\tilde X, \tilde Y]) = [X,Y]$ (lo que puede comprobarse fácilmente en el local de la rebanada de coordenadas).