summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2010-05-17 14:54:16 +0200
committerDavid A. Madore <david+git@madore.org>2010-05-17 14:54:16 +0200
commit945a1a847f6f1642b06dc5d92537c77134ca5034 (patch)
tree3e98a100ccaf3ba919a87af506342c49786f1f50
parentd5c2ecced47d0da24ee6ac0e1af47b181913208a (diff)
downloadmdi349-945a1a847f6f1642b06dc5d92537c77134ca5034.tar.gz
mdi349-945a1a847f6f1642b06dc5d92537c77134ca5034.tar.bz2
mdi349-945a1a847f6f1642b06dc5d92537c77134ca5034.zip
Start mentioning open set.
-rw-r--r--notes-mdi349.tex13
1 files changed, 13 insertions, 0 deletions
diff --git a/notes-mdi349.tex b/notes-mdi349.tex
index a28f229..0c78a0f 100644
--- a/notes-mdi349.tex
+++ b/notes-mdi349.tex
@@ -1083,6 +1083,19 @@ x^3$. Ce morphisme n'est pas un isomorphisme car $t$ n'est pas dans
l'image de $f^*$. Ceci, bien que $\mathbb{A}^1(k) \to C(k)$ soit une
bijection au niveau des $k$-points.
+%
+\subsection{Ouverts de Zariski et variétés quasi-affines}
+
+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)\,
+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)$. Si $I$ est
+engendré par les éléments $f_1,\ldots,f_r \in k[t_1,\ldots,t_d]$, on
+peut écrire $U(I) = D(f_1) \cup \cdots \cup D(f_r)$ où $D(f_i) :=
+U(\{f_i\})$ est l'ouvert où $f_i$ ne s'annule pas.
+
%
%