جداء نقطي
في الرياضيات، الجداء النقطي dot product أو الجداء العددي scalar product[note 1] هي عملية جبرية تأخذ تسلسلين متساويي الطول من الأرقام (عادةً شعاع إحداثي، وتعيد رقماً واحداً. في الهندسة الإقليدية، يتم استخدام المنتج النقطي لـ الإحداثيات الديكارتية لاثنين من الأشعة على نطاق واسع. غالباً ما يطلق عليه الجداء الداخلي (أو نادراً الجداء الإسقاطي) من الفضاء الإقليدي، على الرغم من أنه ليس الجداء الداخلي الوحيد الذي يمكن تحديده في الفضاء الإقليدي (راجع فضاء الجداء الداخلي للمزيد).
جبرياً، الجداء النقطي هو مجموع النواتج من الإدخالات المقابلة لتسلسل الأرقام. هندسياً، هو ناتج المطال الإقليدي للشعاعين و جيب التمام للزاوية بينهما. هذه التعريفات متكافئة عند استخدام الإحداثيات الديكارتية. في الهندسة الحديثة، يتم تعريف الفضاء الإقليدي غالباً باستخدام فضاء الشعاع. في هذه الحالة، يتم استخدام الجداء النقطي لتعريف الأطوال (طول الشعاع هو الجذر التربيعي للجداء النقطي للشعاع بحد ذاته) والزوايا (جيب تمام زاوية الشعاعين هو حاصل القسمة للجداء النقطي بحاصل ضرب أطوالهم).
اسم "المنتج النقطي" مشتق من نقطة مركزية " · "، التي غالباً ما تستخدم لتعيين هذه العملية;[1][2] يؤكد الاسم البديل "الجداء العددي" على أن النتيجة هي عددية، وليس شعاعية، كما هو الحال بالنسبة للجداء الشعاعي في فضاء ثلاثي الأبعاد.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
تعريف
يمكن تعريف الجداء النقطي جبرياً أو هندسياً. يعتمد التعريف الهندسي على مفاهيم الزاوية والمسافة (حجم الأشعة). تكافؤ هذين التعريفين يعتمد على وجود نظام إحداثيات ديكارتي للفضاء الإقليدي.
في التقديمات الحديثة لـ الهندسة الإقليدية، يتم تحديد نقاط الفضاء من حيث الإحداثيات الديكارتية، و الفضاء الإقليدي نفسه يتم تحديده بشكل شائع مع فضاء إحداثي حقيقي Rn. في مثل هذا الشرح، يتم تحديد مفاهيم الطول والزوايا عن طريق الجداء العددي. ويتم تعريف طول الشعاع على أنه الجذر التربيعي للجداء النقطي للشعاع في حد ذاته، و جيب التمام للزاوية (غير الموجهة) لشعاعين بطول واحد يتم تعريفه كجداء نقطي. لذا فإن تكافؤ التعريفين للجداء النقطي هو جزء من تكافؤ الصيغتين الكلاسيكية والحديثة للهندسة الإقليدية.
التعريف الجبري
يُعرَّف الجداء النقطي لشعاعين a = [a1, a2, …, an] and b = [b1, b2, …, bn] :[3]
حيث تشير Σ إلى الجمع و n هي البعد من فضاء الشعاع. على سبيل المثال، في فضاء ثلاثي الأبعاد، يكون الجداء النقطي للأشعة [1, 3, −5] و [4, −2, −1]:
إذا تم تحديد الأشعة باستخدام مصفوفات نسقية، يمكن أيضاً كتابة الجداء النقطي كـ جداء مصفوفة
حيث يدل على منقول .
للتعبير عن المثال أعلاه بهذه الطريقة، يتم ضرب مصفوفة 1 × 3 (شعاع نسقي) في مصفوفة 3 × 1 (شعاع عمودي) للحصول على مصفوفة 1 × 1 التي تم تحديدها بمدخلها الفريد:
- .
التعريف الهندسي
في الفضاء الإقليدي، الشعاع الإقليدي هو شيء هندسي يمتلك مقداراً واتجاهاً. يمكن تصوير الشعاع كسهم. حجمه هو طوله، واتجاهه هو الاتجاه الذي يشير إليه السهم. يُشار إلى حجم الشعاع a بواسطة . الجداء النقطي لشعاعين إقليديين a و b "يتم تعريفه بواسطة[4][5][2]
حيث θ هي الزاوية بين a و b.
على وجه الخصوص، إذا كانت المتجهات a و b متعامدة (أي أن زاويتها هي π / 2 أو 90 درجة)، إذاً ، مما يعني أن
في الطرف الآخر، إذا كانت ذات اتجاه مشترك، فإن الزاوية بينهما تساوي صفراً: هذا يعني أن الجداء النقطي للشعاع a مع نفسه هو
والذي يعطي
وهي صيغة الطول الإقليدي للشعاع.
الإسقاط العددي والخصائص الأولية
يُعطى الإسقاط العددي (أو المكون العددي) لشعاع إقليدي a في اتجاه الشعاع الإقليدي b: حيث تكون θ الزاوية بين a و b.
من حيث التعريف الهندسي للجداء النقطي، يمكن إعادة كتابة هذا
حيث هو شعاع الوحدة في اتجاه b.
وهكذا يتم تمييز الجداء النقطي هندسياً بواسطة[6]
يكون الجداء النقطي، المعرّف بهذه الطريقة، متجانس تحت القياس في كل متغير، مما يعني أنه لأي عدد قياسي α،
كما أنه يستوفي قانون التوزيع، بمعنى ذلك
يمكن تلخيص هذه الخصائص بالقول إن الجداء النقطي هو صيغة ثنائية الخطية. علاوة على ذلك، فإن هذا الشكل الثنائي الخطي هو تحديد إيجابي، مما يعني أن ليست سالبة أبداً، وتكون صفراً إذا وفقط إذا —الشعاع الصفري.
وبالتالي، فإن الجداء النقطي يعادل ضرب معيار (طول) b بمعيار إسقاط a على b.
معادلة التعاريف
إذا كان e1, ..., en هي أشعة الأساس القياسي في Rn، إذاً قد نكتب
الأشعة ei هي أساس متعامد ، مما يعني أن لها طول وحدة وزوايا قائمة مع بعضها البعض. ومن ثم لأن هذه الأشعة لها وحدة طول
وبما أنهم يشكلون زوايا قائمة مع بعضهم البعض، إذا i ≠ j,
لذلك بشكل عام يمكننا القول:
حيث تكون δ ij دلتا كرونيكر.
أيضاً، من خلال التعريف الهندسي، لأي شعاع ei والشعاع a، نلاحظ
حيث تكون ai هو مكون الشعاع a في اتجاه ei. يمكن رؤية الخطوة الأخيرة في المساواة من الشكل.
الآن تطبيق توزيعية النسخة الهندسية يعطيها الجداء النقطي
وهو بالضبط التعريف الجبري للجداء النقطي. إذن، الجداء النقطي الهندسي يساوي الجداء النقطي الجبري.
الخصائص
يفي الجداء النقطي بالخصائص التالية إذا كانت a و b و c أشعة حقيقة و r عددي.[3][4]
- التبادلية:
- الذي يلي التعريف (θ هي الزاوية بين a و b):[7]
- التوزيعية على إضافة الشعاع:
- ثنائية الخطية:
- الضرب العددي:
- ليس ترابطية لأن الجداء النقطي بين (a ⋅ b) عددي والشعاع (c) لم يتم تعريفه، مما يعني أن التعبيرات المتضمنة في الخاصية الترابطية (a ⋅ b) ⋅ c أو a ⋅ (b ⋅ c) كلاهما غير محدد.[8] نلاحظ مع ذلك أن خاصية الضرب العددية المذكورة سابقاً تسمى أحياناً "القانون الترابطي للجداء العددي والنقطي"[9] أو يمكن للمرء أن يقول أن "الجداء النقطي ترابطي فيما يتعلق بالضرب العددي" لأن c (a ⋅ b) = (c a) ⋅ b = a ⋅ (c b).[10]
- التعامدية:
- شعاعين غير صفريين a وb هما متعامدان إذا وفقط إذا a ⋅ b = 0.
- لا اختصارية:
- على عكس ضرب الأعداد العادية، حيث إذا ab = ac، فإن b تساوي دائماً c إلا إذا كانت a تساوي صفراً، فإن الجداء النقطي لا يخضع لقانون الاختصار:
- إذا a ⋅ b = a ⋅ c و a ≠ 0، إذا يمكننا أن نكتب: a ⋅ (b − c) = 0 بموجب قانون التوزيع؛ النتيجة أعلاه تقول أن هذا يعني فقط أن a عمودي على (b − c)، الذي لا يزال يسمح (b − c) ≠ 0، وبالتالي يسمح b ≠ c.
- قاعدة الجداء:
- إذا كانت a و b (ذات قيمة شعاعية) دوال التفاضل، فإن المشتق (يدل عليه بعدد أولي ′) من a ⋅ b يعطى بالقاعدة (a ⋅ b)′ = a′ ⋅ b + a ⋅ b′.
تطبيق لقانون جيب التمام
بالنظر إلى شعاعين a و b مفصول بزاوية θ (انظر الصورة على اليمين)، فإنهما يشكلان مثلثاً ضلع ثالث c = a − b. الجداء النقطي لذلك مع نفسه:
وهو قانون جيب التمام.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
جداء ثلاثي
هناك نوعان من العمليات الثلاثية تتضمن الجداء النقطي و الجداء التقاطعي.
يتم تعريف الجداء الثلاثي العددي لثلاثة أشعة على أنه
قيمتها هي محدد المصفوفة التي تمثل أعمدتها الإحداثيات الديكارتية للأشعة الثلاثة. وهو الحجم المؤشَّر من متوازي سطوح محدد بالأشعة الثلاثة.
يتم تعريف جداء ثلاثي الأشعة بواسطة[3][4]
هذه المطابقة، المعروفة أيضاً باسم صيغة لاگرانج، يمكن تذكرها باسم "BAC minus CAB"، مع مراعاة الأشعةالمنتشرة معاً. هذه الصيغة لها تطبيقات في تبسيط حسابات الأشعة في الفيزياء.
الفيزياء
في الفيزياء، مطال الشعاع هو العددية بالمعنى المادي (أي الكمية المادية مستقلة عن نظام الإحداثيات)، معبراً عنها بـ جداء قيمة عددية و وحدة مادية، وليس مجرد رقم. الجداء النقطي هو أيضاً عددي بهذا المعنى، معطى بواسطة الصيغة، مستقل عن نظام الإحداثيات. فمثً:[11][12]
التعميمات
أشعة عقدية
بالنسبة إلى المتجهات التي تحتوي على مدخلات عقدية، فإن استخدام التعريف المعطى للجداء النقطي سيؤدي إلى خصائص مختلفة تماماً. على سبيل المثال، سيكون الجداء النقطي للمتجه بحد ذاته عدداً مركباً عشوائياً، ويمكن أن يكون صفراً دون أن يكون المتجه هو المتجه الصفري (تسمى هذه المتجهات متساوية الخواص)؛ وهذا بدوره سيكون له آثار على مفاهيم مثل الطول والزاوية. يمكن استعادة خصائص مثل معيار التحديد الإيجابي على حساب التخلي عن الخصائص المتماثلة والخطية للمنتج القياسي، من خلال التعريف البديل[13][3]
حيث bi هو المرافق العقدي لـ bi.يمكن أيضاً التعبير عنها بعبارات منقول مرافق (يُشار إليها بالحرف المرتفع H):
حيث يُفترض أن يتم تمثيل المتجهات كأشعة نسقية. ثم يكون الجداء العددي لأي متجه مع نفسه عدداً حقيقياً غير سالب، وهو غير صفري باستثناء المتجه الصفري. ومع ذلك، فإن هذا الجداء العددي هو خطي متماثل بدلاً من خطين: إنه خطي مترافق وليس خطي في a، والجداء القياسي غير متماثل، حيث
الزاوية المحصورة بين متجهين مركبين تُعطى بواسطة
هذا النوع من الجداءات العددية مفيد، ويؤدي إلى مفهومين الشكل هيرميتي و فضاءات الجداء الداخلي العامة. الجداء الذاتي النقطي لمتجه معقد هو تعميم لـ المربع المطلق لعدد مركب.
الجداء الداخلي
يعمم الجداء الداخلي الجداء النقطي على قضاءات متجه مجردة عبر مجال من العدديات، إما أن يكون مجال أعداد حقيقيةأو مجال أعداد مركبة . عادة ما يتم الإشارة إليها باستخدام الأقواس الزاوية بواسطة .[1]
الجداء الداخلي لمتجهين في مجال الأعداد المركبة هو، بشكل عام، عدد مركب، وهو خطي متماثل بدلاً من خطين. فضاء الجداء الداخلي هي فضاء متجه معياري، والجداء الداخلي للمتجه بحد ذاته حقيقي وإيجابي - محدد.
الدوال
يتم تعريف الجداء النقطي للمتجهات التي لها عدد محدود من الإدخالات. وبالتالي يمكن اعتبار هذه المتجهات على أنها دوال متقطعة: طول - n متجه u، إذن، الدالة مع المجال {k ∈ ℕ ∣ 1 ≤ k ≤ n}, و ui هي تدوين لصورة i بالدالة / المتجه u.
يمكن تعميم هذه الفكرة على الدوال المستمرة: تماماً كما يستخدم الجداء الداخلي في المتجهات مجموعاً فوق المكونات المقابلة، يتم تعريف الجداء الداخلي في الدوال على أنه جزء لا يتجزأ من بعض الفترات a ≤ x ≤ b (يُشار إليها أيضاً بـ [a, b]):[3]
معمم كذلك على الدالة العقدية ψ(x) و χ(x)، عن طريق القياس مع الجداء الداخلي المعقد أعلاه، يعطي[3]
دالة الوزن
يمكن أن تحتوي الجداءات الداخلية على دالة وزن (أي دالة تزن كل مصطلح في الجداء الداخلي بقيمة). صراحة، الجداء الداخلي للدوال و فيما يتعلق بدالة الوزن يكون
الثنائيات والمصفوفات
لدى المصفوفات جداء فروبينيوس الداخلي، والذي يماثل الجداء الداخلي المتجه. يتم تعريفه على أنه مجموع جداءات المكونات المقابلة لمصفوفتين A و B لهما نفس الحجم:
- (للمصفوفات الحقيقية)
لدى الثنائيات جداء نقطي وجداء نقطي مزدوج محدد عليها، راجع Dyadics § Product of dyadic and dyadic للتعرف على تعريفاتها.
الموتّرات
الجداء الداخلي بين موتّر للمرتبة n وموتّر المرتبة m هو موتّر من المرتبة n + m − 2، راجع تقلص موتّر للحصول على التفاصيل.
الحساب
الخوارزميات
يمكن أن تعاني الخوارزمية المباشرة لحساب جداء النقطة العائمة للمتجهات من اختصار كارثي. لتجنب ذلك، يتم استخدام أساليب مثل خوارزمية جمع كاهان.
المكتبات
يتم تضمين دالة الجداء النقطي في المستوى 1 BLAS.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
انظر أيضاً
- Cauchy–Schwarz inequality
- Cross product
- Dot product representation of a graph
- Euclidean norm, the square-root of the self dot product
- Matrix multiplication
- Metric tensor
- Multiplication of vectors
- Outer product
ملاحظات
- ^ The term scalar product is often also used more generally to mean a symmetric bilinear form, for example for a pseudo-Euclidean space.[بحاجة لمصدر]
المراجع
- ^ أ ب "Comprehensive List of Algebra Symbols". Math Vault (in الإنجليزية الأمريكية). 2020-03-25. Retrieved 2020-09-06.
- ^ أ ب "Dot Product". www.mathsisfun.com. Retrieved 2020-09-06.
- ^ أ ب ت ث ج ح S. Lipschutz; M. Lipson (2009). Linear Algebra (Schaum's Outlines) (4th ed.). McGraw Hill. ISBN 978-0-07-154352-1.
- ^ أ ب ت M.R. Spiegel; S. Lipschutz; D. Spellman (2009). Vector Analysis (Schaum's Outlines) (2nd ed.). McGraw Hill. ISBN 978-0-07-161545-7.
- ^ A I Borisenko; I E Taparov (1968). Vector and tensor analysis with applications. Translated by Richard Silverman. Dover. p. 14.
- ^ 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..
- ^ Nykamp, Duane. "The dot product". Math Insight. Retrieved September 6, 2020.
- ^ Weisstein, Eric W. "Dot Product." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/DotProduct.html
- ^ T. Banchoff; J. Wermer (1983). Linear Algebra Through Geometry. Springer Science & Business Media. p. 12. ISBN 978-1-4684-0161-5.
- ^ A. Bedford; Wallace L. Fowler (2008). Engineering Mechanics: Statics (5th ed.). Prentice Hall. p. 60. ISBN 978-0-13-612915-8.
- ^ 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.
- ^ M. Mansfield; C. O’Sullivan (2011). Understanding Physics (4th ed.). John Wiley & Sons. ISBN 978-0-47-0746370.
- ^ Berberian, Sterling K. (2014), Linear Algebra, Dover, p. 287, ISBN 978-0-486-78055-9
وصلات خارجية
| Scalar product
]].- Hazewinkel, Michiel, ed. (2001), "Inner product", Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN 978-1556080104
- Explanation of dot product including with complex vectors
- "Dot Product" by Bruce Torrence, Wolfram Demonstrations Project, 2007.
- مقالات ذات عبارات بحاجة لمصادر
- CS1 الإنجليزية الأمريكية-language sources (en-us)
- Short description with empty Wikidata description
- Articles with redirect hatnotes needing review
- Articles with hatnote templates targeting a nonexistent page
- Articles containing proofs
- Bilinear forms
- Linear algebra
- Vectors (mathematics and physics)
- هندسة تحليلية
- Tensors
- Binary operations