            the map T_x f is surjective and its kernel splits.
|
| Note.  If X, Y are finite dimensional, then the condition that T_x f splits
| is superfluous.  Every subspace of a finite dimensional vector space splits.
|
| Lang, DARM, pp. 26-27.
|
| Serge Lang,
|'Differential &amp; Riemannian Manifolds',
| Springer-Verlag, New York, NY, 1995.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

</PRE>

<!--X-Body-of-Message-End-->
<!--X-MsgBody-End-->
<!--X-Follow-Ups-->
<hr>
<ul><li><strong>Follow-Ups<