ضرب داخلی

در هندسهٔ تحلیلی، ضرب داخلی (به انگلیسی: Inner Product) یا ضرب اسکالر (نرده‌ای) (به انگلیسی: scalar product) یک عمل دوتایی بین دو بردار اقلیدسی است که نتیجهٔ آن یک عدد حقیقی است.

به عبارتی دیگر، ضرب داخلیِ دو کمیت برداری، یک کمیت نرده‌ای است.

نام ضرب اسکالر به این موضوع اشاره دارد که نتیجهٔ ضرب، یک کمیت اسکالر (نرده‌ای) است.

ضرب داخلی با نماد نقطه در وسط «·» نمایش داده می‌شود که با نقطه «.» تفاوت دارد، ازاین‌رو در انگلیسی به آن ضرب نقطه‌ای (به انگلیسی: dot product) هم گفته می‌شود.

تعریف

بیان ریاضی

ضرب داخلی دو بردار ${\vec {a}}=(a_{1},a_{2},\dots ,a_{\mathrm {n} })$

و

{\vec {b}}=(b_{1},b_{2},\dots ,b_{\mathrm {n} })

در فضای

\mathbb {R} ^{\mathrm {n} }

به صورت زیر تعریف می‌شود:

${\vec {a}}\cdot {\vec {b}}=\sum _{i=1}^{\mathrm {n} }a_{i}b_{i}=a_{1}b_{1}+a_{2}b_{2}+\dots +a_{\mathrm {n} }b_{\mathrm {n} }$

مثال

${\begin{aligned}(1,3,-5)\cdot (4,-2,-1)&=1\times 4+3\times -2+-5\times -1\\&=4\qquad -6\qquad \ +5\\&=3\end{aligned}}$

بیان ماتریسی

اگر بردارها را ماتریس سطری فرض کنیم ضرب داخلی را می‌توان از رابطهٔ زیر نیز محاسبه کرد ( $b^{\mathsf {T}}$

یعنی ماتریس ترانهادهٔ

b

):

${\vec {a}}\cdot {\vec {b}}=ab^{\mathsf {T}}$

مثال

${\begin{bmatrix}1&3&-5\end{bmatrix}}{\begin{bmatrix}4\\-2\\-1\end{bmatrix}}=3$

بیان هندسی

اگر $\theta$

زاویهٔ بین دو بردار باشد:

${\vec {a}}\cdot {\vec {b}}=\left\vert {\vec {a}}\right\vert \left\vert {\vec {b}}\right\vert \cos \theta$

در نتیجه:

اگر ${\vec {a}}$ و ${\vec {b}}$ بر هم عمود باشند، نتیجهٔ ضرب صفر خواهد شد و برعکس: $\theta =90^{\circ }\Rightarrow \cos \theta =0\Longleftrightarrow {\vec {a}}\cdot {\vec {b}}=0$
اگر ${\vec {a}}$ و ${\vec {b}}$ با هم موازی باشند، نتیجهٔ ضرب برابر ضرب طول بردارها خواهد شد و برعکس: $\theta =0\Rightarrow \cos \theta =1\Longleftrightarrow {\vec {a}}\cdot {\vec {b}}=\left\vert {\vec {a}}\right\vert \left\vert {\vec {b}}\right\vert$
ضرب داخلی یک بردار در خودش برابر مقدار طول آن به توان ۲ است: ${\vec {a}}\cdot {\vec {a}}=\left\vert {\vec {a}}\right\vert ^{2}$

حجم متوازی‌السطوح به‌کمک ضرب‌داخلی بردارها

متوازی‌السطوح از احجام‌برداری است که دارای حجم و مساحت است.

برای‌تشکیل متوازی‌السطوح احتیاج به ضرب‌خارجی سه‌بردار به‌نام (a,b,c) نیاز است. ویرایش پیداکردن حجم آن احتیاج به ضرب‌داخلی است.

ضرب‌داخلی بردارهای a,b,c به‌ترتیب این‌گونه است.

${\vec {a}}=(a_{1},a_{2},a_{3}),{\vec {b}}=(b_{1},b_{2},b_{3}),{\vec {c}}=(c_{1},c_{2},c_{3})$

حجم ‌متوازی‌السطوح به این صورت است.

$V=|({\vec {a}}.{\vec {b}}).{\vec {c}}|=a_{1}b_{1}c_{1}+a_{2}b_{2}c_{2}+a_{3}b_{3}c_{3}$

خواص

جابه‌جایی: ${\vec {a}}\cdot {\vec {b}}={\vec {b}}\cdot {\vec {a}}$
پخش‌پذیری: ${\vec {a}}\cdot ({\vec {b}}+{\vec {c}})={\vec {a}}\cdot {\vec {b}}+{\vec {a}}\cdot {\vec {c}}$
ضرب در عدد: $(c_{1}{\vec {a}})\cdot (c_{2}{\vec {b}})=c_{1}c_{2}({\vec {a}}\cdot {\vec {b}})$

شرکت‌پذیری ممکن نیست.
خط زدن ممکن نیست: اگر ${\vec {a}}\cdot {\vec {b}}={\vec {a}}\cdot {\vec {c}}$ ، نمی‌توان نتیجه گرفت که ${\vec {b}}={\vec {c}}$ بلکه ${\vec {a}}\cdot {\vec {b}}={\vec {a}}\cdot {\vec {c}}\Longrightarrow {\vec {a}}\cdot ({\vec {b}}-{\vec {c}})=0\Longrightarrow \theta =90^{\circ }$
نابرابری مثلثی:
- $\|\mathbf {v} +\mathbf {w} \|\leq \|\mathbf {v} \|+\|\mathbf {w} \|$
- $\|\mathbf {v} -\mathbf {w} \|\geq \|\mathbf {v} \|-\|\mathbf {w} \|$

نابرابری کوشی-شوارتز (از بیان هندسی نتیجه می‌شود): ${\vec {a}}\cdot {\vec {b}}\leq \left\vert {\vec {a}}\right\vert \left\vert {\vec {b}}\right\vert$

تعمیم بردارهای مختلط

برای دو بردار مختلط، ضرب داخلی به صورت زیر تعریف می‌شود:

$\mathbf {a} \cdot \mathbf {b} =\sum _{i=1}^{n}{a_{i}{\overline {b_{i}}}}$

که در اینجا، ${\overline {b_{i}}}$

، مزدوج مختلط بردار $b_{i}$ است.

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

منابع

↑ "Comprehensive List of Algebra Symbols". Math Vault (به انگلیسی). 2020-03-25. Retrieved 2020-09-06.
↑ S. Lipschutz; M. Lipson (2009). Linear Algebra (Schaum's Outlines) (4th ed.). McGraw Hill. ISBN 978-0-07-154352-1.
↑ «۱۲٫۳». Thomas' Calculus (14th Edition).
↑ هندسه‌۳ پایه‌دوازدهم.
↑ Weisstein, Eric W. "Dot Product." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/DotProduct.html

عملیات دوتایی
عددی	تابعی	مجموعه‌ای	ساختاری
مقدماتی + جمع – تفریق × ضرب ÷ تقسیم ^ توان حسابی div خارج قسمت اقلیدسی mod باقی‌مانده اقلیدسی ∧ بزرگ‌ترین مقسوم‌علیه مشترک ∨ کوچک‌ترین مضرب مشترک ترکیباتی () ضریب دوجمله‌ای P جایگشت C ترکیب	∘ ترکیب ∗ کانولوشن	جبر مجموعه‌ها ∪ اجتماع \ متمم نسبی ∩ اشتراک Δ تفاضل متقارن ترتیب کلی min کمینه max بیشینه توری‌ها ∧ کرانه تحتانی ∨ کرانه فوقانی	مجموعه‌ها × ضرب دکارتی ⊔ اجتماع منفصل ^ توان مجموعه‌ای گروه‌ها ⊕ حاصل‌جمع مستقیم ∗ حاصل‌ضرب آزاد ≀ produit en couronne مدول‌ها ⊗ ضرب تانسوری Hom هومومورفیزم Tor پیچش Ext extensions	درخت‌ها ∨ enracinement واریته‌های متصل # جمع متصل فضاهای نقطه‌دار ∨ bouquet ∧ smash produit ∗ joint
	بُرداری
	(.) ضرب اسکالر ∧ ضرب برداری
	جبری
	[,] کروشه لی {,} کروشه پواسون ∧ ضرب خارجی
	هومولوژی
	∪ cup-produit • حاصل‌ضرب اشتراک	ترتیبی
	∪ cup-produit • حاصل‌ضرب اشتراک	+ الحاق
منطق بولی
∧ عطف منطقی	∨ فصل منطقی	⊕ یای انحصاری	⇒ استلزام منطقی	⇔ اگر و فقط اگر

[:0-1] "Comprehensive List of Algebra Symbols". Math Vault (به انگلیسی). 2020-03-25. Retrieved 2020-09-06.

[Lipschutz2009-2] S. Lipschutz; M. Lipson (2009). Linear Algebra (Schaum's Outlines) (4th ed.). McGraw Hill. ISBN 978-0-07-154352-1.

[:02-3] «۱۲٫۳». Thomas' Calculus (14th Edition).

[4] هندسه‌۳ پایه‌دوازدهم.

[5] Weisstein, Eric W. "Dot Product." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/DotProduct.html