summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2011-05-11 15:32:36 (GMT)
committerDavid A. Madore <david+git@madore.org>2011-05-11 15:32:36 (GMT)
commit86508e73001025180a241611a2705e0f2205c936 (patch)
tree53f193e0ef904c66f335889c938c474ac3d7fd57
parentb9e57b5495069560e0843cf18f8822b7c056a426 (diff)
parent22669d81e3429dbdf26cb0cef453572cf76e4b35 (diff)
downloadmdi349-86508e73001025180a241611a2705e0f2205c936.zip
mdi349-86508e73001025180a241611a2705e0f2205c936.tar.gz
mdi349-86508e73001025180a241611a2705e0f2205c936.tar.bz2
Merge branch 'master' of git.madore.org:teach/mdi349
-rw-r--r--notes-geoalg-2010.tex4
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