直交
内積空間 V における2つのベクトル x, y が直交するとは、それらの内積 ⟨x, y⟩ が零となるときに言い、x ⊥ y と書く。内積空間 V の二つの部分線型空間 A, B が互いに直交するとは、A の各ベクトルが B の任意のベクトルに直交するときに言う。V において A に直交する最大の部分線型空間 B を、V における A の直交補空間 A という。
ベクトルの集合がどの二つも互いに直交する (pairwise orthogonal) とは、それらベクトルの任意の対が互いに直交するときに言い、どの二つも互いに直交するようなベクトルの集合はしばしば直交系 (orthogonal set, orthogonal system) と呼ばれる。内積空間における直交系は線型独立系である。