直交補空間

数学の線型代数学および関数解析学の分野において、部分線型空間の直交補空間（ちょっこうほくうかん、英: orthogonal complement, perpendicular complement; perp）とは、その部分空間内のすべてのベクトルと直交するようなベクトル全体の成す集合を言い、直交補空間はそれ自身部分線型空間を成す。 == 一般の双線型形式に関する場合 == 体 F 上のベクトル空間 V が双線型形式 B を持つとする。