مکمل متعامد

مکمل متعامد ${\displaystyle W^{\bot }\!}$ یک زیرفضای ${\displaystyle W\!}$ از یک فضای ضرب داخلی ${\displaystyle V\!}$ عبارت است از مجموعهٔ تمامی بردارهای موجود در ${\displaystyle V\!}$ که بر هرکدام از بردارهای ${\displaystyle W\!}$ عمود باشند. یعنی:

مثال:

چنانچه ${\displaystyle V\!}$ را فضای سه‌بعدی xyz و ${\displaystyle W\!}$ را زیرفضای xy آن در نظر بگیریم، محور z مکمل متعامد صفحه xy یعنی ${\displaystyle W^{\bot }\!}$ خواهد بود، چرا که همهٔ بردارهای موجود روی محور z بر هرکدام از بردارهای درون صفحهٔ xy عمود است.