MathGloss

The orthogonal complement of WW a subspace of the vector space VV is the set W={vVwW, v,w=0}.W^\perp = \{v \in V \mid \forall w \in W, \text{ } \langle v, w\rangle = 0\}. This is itself a vector subspace: write_proof

Wikidata ID: Q1780921