線型位相空間
E の部分空間 F に対し、E における F の直交空間が
{ φ ∈ E ∗ ∣ φ | F = 0 } {\displaystyle \{\phi \in E^{*}\mid \phi |_{F}=0\}}
によって定められる。