summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2012-06-13 16:48:50 +0200
committerDavid A. Madore <david+git@madore.org>2012-06-13 16:48:50 +0200
commitc7e05d040f6e4234cf6b5416fd21665849aa5668 (patch)
tree3d7cf95f7e845fed1444e62980ee6d1c27828460
parentc3c4abf46d6022aa78c40db1361e263e6962030f (diff)
parente686d3fcf22f26b6c284013bab9064505472c605 (diff)
downloadmdi349-c7e05d040f6e4234cf6b5416fd21665849aa5668.tar.gz
mdi349-c7e05d040f6e4234cf6b5416fd21665849aa5668.tar.bz2
mdi349-c7e05d040f6e4234cf6b5416fd21665849aa5668.zip
Merge branch 'master' of git.madore.org:teach/mdi349upload-20120613
-rw-r--r--notes-geoalg-2012.tex46
1 files changed, 46 insertions, 0 deletions
diff --git a/notes-geoalg-2012.tex b/notes-geoalg-2012.tex
index 34c3675..53d8b12 100644
--- a/notes-geoalg-2012.tex
+++ b/notes-geoalg-2012.tex
@@ -1214,6 +1214,27 @@ Si $X$ est une variété algébrique affine, alors $X$ est connexe si et
seulement si les seuls éléments $e \in \mathcal{O}(X)$ vérifiant $e^2
= e$ (appelés \textbf{idempotents}) sont $0$ et $1$.
\end{prop}
+\begin{proof}
+Si $e^2=e$ avec $e \neq 0,1$, alors $e(1-e) = 0$. On a donc $X = Z(e)
+\cup Z(1-e)$ ; et $Z(e) \cap Z(1-e) = \varnothing$ (car $e,1-e$
+engendrent l'idéal unité, si on veut). Donc $Z(e)$ et $Z(1-e)$ sont
+deux fermés complémentaires l'un de l'autre, donc ils sont aussi
+ouverts. Comme $e$ n'est pas nul, $Z(e)$ n'est pas $X$ tout entier,
+et de même pour $Z(1-e)$ car $e \neq 1$ ; donc $Z(e)$ est un ouvert
+fermé autre que $\varnothing$ et $X$, et $X$ n'est pas connexe.
+
+Réciproquement, supposons que $X'$ soit un ouvert fermé dans $X$ autre
+que $\varnothing$ et $X$, et soit $X''$ son complémentaire, qui
+vérifie les mêmes conditions. On peut écrire $X' = Z(I')$ et $X'' =
+Z(I'')$ avec $I',I''$ deux idéaux radicaux stricts
+de $\mathcal{O}(X)$. Puisque $X' \cap X'' = \varnothing$, on a $I' +
+I'' = (1)$ (où $(1)$ désigne l'idéal unité,
+c'est-à-dire $\mathcal{O}(X)$ tout entier) ; il existe donc $e \in I'$
+tel que $1-e \in I''$. Mais alors $e(1-e) \in I' \cap I''$, or $I'
+\cap I'' = (0)$ car $X' \cup X'' = X$. On a donc $e^2 = e$, et $e
+\neq 1$ car $e$ appartient à un idéal strict, et $e \neq 0$ car $1-e
+\neq 1$.
+\end{proof}
\begin{prop}
Toute variété algébrique affine $X$ est réunion d'un nombre fini de
@@ -1234,6 +1255,31 @@ fermés irréductibles. De plus, il existe une écriture $X =
et une telle écriture est unique (à l'ordre des facteurs près) : les
$X_i$ s'appellent les \textbf{composantes irréductibles} de $X$.
\end{prop}
+\begin{proof}
+Montrons par l'absurde que $X$ est réunion d'un nombre fini de fermés
+irréductibles : comme $X$ n'est pas lui-même irréductible, on peut
+écrire $X = X_1 \cup X'_1$ avec $X_1$, $X'_1$ fermés stricts dans $X$,
+et l'un d'entre eux ne doit pas être irréductible, disons $X_1$, donc
+on peut écrire $X_1 = X_2 \cup X'_2$, et ainsi de suite. On obtient
+ainsi une suite de fermés strictement décroissante pour l'inclusion $X
+\supsetneq X_1 \supsetneq X_2 \supsetneq\cdots$, qui correspond à une
+suite strictement croissante d'idéaux (radicaux) dans
+$\mathcal{O}(X)$, ce qui est impossible car $\mathcal{O}(X)$ est
+noethérien (cf. \ref{finite-type-algebras-are-noetherian}).
+
+On peut donc écrire $X = \bigcup_{i=1}^n X_i$, et quitte à jeter les
+$X_i$ déjà inclus dans un autre $X_j$ (et à répéter le processus si
+nécessaire), on peut supposer $X_i \not\subseteq X_j$ pour $i \neq j$.
+
+Montrons enfin l'unicité. Si $X = \bigcup_{i=1}^n X_i =
+\bigcup_{j=1}^p Y_j$ sont deux telles écritures, on a $X_i =
+\bigcup_{j=1}^p (X_i \cap Y_j)$. Comme $X_i$ est irréductible, l'un
+des $X_i\cap Y_j$ doit être égal à $X_i$, c'est-à-dire $X_i \subseteq
+Y_j$ ; par symétrie de l'argument, ce $Y_j$ est lui-même inclus dans
+un $X_{i'}$, et comme $X_i \subseteq X_{i'}$, la condition sur la
+décomposition donne $i'=i$, donc $Y_j = X_i$ et on a bien montré que
+chaque $X_i$ est un des $Y_j$ et vice versa.
+\end{proof}
\textbf{Exemple :} $Z(xy) \subseteq \mathbb{A}^2$ a pour composantes
irréductibles $Z(x)$ et $Z(y)$. En revanche, il est connexe (=sa