شكل دقيق
حساب التفاضل والتكامل هو مستقل عن الإحداثيات. توفر الأشكال التفاضلية منهجًا موحدًا لتعريف التكاملات على المنحنيات والأسطح والأحجام والمشعبات ذات الأبعاد الأعلى. الفكرة الحديثة من الأشكال التفاضلية كانت رائدة من قبل إيلي كارتان. لديها العديد من التطبيقات ، وخاصة في الهندسة والطوبولوجيا والفيزياء.
على سبيل المثال ، يمثل التعبير f (x) dx من حساب التفاضل والتكامل المتغير واحد مثالاً على شكل 1 ، ويمكن دمجه خلال فاصل زمني [a ، b] في مجال f:
وبالمثل ، فإن التعبير f (x، y، z) dx ∧ dy + g (x، y، z) dx ∧ dz + h (x، y، z) dy ∧ dz عبارة عن نموذج 2 يحتوي على تكامل سطحي فوق سطح موجه S:
وبالمثل ، تمثل صيغة f 3-d (x، y، z) dx dy ∧ dz عنصرًا حجمًا يمكن دمجه على مساحة من الفضاء. بشكل عام ، فإن k-form هو كائن يمكن دمجه على مجموعات k-dimensional ، وهو متجانس بدرجة k في الفروق الإحداثية.
الأشكال التفاضلية هي جزء من مجال الهندسة التفاضلية ، وتتأثر بالجبر الخطي. على الرغم من أن فكرة الفارق قديمة إلى حد كبير ، فإن المحاولة الأولية لمؤسسة جبرية من الأشكال التفاضلية تُنسب عادة إلى إيلي كارتان بالإشارة إلى ورقة 1899 الخاصة به.
وفر الأشكال التفاضلية نهجًا لحساب التفاضل والتكامل متعدد المتغيرات مستقل عن الإحداثيات
يمكن دمج نموذج k التفاضلي على شكل متعدد الأبعاد k. يمكن التفكير في شكل واحد تفاضلي كقياس طول متناهي الصغر (موجه) ، أو كثافة أحادية البعد. يمكن التفكير في شكل ثنائي الشكل كقياس منطقة متناهية الصغر (موجهة) ، أو كثافة ثنائية الأبعاد. وما إلى ذلك وهلم جرا.
يتم تعريف التكامل من الأشكال التفاضلية بشكل جيد فقط على المشعبات الموجهة. مثال لمجموع ذي بُعد واحد هو الفاصل الزمني [a، b] ، ويمكن إعطاء الفواصل الزمنية اتجاهًا: فهي موجّهة بشكل إيجابي إذا كانت  f_ {k} هي وظائف للإحداثيات. تم دمج النموذج التفاضلي 1 على طول منحنى موجه كخط متكامل. النموذجين الأساسيين هما التعبيرات dxi ∧ dxj ، حيث i لأن المربع الذي يكون جانبه الأول dx1 والجانب الثاني هو dx2 يعتبر أنه له اتجاه معاكس مثل المربع الذي يكون جانبه الأول dx2 ويكون وجهه الثاني dx1. يسمح المنتج الخارجي بتكوين أشكال تفاضلية ذات أبعاد أعلى من الأشكال ذات الأبعاد الضيقة ، بنفس الطريقة التي يسمح بها المنتج المتقاطع في حساب المتجهات بحساب متجه المنطقة من متوازي الأضلاع من المتجهات التي تشير إلى الجانبين.
بالإضافة إلى المنتج الخارجي ، هناك أيضًا مشغل مشتق خارجي d. مثل الاختلاف في الوظيفة ، يعطي المشتق الخارجي طريقة لتحديد حساسية النموذج التفاضلي للتغيير. في Rn ، إذا كانت ω = f dxa هي k-form ، فإن dω هو k + 1-form المحدد بواسطة
مع التمديد إلى نماذج k العامة التي تحدث خطيا.
ويسمح هذا النهج الأكثر عمومية بإتباع نهج أكثر انسجاما طبيعيا للتكامل في عمليات التجميع. كما يسمح بالتعميم الطبيعي للنظرية الأساسية للحساب التفاضلي (انظر § نظرية ستوكس).
حساب التفاضل
اسمحوا U يكون مجموعة مفتوحة في RN. يُعرَّف النموذج 0 التفاضلي ("شكل صفري") بأنه دالة سلسة f على U. إذا كانت v هي أي متجه في Rn ، عندئذ يكون لـ f مشتق اتجاهي ∂vf ، وهي دالة أخرى على U قيمتها في النقطة p ∈ U هي معدل التغيير (عند p) لـ f في الاتجاه v:
الإضافة إلى الإضافة والضرب بالعمليات العددية التي تنشأ من بنية مساحة المتجه ، هناك العديد من العمليات القياسية الأخرى المحددة في النماذج التفاضلية. أهم العمليات هي المنتج الخارجي لاثنين من الأشكال التفاضلية ، والمشتق الخارجي لنموذج تفاضلي واحد ، والمنتج الداخلي لشكل تفاضلي وحقل متجه ، مشتق الكذب لشكل تفاضلي فيما يتعلق بمجال المتجهات والمتغير مشتق من شكل تفاضلي فيما يتعلق بمجال متجه على مشعب مع اتصال محدد.
لمنتج الخارجي لـ k-form α و l-form β هو (k + l) -form يشير إلى α ∧ β. في كل نقطة p من المشعب M ، تكون الأشكال α و β عناصر قوة خارجية للمساحة المماسية عند p. عندما يُنظر إلى الجبر الخارجي على أنه حاصل على جبر الموتر ، فإن المنتج الخارجي يتوافق مع المنتج الموتر (modulo علاقة تكافؤ).
ويعني عدم التماثل المتأصل في الجبر الخارجي أنه عندما يُنظر إلى α ∧ β على أنه وظيفي متعدد المسارات ، فإنه يتناوب. ومع ذلك ، عندما يُنظر إلى الجبر الخارجي على أنه فضاء جزئي للجبر الموتر ، فإن منتج الموتر α ⊗ β لا يتناوب. هناك صيغة واضحة تصف المنتج الخارجي في هذه الحالة. المنتج الخارجي هو
قدم مناقشة موجزة عن التكامل في المشعبات من وجهة نظر نظرية القياس في القسم الأخير.
فلاندرز ، هارلي (1989) ، الأشكال التفاضلية مع التطبيقات إلى العلوم الفيزيائية ، مينيولا ، نيويورك: منشورات دوفر ، ردمك 0-486-66169-5
238. يقدم هذا الكتاب المدرسي في حساب التفاضل والتكامل متعدد المتغيرات الجبر الخارجي للأشكال التفاضلية على مستوى حساب الكليات