تعامد (جبر خطی)

تعریف. دو بردار ${\displaystyle x}$ و ${\displaystyle y}$ را در یک فضای ضرب داخلی ${\displaystyle V}$ برهم عمودند اگر ضرب داخلی ${\displaystyle \langle x,y\rangle }$ صفر باشد. این تعامد را با ${\displaystyle x\perp y}$ نشان می‌دهند.

تعریف. دو زیرفضای برداری ${\displaystyle A}$ و ${\displaystyle B}$ از یک فضای ضرب داخلی ${\displaystyle V}$ را زیرفضاهای متعامد می‌گوییم اگر هر بردار از ${\displaystyle A}$ به هر بردار از ${\displaystyle B}$ عمود باشد. بزرگ‌ترین زیرفضایی که به یک زیرفضا عمود باشد، متمم عمود آن نامیده می‌شود.

تعریف. یک نگاشت خطی ${\displaystyle T:V\rightarrow V}$ را نگاشت خطی متعامد می‌گوییم اگر ضرب داخلی را پایسته نگه دارد. یعنی برای هر جفت بردار ${\displaystyle x}$ و ${\displaystyle y}$ در فضای ضرب داخلی ${\displaystyle V}$ داشته باشیم:

${\displaystyle \langle Tx,Ty\rangle =\langle x,y\rangle .}$

این یعنی ${\displaystyle T}$ زاویهٔ بین ${\displaystyle x}$ و ${\displaystyle y}$ را ثابت نگه می‌دارد و طول ${\displaystyle Tx}$ و ${\displaystyle x}$ برابر است.

دسته‌ای از بردارهای دوبه‌دو عمود برهم را که طول واحد داشته باشند (بردار یکّه باشند) بردارهای یکّه راست‌هنجار (متعامد یکه) می‌نامیم.

مرسوم است که برای توابع ${\displaystyle f}$ و ${\displaystyle g}$ ضرب داخلی زیر را تعریف کنیم:

${\displaystyle \langle f,g\rangle _{w}=\int _{a}^{b}f(x)g(x)w(x)\,dx.}$

که در آن ‎${\displaystyle w(x)}$‎ تابع وزن نامنفی برای ضرب داخلی است. در این صورت، می‌گوییم دو تابع برهم عمودند اگر ضرب داخلی‌شان صفر باشد:

${\displaystyle \int _{a}^{b}f(x)g(x)w(x)\,dx=0.}$

در این ضرب داخلی، طول بردارها (تابع‌ها) از ضرب داخلی بردار در خودش به دست می‌آید:

${\displaystyle \|f\|_{w}={\sqrt {\langle f,f\rangle _{w}}}}$

اعضای یک دنباله از توابع { f_i: i = ۱, ۲, ۳, ... } متعامد هستند اگر

${\displaystyle \langle f_{i},f_{j}\rangle =\int _{-\infty }^{\infty }f_{i}(x)f_{j}(x)w(x)\,dx=\|f_{i}\|^{2}\delta _{i,j}=\|f_{j}\|^{2}\delta _{i,j}}$

و راست‌هنجار (متعامد یکه) هستند اگر:

${\displaystyle \langle f_{i},f_{j}\rangle =\int _{-\infty }^{\infty }f_{i}(x)f_{j}(x)w(x)\,dx=\delta _{i,j}}$

در رابطهٔ بالا

${\displaystyle \delta _{i,j}=\left\{{\begin{matrix}1&\mathrm {if} \ i=j\\0&\mathrm {if} \ i\neq j\end{matrix}}\right.}$

دلتای کرونکر نام دارد. به زبان دیگر هر دو عضوی از این دنباله برهم عمودند و طول‌شان (برای توابع راست‌هنجار) ۱ است. چندجمله‌ای‌های متعامد را ببینید.

• بردارهای (۱, ۳, ۲)، (۳, −۱, ۰) و (۱/۳, ۱, −۵/۳) برهم عمودند، زیرا ‎(۱)(۳) + (۳)(−۱) + (۲)(۰) = ۰, (۳)(۱/۳) + (−۱)(۱) + (۰)(−۵/۳) = ۰, (۱)(۱/۳) + (۳)(۱) − (۲)(۵/۳) = ۰‎.
• دو تابع 2t + ۳ و 5t² + t − ۱۷/۹ را در نظر بگیرید. این تابع‌ها در بازهٔ ${\displaystyle [-1,1]}$ و با تابع وزن ${\displaystyle w(x)=1}$ برهم عمودند. ضرب این دو تابع برابر است با ‎10t³ + 17t² − 7/9 t − ۱۷/۳‎ و ضرب داخلی‌شان می‌شود:

• چندجمله‌ای‌های متعامد بسیاری هستند که در ریاضیات، علوم و مهندسی کاربردهای بی‌شماری دارند. مانند:
  • چندجمله‌ای‌های هرمیت
  • چندجمله‌ای‌های لژاندر
  • چندجمله‌ای‌های لاگر
  • چندجمله‌ای‌های چبیشف
• در مکانیک کوانتومی، دو ویژه‌حالت یک تابع موج ${\displaystyle \psi _{m}}$ و ${\displaystyle \psi _{n}}$ متعامد هستند اگر مربوط به ویژه‌مقدارهای متفاوتی باشند. به زبان نمادگذاری دیراک، ${\displaystyle \langle \psi _{m}|\psi _{n}\rangle =0}$ مگر این که ${\displaystyle \psi _{m}}$ و ${\displaystyle \psi _{n}}$ متعلق به یک ویژه‌مقدار باشند.

در آرایه‌شناسی یک طبقه‌بندی متعامد است که در آن در هیچ موردی، هیچ عضوی در بیش از یک گروه عضو نباشد، این به معنی منحصر به فرد بودن متقابل طبقه‌بندی‌ها و عضوها است.

• عدد موهومی
• ماتریس متعامد
• چندجمله‌ای‌های متعامد
• مکمل متعامد
• الگوریتم گرام اشمیت

• مشارکت‌کنندگان ویکی‌پدیا. «Orthogonality». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۲ مه ۲۰۱۵.