直交補空間
数学の線型代数学および関数解析学の分野において、部分線型空間の直交補空間（ちょっこうほくうかん、; perp）とは、その部分空間内のすべてのベクトルと直交するようなベクトル全体の成す集合を言い、直交補空間はそれ自身部分線型空間を成す。