射影空間
射影空間（しゃえいくうかん、projective space） とは、その次元が n であるとき、(n + 1)個の「数」の比全体からなる空間の事をさす。比を構成する「数」をどんな体（あるいは環）にとるかによって様々な空間が得られる。非ユークリッド幾何学のひとつである射影幾何学がその概念の端緒であるが、射影空間は位相幾何学、微分幾何学、代数幾何学など幾何学のあらゆる分野にわたって非常に重要な概念である。
定義
K を体とする。K 上の n 次元の射影空間 KPₙ は集合としては、(n + 1)個の K の要素の比 [x₀ : x₁ : ... : xₙ] の全体として定義される。すなわち、ベクトル空間 V = Kⁿ⁺¹ の 0 でないベクトルに対して、同値関係 (a₀, a₁, ...,  aₙ) ∼ (b₀, b₁, ...,  bₙ) を、0 でない K の元 t が存在して任意の i = 0, 1, ..., n に対して bᵢ = t aᵢ であることとして定義するとき、
である。K が実数体 R や複素数体 C など位相体であるとき、その積位相から定まる Kⁿ⁺¹ \ {0} の位相の商位相でもってKPₙは自然に位相空間になる。ベクトル空間 Kⁿ⁺¹ の座標をひとつ定めると、射影空間の点を比として表す表し方 [x₀ : x₁ : ... : xₙ] がひとつ定まる。これを射影空間の斉次座標（あるいは同次座標; homogeneous coordinate）と呼ぶ。
多様体の構造
ある斉次座標 [x₀ : x₁ : ... : xₙ] に対して、x₀ ≠ 0 となる射影空間 KPₙ の点全体 U₀ は、斉次座標の最初の成分を x₀ で割って [1 : x₁ / x₀ : ... : xₙ / x₀] とただ一通りに書けるので、U₀ は、アフィン空間 Kⁿ と自然な全単射がある。同様に xᵢ ≠ 0 となる点全体 Uᵢ も同様にしてアフィン空間との間の全単射 φᵢ: Kⁿ → Uᵢ がある。K が位相体であるときは全単射 φᵢ は位相同型となり、U₀, ..., Uₙ は KPₙ の開被覆となる。φⱼ⁻¹ ◦ φᵢ が
で与えられる（1/aⱼ は第 i 成分）ことから、この開被覆は RPₙ に多様体の構造（実射影空間）を、CPₙ に複素多様体の構造（複素射影空間）を与える。変換関数が有理関数で与えられる事から、任意の体 K に対しても、ザリスキ位相を考える事によって KPₙ は代数多様体となる。
射影空間の概念は純粋に代数的であり非常に標準的であるため、適切な枠組みを用いる事によって、その性質は体 K の取り方によらず共通しているものが多い。以下の記述は特に断らない限り、スキーム論の枠組みを用いる事で任意の体上の代数多様体としての射影空間に対して成り立つが、代数幾何学以外で重要な場合は体 K が実数体 R または複素数体 C の場合であるので、実射影空間および複素射影空間の場合に則した記述を行う。
コンパクト性
体 K が実数体 R または複素数体 C であるとき、これらの位相から定まる位相（ユークリッド位相・古典位相）に関して、射影空間 KPₙ はコンパクトなハウスドルフ空間である。K = R のときは、射影空間の定義によって、性質のよい自然な写像 Sⁿ → RPₙ があるので、RPₙ のコンパクト性およびハウスドルフ性は n 次元球面 Sⁿ のそれから従う。
K = C の時も同様に S¹ ファイバー束 S²ⁿ⁺¹ → CPₙ （ホップ束; Hopf bundle と呼ばれる）があることから従う。
一般の体 K に関しては射影空間にはザリスキ位相をいれて考えるが、この位相について KPₙ は基礎体 K 上固有 (proper) になる。代数多様体の固有性はユークリッド位相に関するコンパクト・ハウスドルフ性の概念の対応物である。
モジュライ空間としての射影空間
射影空間 KPₙ の点 p = [a₀ : a₁ : ... : aₙ] は、アフィン空間 Kⁿ⁺¹ 内で、原点と点 (a₀, a₁, ..., aₙ) を結ぶ直線 lₚ と1対1に対応している。従って、射影空間は Kⁿ⁺¹ 内の原点を通る直線（あるいは1次元の部分ベクトル空間）をパラメータ付けする空間（モジュライ空間）と見なせる。このモジュライ論的観点からは、射影空間はグラスマン多様体や旗多様体の特別な場合と見なせる。
積空間 Kⁿ⁺¹ × KPₙ の閉部分空間  を結合関係 (incidence correspondence) 
で定めると、第2射影から誘導される射  → KPₙ によって  は直線束になる。この直線束を普遍直線束 (universal line bundle) と呼ぶ。
射影変換群
一般線形群 GL(n + 1, K) はベクトル空間 V = Kⁿ⁺¹ に原点を固定して作用し、原点を通る直線を原点を通る直線に写すので、射影空間 KPₙ には GL(n + 1, K) が作用する。単位行列の定数倍は射影空間に自明に作用するので、この作用は剰余群 PGL(n, K) = GL(n + 1, K)/K× を経由する。群 PGL(n, K) をKPₙ の射影変換群 (projective linear transformaton group) と言う。射影変換群は、代数多様体としての（あるいは K = C のときは、複素多様体としての）KPₙ の自己同型群にほかならない。
GL(n + 1, K) の KPₙ への作用の1点の等方部分群 (stabilizer) は
 ただし 
の形の行列からなる部分群 H であり、空間 KPₙ は、剰余類  GL(n + 1, K)/H と同型である。すなわち、KPₙ は等質空間である。等質空間としての記述の点でも、射影空間はグラスマン多様体や旗多様体のもっとも簡単な場合に当たる。
超平面と双対射影空間
射影空間 KPₙ の斉次座標 [x₀ : x₁ : ... : xₙ] に対して、方程式
a₀x₀ + a₁x₁ + ... + aₙxₙ = 0
はその解となる点の定数倍も解となるため、KPₙ の閉集合を定める。(a₀, a₁, ...,  aₙ) が 0-ベクトルでなければこれは真の閉集合である。これを射影空間の超平面という。KPₙ の超平面は KPₙ−1 と同型（あるいは同相）である。
上述の一次方程式は、係数 (a₀, a₁, ...,  aₙ) を定数倍しても解集合は不変である。従って、KPₙ の超平面は比 [a₀ : a₁ : ... : aₙ] と1対1に対応している。KPₙ の超平面全体をパラメータ付けする空間はこの対応で KPₙ と同一視できる。これを双対射影空間 (dual projective space) という。
同様の理由で、射影空間 KPₙ の点 p = [a₀ : a₁ : ... : aₙ] に方程式 a₀y₀ + a₁y₁ + aₙyₙ = 0 で定まる Kⁿ⁺¹ の n 次元部分ベクトル空間 Vₚを対応させる対応は1対1の対応である。KPₙ の自明なベクトル束 'Kⁿ⁺¹ × KPₙ の部分ベクトル束  を
で定め、 を商束 Kⁿ⁺¹ × KPₙ/ とすると、 は普遍直線束  の双対直線束と同型になる。これを超平面直線束 (hyperplane line bundle) と呼ぶ。
斉次座標環とスキーム論的定義
本節ではまず、複素射影空間 CPₙ について考える。自明束 Cⁿ⁺¹ × CPₙ の正則切断は c₀e₀ + ... + cₙeₙ 、ただし cᵢ は定数、eᵢ は i 番目の標準基底に値を取る定数切断、と書ける。これが誘導する超平面直線束  の正則切断を σ で表すことにすると、CPₙ の点 p = [a₀ : a₁ : ... : aₙ] が σ(p) = 0 を満たすことは、点 (c₀, ..., cₙ) が平面 Vₚ に含まれている、すなわち a₀c₀ + ... + aₙcₙ = 0 を満たすことを意味しているので、方程式 σ = 0  は、斉次一次式 c₀x₀ + ... + cₙxₙ = 0 にほかならない。したがって、超平面直線束  の正則切断全体の空間  には斉次一次式の空間（すなわち、V = Cⁿ⁺¹ の双対空間）V^ からの単射がある。一方、 の任意の正則切断で定まる因子は超平面と線形同値になることからこの写像は全射でもある、すなわち、 がわかる。
 を  の n 階のテンソル積  として定めると、同様の議論でが証明できる。射影空間 CPₙ の斉次座標環 (homogeneous coordinate ring) を
で定義すると、以上の議論から R は V^ の対称代数、すなわち、(n + 1)-変数の多項式環になることがわかる。
スキーム論では、以上の議論の逆をたどって一般の環（より一般には、任意のスキーム）上の射影空間を定義する。A を任意の可換環として、
R を A 上の (n + 1) 変数の多項式環 A[x₀ , ... , xₙ] とする。R を A 上の次数環とみて、Proj(R) を R の無縁イデアル（定数項を持たない多項式全体のなすイデアル）を含まない斉次素イデアル全体の集合とすると、これは自然に A 上のスキームになり、これを A 上の射影空間と呼び、スキーム論では通常  で表す。環 A が体 K であるときは  の K 値点全体は、ザリスキ位相を入れた上記 KPₙ と一致し、R の次数づけをずらした環 R(n) に対応する可逆層が上に現れた  と一致する。
フビニ・スタディ計量
この節では体 K は複素数体 C であるとする。Cⁿ⁺¹ \ {0} 上の (1,1)-型式
は C× の作用で不変であるので、CPₙ 上の (1,1)-型式 ω を誘導する。点 [1 : 0 : ... : 0] のまわりの局所座標 [1 : w₁ : ... : wₙ] でこれを展開して wᵢ = 0 を代入すると
となるので、ω に対応するエルミート型式 h はこの点で正値である、すなわちエルミート計量である。しかし ω、従ってそれに付随するエルミート型式はユニタリ群 U(n + 1) のCⁿ⁺¹ \ {0}への、従ってCPₙ への推移的な作用で不変であることから、h は CPₙ 上のエルミート計量を定める。更に ω は定義から明らかに閉型式であるので、h はケーラー計量 (Kähler metric)  である。この CPₙ 上の計量を フビニ・スタディ計量 (Fubini-Study metric) と呼ぶ。また、上の記述から射影空間 CPₙ はフビニ・スタディ計量に関して正則断面曲率が正の定曲率を持つ多様体である事がわかる。
射影空間の位相
射影空間 KPₙ はアフィン空間 U₀: x₀ ≠ 0 と超平面 H: x₀ = 0 の交わりのない和に書かれる。U は Kⁿ と同一視され、H はひとつ次元の低い射影空間 KPₙ−1 と同一視されるので、この分解を帰納的に繰り返す事で
なる非交和分解を得る。K が R（もしくは C）の場合は、Kⁿ は n 次元開球体 Dᵒₙ（もしくは 2n 次元開球体 Dᵒ₂ₙ）と同相であるのでこれはCW複体への分割
を与える。この胞体分割に付随するホモロジー複体を用いてホモロジー群が計算できる。K = C の場合には、奇数次の胞体が存在しない事から直ちに
がわかる。実射影空間に関しては、Sⁿから RPₙ への二重被覆を用いて貼り合わせ写像の重複度を計算するとこの胞体分割に付随するホモロジー複体は、Cᵢ = Z (i = 0, 1, ..., n) とおくとき
で与えられるので、整数係数のホモロジー群は
となる。係数を Z₂ = Z/2Z に取り換えると、複素射影空間の場合と類似性の強い
が得られる。
任意のアーベル群 A に対して、A 係数のコホモロジー群もこのホモロジー複体に HomZ(–, A) を作用させて得られるコホモロジー複体のコホモロジーとして計算できる。特に、全てのコホモロジー群の直和  にカップ積で積構造を入れて得られるコホモロジー環の構造は、複素射影空間に対しては
で得られる。実射影空間に対しても Z₂ 係数で考えれば類似の
が得られる。ここで、h は超平面のコホモロジー類である。
複素射影空間の場合、2k 番目のコホモロジー群 は k 個の超平面の正しい交わり（それは CPₙ−ₖ と同一視できる）で生成されているので、複素射影空間のコホモロジー環の構造は CPₙ の部分多様体の交わりの次数が次数の積になることをも意味している。これは、ベズーの定理の高次元化である。また、CPₙ はケーラー多様体であるので、ホッヂ分解が成り立つが、次元の理由によりそのホッヂ数は
で与えられる。
部分多様体の交わりと次数に関する理論（交点理論）は射影空間 KPₙ （より正確にはスキーム論的な ）に対してチャウ環 (Chow ring) CH*(KPₙ) を考える事で任意の体 K 上へ一般化される。チャウ環もコホモロジー環と類似の記述
を持っている。