مشتق خارجي

من حيث البديهيات

علاوةً على ذلك، d (α ∧ β) = dα ∧ β + (−1) p (α ∧ dβ) حيث α هي p-form. وهذا يعني، د هو antiderivation من الدرجة 1 على الجبر الخارجي من الأشكال التفاضلية.

من جانب آخر، يعرف المشتق الخارجى بأنه التخطيط الفريد ℝ الخطي من k-forms إلى (k + 1) -forms التي تحقق الخصائص التالية:

وفي هذا الصدد، الخاصية التعريفية الثانية تحمل بشكل أكثر عمومية: في الواقع، d (dα) = 0 لأي k-form α؛ أكثر إيجازًا، d2 = 0. الخاصية التعريفية الثالثة تعني كحالة خاصة إذا كانت f دالة و α a-form ، ثم d (fα) = d (f ∧ α) = df ∧ α + f ∧ dα لأن الدوال هي 0-أشكال، والضرب العددي والمنتج الخارجي متساويين عندما تكون إحدى الحجج متساوية العدد

d (df) = 0 لأي دالة ناعمة f.

df هو تفاضل f للوظائف الناعمة f.

المشتقة الخارجية في حساب التفاضل والتكامل

من جهة ثانية، أغلب مشغلي متجهات حساب التفاضل والتكامل هي حالات خاصة، أو لديهم علاقات وثيقة، لمفهوم التمايز الخارجي

من حيث صيغة ثابتة

من جهة ثانية، بدلاً من ذلك، يمكن إعطاء صيغة صريحة للمشتق الخارجي لـ k-form ، عندما تقترن بـ k + 1 حقول ناقل متجانس سلسة V0 ، V1 ، ... ، Vk:

الانحدار

علاوةً على ذلك، عندما يتم تعريف المنتج الداخلي، · ،، ، يتم تعريف التدرج off للدالة f على أنه ناقل فريد في V بحيث يكون منتجه الداخلي مع أي عنصر من V هو مشتق الاتجاه f على طول الموجه، أي مثل ذلك

من جانب آخر، وظيفة ناعمة f: M → ℝ على مشعب حقيقي مختلف M هو شكل 0. إن المشتق الخارجي لهذا الشكل 0 هو df.

من حيث الإحداثيات المحلية

وفي السياق ذاته، بدلا من ذلك، يمكن للمرء العمل بشكل كامل في نظام إحداثيات محلي (x1 ، ... ، xn). تشكل تباينات التنسيق dx1 ، ... ، dxn أساسًا لفضاء أشكال واحدة، يرتبط كل منها بإحداثي. بالنظر إلى مؤشر متعدد I = (i1، ...، ik) مع 1 ≤ ip ≤ n لـ 1 ≤ p ≤ k (وتشير إلى dxi1 ∧ ... ∧ dxik مع إساءة استخدام الترميز dxI) ، المشتقة الخارجية لـ نموذج بسيط (k)