جداء نقطي

(تم التحويل من Dot product)

في الرياضيات، الجداء النقطي dot product أو الجداء العددي scalar product[note 1] هي عملية جبرية تأخذ تسلسلين متساويي الطول من الأرقام (عادةً شعاع إحداثي، وتعيد رقماً واحداً. في الهندسة الإقليدية، يتم استخدام المنتج النقطي لـ الإحداثيات الديكارتية لاثنين من الأشعة على نطاق واسع. غالباً ما يطلق عليه الجداء الداخلي (أو نادراً الجداء الإسقاطي) من الفضاء الإقليدي، على الرغم من أنه ليس الجداء الداخلي الوحيد الذي يمكن تحديده في الفضاء الإقليدي (راجع فضاء الجداء الداخلي للمزيد).

جبرياً، الجداء النقطي هو مجموع النواتج من الإدخالات المقابلة لتسلسل الأرقام. هندسياً، هو ناتج المطال الإقليدي للشعاعين و جيب التمام للزاوية بينهما. هذه التعريفات متكافئة عند استخدام الإحداثيات الديكارتية. في الهندسة الحديثة، يتم تعريف الفضاء الإقليدي غالباً باستخدام فضاء الشعاع. في هذه الحالة، يتم استخدام الجداء النقطي لتعريف الأطوال (طول الشعاع هو الجذر التربيعي للجداء النقطي للشعاع بحد ذاته) والزوايا (جيب تمام زاوية الشعاعين هو حاصل القسمة للجداء النقطي بحاصل ضرب أطوالهم).

اسم "المنتج النقطي" مشتق من نقطة مركزية· "، التي غالباً ما تستخدم لتعيين هذه العملية;[1][2] يؤكد الاسم البديل "الجداء العددي" على أن النتيجة هي عددية، وليس شعاعية، كما هو الحال بالنسبة للجداء الشعاعي في فضاء ثلاثي الأبعاد.

تعريف

يمكن تعريف الجداء النقطي جبرياً أو هندسياً. يعتمد التعريف الهندسي على مفاهيم الزاوية والمسافة (حجم الأشعة). تكافؤ هذين التعريفين يعتمد على وجود نظام إحداثيات ديكارتي للفضاء الإقليدي.

في التقديمات الحديثة لـ الهندسة الإقليدية، يتم تحديد نقاط الفضاء من حيث الإحداثيات الديكارتية، و الفضاء الإقليدي نفسه يتم تحديده بشكل شائع مع فضاء إحداثي حقيقي Rn. في مثل هذا الشرح، يتم تحديد مفاهيم الطول والزوايا عن طريق الجداء العددي. ويتم تعريف طول الشعاع على أنه الجذر التربيعي للجداء النقطي للشعاع في حد ذاته، و جيب التمام للزاوية (غير الموجهة) لشعاعين بطول واحد يتم تعريفه كجداء نقطي. لذا فإن تكافؤ التعريفين للجداء النقطي هو جزء من تكافؤ الصيغتين الكلاسيكية والحديثة للهندسة الإقليدية.

التعريف الجبري

يُعرَّف الجداء النقطي لشعاعين a = [a1, a2, …, an] and b = [b1, b2, …, bn]  :[3]

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{\color{red}a}\cdot\mathbf{\color{blue}b}=\sum_{i=1}^n {\color{red}a}_i{\color{blue}b}_i={\color{red}a}_1{\color{blue}b}_1+{\color{red}a}_2{\color{blue}b}_2+\cdots+{\color{red}a}_n{\color{blue}b}_n}

حيث تشير Σ إلى الجمع و n هي البعد من فضاء الشعاع. على سبيل المثال، في فضاء ثلاثي الأبعاد، يكون الجداء النقطي للأشعة [1, 3, −5] و [4, −2, −1]:

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \ [{\color{red}1, 3, -5}] \cdot [{\color{blue}4, -2, -1}] &= ({\color{red}1} \times {\color{blue}4}) + ({\color{red}3}\times{\color{blue}-2}) + ({\color{red}-5}\times{\color{blue}-1}) \\ &= 4 - 6 + 5 \\ &= 3 \end{align} }

إذا تم تحديد الأشعة باستخدام مصفوفات نسقية، يمكن أيضاً كتابة الجداء النقطي كـ جداء مصفوفة

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{\color{red}a} \cdot \mathbf{\color{blue}b} = \mathbf{\color{red}a}\mathbf{\color{blue}b}^\mathsf T,}

حيث خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{\color{blue}b}^\mathsf T} يدل على منقول خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{\color{blue}b}} .

للتعبير عن المثال أعلاه بهذه الطريقة، يتم ضرب مصفوفة 1 × 3 (شعاع نسقي) في مصفوفة 3 × 1 (شعاع عمودي) للحصول على مصفوفة 1 × 1 التي تم تحديدها بمدخلها الفريد:

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{bmatrix} \color{red}1 & \color{red}3 & \color{red}-5 \end{bmatrix} \begin{bmatrix} \color{blue}4 \\ \color{blue}-2 \\ \color{blue}-1 \end{bmatrix} = \color{purple}3 } .

التعريف الهندسي

رسم توضيحي يوضح كيفية إيجاد الزاوية بين الشعاعين باستخدام الجداء النقطي
حساب الزوايا المترابطة المتناظرة الهندسة الجزيئية رباعية السطوح باستخدام جداء نقطي

في الفضاء الإقليدي، الشعاع الإقليدي هو شيء هندسي يمتلك مقداراً واتجاهاً. يمكن تصوير الشعاع كسهم. حجمه هو طوله، واتجاهه هو الاتجاه الذي يشير إليه السهم. يُشار إلى حجم الشعاع a بواسطة خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\| \mathbf{a} \right\| } . الجداء النقطي لشعاعين إقليديين a و b "يتم تعريفه بواسطة[4][5][2]

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{a}\cdot\mathbf{b}=\|\mathbf{a}\|\ \|\mathbf{b}\|\cos\theta ,}

حيث θ هي الزاوية بين a و b.

على وجه الخصوص، إذا كانت المتجهات a و b متعامدة (أي أن زاويتها هي π / 2 أو 90 درجة)، إذاً خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \cos \frac \pi 2 = 0} ، مما يعني أن

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf a \cdot \mathbf b = 0 .}

في الطرف الآخر، إذا كانت ذات اتجاه مشترك، فإن الزاوية بينهما تساوي صفراً:خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf a \cdot \mathbf b = \left\| \mathbf a \right\| \, \left\| \mathbf b \right\| } هذا يعني أن الجداء النقطي للشعاع a مع نفسه هو

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf a \cdot \mathbf a = \left\| \mathbf a \right\| ^2 ,}

والذي يعطي

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\| \mathbf a \right\| = \sqrt{\mathbf a \cdot \mathbf a} ,}

وهي صيغة الطول الإقليدي للشعاع.

الإسقاط العددي والخصائص الأولية

الإسقاط العددي

يُعطى الإسقاط العددي (أو المكون العددي) لشعاع إقليدي a في اتجاه الشعاع الإقليدي b:خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_b = \left\| \mathbf a \right\| \cos \theta ,} حيث تكون θ الزاوية بين a و b.

من حيث التعريف الهندسي للجداء النقطي، يمكن إعادة كتابة هذا

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_b = \mathbf a \cdot \widehat{\mathbf b} ,}

حيث خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \widehat{\mathbf b} = \mathbf b / \left\| \mathbf b \right\| } هو شعاع الوحدة في اتجاه b.

قانون التوزيع للخداء النقطي

وهكذا يتم تمييز الجداء النقطي هندسياً بواسطة[6]

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf a \cdot \mathbf b = a_b \left\| \mathbf{b} \right\| = b_a \left\| \mathbf{a} \right\| .}

يكون الجداء النقطي، المعرّف بهذه الطريقة، متجانس تحت القياس في كل متغير، مما يعني أنه لأي عدد قياسي α،

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle ( \alpha \mathbf{a} ) \cdot \mathbf b = \alpha ( \mathbf a \cdot \mathbf b ) = \mathbf a \cdot ( \alpha \mathbf b ) .}

كما أنه يستوفي قانون التوزيع، بمعنى ذلك

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf a \cdot ( \mathbf b + \mathbf c ) = \mathbf a \cdot \mathbf b + \mathbf a \cdot \mathbf c .}

يمكن تلخيص هذه الخصائص بالقول إن الجداء النقطي هو صيغة ثنائية الخطية. علاوة على ذلك، فإن هذا الشكل الثنائي الخطي هو تحديد إيجابي، مما يعني أن خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf a \cdot \mathbf a } ليست سالبة أبداً، وتكون صفراً إذا وفقط إذا خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf a = \mathbf 0 } —الشعاع الصفري.

وبالتالي، فإن الجداء النقطي يعادل ضرب معيار (طول) b بمعيار إسقاط a على b.

معادلة التعاريف

إذا كان e1, ..., en هي أشعة الأساس القياسي في Rn، إذاً قد نكتب

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \mathbf a &= [a_1 , \dots , a_n] = \sum_i a_i \mathbf e_i \\ \mathbf b &= [b_1 , \dots , b_n] = \sum_i b_i \mathbf e_i. \end{align} }

الأشعة ei هي أساس متعامد ، مما يعني أن لها طول وحدة وزوايا قائمة مع بعضها البعض. ومن ثم لأن هذه الأشعة لها وحدة طول

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf e_i \cdot \mathbf e_i = 1 }

وبما أنهم يشكلون زوايا قائمة مع بعضهم البعض، إذا ij,

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf e_i \cdot \mathbf e_j = 0 .}

لذلك بشكل عام يمكننا القول:

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf e_i \cdot \mathbf e_j = \delta_ {ij} .}

حيث تكون δ ij دلتا كرونيكر.

مكونات الشعاع في أساس متعامد

أيضاً، من خلال التعريف الهندسي، لأي شعاع ei والشعاع a، نلاحظ

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf a \cdot \mathbf e_i = \left\| \mathbf a \right\| \, \left\| \mathbf e_i \right\| \cos \theta_i = \left\| \mathbf a \right\| \cos \theta_i = a_i ,}

حيث تكون ai هو مكون الشعاع a في اتجاه ei. يمكن رؤية الخطوة الأخيرة في المساواة من الشكل.

الآن تطبيق توزيعية النسخة الهندسية يعطيها الجداء النقطي

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf a \cdot \mathbf b = \mathbf a \cdot \sum_i b_i \mathbf e_i = \sum_i b_i ( \mathbf a \cdot \mathbf e_i ) = \sum_i b_i a_i= \sum_i a_i b_i ,}

وهو بالضبط التعريف الجبري للجداء النقطي. إذن، الجداء النقطي الهندسي يساوي الجداء النقطي الجبري.

الخصائص

يفي الجداء النقطي بالخصائص التالية إذا كانت a و b و c أشعة حقيقة و r عددي.[3][4]

  1. التبادلية:
    الذي يلي التعريف (θ هي الزاوية بين a و b):[7]
  2. التوزيعية على إضافة الشعاع:
    خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{a} \cdot (\mathbf{b} + \mathbf{c}) = \mathbf{a} \cdot \mathbf{b} + \mathbf{a} \cdot \mathbf{c} .}
  3. ثنائية الخطية:
    خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{a} \cdot ( r \mathbf{b} + \mathbf{c} ) = r ( \mathbf{a} \cdot \mathbf{b} ) + ( \mathbf{a} \cdot \mathbf{c} ) .}
  4. الضرب العددي:
    خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle ( c_1 \mathbf{a} ) \cdot ( c_2 \mathbf{b} ) = c_1 c_2 ( \mathbf{a} \cdot \mathbf{b} ) .}
  5. ليس ترابطية لأن الجداء النقطي بين (a ⋅ b) عددي والشعاع (c) لم يتم تعريفه، مما يعني أن التعبيرات المتضمنة في الخاصية الترابطية (a ⋅ b) ⋅ c أو a ⋅ (b ⋅ c) كلاهما غير محدد.[8] نلاحظ مع ذلك أن خاصية الضرب العددية المذكورة سابقاً تسمى أحياناً "القانون الترابطي للجداء العددي والنقطي"[9] أو يمكن للمرء أن يقول أن "الجداء النقطي ترابطي فيما يتعلق بالضرب العددي" لأن c (ab) = (c a) ⋅ b = a ⋅ (c b).[10]
  6. التعامدية:
    شعاعين غير صفريين a وb هما متعامدان إذا وفقط إذا ab = 0.
  7. لا اختصارية:
    على عكس ضرب الأعداد العادية، حيث إذا ab = ac، فإن b تساوي دائماً c إلا إذا كانت a تساوي صفراً، فإن الجداء النقطي لا يخضع لقانون الاختصار:
    إذا ab = ac و a0، إذا يمكننا أن نكتب: a ⋅ (bc) = 0 بموجب قانون التوزيع؛ النتيجة أعلاه تقول أن هذا يعني فقط أن a عمودي على (bc)، الذي لا يزال يسمح (bc) ≠ 0، وبالتالي يسمح bc.
  8. قاعدة الجداء:
    إذا كانت a و b (ذات قيمة شعاعية) دوال التفاضل، فإن المشتق (يدل عليه بعدد أولي ′) من ab يعطى بالقاعدة (ab)′ = a′ ⋅ b + ab.

تطبيق لقانون جيب التمام

مثلث ذو حواف شعاعية a و b، مفصول بزاوية θ.

بالنظر إلى شعاعين a و b مفصول بزاوية θ (انظر الصورة على اليمين)، فإنهما يشكلان مثلثاً ضلع ثالث c = ab. الجداء النقطي لذلك مع نفسه:

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \mathbf{\color{gold}c} \cdot \mathbf{\color{gold}c} & = ( \mathbf{\color{red}a} - \mathbf{\color{blue}b}) \cdot ( \mathbf{\color{red}a} - \mathbf{\color{blue}b} ) \\ & = \mathbf{\color{red}a} \cdot \mathbf{\color{red}a} - \mathbf{\color{red}a} \cdot \mathbf{\color{blue}b} - \mathbf{\color{blue}b} \cdot \mathbf{\color{red}a} + \mathbf{\color{blue}b} \cdot \mathbf{\color{blue}b} \\ & = {\color{red}a}^2 - \mathbf{\color{red}a} \cdot \mathbf{\color{blue}b} - \mathbf{\color{red}a} \cdot \mathbf{\color{blue}b} + {\color{blue}b}^2 \\ & = {\color{red}a}^2 - 2 \mathbf{\color{red}a} \cdot \mathbf{\color{blue}b} + {\color{blue}b}^2 \\ {\color{gold}c}^2 & = {\color{red}a}^2 + {\color{blue}b}^2 - 2 {\color{red}a} {\color{blue}b} \cos {\color{purple}\theta} \\ \end{align} }

وهو قانون جيب التمام.

جداء ثلاثي

هناك نوعان من العمليات الثلاثية تتضمن الجداء النقطي و الجداء التقاطعي.

يتم تعريف الجداء الثلاثي العددي لثلاثة أشعة على أنه

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{a} \cdot ( \mathbf{b} \times \mathbf{c} ) = \mathbf{b} \cdot ( \mathbf{c} \times \mathbf{a} )=\mathbf{c} \cdot ( \mathbf{a} \times \mathbf{b} ).}

قيمتها هي محدد المصفوفة التي تمثل أعمدتها الإحداثيات الديكارتية للأشعة الثلاثة. وهو الحجم المؤشَّر من متوازي سطوح محدد بالأشعة الثلاثة.

يتم تعريف جداء ثلاثي الأشعة بواسطة[3][4]

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{a} \times ( \mathbf{b} \times \mathbf{c} ) = \mathbf{b} ( \mathbf{a} \cdot \mathbf{c} ) - \mathbf{c} ( \mathbf{a} \cdot \mathbf{b} ).}

هذه المطابقة، المعروفة أيضاً باسم صيغة لاگرانج، يمكن تذكرها باسم "BAC minus CAB"، مع مراعاة الأشعةالمنتشرة معاً. هذه الصيغة لها تطبيقات في تبسيط حسابات الأشعة في الفيزياء.

الفيزياء

في الفيزياء، مطال الشعاع هو العددية بالمعنى المادي (أي الكمية المادية مستقلة عن نظام الإحداثيات)، معبراً عنها بـ جداء قيمة عددية و وحدة مادية، وليس مجرد رقم. الجداء النقطي هو أيضاً عددي بهذا المعنى، معطى بواسطة الصيغة، مستقل عن نظام الإحداثيات. فمثً:[11][12]

التعميمات

أشعة عقدية

بالنسبة إلى المتجهات التي تحتوي على مدخلات عقدية، فإن استخدام التعريف المعطى للجداء النقطي سيؤدي إلى خصائص مختلفة تماماً. على سبيل المثال، سيكون الجداء النقطي للمتجه بحد ذاته عدداً مركباً عشوائياً، ويمكن أن يكون صفراً دون أن يكون المتجه هو المتجه الصفري (تسمى هذه المتجهات متساوية الخواص)؛ وهذا بدوره سيكون له آثار على مفاهيم مثل الطول والزاوية. يمكن استعادة خصائص مثل معيار التحديد الإيجابي على حساب التخلي عن الخصائص المتماثلة والخطية للمنتج القياسي، من خلال التعريف البديل[13][3]

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{a} \cdot \mathbf{b} = \sum{a_i \overline{b_i}} ,}

حيث bi هو المرافق العقدي لـ bi.يمكن أيضاً التعبير عنها بعبارات منقول مرافق (يُشار إليها بالحرف المرتفع H):

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{a} \cdot \mathbf{b} = \mathbf{a} \mathbf{b}^H .}

حيث يُفترض أن يتم تمثيل المتجهات كأشعة نسقية. ثم يكون الجداء العددي لأي متجه مع نفسه عدداً حقيقياً غير سالب، وهو غير صفري باستثناء المتجه الصفري. ومع ذلك، فإن هذا الجداء العددي هو خطي متماثل بدلاً من خطين: إنه خطي مترافق وليس خطي في a، والجداء القياسي غير متماثل، حيث

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{a} \cdot \mathbf{b} = \overline{\mathbf{b} \cdot \mathbf{a}} .}

الزاوية المحصورة بين متجهين مركبين تُعطى بواسطة

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \cos \theta = \frac{\operatorname{Re} ( \mathbf{a} \cdot \mathbf{b} )}{ \left\| \mathbf{a} \right\| \, \left\| \mathbf{b} \right\| } .}

هذا النوع من الجداءات العددية مفيد، ويؤدي إلى مفهومين الشكل هيرميتي و فضاءات الجداء الداخلي العامة. الجداء الذاتي النقطي لمتجه معقد خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{a} \cdot \mathbf{a}} هو تعميم لـ المربع المطلق لعدد مركب.

الجداء الداخلي

يعمم الجداء الداخلي الجداء النقطي على قضاءات متجه مجردة عبر مجال من العدديات، إما أن يكون مجال أعداد حقيقيةخطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \R } أو مجال أعداد مركبة خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Complex } . عادة ما يتم الإشارة إليها باستخدام الأقواس الزاوية بواسطة خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\langle \mathbf{a} \, , \mathbf{b} \right\rangle } .[1]

الجداء الداخلي لمتجهين في مجال الأعداد المركبة هو، بشكل عام، عدد مركب، وهو خطي متماثل بدلاً من خطين. فضاء الجداء الداخلي هي فضاء متجه معياري، والجداء الداخلي للمتجه بحد ذاته حقيقي وإيجابي - محدد.

الدوال

يتم تعريف الجداء النقطي للمتجهات التي لها عدد محدود من الإدخالات. وبالتالي يمكن اعتبار هذه المتجهات على أنها دوال متقطعة: طول - n متجه u، إذن، الدالة مع المجال {k ∈ ℕ ∣ 1 ≤ kn}, و ui هي تدوين لصورة i بالدالة / المتجه u.

يمكن تعميم هذه الفكرة على الدوال المستمرة: تماماً كما يستخدم الجداء الداخلي في المتجهات مجموعاً فوق المكونات المقابلة، يتم تعريف الجداء الداخلي في الدوال على أنه جزء لا يتجزأ من بعض الفترات axb (يُشار إليها أيضاً بـ [a, b]):[3]

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\langle u , v \right\rangle = \int_a^b u(x) v(x) d x }

معمم كذلك على الدالة العقدية ψ(x) و χ(x)، عن طريق القياس مع الجداء الداخلي المعقد أعلاه، يعطي[3]

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\langle \psi , \chi \right\rangle = \int_a^b \psi(x) \overline{\chi(x)} d x .}

دالة الوزن

يمكن أن تحتوي الجداءات الداخلية على دالة وزن (أي دالة تزن كل مصطلح في الجداء الداخلي بقيمة). صراحة، الجداء الداخلي للدوال خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle u(x)} و خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle v(x)} فيما يتعلق بدالة الوزن خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle r(x)>0} يكون

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\langle u , v \right\rangle = \int_a^b r(x) u(x) v(x) d x.}

الثنائيات والمصفوفات

لدى المصفوفات جداء فروبينيوس الداخلي، والذي يماثل الجداء الداخلي المتجه. يتم تعريفه على أنه مجموع جداءات المكونات المقابلة لمصفوفتين A و B لهما نفس الحجم:

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{A} : \mathbf{B} = \sum_i \sum_j A_{ij} \overline{B_{ij}} = \mathrm{tr} ( \mathbf{B}^\mathrm{H} \mathbf{A} ) = \mathrm{tr} ( \mathbf{A} \mathbf{B}^\mathrm{H} ) .}
خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{A} : \mathbf{B} = \sum_i \sum_j A_{ij} B_{ij} = \mathrm{tr} ( \mathbf{B}^\mathrm{T} \mathbf{A} ) = \mathrm{tr} ( \mathbf{A} \mathbf{B}^\mathrm{T} ) = \mathrm{tr} ( \mathbf{A}^\mathrm{T} \mathbf{B} ) = \mathrm{tr} ( \mathbf{B} \mathbf{A}^\mathrm{T} ) .} (للمصفوفات الحقيقية)

لدى الثنائيات جداء نقطي وجداء نقطي مزدوج محدد عليها، راجع Dyadics § Product of dyadic and dyadic للتعرف على تعريفاتها.

الموتّرات

الجداء الداخلي بين موتّر للمرتبة n وموتّر المرتبة m هو موتّر من المرتبة n + m − 2، راجع تقلص موتّر للحصول على التفاصيل.

الحساب

الخوارزميات

يمكن أن تعاني الخوارزمية المباشرة لحساب جداء النقطة العائمة للمتجهات من اختصار كارثي. لتجنب ذلك، يتم استخدام أساليب مثل خوارزمية جمع كاهان.

المكتبات

يتم تضمين دالة الجداء النقطي في المستوى 1 BLAS.

انظر أيضاً

ملاحظات

  1. ^ The term scalar product is often also used more generally to mean a symmetric bilinear form, for example for a pseudo-Euclidean space.[بحاجة لمصدر]

المراجع

  1. ^ أ ب "Comprehensive List of Algebra Symbols". Math Vault (in الإنجليزية الأمريكية). 2020-03-25. Retrieved 2020-09-06.
  2. ^ أ ب "Dot Product". www.mathsisfun.com. Retrieved 2020-09-06.
  3. ^ أ ب ت ث ج ح S. Lipschutz; M. Lipson (2009). Linear Algebra (Schaum's Outlines) (4th ed.). McGraw Hill. ISBN 978-0-07-154352-1.
  4. ^ أ ب ت M.R. Spiegel; S. Lipschutz; D. Spellman (2009). Vector Analysis (Schaum's Outlines) (2nd ed.). McGraw Hill. ISBN 978-0-07-161545-7.
  5. ^ A I Borisenko; I E Taparov (1968). Vector and tensor analysis with applications. Translated by Richard Silverman. Dover. p. 14.
  6. ^ Arfken, G. B.; Weber, H. J. (2000). Mathematical Methods for Physicists (5th ed.). Boston, MA: Academic Press. pp. 14–15. ISBN 978-0-12-059825-0..
  7. ^ Nykamp, Duane. "The dot product". Math Insight. Retrieved September 6, 2020.
  8. ^ Weisstein, Eric W. "Dot Product." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/DotProduct.html
  9. ^ T. Banchoff; J. Wermer (1983). Linear Algebra Through Geometry. Springer Science & Business Media. p. 12. ISBN 978-1-4684-0161-5.
  10. ^ A. Bedford; Wallace L. Fowler (2008). Engineering Mechanics: Statics (5th ed.). Prentice Hall. p. 60. ISBN 978-0-13-612915-8.
  11. ^ K.F. Riley; M.P. Hobson; S.J. Bence (2010). Mathematical methods for physics and engineering (3rd ed.). Cambridge University Press. ISBN 978-0-521-86153-3.
  12. ^ M. Mansfield; C. O’Sullivan (2011). Understanding Physics (4th ed.). John Wiley & Sons. ISBN 978-0-47-0746370.
  13. ^ Berberian, Sterling K. (2014), Linear Algebra, Dover, p. 287, ISBN 978-0-486-78055-9 

وصلات خارجية