代数多様体
本節の内容については射影代数多様体も参照。
アフィン代数多様体でない代数多様体の最も初歩的で重要な例が射影空間 P k n {\displaystyle \mathbb {P} _{k}^{n}} である(射影空間の多様体の構造を参照)。射影空間には、アフィン空間の場合と同様に射影代数的集合を閉集合とする位相が入り、「概説」の節で定義された射影代数多様体にはここから誘導される位相を入れる(ザリスキー位相)。 P k n {\displaystyle \mathbb {P} _{k}^{n}} の斉次座標 [x0 : x1 : ... : xn] に関して、斉次多項式系 F = (Fi | i = 0, ..., r) で定義された射影代数多様体 Vh(F) を A k n {\displaystyle \mathbb {A} _{k}^{n}} と同一視できるアフィン開集合 Uj : xj ≠ 0 へ制限したものは、 A k n {\displaystyle \mathbb {A} _{k}^{n}} で fi(y1, ..., yn) = Fi(y1, ..., 1, ..., yn)(j 番目の変数には 1 を代入)で与えられる方程式系で定義されるアフィン代数多様体と同一視できる。