WINAK

Klein vraagje, en waarschijnlijk vrij triviaal ...
Maar we hebben ergens een eigenschapje (2.4 p27) waar ik nummertje 6) niet helemaal snap ...

Er valt dus te bewijzen dat
De inclusie is duidelijk, maar de voor mij niet...
Het bewijs in de cursus zegt: "We weten dat , en bijgevolg dat ".
Van waar komt die implicatie?

Als Y een deel is van X, is X orthogonaal een deel van Y orthoganaal.
Neem voor Y A en voor X A bi-orthogonaal en dan heb je het.

(sorry da ik het ni mooi heb uitgetypt, maar had er ff geen zin en tijd voor)

uiteraard -.-" zoooo simpel
merci Joachim