Ich nehme mal an die Unterräume liegen alle in einem euklidischen (also mit Sklaarprodukt) Vektorraum V.
Und ihr habt definiert U⊥ = { v ∈ V | u*v = 0 f. alle u ∈ U }
Ist nun U1 ⊂ U2 dann willst du zeigen U2⊥ ⊂ U1⊥ .
Wenn x aus U2⊥ dann gilt nach Def. x*u = 0 für alle u ∈ U2
Aber alle u ∈ U1 liegen in U2, da U1 ⊂ U2 also gilt für alle
u ∈ U1 auch u*x = 0 , also ist x aus U1⊥ . q.e.d.