In an article by Lubich, I came across a decomposition for points on the straight line between two points lying in an embedded submanifold $M$ of $R^{n}$.


To be precise, it is proposed that for $X$, $\tilde X \in M$ and $\tau$ small enough, any point $X + \tau(\tilde X -X)$ may be decomposed into $$ X + \tau(\tilde X -X) = Y(\tau) + Z(\tau)$$ with $Y \in M$ and $Z \bot T\_XM$, the tangent space at $X$. 


To me, this looks like an application of some implicit function theorem or something, but as I am no expert in manifold theory, I just cannot get my head around it. Is there anyone who can help?



Decomposition of straight line between points on a manifold
In fact, any point $\tilde x$ near $x\in M$ can be decomposed like that. You can see this as follows: Locally $M\subset \mathbb{R}^n$ can be given as a graph: w.l.o.g. $x=0$ and there is a small ball $U$ around $x$ and a function $f\colon U\cap V\to W$ where $V\oplus W=\mathbb{R}^n$ is an decomposition into orthogonal linear subspaces such that $M\cap U=graph(f).$ Then $V=T\_xM$ and with $\pi^V,\pi^W$ the orthogonal projections you obtain 
$$\tilde x=\pi^V(\tilde x)\oplus f(\pi^V(\tilde x))+0\oplus(\pi^W(\tilde x)-f(\pi^V(\tilde x)))$$
as desiered.


