diff options
| author | David A. Madore <david+git@madore.org> | 2011-05-12 23:11:28 +0200 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2011-05-12 23:11:28 +0200 |
| commit | ec45af47f8ef4725e49a05f38f87033871e5378b (patch) | |
| tree | b62cdc0cc9e94cd53f40ad5e28458d38f8aa0817 | |
| parent | 0e5d16171a6b024aaec6747ca59e89b1b2178f5b (diff) | |
| download | mdi349-ec45af47f8ef4725e49a05f38f87033871e5378b.tar.gz mdi349-ec45af47f8ef4725e49a05f38f87033871e5378b.tar.bz2 mdi349-ec45af47f8ef4725e49a05f38f87033871e5378b.zip | |
Note on composing diffentials.upload-20110512
| -rw-r--r-- | notes-geoalg-2011.tex | 3 |
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 |