عنصر الحجم

في الرياضيات ، يوفر عنصر الحجم وسيلة لتكامل دالة بالنسبة للحجم في أنظمة إحداثيات مختلفة مثل الإحداثيات الكروية والإحداثيات الأسطوانية . وبالتالي، فإن عنصر الحجم هو تعبير من الشكل التالي :دV=ρ(u1،u2،u3)دu1دu2دu3{\displaystyle \mathrm {d} V=\rho (u_{1},u_{2},u_{3})\,\mathrm {d} u_{1}\,\mathrm {d} u_{2}\,\mathrm {d} u_{3}} حيثuأنا{\displaystyle u_{i}}هي الإحداثيات، بحيث يكون حجم أي مجموعةب{\displaystyle B}يمكن حسابها بواسطة مقدار(ب)=بρ(u1،u2،u3)دu1دu2دu3.{\displaystyle \operatorname {Volume} (B)=\int _{B}\rho (u_{1},u_{2},u_{3})\,\mathrm {d} u_{1}\,\mathrm {d} u_{2}\,\mathrm {d} u_{3}.} على سبيل المثال، في الإحداثيات الكرويةدV=u12الخطيئةu2دu1دu2دu3{\displaystyle \mathrm {d} V=u_{1}^{2}\sin u_{2}\,\mathrm {d} u_{1}\,\mathrm {d} u_{2}\,\mathrm {d} u_{3}}وهكذاρ=u12الخطيئةu2{\displaystyle \rho =u_{1}^{2}\sin u_{2}}.

لا يقتصر مفهوم عنصر الحجم على ثلاثة أبعاد؛ ففي بُعدين يُعرف غالبًا بعنصر المساحة ، وهو مفيد في هذه الحالة لإجراء التكاملات السطحية . عند تغيير الإحداثيات، يتغير عنصر الحجم بالقيمة المطلقة لمحدد جاكوبي لتحويل الإحداثيات (باستخدام صيغة تغيير المتغيرات ). تسمح هذه الحقيقة بتعريف عناصر الحجم كنوع من القياس على متعدد الشعب . على متعدد شعب قابل للتوجيه وقابل للتفاضل ، ينشأ عنصر الحجم عادةً من شكل حجمي : شكل تفاضلي من الدرجة العليا . أما على متعدد شعب غير قابل للتوجيه، فيكون عنصر الحجم عادةً هو القيمة المطلقة لشكل حجمي (مُعرَّف محليًا): فهو يُحدد كثافة من الدرجة الأولى .

عنصر الحجم في الفضاء الإقليدي

في الفضاء الإقليدي ، يُعطى عنصر الحجم بضرب تفاضلات الإحداثيات الديكارتية.دV=دxدyدz.{\displaystyle \mathrm {d} V=\mathrm {d} x\,\mathrm {d} y\,\mathrm {d} z.} في أنظمة إحداثيات مختلفة من الشكلx=x(u1،u2،u3){\displaystyle x=x(u_{1},u_{2},u_{3})}،y=y(u1،u2،u3){\displaystyle y=y(u_{1},u_{2},u_{3})}،z=z(u1،u2،u3){\displaystyle z=z(u_{1},u_{2},u_{3})}يتغير عنصر الحجم بمقدار جاكوبيان (المحدد) لتغير الإحداثيات: دV=|(x،y،z)(u1،u2،u3)|دu1دu2دu3.{\displaystyle \mathrm {d} V=\left|{\frac {\partial (x,y,z)}{\partial (u_{1},u_{2},u_{3})}}\right|\,\mathrm {d} u_{1}\,\mathrm {d} u_{2}\,\mathrm {d} u_{3}.} على سبيل المثال، في الإحداثيات الكروية (الاصطلاح الرياضي) x=ρكوسθالخطيئةϕy=ρالخطيئةθالخطيئةϕz=ρكوسϕ{\displaystyle {\begin{align}x&=\rho \cos \theta \sin \phi \\y&=\rho \sin \theta \sin \phi \\z&=\rho \cos \phi \end{محاذاة}}} المحدد اليعقوبي هو |(x،y،z)(ρ،ϕ،θ)|=ρ2الخطيئةϕ{\displaystyle \left|{\frac {\partial (x,y,z)}{\partial (\rho ,\phi ,\theta )}}\right|=\rho ^{2}\sin \phi } لهذا السبب. دV=ρ2الخطيئةϕدρدθدϕ.{\displaystyle \mathrm {d} V=\rho ^{2}\sin \phi \,\mathrm {d} \rho \,\mathrm {d} \theta \,\mathrm {d} \phi .} يمكن اعتبار هذا حالة خاصة من حقيقة أن الأشكال التفاضلية تتحول من خلال عملية سحب للخلفF*{\displaystyle F^{*}}مثل F*(uدy1دyن)=(uF)المحقق(Fجxأنا)دx1دxن{\displaystyle F^{*}(u\;dy^{1}\wedge \cdots \wedge dy^{n})=(u\circ F)\det \left({\frac {\partial F^{j}}{\partial x^{i}}}\right)\mathrm {d} x^{1}\wedge \cdots \wedge \mathrm {d} x^{n}}

عنصر حجمي لفضاء فرعي خطي

لنفترض الفضاء الجزئي الخطي للفضاء الإقليدي ذي البعد n ، R n ، الذي يمتد بواسطة مجموعة من المتجهات المستقلة خطيًا.X1،...،Xك.{\displaystyle X_{1},\dots ,X_{k}.} لإيجاد عنصر الحجم للفضاء الجزئي، من المفيد معرفة حقيقة من الجبر الخطي مفادها أن حجم متوازي السطوح الممتد بواسطةXأنا{\displaystyle X_{i}}هو الجذر التربيعي لمحدد مصفوفة غراميان لـXأنا{\displaystyle X_{i}}: المحقق(XأناXج)أنا،ج=1...ك.{\displaystyle {\sqrt {\det(X_{i}\cdot X_{j})_{i,j=1\dots k}}}.}

يمكن إعطاء إحداثيات لأي نقطة p في الفضاء الجزئي(u1،u2،...،uك){\displaystyle (u_{1},u_{2},\dots ,u_{k})}بحيث ص=u1X1++uكXك.{\displaystyle p=u_{1}X_{1}+\cdots +u_{k}X_{k}.} عند النقطة p ، إذا شكلنا متوازي مستطيلات صغيرًا بأضلاعدuأنا{\displaystyle \mathrm {d} u_{i}}إذن، حجم متوازي المستطيلات هذا هو الجذر التربيعي لمحدد مصفوفة غراميان المحقق((دuأناXأنا)(دuجXج))أنا،ج=1...ك=المحقق(XأناXج)أنا،ج=1...كدu1دu2دuك.{\displaystyle {\sqrt {\det \left((du_{i}X_{i})\cdot (du_{j}X_{j})\right)_{i,j=1\dots k}}}={\sqrt {\det(X_{i}\cdot X_{j})_{i,j=1\dots k}}}\;\mathrm {d} u_{1}\,\mathrm {d} u_{2}\,\cdots \,\mathrm {d} u_{k}.} وبالتالي، فإن هذا يحدد شكل الحجم في الفضاء الفرعي الخطي.

عنصر الحجم للمشعبات

على مشعب ريماني موجه ذي بُعد n ، يكون عنصر الحجم شكلاً حجمياً يساوي الشكل الثنائي لهودج للدالة الثابتة الوحدوية.و(x)=1{\displaystyle f(x)=1}: ω=1.{\displaystyle \omega =\star 1.} وبصورة مكافئة، فإن عنصر الحجم هو بالضبط موتر ليفي-سيفيتاϵ{\displaystyle \epsilon }[ 1 ] في الإحداثيات ،ω=ϵ=|المحققز|دx1دxن{\displaystyle \omega =\epsilon ={\sqrt {\left|\det g\right|}}\,\mathrm {d} x^{1}\wedge \cdots \wedge \mathrm {d} x^{n}} أينالمحققز{\displaystyle \det g}هو محدد موتر القياس g المكتوب في نظام الإحداثيات.

عنصر مساحة السطح

يمكن استكشاف مثال بسيط لعنصر الحجم من خلال النظر إلى سطح ثنائي الأبعاد مُضمّن في فضاء إقليدي ذي n بُعد . يُطلق على عنصر الحجم هذا أحيانًا اسم عنصر المساحة . لنفترض مجموعة جزئيةيوR2{\displaystyle U\subset \mathbb {R} ^{2}}ووظيفة رسم الخرائط φ:يوRن{\displaystyle \varphi :U\to \mathbb {R} ^{n}} وبذلك يتم تحديد سطح مضمن فيRن{\displaystyle \mathbb {R} ^{n}}في بُعدين، الحجم هو المساحة فحسب، ويُتيح عنصر الحجم طريقةً لتحديد مساحة أجزاء من السطح. وبالتالي، فإن عنصر الحجم هو تعبير عن الشكل و(u1،u2)دu1دu2{\displaystyle f(u_{1},u_{2})\,\mathrm {d} u_{1}\,\mathrm {d} u_{2}} يسمح ذلك بحساب مساحة مجموعة B تقع على السطح عن طريق حساب التكامل منطقة(ب)=بو(u1،u2)دu1دu2.{\displaystyle \operatorname {Area} (B)=\int _{B}f(u_{1},u_{2})\,\mathrm {d} u_{1}\,\mathrm {d} u_{2}.}

سنجد هنا عنصر الحجم على السطح الذي يُحدد المساحة بالمعنى المعتاد. مصفوفة جاكوبي لهذا التحويل هي جأناج=φأناuج{\displaystyle J_{ij}={\frac {\partial \varphi _{i}}{\partial u_{j}}}} حيث يتراوح المؤشر i من 1 إلى n ، ويتراوح المؤشر j من 1 إلى 2. يُنتج المقياس الإقليدي في الفضاء ذي الأبعاد n مقياسًاز=جتيج{\displaystyle g=J^{T}J}على المجموعة U ، بعناصر المصفوفة زأناج=ك=1نجكأناجكج=ك=1نφكuأناφكuج.{\displaystyle g_{ij}=\sum _{k=1}^{n}J_{ki}J_{kj}=\sum _{k=1}^{n}{\frac {\partial \varphi _{k}}{\partial u_{i}}}{\frac {\partial \varphi _{k}}{\partial u_{j}}}.}

يُعطى محدد المقياس بواسطة المحققز=|φu1φu2|2=المحقق(جتيج){\displaystyle \det g=\left|{\frac {\partial \varphi }{\partial u_{1}}}\wedge {\frac {\partial \varphi }{\partial u_{2}}}\right|^{2}=\det(J^{T}J)}

بالنسبة للسطح المنتظم، يكون هذا المحدد غير صفري؛ وبالمثل، فإن مصفوفة جاكوبي لها رتبة 2.

والآن، لنفترض تغييرًا في الإحداثيات على U ، معطى بواسطة تماثل تفاضليو:يويو،{\displaystyle f\colon U\to U,} بحيث تكون الإحداثيات(u1،u2){\displaystyle (u_{1},u_{2})}يتم تقديمها بدلالة(v1،v2){\displaystyle (v_{1},v_{2})}بواسطة(u1،u2)=و(v1،v2){\displaystyle (u_{1},u_{2})=f(v_{1},v_{2})}مصفوفة جاكوبي لهذا التحويل معطاة بالصيغة التالية: Fأناج=وأناvج.{\displaystyle F_{ij}={\frac {\partial f_{i}}{\partial v_{j}}}.}

في الإحداثيات الجديدة، لدينا φأناvج=ك=12φأناuكوكvج{\displaystyle {\frac {\partial \varphi _{i}}{\partial v_{j}}}=\sum _{k=1}^{2}{\frac {\partial \varphi _{i}}{\partial u_{k}}}{\frac {\partial f_{k}}{\partial v_{j}}}} وبالتالي يتحول المقياس كما ز~=FتيزF{\displaystyle {\tilde {g}}=F^{T}gF} أينز~{\displaystyle {\tilde {g}}}يمثل مقياس السحب العكسي في نظام الإحداثيات v . المحدد هو المحققز~=المحققز(المحققF)2.{\displaystyle \det {\tilde {g}}=\det g\left(\det F\right)^{2}.}

بالنظر إلى البناء المذكور أعلاه، ينبغي أن يكون من السهل الآن فهم كيف يكون عنصر الحجم ثابتًا في ظل تغيير الإحداثيات مع الحفاظ على الاتجاه.

في بُعدين، الحجم هو المساحة فقط. مساحة مجموعة جزئيةبيو{\displaystyle B\subset U}يُعطى بواسطة التكامل منطقة(ب)=بالمحققزدu1دu2=بالمحققز|المحققF|دv1دv2=بالمحققز~دv1دv2.{\displaystyle {\begin{aligned}{\mbox{Area}}(B)&=\iint _{B}{\sqrt {\det g}}\;\mathrm {d} u_{1}\;\mathrm {d} u_{2}\\[1.6ex]&=\iint _{B}{\sqrt {\det g}}\left|\det F\right|\;\mathrm {d} v_{1}\;\mathrm {d} v_{2}\\[1.6ex]&=\iint _{B}{\sqrt {\det {\tilde {g}}}}\;\mathrm {d} v_{1}\;\mathrm {d} v_{2}.\end{aligned}}}

وبالتالي، في أي من نظامي الإحداثيات، يأخذ عنصر الحجم نفس التعبير: تعبير عنصر الحجم ثابت تحت تغيير الإحداثيات.

لاحظ أنه لم يكن هناك شيء خاص بالبعدين في العرض أعلاه؛ فالعرض أعلاه يعمم بسهولة على الأبعاد التعسفية.

مثال: كرة

على سبيل المثال، لنفترض كرة نصف قطرها r مركزها نقطة الأصل في الفضاء ثلاثي الأبعاد . يمكن تمثيل هذه الكرة باستخدام الإحداثيات الكروية مع الخريطة ϕ(u1،u2)=(ركوسu1الخطيئةu2،رالخطيئةu1الخطيئةu2،ركوسu2).{\displaystyle \phi (u_{1},u_{2})=(r\cos u_{1}\sin u_{2},r\sin u_{1}\sin u_{2},r\cos u_{2}).} ثم ز=(ر2الخطيئة2u200ر2)،{\displaystyle g={\begin{pmatrix}r^{2}\sin ^{2}u_{2}&0\\0&r^{2}\end{pmatrix}},} وعنصر المساحة هو ω=المحققزدu1دu2=ر2الخطيئةu2دu1دu2.{\displaystyle \omega ={\sqrt {\det g}}\;\mathrm {d} u_{1}\mathrm {d} u_{2}=r^{2}\sin u_{2}\,\mathrm {d} u_{1}\mathrm {d} u_{2}.}

انظر أيضاً

مراجع

  • Besse، Arthur L. (1987)، متشعبات أينشتاين ، Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [النتائج في الرياضيات والمجالات ذات الصلة (3)]، المجلد. 10، برلين، نيويورك: Springer-Verlag ، ص.  xii+510، ISBN 978-3-540-15279-8
  1. كارول، شون. الزمكان والهندسة . أديسون ويسلي، 2004، ص 90