Let's define a smooth family of vector spaces to be the following data $(E,M,p,a,s,z)$, where

(1) $p:E\to M$ is a smooth submersion of smooth manifolds

(2) There is some fixed integer $n\ge 0$ such that the fibre $E_m = p^{-1}(m)$ has the structure of an $n$-dimensional vector space over $\mathbb R$ for each point $m\in M$. [The smooth structure of $E_m$ as a vector space coincides with its smooth structure as a submanifold of $E$.]

(3) For this fibrewise vector space structure, the addition map $a:E\times_ME\to M$ is smooth, the scaling map $s:\mathbb R\times E\to E$ is smooth and the zero section $z:M\to E$ is a smooth embedding.

Then, is $p:E\to M$ a locally trivial vector bundle (with $a,s,z$ being its addition, scaling and zero section maps)?

Just by virtue of $p:E\to M$ being a smooth submersion, we have a locally trivial vector bundle $T_{E/M}$ on $E$ (the "vertical tangent bundle" of $p$), and we can pull it back to $M$ to get a locally trivial vector bundle $z^*T_{E/M}$.

Now, define a map $\phi:E\to z^*T_{E/M}$ given by $e\mapsto\frac{\partial}{\partial t}|_{t=0}s(t,e)$. This is a smooth map (since $s,z$ are smooth) that commutes with the projections to $M$ and is a (fibrewise linear) bijection.

Finally, if we look at the map $\phi$ along the image $z(M)$ of the zero section, it quite clearly has full rank. Thus, it has full rank on a neighborhood of $z(M)\subset E$. But now, since $\phi$ commutes with scaling, it follows that $\phi$ has full rank on all of $E$ and thus, it is a diffeomorphism by the inverse function theorem. Thus, $E$ being isomorphic (as a smooth family of vector spaces) to $z^*T_{E/M}$ means it is locally trivial.

**My question is: Is there any (possibly subtle) mistake in this proof (and if so, is local triviality true nevertheless)?**

Curiously, this argument does not seem to need even the smoothness of $a$ (it follows as a consequence of the isomorphism $\phi$, which itself depends only on the smoothness of $s$ and $z$). Also, the same argument seems to work if we replace all the objects involved by complex manifolds, holomorphic maps and complex vector spaces. The bracketed assumption in (2) seems to be used when we show that $\phi$ is a fibrewise linear bijection and that it has full rank along the zero section. I think it can be removed and that the proof should still go through - is this true?

If you think the answer to the first question is NO, then I'd still like to hear about it in the comments. My actual motivation is to apply this in the setting of infinite dimensional Banach manifolds, and an answer to the second question covering this case would also be appreciated.