عنصر الحجم
في الرياضيات ، يوفر عنصر الحجم وسيلة لتكامل دالة بالنسبة للحجم في أنظمة إحداثيات مختلفة مثل الإحداثيات الكروية والإحداثيات الأسطوانية . وبالتالي، فإن عنصر الحجم هو تعبير من الشكل التالي : حيثهي الإحداثيات، بحيث يكون حجم أي مجموعةيمكن حسابها بواسطة على سبيل المثال، في الإحداثيات الكرويةوهكذا.
لا يقتصر مفهوم عنصر الحجم على ثلاثة أبعاد؛ ففي بُعدين يُعرف غالبًا بعنصر المساحة ، وهو مفيد في هذه الحالة لإجراء التكاملات السطحية . عند تغيير الإحداثيات، يتغير عنصر الحجم بالقيمة المطلقة لمحدد جاكوبي لتحويل الإحداثيات (باستخدام صيغة تغيير المتغيرات ). تسمح هذه الحقيقة بتعريف عناصر الحجم كنوع من القياس على متعدد الشعب . على متعدد شعب قابل للتوجيه وقابل للتفاضل ، ينشأ عنصر الحجم عادةً من شكل حجمي : شكل تفاضلي من الدرجة العليا . أما على متعدد شعب غير قابل للتوجيه، فيكون عنصر الحجم عادةً هو القيمة المطلقة لشكل حجمي (مُعرَّف محليًا): فهو يُحدد كثافة من الدرجة الأولى .
عنصر الحجم في الفضاء الإقليدي
في الفضاء الإقليدي ، يُعطى عنصر الحجم بضرب تفاضلات الإحداثيات الديكارتية. في أنظمة إحداثيات مختلفة من الشكل،،يتغير عنصر الحجم بمقدار جاكوبيان (المحدد) لتغير الإحداثيات: على سبيل المثال، في الإحداثيات الكروية (الاصطلاح الرياضي) المحدد اليعقوبي هو لهذا السبب. يمكن اعتبار هذا حالة خاصة من حقيقة أن الأشكال التفاضلية تتحول من خلال عملية سحب للخلفمثل
عنصر حجمي لفضاء فرعي خطي
لنفترض الفضاء الجزئي الخطي للفضاء الإقليدي ذي البعد n ، R n ، الذي يمتد بواسطة مجموعة من المتجهات المستقلة خطيًا. لإيجاد عنصر الحجم للفضاء الجزئي، من المفيد معرفة حقيقة من الجبر الخطي مفادها أن حجم متوازي السطوح الممتد بواسطةهو الجذر التربيعي لمحدد مصفوفة غراميان لـ:
يمكن إعطاء إحداثيات لأي نقطة p في الفضاء الجزئيبحيث عند النقطة p ، إذا شكلنا متوازي مستطيلات صغيرًا بأضلاعإذن، حجم متوازي المستطيلات هذا هو الجذر التربيعي لمحدد مصفوفة غراميان وبالتالي، فإن هذا يحدد شكل الحجم في الفضاء الفرعي الخطي.
عنصر الحجم للمشعبات
على مشعب ريماني موجه ذي بُعد n ، يكون عنصر الحجم شكلاً حجمياً يساوي الشكل الثنائي لهودج للدالة الثابتة الوحدوية.: وبصورة مكافئة، فإن عنصر الحجم هو بالضبط موتر ليفي-سيفيتا[ 1 ] في الإحداثيات ، أينهو محدد موتر القياس g المكتوب في نظام الإحداثيات.
عنصر مساحة السطح
يمكن استكشاف مثال بسيط لعنصر الحجم من خلال النظر إلى سطح ثنائي الأبعاد مُضمّن في فضاء إقليدي ذي n بُعد . يُطلق على عنصر الحجم هذا أحيانًا اسم عنصر المساحة . لنفترض مجموعة جزئيةووظيفة رسم الخرائط وبذلك يتم تحديد سطح مضمن فيفي بُعدين، الحجم هو المساحة فحسب، ويُتيح عنصر الحجم طريقةً لتحديد مساحة أجزاء من السطح. وبالتالي، فإن عنصر الحجم هو تعبير عن الشكل يسمح ذلك بحساب مساحة مجموعة B تقع على السطح عن طريق حساب التكامل
سنجد هنا عنصر الحجم على السطح الذي يُحدد المساحة بالمعنى المعتاد. مصفوفة جاكوبي لهذا التحويل هي حيث يتراوح المؤشر i من 1 إلى n ، ويتراوح المؤشر j من 1 إلى 2. يُنتج المقياس الإقليدي في الفضاء ذي الأبعاد n مقياسًاعلى المجموعة U ، بعناصر المصفوفة
يُعطى محدد المقياس بواسطة
بالنسبة للسطح المنتظم، يكون هذا المحدد غير صفري؛ وبالمثل، فإن مصفوفة جاكوبي لها رتبة 2.
والآن، لنفترض تغييرًا في الإحداثيات على U ، معطى بواسطة تماثل تفاضلي بحيث تكون الإحداثياتيتم تقديمها بدلالةبواسطةمصفوفة جاكوبي لهذا التحويل معطاة بالصيغة التالية:
في الإحداثيات الجديدة، لدينا وبالتالي يتحول المقياس كما أينيمثل مقياس السحب العكسي في نظام الإحداثيات v . المحدد هو
بالنظر إلى البناء المذكور أعلاه، ينبغي أن يكون من السهل الآن فهم كيف يكون عنصر الحجم ثابتًا في ظل تغيير الإحداثيات مع الحفاظ على الاتجاه.
في بُعدين، الحجم هو المساحة فقط. مساحة مجموعة جزئيةيُعطى بواسطة التكامل
وبالتالي، في أي من نظامي الإحداثيات، يأخذ عنصر الحجم نفس التعبير: تعبير عنصر الحجم ثابت تحت تغيير الإحداثيات.
لاحظ أنه لم يكن هناك شيء خاص بالبعدين في العرض أعلاه؛ فالعرض أعلاه يعمم بسهولة على الأبعاد التعسفية.
مثال: كرة
على سبيل المثال، لنفترض كرة نصف قطرها r مركزها نقطة الأصل في الفضاء ثلاثي الأبعاد R³ . يمكن تمثيل هذه الكرة باستخدام الإحداثيات الكروية مع الخريطة ثم وعنصر المساحة هو
انظر أيضاً
مراجع
- Besse، Arthur L. (1987)، متشعبات أينشتاين ، Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [النتائج في الرياضيات والمجالات ذات الصلة (3)]، المجلد. 10، برلين، نيويورك: Springer-Verlag ، ص. xii+510، ISBN 978-3-540-15279-8
- ↑ كارول، شون. الزمكان والهندسة . أديسون ويسلي، 2004، ص 90
- نظرية القياس
- حساب التكامل
- حساب التفاضل والتكامل متعدد المتغيرات
