det ortogonale komplement

Jeg går ud fra, du har bestemt underrummet U^⊥. Har du prøvet at bestemme basen vha. Gram-Schmidt-processen?

Har du en basis for U, og hvad skal U betragtes som underrum af.

Hvis b₁,...,b_n udspænder U og c₁,...,c_m er en basis for det rum U betragtes som et underrum af, så kan du bruge gram schmidt på b₁,...b_n,c₁,...,c_m og dermed få en basis for U^⊥ (de orthogonaliserede c_i'er der ikke er blevet til 0-vektorer).