Serge Lang's *Differential and Riemannian Manifolds* is a no doubt the best available reference for the theory of not-necessarily-finite-dimensional differential manifolds, but unfortunately it suffers the defect of containing no exercises and few examples. This makes it difficult to learn the subject from this book, especially if one is say a graduate student who is also still in the process of learning functional analysis.


One place where an example would really have been helpful is in the context of the definition of vector bundle (pp. 40-41), which involves three axioms that Lang labels VB1 - VB3. The third one, VB3, states that, in coordinate overlaps, the mapping of points of the base space into the automorphisms of the fibers induced by coordinate changes should be a morphism. As Lang notes, this axiom is redundant in the finite-dimensional case because of the following result (p.42): 


**Proposition 1.1.** Let $\mathbf{E}$, $\mathbf{F}$ be finite-dimensional vector spaces. Let $U$ be open in some Banach space. Let $f: U \times \mathbf{E} \to \mathbf{F}$ be a morphism such that for each $x \in U$, the map $f\_x : \mathbf{E} \to \mathbf{F}$ given by $f\_x(v) = f(x,v)$ is a linear map. Then the map of $U$ into $L(\mathbf{E},\mathbf{F})$ given by $x \mapsto f\_x$ is a morphism.


However, this result is apparently false in the infinite-dimensional case. The problem is that Lang does not provide an example showing this; and nor does he discuss why smoothness of the map from $U$ into $L(\mathbf{E},\mathbf{F})$ (or, in the specific case of interest, from $U\_i \cap U\_j$ into $Laut(\mathbf(E))$ is necessary or convenient for whatever purposes such infinite-dimensional bundles are used for.


So if I may ask: what would be a counterexample to the above proposition in the infinite-dimensional case? Even more to the point, where does one *go looking* for such a counterexample? Can I take $U = \mathbf{F} = \mathbb{R}$, and $\mathbf{E} = \ell\_2$? Can we make even *continuity* fail, i.e. is VB3 necessary even for $C^0$ - manifolds? I know we can't make $f$ *bilinear*, since $L^2(\mathbf{E}, \mathbf{F}; \mathbf{G}) \cong L(\mathbf{E}, L(\mathbf{F},\mathbf{G}))$ -- but this is what makes the question mysterious to me, because my understanding is that "continuity failures" in infinite dimensions arise from non-convergence of sequences (so that you can't just "write everything in a matrix and see that the entries are continuous/smooth"), in which case you ought to be able to exhibit the phenomenon in the simplest case of (bi)linear maps; but the aforementioned isomorphism blocks this. So why does a fundamental difference between finite- and infinite- dimensional spaces suddenly appear when we switch from linear to nonlinear maps? Why doesn't the fact that $f$ is a two-argument morphism provide bounds that would force $x \mapsto f\_x$ to be a morphism as well, just like in the bilinear case?


Also, why can't we just "do without" Lang's VB3 in the case of infinite-dimensional manifolds?



The third axiom in the definition of (infinite-dimensional) vector bundles: why?
I would refer you to the remark B in supplement 3.4A on Manifolds, Tensor Analysis and Applications of Abraham Marsden Ratiu.
It hope it could be useful, and so I quote:



> 
> "The following counterexample is due to A.J. Tromba. Let $h: [0, 1]\times L^2[0, 1]\rightarrow L^2[0, 1]$ be given by $h(x,\phi)=(h'(x))(\phi) =\int\_0^1{\sin(\frac{2\pi}{x})\phi(t)} dt$, if $x\neq 0$, and $h(0,\phi)=0$.
>  Continuity at each $x\neq 0$ is obvious and at $x = 0$ it follows by the Riemann-Lebesgue lemma (the Fourier coefficients of a uniformly bounded sequence in $L^2$ relative to an orthonormal set converge to zero).
>  Thus $h$ is $C^0$. However, since $h(x, \sin(\frac{2\pi t}{x}))=\frac{1}{2}-\frac{x}{4\pi}\sin(\frac{4\pi}{x})$, we have $h(\frac{1}{n},\sin(2\pi nt))=\frac{1}{2}$ and therefore its $L^2$-norm is $\frac{1}{\sqrt 2}$; this says that $\|h'(\frac{1}{n})\|\geq \frac{1}{\sqrt 2}$ and thus $h'$ is not continuous."
> 
> 
> 


