summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2011-05-12 23:11:28 +0200
committerDavid A. Madore <david+git@madore.org>2011-05-12 23:11:28 +0200
commitec45af47f8ef4725e49a05f38f87033871e5378b (patch)
treeb62cdc0cc9e94cd53f40ad5e28458d38f8aa0817
parent0e5d16171a6b024aaec6747ca59e89b1b2178f5b (diff)
downloadmdi349-ec45af47f8ef4725e49a05f38f87033871e5378b.tar.gz
mdi349-ec45af47f8ef4725e49a05f38f87033871e5378b.tar.bz2
mdi349-ec45af47f8ef4725e49a05f38f87033871e5378b.zip
Note on composing diffentials.upload-20110512
-rw-r--r--notes-geoalg-2011.tex3
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