FA
All
Articles
Dictionary
Quotes
Map

Wikiwand ❤️ Wikipedia

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

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

From Wikipedia, the free encyclopedia

تعامد (جبر خطی)
تعریف‌هاتوابع متعامدمثال‌هادر آرایه‌شناسیجستارهای وابستهمنابعکتاب‌های رایگان برخط

در ریاضیات، دو بردار را متعامد[۱] (به انگلیسی: Orthogonal) گویند هرگاه برهم قائم باشند. به عبارت دیگر دو بردار متعامدند اگر و تنها اگر ضرب داخلی آنها برابر با صفر باشد یا با هم زاویهٔ راست (۹۰ درجه) ساخته باشند.

Thumb
نماد تعامد
Thumb
AB و CD نسبت به هم متعامد هستند.
  • در هندسه، دو بردار اقلیدسی عمود بر هم هستند اگر به بکدیگر قائم باشن؛ یعنی هم زاویه قائم بسازند.
  • دو بردار x {\displaystyle x} {\displaystyle x} و y {\displaystyle y} {\displaystyle y} را در یک فضای ضرب داخلی V {\displaystyle V} {\displaystyle V} برهم عمودند اگر ضرب داخلی ⟨ x , y ⟩ {\displaystyle \langle x,y\rangle } {\displaystyle \langle x,y\rangle } صفر باشد. این رابطه تعامد را با x ⊥ y {\displaystyle x\perp y} {\displaystyle x\perp y} نشان می‌دهند.
  • دو زیرفضای برداری A {\displaystyle A} {\displaystyle A} و B {\displaystyle B} {\displaystyle B} از یک فضای ضرب داخلی V {\displaystyle V} {\displaystyle V} را زیرفضاهای متعامد می‌گوییم اگر هر بردار از A {\displaystyle A} {\displaystyle A} به هر بردار از B {\displaystyle B} {\displaystyle B} عمود باشد. بزرگ‌ترین زیرفضایی که به یک زیرفضا عمود باشد، متمم عمود آن نامیده می‌شود.
  • یک نگاشت خطی T : V → V {\displaystyle T:V\rightarrow V} {\displaystyle T:V\rightarrow V} را نگاشت خطی متعامد می‌گوییم اگر ضرب داخلی را پایسته نگه دارد. یعنی برای هر جفت بردار x {\displaystyle x} {\displaystyle x} و y {\displaystyle y} {\displaystyle y} در فضای ضرب داخلی V {\displaystyle V} {\displaystyle V} داشته باشیم:
⟨ T x , T y ⟩ = ⟨ x , y ⟩ . {\displaystyle \langle Tx,Ty\rangle =\langle x,y\rangle .} {\displaystyle \langle Tx,Ty\rangle =\langle x,y\rangle .}

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

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

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

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

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

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

با استفاده از ضرب داخلی، ما نُرم به صورت زیر تعریف میکنیم که عبارت است از ضرب داخلی بردار در خودش. نُرم، طول بردارها (تابع‌ها) را به دست می‌د:

‖ f ‖ w = ⟨ f , f ⟩ w {\displaystyle \|f\|_{w}={\sqrt {\langle f,f\rangle _{w}}}} {\displaystyle \|f\|_{w}={\sqrt {\langle f,f\rangle _{w}}}}

اعضای یک دنباله از توابع {fi : i = 1, 2, 3, ...} متعامد هستند اگر

⟨ f i , f j ⟩ = ∫ − ∞ ∞ f i ( x ) f j ( x ) w ( x ) d x = ‖ f i ‖ 2 δ i , j = ‖ f j ‖ 2 δ i , j {\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=\|f_{i}\|^{2}\delta _{i,j}=\|f_{j}\|^{2}\delta _{i,j}}

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

⟨ f i , f j ⟩ = ∫ − ∞ ∞ f i ( x ) f j ( x ) w ( x ) d x = δ 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 \langle f_{i},f_{j}\rangle =\int _{-\infty }^{\infty }f_{i}(x)f_{j}(x)w(x)\,dx=\delta _{i,j}}

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

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

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

  • بردارهای (۱, ۳, ۲)، (۳, −۱, ۰) و (۱/۳, ۱, −۵/۳) برهم عمودند، زیرا
Thumb
مساحت قسمت مثبت و منفی در بازه [ − 1 , 1 ] {\displaystyle [-1,1]} {\displaystyle [-1,1]} با هم برابر و نتیجه انتگرال در این بازه برابر صفر می شود. تابع درجه اول، تابع درجه دوم، و ضرب دو تابع.

‎(۱)(۳) + (۳)(−۱) + (۲)(۰) = ۰

(۳)(۱/۳) + (−۱)(۱) + (۰)(−۵/۳) = ۰

(۱)(۱/۳) + (۳)(۱) − (۲)(۵/۳) = ۰

  • دو تابع 2t + ۳ و 5t2 + t − ۱۷/۹ را در نظر بگیرید. این تابع‌ها در بازهٔ [ − 1 , 1 ] {\displaystyle [-1,1]} {\displaystyle [-1,1]} و با تابع وزن w ( x ) = 1 {\displaystyle w(x)=1} {\displaystyle w(x)=1} برهم عمودند. ضرب این دو تابع برابر است با 10t3 + 17t2 − 7/9 t − ۱۷/۳ و ضرب داخلی‌شان می‌شود:
∫ − 1 1 ( 10 t 3 + 17 t 2 − 7 9 t − 17 3 ) d t = [ 5 2 t 4 + 17 3 t 3 − 7 18 t 2 − 17 3 t ] − 1 1 {\displaystyle \int _{-1}^{1}\left(10t^{3}+17t^{2}-{7 \over 9}t-{17 \over 3}\right)\,dt=\left[{5 \over 2}t^{4}+{17 \over 3}t^{3}-{7 \over 18}t^{2}-{17 \over 3}t\right]_{-1}^{1}} {\displaystyle \int _{-1}^{1}\left(10t^{3}+17t^{2}-{7 \over 9}t-{17 \over 3}\right)\,dt=\left[{5 \over 2}t^{4}+{17 \over 3}t^{3}-{7 \over 18}t^{2}-{17 \over 3}t\right]_{-1}^{1}}
= ( 5 2 ( 1 ) 4 + 17 3 ( 1 ) 3 − 7 18 ( 1 ) 2 − 17 3 ( 1 ) ) − ( 5 2 ( − 1 ) 4 + 17 3 ( − 1 ) 3 − 7 18 ( − 1 ) 2 − 17 3 ( − 1 ) ) {\displaystyle =\left({5 \over 2}(1)^{4}+{17 \over 3}(1)^{3}-{7 \over 18}(1)^{2}-{17 \over 3}(1)\right)-\left({5 \over 2}(-1)^{4}+{17 \over 3}(-1)^{3}-{7 \over 18}(-1)^{2}-{17 \over 3}(-1)\right)} {\displaystyle =\left({5 \over 2}(1)^{4}+{17 \over 3}(1)^{3}-{7 \over 18}(1)^{2}-{17 \over 3}(1)\right)-\left({5 \over 2}(-1)^{4}+{17 \over 3}(-1)^{3}-{7 \over 18}(-1)^{2}-{17 \over 3}(-1)\right)}
= 19 9 − 19 9 = 0. {\displaystyle ={19 \over 9}-{19 \over 9}=0.} {\displaystyle ={19 \over 9}-{19 \over 9}=0.}
  • چندجمله‌ای‌های متعامد بسیاری هستند که در ریاضیات، علوم و مهندسی کاربردهای بی‌شماری دارند. مانند:
    • چندجمله‌ای‌های هرمیت
    • چندجمله‌ای‌های لژاندر
    • چندجمله‌ای‌های لاگر
    • چندجمله‌ای‌های چبیشف
  • در مکانیک کوانتومی، دو ویژه‌حالت یک تابع موج ψ m {\displaystyle \psi _{m}} {\displaystyle \psi _{m}} و ψ n {\displaystyle \psi _{n}} {\displaystyle \psi _{n}} متعامد هستند اگر مربوط به ویژه‌مقدارهای متفاوتی باشند. به زبان نمادگذاری دیراک، ⟨ ψ m | ψ n ⟩ = 0 {\displaystyle \langle \psi _{m}|\psi _{n}\rangle =0} {\displaystyle \langle \psi _{m}|\psi _{n}\rangle =0} مگر این که ψ m {\displaystyle \psi _{m}} {\displaystyle \psi _{m}} و ψ n {\displaystyle \psi _{n}} {\displaystyle \psi _{n}} متعلق به یک ویژه‌مقدار باشند.

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

  • عدد موهومی
  • ماتریس متعامد
  • چندجمله‌ای‌های متعامد
  • مکمل متعامد
  • الگوریتم گرام اشمیت
  1. [۱]
    «بُردارهای متعامد» [ریاضی] هم‌ارزِ «orthogonal vectors»؛ منبع: گروه واژه‌گزینی. جواد میرشکاری، ویراستار. دفتر پنجم. فرهنگ واژه‌های مصوب فرهنگستان. تهران: انتشارات فرهنگستان زبان و ادب فارسی. شابک ۹۷۸-۹۶۴-۷۵۳۱-۷۶-۴ (ذیل سرواژهٔ بُردارهای متعامد)
  • مشارکت‌کنندگان ویکی‌پدیا. «Orthogonality». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۲ مه ۲۰۱۵.

کتاب‌های رایگان برخط

  • محمد خرمی (تابستان ۲۰۰۳). «جبر خطی» (PDF). بایگانی‌شده از اصلی (PDF) در ۳۱ ژانویه ۲۰۱۲. دریافت‌شده در ۲۹ مارس ۲۰۰۹.
  • Beezer, Rob, A First Course in Linear Algebra
  • Connell, Edwin H. , Elements of Abstract and Linear Algebra
  • Hefferon, Jim, Linear Algebra excellent textbook with complete solutions manual
Edit in WikipediaRevision historyRead in Wikipedia

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.

Chrome
Wikiwand for Chrome
Edge
Wikiwand for Edge
Firefox
Wikiwand for Firefox

تعریف‌ها

توابع متعامد

مثال‌ها

در آرایه‌شناسی

جستارهای وابسته

منابع