Studying analysis on manifolds, I have found, in the proof of the existence of tubular neighborhoods, a reference to theorem 3.1.2 in "Topologie algebrique et theorie des faisceaux" of Godement.
Without going through the machinery of the sheaves, at least now, is it possible to bypass the Godement's result? 
And, if yes, what is an accessible (not sheaf-theoretic) route?


This is the initial setting:
$J:N\rightarrow M$ is a smooth embedding.
$\pi:E\rightarrow N$ is a vector bundle, and $s\_0:N\rightarrow E$ is the zero section of $\pi$.
$\psi:U\rightarrow M$ is a smooth map from a neighborhood $U$ of $s\_0(N)$ in $E.$
$\psi$ is a local diffeomorphism in each point of $s\_0(N),$ and $\psi\circ s\_0=j$.


At this point there is a reference to the argument of Godement in order to prove that:
(\*)There exists a neighborhood $V$ of $s\_0(N)$ in $U$ such that $\psi|\_V$ is a diffeomorphism.


What is the argument (differential geometric, not sheaf-theoretic) in order to conclude (\*)?


*Added by Mariano:* I now have a copy in my hands. Theorem 3.1.2 reads (my translation):



> 
> Let $$0\to\mathscr L'\to \mathscr L\to\mathscr L''\to0$$ be a short exact sequence of sheaves of abelian groups. If $\mathscr L'$ is *flasque*, then for all open sets $U$ there is a short exact sequence $$0\to\mathscr L'(U)\to \mathscr L(U)\to\mathscr L''(U)\to0$$
> 
> 
> 


He remarks that we therefore have a short exact sequence of *pre-sheaves*.



On a proof of the existence of tubular neighborhoods.
In the finite-dimensional setting, it's possible to construct tubular neighborhoods without anything like Godement's lemma. Many sources simply rely on a point-set topology argument that's based on the same idea as Godement's lemma (to be precise, I'm talking about the argument on p. 109 of Lang's book Differential and Riemannian Manifolds, which he says follows Godement). I'll explain another approach. 


The idea is to use a Riemannian metric on the manifold $M$, which also induces a Riemannian metric on $TM$ (viewed as a manifold in its own right). The geodesic distance then gives a (topological) metric on $TM$. If $Y\subset M$ is a (not necessarily closed) submanifold, then a simple metric geometry argument can then be used to find a neighborhood of the zero section of $N(Y)$ (thought of as the perpendicular complement of $TY$ inside $TM$) on which the exponential map is injective. The key fact about the exponential map $f$ is that every point in the zero section of $N(Y)$ has a neighborhood on which $f$ is a diffeomorphism onto an open subset of $M$. (Edit: Note that in the finite dimensional setting, $N(Y)$ is automatically a locally trivial vector bundle. This does not seem to be the case for arbitrary infinite dimensional Riemannian manifolds, as discussed here: [Orthogonal complements in Hilbert bundles](https://mathoverflow.net/questions/17549/orthogonal-complements-in-hilbert-bundles). Hence the discussion that follows does not work in as great generality as arguments based on Godement's lemma.)


The general metric geometry fact is this: 



> 
> Consider a metric space $T$ and subspaces $X, Y$, and $D$ such that $Y \subset X$ and $Y\subset D$. (Think: $T = TM$, $X$ is the zero section of $TM$, $Y$ is a submanifold of $M$, and $D$ is the domain of the exponential map, lying inside $NY$.) Let $f: D\to X$ be a continuous map that restricts to the identity on $Y$ (think: $f$ is the exponential map). Assume further that for each $y\in Y$ there exists $\epsilon\_y >0$ such that $f$ restricted to $B\_{\epsilon (y)} (y, D) = \{z\in D \,:\, d(z,y) < \epsilon(y)\}$ is a homeomorphism onto an open subset of $X$. Then there exists a subspace $D'$, open in $D$, on which $f$ is injective. 
> 
> 
> 


Proof. For each $y\in Y$, $f(B\_{\epsilon (y)/2} (y, D))$ is open in $X$, hence contains $B\_{\epsilon'(y)} (y, X)$, for some $\epsilon'\_y < \epsilon\_y/4$ (remember that $f(y) = y$). Now consider the inverse image $Z\_y$ of $B\_{\epsilon'\_y} (y, X)$ under the restriction of $f$ to 
$B\_{\epsilon (y)/2} (y, D)$. Since $f$ is a homeomorphism when restricted to this ball, $Z\_y$ is open as a subset of $D$. Now I claim that $f$ is injective on $D' = \bigcup\_{y\in Y} Z\_y$. Say $f(z\_1) = f(z\_2) = y\_0$ with $z\_1 \in Z\_{y\_1}$ and $z\_2\in Z\_{y\_2}$, and assume $\epsilon\_{y\_1} \geq \epsilon\_{y\_2}$. Then we have
$$d(z\_2, y\_1) \leq d(z\_2, y\_2) + d(y\_2, y\_0) + d(y\_0, y\_1) < \epsilon\_{y\_2}/2 + \epsilon'\_{y\_2} + \epsilon'\_{y\_1} $$
$$< \epsilon\_{y\_1}/2 + \epsilon\_{y\_2}/4 + \epsilon\_{y\_1}/4 \leq \epsilon\_{y\_1}$$ 
(for the second inequality, note that by definition, $y\_0 = f(z\_i) \in f(Z\_{y\_i}) \subset B\_{\epsilon'\_{y\_i}} (y\_i, X)$ for $i=1, 2$).
So $z\_2$ and $z\_1$ both lie in $B\_{\epsilon\_{y\_1}} (y\_1, D)$, and since $f$ is injective on this ball we have $z\_1 = z\_2$.


This argument is useful for the construction of equivariant tubular neighborhoods in certain infinite-dimensional settings. See <http://arxiv.org/abs/1006.0063>; I just updated it so I guess the new version will show up tomorrow. The equivariant version of the above argument is in Proposition 2.3 or 2.4, depending on the version. 


