ضرب سه گانه

آخرین مطالب

امکانات وب

ضرب سه گانه

از ویکیپدیا، دانشنامه آزاد

این مقاله در مورد عملیات سه تایی بردار است. برای کاربردهای دیگر، ضرب سه گانه (ابهام‌زدایی) را ببینید .

"حجم امضا شده" به اینجا هدایت می شود. برای کتاب‌های امضا شده، به Bibliophilia مراجعه کنید .

در هندسه و جبر ، حاصل ضرب سه گانه حاصلضرب سه بردار 3 بعدی ، معمولاً بردارهای اقلیدسی است . نام "ضرب سه گانه" برای دو ضرب مختلف استفاده می شود، حاصل ضرب سه گانه اسکالر با ارزش و در موارد کمتر، حاصلضرب سه گانه برداری با ارزش برداری .

ضرب سه گانه اسکالر [ ویرایش ]

سه بردار که یک متوازی الاضلاع را تعریف می کنند

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

تفسیر هندسی

از نظر هندسی، حاصل ضرب سه گانه اسکالر

${displaystyle mathbf {a} cdot (mathbf {b} times mathbf {c} )}$

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

خواص

این در نماد برداری دوباره بیان می کند که حاصل ضرب عوامل دترمینان دو ماتریس 3×3 برابر با دترمینان حاصلضرب ماتریس آنها است. به عنوان یک مورد خاص، مربع یک ضرب سه گانه یک دترمینان گرم است .

نسبت حاصلضرب سه گانه و حاصل ضرب سه هنجار بردار به عنوان سینوس قطبی شناخته می شود : ${displaystyle {frac {mathbf {a} cdot (mathbf {b} times mathbf {c} )}{|{mathbf {a} }||{mathbf {b} } ||{mathbf {c} }|}}=operatorname {psin} (mathbf {a} ,mathbf {b} ,mathbf {c} )}$

که بین ۱- و ۱ متغیر است.

اسکالر یا شبه اسکالر

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

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

اگر T یک چرخش مناسب است پس

${displaystyle mathbf {Ta} cdot (mathbf {Tb} times mathbf {Tc} )=mathbf {a} cdot (mathbf {b} times mathbf {c})$

اما اگر T یک چرخش نامناسب است ، پس

${displaystyle mathbf {Ta} cdot (mathbf {Tb} times mathbf {Tc} )=-mathbf {a} cdot (mathbf {b} times mathbf {c}).}$

تراکم اسکالر یا اسکالر

به بیان دقیق، یک اسکالر تحت یک تبدیل مختصات به هیچ وجه تغییر نمی کند. (به عنوان مثال، ضریب 2 که برای دو برابر کردن یک بردار استفاده می شود، اگر بردار در مختصات کروی در مقابل مستطیل باشد، تغییر نمی کند.) با این حال، اگر هر بردار توسط یک ماتریس تبدیل شود، حاصل ضرب سه گانه در نهایت در دترمینان ضرب می شود. ماتریس تبدیل، که می تواند برای یک غیر چرخشی کاملاً دلخواه باشد. یعنی ضرب سه گانه به طور صحیح تر به عنوان چگالی اسکالر توصیف می شود .

به عنوان یک ضرب بیرونی

سه بردار که یک متوازی الاضلاع را پوشانده اند، حاصلضرب سه برابری برابر با حجم آن دارند. (اما مراقب باشید جهت فلش های این نمودار نادرست باشد.)

در جبر بیرونی و جبر هندسی حاصلضرب بیرونی دو بردار دو بردار است در حالی که حاصلضرب بیرونی سه بردار یک سه بردار است . یک دوبردار یک عنصر صفحه جهت‌دار و یک سه بردار یک عنصر حجمی جهت‌دار است، همانطور که یک بردار یک عنصر خط جهت‌دار است.

با توجه به بردارهای a ، b و c ، حاصلضرب

${displaystyle mathbf {a} wedge mathbf {b} wedge mathbf {c} }$

یک سه بردار با بزرگی برابر با حاصل ضرب سه گانه اسکالر است، یعنی

${displaystyle |mathbf {a} wedge mathbf {b} wedge mathbf {c} |=|mathbf {a} cdot (mathbf {b} times mathbf {c})|}$ ،

و Hodge دوگانه حاصلضرب سه گانه اسکالر است. از آنجایی که ضرب بیرونی، براکت های ارتباطی است، نیازی نیست، زیرا مهم نیست که کدام یک از a ∧ b یا b ∧ c ابتدا محاسبه می شود، اگرچه ترتیب بردارها در ضرب مهم است. از نظر هندسی سه بردار a ∧ b ∧ c مربوط به متوازی الاضلاع است که توسط a , b و c امتداد یافته است ، با دو بردار a ∧ b , b ∧ c و a ∧ c با وجوه متوازی الاضلاع متوازی الاضلاع مطابقت دارند .

به عنوان یک تابع سه خطی

حاصل ضرب سه گانه با فرم حجمی فضای 3 اقلیدسی که از طریق حاصلضرب داخلی به بردارها اعمال می شود، یکسان است . همچنین می توان آن را به صورت انقباض بردارها با تانسور رتبه-3 معادل شکل (یا شبه تانسور معادل شبه شکل حجمی) بیان کرد. زیر را ببینید .

ضرب سه گانه برداری

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

${displaystyle mathbf {a} times (mathbf {b} times mathbf {c} )=(mathbf {a} cdot mathbf {c} )mathbf {b} -(mathbf {a } cdot mathbf {b} )mathbf {c} }$ .

این به عنوان توسعه ضرب سه گانه یا فرمول لاگرانژ شناخته می شود ، [2] [3] اگرچه نام دوم برای چندین فرمول دیگر نیز استفاده می شود . سمت راست آن را می توان با استفاده از یادداشت "ACB - ABC" به خاطر آورد، مشروط بر اینکه در نظر داشته باشید که کدام بردارها با هم نقطه چین شده اند. یک مدرک در زیر ارائه شده است . برخی از کتاب های درسی اتحاد را به عنوان ${displaystyle mathbf {a} times (mathbf {b} times mathbf {c} )=mathbf {b} (mathbf {a} cdot mathbf {c} )-mathbf {c} (mathbf {a} cdot mathbf {b} )}$ به طوری که یک یادگاری آشناتر "BAC - CAB" به دست می آید، مانند "پشت کابین".

از آنجایی که ضرب متقاطع ضد جابجایی است، این فرمول ممکن است (تا جایگشت حروف) نیز به صورت زیر نوشته شود:

${displaystyle (mathbf {a} times mathbf {b} )times mathbf {c} =-mathbf {c} times (mathbf {a} times mathbf {b} )=-( mathbf {c} cdot mathbf {b} )mathbf {a} +(mathbf {c} cdot mathbf {a} )mathbf {b} }$

از فرمول لاگرانژ چنین استنباط می شود که حاصلضرب سه گانه بردار برآورده می شود:

${displaystyle mathbf {a} times (mathbf {b} times mathbf {c} )+mathbf {b} times (mathbf {c} times mathbf {a} )+mathbf { c} times (mathbf {a} times mathbf {b} )=mathbf {0} }$

که اتحاد ژاکوبی برای ضرب متقاطع است. فرمول مفید دیگری به شرح زیر است:

${displaystyle (mathbf {a} times mathbf {b} )times mathbf {c} =mathbf {a} times (mathbf {b} times mathbf {c} )-mathbf { b} times (mathbf {a} times mathbf {c} )}$

این فرمول ها در ساده کردن محاسبات برداری در فیزیک بسیار مفید هستند . یک اتحاد مرتبط با شیب ها و مفید در محاسبات برداری، فرمول لاگرانژ اتحاد متقابل بردار است: [4]

${displaystyle {boldsymbol {nabla }}times ({boldsymbol {nabla }}times mathbf {A} )={boldsymbol {nabla }}({boldsymbol {nabla }}cdot mathbf {A} )-({boldsymbol {nabla }}cdot {boldsymbol {nabla }})mathbf {A} }$

این را می توان به عنوان یک مورد خاص از عملگر عمومی تر Laplace-de Rham نیز در نظر گرفت ${displaystyle Delta =ddelta +delta d}$ .

اثبات

را ${displaystyle x}$ جزئی از ${displaystyle mathbf {u} times (mathbf {v} times mathbf {w} )}$ از رابطه زیر بدست می آید:

${displaystyle {begin{aligned}(mathbf {u} times (mathbf {v} times mathbf {w} ))_{x}&=mathbf {u} _{y}(mathbf {v} _{x}mathbf {w} _{y}-mathbf {v} _{y}mathbf {w} _{x})-mathbf {u} _{z}(mathbf { v} _{z}mathbf {w} _{x}-mathbf {v} _{x}mathbf {w} _{z})&=mathbf {v} _{x}( mathbf {u} _{y}mathbf {w} _{y}+mathbf {u} _{z}mathbf {w} _{z})-mathbf {w} _{x}(mathbf {u} _{y}mathbf {v} _{y}+mathbf {u} _{z}mathbf {v} _{z})&=mathbf {v} _{x}( mathbf {u} _{y}mathbf {w} _{y}+mathbf {u} _{z}mathbf {w} _{z})-mathbf {w} _{x}( mathbf {u} _{y}mathbf {v} _{y}+mathbf {u} _{z}mathbf {v} _{z})+(mathbf {u} _{x}mathbf {v} _{x}mathbf {w} _{x}-mathbf {u} _{x}mathbf {v} _{x}mathbf {w} _{x})&= mathbf {v} _{x}(mathbf {u} _{x}mathbf {w} _{x}+mathbf {u} _{y}mathbf {w} _{y}+mathbf { u} _{z}mathbf {w} _{z})-mathbf {w} _{x}(mathbf {u} _{x}mathbf {v} _{x}+mathbf {u } _{y}mathbf {v} _{y}+mathbf {u} _{z}mathbf {v} _{z})&=(mathbf {u} cdot mathbf {w } )mathbf {v} _{x}-(mathbf {u} cdot mathbf {v} )mathbf {w} _{x}end{تراز شده}}}$

به طور مشابه، ${displaystyle y}$ و ${displaystyle z}$ اجزای ${displaystyle mathbf {u} times (mathbf {v} times mathbf {w} )}$ توسط:

${displaystyle {begin{aligned}(mathbf {u} times (mathbf {v} times mathbf {w} ))_{y}&=(mathbf {u} cdot mathbf {w } )mathbf {v} _{y}-(mathbf {u} cdot mathbf {v} )mathbf {w} _{y}(mathbf {u} times (mathbf {v } times mathbf {w} ))_{z}&=(mathbf {u} cdot mathbf {w} )mathbf {v} _{z}-(mathbf {u} cdot mathbf {v} )mathbf {w} _{z}end{تراز شده}}}$

با ترکیب این سه جزء به دست می آید:

${displaystyle mathbf {u} times (mathbf {v} times mathbf {w} )=(mathbf {u} cdot mathbf {w} ) mathbf {v} -(mathbf { u} cdot mathbf {v} ) mathbf {w} }$ [5]

استفاده از جبر هندسی

اگر از جبر هندسی استفاده شود، حاصل ضرب متقاطع b × c بردارها به صورت حاصلضرب بیرونی b ∧ c ، یک دوبردار بیان می شود . دومین ضرب متقاطع را نمی توان به عنوان یک ضرب بیرونی بیان کرد، در غیر این صورت حاصل ضرب سه گانه اسکالر ایجاد می شود. در عوض می توان از انقباض چپ [6] استفاده کرد، بنابراین فرمول تبدیل به [7] می شود.

${displaystyle {begin{aligned}-mathbf {a} ;{big lrcorner };(mathbf {b} wedge mathbf {c} )&=mathbf {b} wedge ( mathbf {a} ;{big lrcorner };mathbf {c} )-(mathbf {a} ;{big lrcorner };mathbf {b} )wedge mathbf {c} &=(mathbf {a} cdot mathbf {c} )mathbf {b} -(mathbf {a} cdot mathbf {b} )mathbf {c} end{تراز شده}}}$

اثبات از خواص انقباض حاصل می شود. [6] نتیجه همان بردار محاسبه شده با استفاده از × ( b × c ) است.

تفاسیر

حساب تانسور

در نماد تانسور ، حاصل ضرب سه گانه با استفاده از نماد لوی-سویتا بیان می شود : [8]

${displaystyle mathbf {a} cdot [mathbf {b} times mathbf {c} ]=varepsilon _{ijk}a^{i}b^{j}c^{k}}$

${displaystyle (mathbf {a} times [mathbf {b} times mathbf {c} ])_{i}=varepsilon _{ijk}a^{j}varepsilon ^{kell m }b_{ell }c_{m}=varepsilon _{ijk}varepsilon ^{kell m}a^{j}b_{ell }c_{m},}$

با اشاره به ${displaystyle i}$ -امین جزء بردار حاصل. این را می توان با انجام یک انقباض بر روی نمادهای لوی-سویتا ساده کرد . ${displaystyle varepsilon _{ijk}varepsilon ^{kell m}=delta _{ij}^{ell m}=delta _{i}^{ell }delta _{j}^ {m}-delta _{i}^{m}delta _{j}^{ell },,}$ جایی که ${displaystyle delta _{j}^{i}}$ تابع دلتای کرونکر است ( ${displaystyle delta _{j}^{i}=0}$ چه زمانی ${displaystyle ineq j}$ و ${displaystyle delta _{j}^{i}=1}$ چه زمانی ${displaystyle i=j}$ ) و ${displaystyle delta _{ij}^{ell m}}$ تابع دلتای کرونکر تعمیم یافته است . ما می‌توانیم این اتحاد را با تشخیص این شاخص مشخص کنیم ${displaystyle k}$ صرفا خروج خلاصه خواهد شد ${displaystyle i}$ و ${displaystyle j}$ . در ترم اول تعمیر می کنیم ${displaystyle i=l}$ و بنابراین ${displaystyle j=m}$ . به همین ترتیب در ترم دوم اصلاح می کنیممن ${displaystyle i=m}$ و بنابراین ${displaystyle l=j}$ .

بازگشت به ضرب متقاطع سه گانه،

${displaystyle (mathbf {a} times [mathbf {b} times mathbf {c} ])_{i}=(delta _{i}^{ell }delta _{j}^ {m}-delta _{i}^{m}delta _{j}^{ell })a^{j}b_{ell }c_{m}=a^{j}b_{i} c_{j}-a^{j}b_{j}c_{i}=b_{i}(mathbf {a} cdot mathbf {c} )-c_{i}(mathbf {a} cdot mathbf {b} ),.}$

حساب برداری

انتگرال شار میدان برداری را در نظر بگیریداف ${displaystyle mathbf {F} }$ در سراسر سطح پارامتریک تعریف شده است ${displaystyle S=mathbf {r} (u,v)}$ : ${textstyle iint _{S}mathbf {F} cdot {hat {mathbf {n} }},dS}$ . بردار واحد نرمال ${displaystyle {hat {mathbf {n} }}}$ به سطح داده شده توسط ${textstyle {frac {mathbf {r} _{u}times mathbf {r} _{v}}{|mathbf {r} _{u}times mathbf {r} _{v} |}}}$ بنابراین انتگرال ${textstyle mathbf {F} cdot {frac {(mathbf {r} _{u}times mathbf {r} _{v})}{|mathbf {r} _{u}times mathbf {r} _{v}|}}}$ یک ضرب سه گانه اسکالر است.