アフィン空間
A の任意の二点 P, Q の組 (P, Q) に対し、Q = P + a を満たす a ∈ V がただ一つ定まる。これを a = P Q → {\displaystyle \mathbf {a} ={\overrightarrow {\mathrm {PQ} }}} と表す。これを(Q = P + a が成り立つことを示唆して)a = Q − P と表すこともある。
このとき、A をアフィン空間 (A, V) の台集合とよび、V を付随するベクトル空間、随伴ベクトル空間、同伴なベクトル空間などとよび、V = V(A) あるいは V = Vect(A) などと表す。また、V の元を A のあるいは A 上の幾何ベクトルとも呼ぶ。
紛れのおそれが無いならば、アフィン空間 (A, V) を単に台集合 A のみで表し、アフィン空間 A などと呼ぶことがある。
定義から、平行移動作用 T: A × V → A; (P, a) → P + a により、V は A に推移的に作用すること、各 a に対し作用素 Ta は V から A への全単射を与えることなどがわかる。