جبر خارجي

.إتجاهات معرفة بواسطة مجموعة مرتبة من المتجهات

إتجاه عكسي مقابل لإلغاء الضرب الخارجي

تفسير هندسي

في مجال الرياضيات، الضرب الخارجي (بالإنجليزية: Exterior product أو Wedge product)‏ لمتجهات هو تركيب جبري يستخدم في الهندسة لدراسة المساحات والأحجام وكذلك الأبعاد الأعلى المناظرة. الضرب الخارجي للمتجهين

u

و

v

والذي يرمز له بالرمز

u \land v

يسمى bivector ويكمن في فضاء يسمى مربع خارجي والذي هو فضاء المتجه المميز من فضاء المتجهات الأصلي. يمكن تفسير حجم^[1]

a \land b

كمساحة متوازي الأضلاع ذو الضلعين. أيضا بواسطة الشكل الثلاثي الأبعاد لهذا متوازي الأضلاع يمكن حساب الضرب الإتجاهي لمتجهين.

أمثلة محفزة

المساحات في المستوى

في مستوى الجداء الديكارتي

ℝ^{2}

هو فضاء المتجه المعرف بأساس مكون من زوج من متجهات الوحدة المعرفة بالمتجهين

$e_{1} = [\begin{matrix} 1 \\ 0 \end{matrix}]$ و $e_{2} = [\begin{matrix} 0 \\ 1 \end{matrix}]$ .

لنفرض أن $v = [\begin{matrix} a \\ b \end{matrix}] = a e_{1} + b e_{2}$ و $w = [\begin{matrix} c \\ d \end{matrix}] = c e_{1} + d e_{2}$ هما متجهين معرفين بدلالة مركباتهما وينتميان لفضاء المتجه $ℝ^{2}$ . يوجد متوازي أضلاع وحيد معرف بدلالة الضلعين $v$ و $w$ والذي مساحته معرفه بالمحدد التالي:

$| 𝕕 𝕖 𝕥 [v w] | = | 𝕕 𝕖 𝕥 [\begin{matrix} a & c \\ b & d \end{matrix}] | = | a d - b c |$ .

أعتبر الآن الضرب الخارجي للمتجهين $v$ و $w$ المعرف كالتالي:

$\begin{array}{l} v \land w & = (a e_{1} + b e_{2}) \land (c e_{1} + d e_{2}) \\ = a c e_{1} \land e_{1} + a d e_{1} \land e_{2} + b c e_{2} \land e_{1} + b d e_{2} \land e_{2} \\ = (a d - b c) e_{1} \land e_{2} \end{array}$

حيث أنه تم استخدام خاصية التوزيع للضرب الخارجي بالخطوة الأولى وبالعملية الاخيره تم استخدام خاصية الإبدال وعلى وجه الخصوص الخاصية $e_{2} \land e_{1} = - (e_{1} \land e_{2})$ . لاحظ أن المعامل بالمعادلة الأخيره هو عبارة عن محدد المصفوفة $[v w]$ . نلاحظ أيضا أنه من خاصية الإبدال بالضرب الخارجي لدينا

$e_{1} \land e_{1} = e_{2} \land e_{2} = 0$ .

تفسر الإشارة الموجبه أو السالبة بأن المتجهين $v$ و $w$ يتجهان عكس أو مع إتجاه عقارب الساعة كرؤوس لمتوازي الأضلاع المعرف أعلاه. مثل هذه المساحة تعرف بمساحة محددة لمتوازي الأضلاع والقيمة المطلقة لمساحة محددة هي المساحة المعتادة وإشارة المحدد هي إتجاهه.

إذا كان $A (v, w)$ يرمز لمساحة متوازي الأضلاع الذي يمثل المتجهين $v, w$ ضلعين فيه فإن $A$ يجب أن تحقق الخصائص التالية:

لتكن $k$ و $j$ أعداد حقيقة فإن $A (j v, k w) = j k A (v, w)$ .
$A (v, v) = 0$ والتي تمثل مساحة لخط مستقيم تساوي صفر.
$A (v, w) = - A (w, v)$ حيث أن تبديل بين $v$ و $w$ يعكس إتجاه متوازي الأضلاع.
لأي عدد حقيقي $j$ فإن $A (v + j w, w) = A (v, w)$ حيث أن إضافة أي مضاعف ل $w$ للمتجه $v$ لايؤثر على الأساس ولايؤثر أيضا على ارتفاع متوازي الأضلاع فبالتالي فإنه يحافظ على مساحته.
$A (e_{1}, e_{2}) = 1$ أي ان مساحة مربع الوحدة يساوي واحد.

بإستثناء الخاصية الأخيره فإن الضرب الخارجي لمتجهين يحقق نفس خواص المساحة. أي أن الضرب الخارجي يعمم الخاصية الأخيره بالسماح لمساحة متوازي الأضلاع لتقارن بأي متوازي أضلاع بالمستوى الموازي. بمعنى آخر فإن الضرب الخارجي يحقق صيغة الأساس المستقل لأي مساحة (basis-independent formulation of area).^[2]

ضرب تقاطعي وضرب المتجهات الثلاثية

لأي متجهات في $R^{3}$ فإن الجبر الخارجي يعرف بضرب تجاهي أو تقاطعي (cross product ) وضرب المتجهات الثلاثية (triple product ). باستخدام متجهة وحدة الأساس ${e_{1}, e_{2}, e_{3}}$ فإن الضرب الخارجي للمتجهين

$u = u_{1} e_{1} + u_{2} e_{2} + u_{3} e_{3}$ و $v = v_{1} e_{1} + v_{2} e_{2} + v_{3} e_{3}$ يعرف كالتالي:

$u \land v = (u_{1} v_{2} - u_{2} v_{1}) (e_{1} \land e_{2}) + (u_{3} v_{1} - u_{1} v_{3}) (e_{3} \land e_{1}) + (u_{2} v_{3} - u_{3} v_{2}) (e_{2} \land e_{3})$

حيث أن ${e_{1} \land e_{2}, e_{3} \land e_{1}, e_{2} \land e_{3}}$ تمثل قاعدة الفضاء ثلاثي الأبعاد $\land^{2} (R^{3})$ . معاملات المعادلة أعلاه هي نفسها المعرفة للضرب التقاطعي في ثلاث أبعاد لكن الفرق الوحيد بينما هو أن الضرب الخارجي ليس متجه معتاد وإنما يمثل متجه ثنائي.

بتعريف متجه ثالث معرف بالمتجه $w = w_{1} e_{1} + w_{2} e_{2} + w_{3} e_{3}$ فإن الضرب الخارجي لثلاث متجهات معرف كما يلي:

$u \land v \land w = (u_{1} v_{2} w_{3} + u_{2} v_{3} w_{1} + u_{3} v_{1} w_{2} - u_{1} v_{3} w_{2} - u_{2} v_{1} w_{3} - u_{3} v_{2} w_{1}) (e_{1} \land e_{2} \land e_{3})$

حيث أن $e_{1} \land e_{2} \land e_{3}$ تمثل أساس للفضاء ببعد واحد $\land^{3} (R^{3})$ .

تعاريف وخصائص جبريه

ملاحظات

^ Strictly speaking, the magnitude depends on some additional structure, namely that the vectors be in a Euclidean space. We do not generally assume that this structure is available, except where it is helpful to develop intuition on the subject.
^ This axiomatization of areas is due to Leopold Kronecker and Karl Weierstrass; see Bourbaki (1989, Historical Note). For a modern treatment, see Mac Lane & Birkhoff (1999, Theorem IX.2.2). For an elementary treatment, see Strang (1993, Chapter 5).

المراجع

مراجع تاريخية

Grassmann algebra – Exploring applications of Extended Vector Algebra with Mathematica، 2007

[1] Strictly speaking, the magnitude depends on some additional structure, namely that the vectors be in a Euclidean space. We do not generally assume that this structure is available, except where it is helpful to develop intuition on the subject.

[2] This axiomatization of areas is due to Leopold Kronecker and Karl Weierstrass; see Bourbaki (1989, Historical Note). For a modern treatment, see Mac Lane & Birkhoff (1999, Theorem IX.2.2). For an elementary treatment, see Strang (1993, Chapter 5).

[1]

[2]

ع ن ت مواضيع الجبر الخطي
معادلة خطية	نظام المعادلات الخطية-محدد>(محدد مقتصر-صيغة كوشي-بينيه-قاعدة كرامر-حذف غاوس-جوردان )-خوارزمية شتراسن
مصفوفات	نظرية المصفوفة - جمع المصفوفات - ضرب المصفوفات - مصفوفة التحويلِ الأساسية-متعددة حدود مميزة- أثر - مبرهنة كايلي-هاميلتون - قيمة خاصة ، شعاع خاص - شكل جوردان الطبيعي - رتبة - مصفوفة معكوسة ، مصفوفة قابلة للعكس > مقلوب كاذب -مصفوفة مصاحبة-تحويل رياضي > ( الجداء نقطة -مصفوفة متماثلة-مصفوفة متعامدة- مصفوفة متماثلة منحرفة - نقل مترافق - مصفوفة الوحدة - مصفوفة هيرميتية، ضد هيرميتي ) - معرف إيجابي، نصف معرف إيجابي ، مصفوفة إيجابية معرفة- بفافي مصفوفة -تقدير -مصفوفة قطرية، قطر رئيسي > مصفوفة قطورة - مصفوفة Tridiagonal - مصفوفة هيسينبرغ - مصفوفة مثلثية - نظرية طيفية - مصفوفة قياسية-مصفوفة تويبليتز - مصفوفة هانكل - مصفوفة فانديرموند-مصفوفة كتلوية-مصفوفة متناثرة - مصفوفة دفع - هوية مصفوفة وودبوري - مبرهنة بيرون-فروبانيوس
تفكيك مصفوفة	تفكيك تشوليسكي-تفكيك لو-تفكيك كيو آر-نظرية طيفية-تفكيك قيمة مفرد-تفكيك شور>تكملة شور
حسابات	تحويل هاوسهولدر-طريقة مجموع المربعات الدنيا-عملية غرام شميت
متجهات	ضرب قياسي-تركيب خطي-مدى خطي-استقلال خطي-أساس خطي-شعاع تنسيقي
فضاء شعاعي	أمثلة الفراغات الشعاعية-تحويل خطي> تحويل غاليلي، تحويل لورينتز-فضاء عمود-فضاء صف-فضاء ملغي ، بطلان- نظرية بطلان غريزة النموِ- فضاء ثنائي > دالة خطية- تعامد - متمم متعامد - إسقاط متعامد - دوران غير صحيح - فضاء جزئي
جبر متعدد الخطية	تينسور > ( معالجة كلاسيكية للتينسورات - معالجة متوسطة للتينسور - معالجة خالية من التنسورات ) - موتر >(جبر خارجي-جبر متماثل )
فضاء تآلفي	تحويل أفيني-زمرة أفينية-هندسة تآلفية
فضاء إسقاطي	تحويل إسقاطي-هندسة إسقاطية-سطح الدرجة الثانية

جبر خارجي

محتويات

أمثلة محفزة

المساحات في المستوى

ضرب تقاطعي وضرب المتجهات الثلاثية

تعاريف وخصائص جبريه

ملاحظات

المراجع

مراجع تاريخية

قائمة التصفح

جبر خارجي

أمثلة محفزة

المساحات في المستوى

ضرب تقاطعي وضرب المتجهات الثلاثية

تعاريف وخصائص جبريه

ملاحظات

المراجع

مراجع تاريخية

قائمة التصفح

بحث