射影空間（しゃえいくうかん、英: projective space） とは、その次元が n であるとき、(n + 1) 個の「数」の比全体からなる空間の事をさす。比を構成する「数」をどんな体（あるいは環）にとるかによって様々な空間が得られる。非ユークリッド幾何学のひとつである射影幾何学がその概念の端緒であるが、射影空間は位相幾何学、微分幾何学、代数幾何学など幾何学のあらゆる分野にわたって非常に重要な概念である。
定義

K を体とする。K 上の n 次元の射影空間 KPn は、(n + 1) 個の K の要素の比 [x0 : x1 : ? : xn] の全体の集合として定義される。すなわち、ベクトル空間 V = Kn+1 の 0 でないベクトルに対して、同値関係 (a0, a1, ..., an) ∼ (b0, b1, ..., bn) を、0 でない K の元 t が存在して任意の i = 0, 1, ..., n に対して bi = tai であることとして定義するとき、

K P n = ( K n + 1 ∖ { 0 } ) / ∼ {\displaystyle KP_{n}={\bigl (}K^{n+1}\setminus \{0\}{\bigr )}/{\sim }}

である。K が実数体 R や複素数体 C など位相体であるとき、その積位相から定まる Kn+1 ? {0} の位相の商位相でもってKPnは自然に位相空間になる。（射影空間は KPn の他にも KPn, Pn(K), Pn(K), Pn
K などの記号が用いられることもある。）ベクトル空間 Kn+1 の座標をひとつ定めると、射影空間の点を比として表す表し方 [x0 : x1 : ? : xn] がひとつ定まる。これを射影空間の斉次座標（あるいは同次座標; homogeneous coordinate）と呼ぶ。
多様体の構造

ある斉次座標 [x0 : x1 : ? : xn] に対して、x0 ≠ 0 となる射影空間 KPn の点全体 U0 は、斉次座標の最初の成分を x0 で割って [1 : x1 / x0 : ? : xn / x0] とただ一通りに書けるので、U0 は、アフィン空間 Kn と自然な全単射がある。同様に xi ≠ 0 となる点全体 Ui も同様にしてアフィン空間との間の全単射 φi: Kn → Ui がある。K が位相体であるときは全単射 φi は位相同型となり、U0, ..., Un は KPnの開被覆となる。φj−1 ? φi が

( a 1 , … , a n ) ↦ ( a 1 a j , … , 1 a j , … , a n a j ) {\displaystyle (a_{1},\dotsc ,a_{n})\mapsto \left({\frac {a_{1}}{a_{j}}},\dotsc ,{\frac {1}{a_{j}}},\dotsc ,{\frac {a_{n}}{a_{j}}}\right)}

で与えられる（1/aj は第 i 成分）ことから、この開被覆は RPn に多様体の構造（実射影空間）を、CPn に複素多様体の構造（複素射影空間）を与える。変換関数が有理関数で与えられる事から、任意の体 K に対しても、ザリスキ位相を考える事によって KPn は代数多様体となる。

射影空間の概念は純粋に代数的であり非常に標準的であるため、適切な枠組みを用いる事によって、その性質は体 K の取り方によらず共通しているものが多い。以下の記述は特に断らない限り、スキーム論の枠組みを用いる事で任意の体上の代数多様体としての射影空間に対して成り立つが、代数幾何学以外で重要な場合は体 K が実数体 R または複素数体 C の場合であるので、実射影空間および複素射影空間の場合に則した記述を行う。
コンパクト性

体 K が実数体 R または複素数体 C であるとき、これらの位相から定まる位相（ユークリッド位相・古典位相）に関して、射影空間 KPn はコンパクトなハウスドルフ空間である。K = R のときは、射影空間の定義によって、性質のよい自然な写像 Sn → RPn があるので、RPn のコンパクト性およびハウスドルフ性は n 次元球面 Sn のそれから従う。K = C の時も同様に S1 ファイバー束 S2n+1 → CPn （ホップ束; Hopf bundle と呼ばれる）があることから従う。

一般の体 K に関しては射影空間にはザリスキ位相をいれて考えるが、この位相について KPn は基礎体 K 上固有 (proper) になる。代数多様体の固有性はユークリッド位相に関するコンパクト・ハウスドルフ性の概念の対応物である。
モジュライ空間としての射影空間

射影空間 KPn の点 p = [a0 : a1 : ? : an] は、アフィン空間 Kn+1 内で、原点と点 (a0, a1, ..., an) を結ぶ直線 lp と1対1に対応している。従って、射影空間は Kn+1 内の原点を通る直線（あるいは1次元の部分ベクトル空間）をパラメータ付けする空間（モジュライ空間）と見なせる。このモジュライ論的観点からは、射影空間はグラスマン多様体（英語版）や旗多様体（英語版）の特別な場合と見なせる。

積空間 Kn+1 × KPn の閉部分空間 O ( − 1 ) {\textstyle {\mathcal {O}}(-1)} を結合関係 (incidence correspondence)

O ( − 1 ) = { ( a , p ) ∈ K n + 1 × K P n 。 a ∈ l p } {\displaystyle {\mathcal {O}}(-1)={\bigl \{}(a,p)\in K^{n+1}\times KP_{n}\mathrel {\big |} a\in l_{p}{\bigr \}}}

で定めると、第2射影から誘導される射 O ( − 1 ) → K P n {\textstyle {\mathcal {O}}(-1)\to KP_{n}} によって O ( − 1 ) {\textstyle {\mathcal {O}}(-1)} は直線束になる。この直線束を普遍直線束 (universal line bundle) と呼ぶ。
射影変換群

一般線形群 GL(n + 1, K) はベクトル空間 V = Kn+1 に原点を固定して作用し、原点を通る直線を原点を通る直線に写すので、射影空間 KPn には GL(n + 1, K) が作用する。単位行列の定数倍は射影空間に自明に作用するので、この作用は剰余群 PGL(n, K) = GL(n + 1, K)/K× を経由する。群 PGL(n, K) をKPn の射影変換群 (projective linear transformaton group) と言う。射影変換群は、代数多様体としての（あるいは K = C のときは、複素多様体としての）KPn の自己同型群にほかならない。[1]

GL(n + 1, K) の KPn への作用の1点の等方部分群 (stabilizer) は

( a ∗ 0 A ) {\displaystyle {\begin{pmatrix}a&*\\0&A\end{pmatrix}}} ただし a ∈ K × , A ∈ G L ( n , K ) {\displaystyle a\in K^{\times },\quad A\in {\mathit {GL}}(n,K)}

の形の行列からなる部分群 H であり、空間 KPn は、剰余類 GL(n + 1, K)/H と同型である。すなわち、KPn は等質空間である。等質空間としての記述の点でも、射影空間はグラスマン多様体（英語版）や旗多様体（英語版）のもっとも簡単な場合に当たる。
超平面と双対射影空間

射影空間 KPn の斉次座標 [x0 : x1 : ? : xn] に対して、方程式

a0x0 + a1x1 + ? + anxn = 0

はその解となる点の定数倍も解となるため、KPn の閉集合を定める。(a0, a1, ..., an) が 0-ベクトルでなければこれは真の閉集合である。これを射影空間の超平面という。KPn の超平面は KPn−1 と同型（あるいは同相）である。

上述の一次方程式は、係数 (a0, a1, ..., an) を定数倍しても解集合は不変である。従って、KPn の超平面は比 [a0 : a1 : ? : an] と1対1に対応している。KPn の超平面全体をパラメータ付けする空間はこの対応で KPn と同一視できる。これを双対射影空間 (dual projective space) という。

同様の理由で、射影空間 KPn の点 p = [a0 : a1 : ? : an] に方程式 a0y0 + a1y1 + anyn = 0 で定まる Kn+1 の n 次元部分ベクトル空間 Vpを対応させる対応は1対1の対応である。KPn の自明なベクトル束 Kn+1 × KPn の部分ベクトル束 V {\textstyle {\mathcal {V}}} を

V = { ( v , p ) ∈ K n + 1 × K P n 。 v ∈ V p } {\displaystyle {\mathcal {V}}={\bigl \{}(v,p)\in K^{n+1}\times KP_{n}\mathrel {\big |} v\in V_{p}{\bigr \}}}

で定め、 O ( 1 ) {\textstyle {\mathcal {O}}(1)} を商束 K n + 1 × K P n / V {\textstyle K^{n+1}\times KP_{n}/{\mathcal {V}}} とすると、 O ( 1 ) {\textstyle {\mathcal {O}}(1)} は普遍直線束 O ( − 1 ) {\textstyle {\mathcal {O}}(-1)} の双対直線束と同型になる。これを超平面直線束 (hyperplane line bundle) と呼ぶ。
斉次座標環とスキーム論的定義

本節ではまず、複素射影空間 CPn について考える。自明束 Cn+1 × CPn の正則切断は c0e0 + ? + cnen 、ただし ci は定数、ei は i 番目の標準基底に値を取る定数切断、と書ける。これが誘導する超平面直線束 O ( 1 ) {\textstyle {\mathcal {O}}(1)} の正則切断を σ で表すことにすると、CPn の点 p = [a0 : a1 : ? : an] が σ(p) = 0 を満たすことは、点 (c0, ..., cn) が平面 Vp に含まれている、すなわち a0c0 + ? + ancn = 0 を満たすことを意味しているので、方程式 σ = 0 は、斉次一次式 c0x0 + ? + cnxn = 0 にほかならない。