射影空間（しゃえいくうかん、projective space） とは、その次元が "n" であるとき、("n" + 1)個の「数」の比全体からなる空間の事をさす。比を構成する「数」をどんな体（あるいは環）にとるかによって様々な空間が得られる。非ユークリッド幾何学のひとつである射影幾何学がその概念の端緒であるが、射影空間は位相幾何学、微分幾何学、代数幾何学など幾何学のあらゆる分野にわたって非常に重要な概念である。"K" を体とする。"K" 上の "n" 次元の射影空間 "KP" は集合としては、("n" + 1)個の "K" の要素の比 ["x" : "x" : ... : "x"] の全体として定義される。すなわち、ベクトル空間 "V" = "K" の 0 でないベクトルに対して、同値関係 ("a

出典:wikipedia