Note on composing diffentials.upload-20110512

1 files changed, 3 insertions, 0 deletions

diff --git a/notes-geoalg-2011.tex b/notes-geoalg-2011.tex
index 7ee5982..aa4cc9c 100644
--- a/notes-geoalg-2011.tex
+++ b/notes-geoalg-2011.tex
@@ -2002,6 +2002,9 @@ $\sum_{j=1}^e \frac{\partial g_i}{\partial u_j} \frac{\partial
 (pour chaque $x$ donné) : on l'appelle \textbf{différentielle} du
 morphisme $h$ au point $x$.
 
+Si $h = h'' \circ h'$, alors on a $dh_x = dh''_{h'(x)} \circ dh'_x$
+comme on s'y attend.
+
 \textbf{Lissité des morphismes.}  On ne définira le concept de
 morphisme lisse entre variétés quasiprojectives $X \to Y$ que lorsque
 $Y$ elle-même est lisse.  Plus exactement, on dit qu'un morphisme $X