diff options
author | David A. Madore <david+git@madore.org> | 2011-05-11 17:32:36 +0200 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2011-05-11 17:32:36 +0200 |
commit | 86508e73001025180a241611a2705e0f2205c936 (patch) | |
tree | 53f193e0ef904c66f335889c938c474ac3d7fd57 /notes-geoalg-2010.tex | |
parent | b9e57b5495069560e0843cf18f8822b7c056a426 (diff) | |
parent | 22669d81e3429dbdf26cb0cef453572cf76e4b35 (diff) | |
download | mdi349-86508e73001025180a241611a2705e0f2205c936.tar.gz mdi349-86508e73001025180a241611a2705e0f2205c936.tar.bz2 mdi349-86508e73001025180a241611a2705e0f2205c936.zip |
Merge branch 'master' of git.madore.org:teach/mdi349
Diffstat (limited to 'notes-geoalg-2010.tex')
-rw-r--r-- | notes-geoalg-2010.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/notes-geoalg-2010.tex b/notes-geoalg-2010.tex index 865b8cf..a43ea85 100644 --- a/notes-geoalg-2010.tex +++ b/notes-geoalg-2010.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 |