summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--notes-geoalg.tex9
1 files changed, 9 insertions, 0 deletions
diff --git a/notes-geoalg.tex b/notes-geoalg.tex
index a41fd66..62bbbd4 100644
--- a/notes-geoalg.tex
+++ b/notes-geoalg.tex
@@ -2534,6 +2534,15 @@ puisque $(x_0,x_1,x_2,x_3)$ engendrent un idéal irrelevant. De
nouveau, on peut vérifier que la composée dans les deux sens est
l'identité.
+\medbreak
+
+\begin{thm}
+Tout morphisme d'une variété projective connexe vers une variété
+affine est constant. (En particulier, toute fonction régulière sur
+une variété projective, c'est-à-dire morphisme vers $\mathbb{A}^1$,
+est constant sur chaque composante connexe.)
+\end{thm}
+
%
\subsection{Le polynôme de Hilbert-Samuel}