הגדרנו בכלל מה זה מרחבים מאונכים?
(לא מתרגל / מרצה) אכן הגדרנו מהם מרחבים מאונכים. יהי <math>V</math> מרחב וקטורי מעל <math>\mathbb{F}</math>, ויהיו <math>U,W\subseteq V</math> שני תתי-מרחבים. אזי נקרא להם מאונכים אם לכל <math>u\in U</math> ולכל <math>w\in W</math> יתקיים <math>\langle u,w \rangle =0</math>. בנוסף, סימנו <math>U=W^\perp</math> (או <math>W=U^\perp</math>. --[[משתמש:גיא|גיא]] 19:24, 4 בינואר 2013 (IST)