diff options
author | David A. Madore <david+git@madore.org> | 2011-05-11 17:30:46 +0200 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2011-05-11 17:30:46 +0200 |
commit | bdd9dee87d7e8faf75c6afe55c0e9d4f5ac9d0ee (patch) | |
tree | b859becc4722dfb9d5bb0629a228bb63af9f9a31 | |
parent | ea7273874c5c8c1072b61f55f2922053870753c2 (diff) | |
download | mdi349-bdd9dee87d7e8faf75c6afe55c0e9d4f5ac9d0ee.tar.gz mdi349-bdd9dee87d7e8faf75c6afe55c0e9d4f5ac9d0ee.tar.bz2 mdi349-bdd9dee87d7e8faf75c6afe55c0e9d4f5ac9d0ee.zip |
Corrections noted during course on 2011-05-10 (backported to 2010 handout).
-rw-r--r-- | notes-geoalg.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/notes-geoalg.tex b/notes-geoalg.tex index 865b8cf..a43ea85 100644 --- a/notes-geoalg.tex +++ b/notes-geoalg.tex @@ -1382,12 +1382,12 @@ comme un vecteur tangent à $X$.) On appelle \textbf{ouvert de Zariski} dans $k^d$ (toujours avec $k$ un corps algébriquement clos) le complémentaire d'un fermé de Zariski. Autrement dit, si $I$ est un idéal de $k[t_1,\ldots,t_d]$, on définit -$U(I) = \{(x_1,\ldots,x_d) \in k^d :\penalty0 (\forall f\in I)\, +$U(I) = \{(x_1,\ldots,x_d) \in k^d :\penalty0 (\exists f\in I)\, f(x_1,\ldots,x_d) \neq 0\}$ le complémentaire de $Z(I)$ : un ouvert de Zariski de $k^d$ est un ensemble de la forme $U(I)$. Plus généralement, si $X$ est une variété algébrique affine, si $I$ est un idéal de $\mathcal{O}(X)$, on définit $U(I) = \{(x_1,\ldots,x_d) \in X -:\penalty0 (\forall f\in I)\, f(x_1,\ldots,x_d) \neq 0\}$ le +:\penalty0 (\exists f\in I)\, f(x_1,\ldots,x_d) \neq 0\}$ le complémentaire de $Z(I)$ : on appelle ces ensembles ouverts de Zariski de $X$. (Pour l'instant, on les voit comme des ensembles de $k$-points, on verra plus loin comment définir leurs $A$-points, leurs |