المان حجم

در ریاضیات، یک المان حجم یا عنصر حجم وسیله ای برای ادغام یک تابع با توجه به حجم در سیستم های مختصات مختلف مانند مختصات کروی و مختصات استوانه ای فراهم می کند. بنابراین یک عنصر حجمی بیانی از فرم است

: dV = \rho(u_1,u_2,u_3)\,du_1\,du_2\,du_3

جایی کهu_i مختصات هستند، به طوری که حجم هر مجموعهBرا می توان توسط:

: \operatorname{Volume}(B) = \int_B \rho(u_1,u_2,u_3)\,du_1\,du_2\,du_3.

مثلاً در مختصات کروی dV = u_1^2\sin u_2\,du_1\,du_2\,du_3

و بنابراین:

\rho = u_1^2\sin u_2.

مفهوم عنصر حجمی به سه بعد محدود نمی شود: در دو بعد اغلب به عنوان عنصر مساحت شناخته می شود و در این تنظیم برای انجام انتگرال های سطحی مفید است. تحت تغییرات مختصات، عنصر حجم با مقدار مطلق تعیین کننده ژاکوبین تبدیل مختصات (با فرمول تغییر متغیرها) تغییر می کند. این واقعیت به عناصر حجم اجازه می دهد تا به عنوان یک نوع اندازه گیری در یک منیفولد تعریف شوند. در یک منیفولد متمایز پذیر جهت‌پذیر، یک عنصر حجمی معمولاً از یک فرم حجمی ناشی می‌شود: فرم دیفرانسیل درجه بالا. در یک منیفولد غیر قابل جهت‌یابی، عنصر حجم معمولاً قدر مطلق فرم حجمی (محلی تعریف شده) است: یک چگالی 1 را تعریف می‌کند.

## المان حجم در فضای اقلیدوسی
در فضای اقلیدسی، عنصر حجم از حاصل ضرب دیفرانسیل مختصات دکارتی به دست می‌آید.

: dV = dx\,dy\,dz.

در سیستم های مختصات مختلف فرم :

x=x(u_1,u_2,u_3),

y=y(u_1,u_2,u_3),

z=z(u_1,u_2,u_3), عنصر حجم توسط ژاکوبین (تعیین کننده) تغییر مختصات تغییر می کند::

: dV = \left|\frac{\partial (x,y,z)}{\partial (u_1,u_2,u_3)}\right|\,du_1\,du_2\,du_3.

به عنوان مثال، در مختصات کروی (کنوانسیون ریاضی):

: \begin{align}
x&=\rho\cos\theta\sin\phi\\
y&=\rho\sin\theta\sin\phi\\
z&=\rho\cos\phi
\end{align}


این سه واحد مختصات کروی تعیین کننده ژاکوبین است:

: \left |\frac{\partial(x,y,z)}{\partial (\rho,\theta,\phi)}\right| = \rho^2\sin\phi

پس بنابراین عبارت برابر است با این رابطه است.

: dV = \rho^2\sin\phi\,d\rho\,d\theta\,d\phi.

این را می توان به عنوان یک مورد خاص از این واقعیت دید که فرم های دیفرانسیل از طریق عقب نشینی تبدیل می شوند F مانند:

:  F^*(u \; dy^1 \wedge \cdots \wedge dy^n) = (u \circ F) \det \left(\frac{\partial F^j}{\partial x^i}\right) dx^1 \wedge \cdots \wedge dx^n 

## عنصر حجمی یک زیرفضای خطی
فضای فرعی خطی فضای اقلیدسی n بعدی Rn را در نظر بگیرید که توسط مجموعه ای از بردارهای مستقل خطی پوشیده شده است.

: X_1,\dots,X_k.

برای یافتن عنصر حجمی زیرفضا، دانستن این واقعیت از جبر خطی مفید است که حجم متوازی الاضلاع که توسط X_i جذر تعیین کننده ماتریس گرمینX_jاست. (u_1,u_2,\dots,u_k)

: \sqrt{\det(X_i\cdot X_j)_{i,j=1\dots k}}.

هر نقطه p در زیرفضا(u_1,u_2,\dots,u_k)را می توان مختصاتی داد به طوری که:

du_i

: p = u_1X_1 + \cdots + u_kX_k.

در نقطه p، اگر یک متوازی الاضلاع کوچک با اضلاع تشکیل دهیم du_i، سپس حجم آن متوازی الاضلاع جذر تعیین کننده ماتریس گرام است.

: \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}}\; du_1\,du_2\,\cdots\,du_k.

بنابراین s فرم حجم را در زیرفضای خطی تعریف می کند.

## عنصر حجمی منیفولدها
در یک منیفولد ریمانی جهت‌دار با بعد n، عنصر حجم یک فرم حجمی برابر با دوگانه هاج تابع ثابت واحد است.f(x) = 1:

در اینجا واحد امگا برابر با این رابطه است

: \omega = \star 1 .

به طور معادل، عنصر حجم در مختصات دقیقاً تانسور Levi-Civita \epsilon است:\omega = \epsilon =\sqrt{\left|\det g\right|}\, dx^1 \wedge \cdots  \wedge dx^nبه طور معادل، عنصر حجم در مختصات،دقیقاً تانسور  \det\ g است   g .

### المان حجم در مساحت سطح
Aیک مثال ساده از یک عنصر حجمی را می توان با در نظر گرفتن یک سطح دو بعدی که در فضای اقلیدسی n بعدی جاسازی شده است، کاوش کرد. چنین عنصر حجمی گاهی عنصر ناحیه نامیده می شود. یک زیر مجموعه را در نظر بگیرید:U \subset \R^2

و یک تابع نقشه برداری:

: \varphi:U\to \R^n

بنابراین یک سطح تعبیه شده در آن تعریف می شود \R^n . در دو بعد، حجم فقط مساحت است و یک عنصر حجمی راهی برای تعیین مساحت قسمت هایی از سطح می دهد. بنابراین یک عنصر حجمی بیانی از فرم است

: f(u_1,u_2)\,du_1\,du_2

که به فرد اجازه می دهد با محاسبه انتگرال، مساحت مجموعه B را که روی سطح قرار دارد محاسبه کند

: \operatorname{Area}(B) = \int_B f(u_1,u_2)\,du_1\,du_2.

در اینجا عنصر حجم را در سطح پیدا خواهیم کرد که مساحت را به معنای معمولی مشخص می کند. ماتریس ژاکوبین نقشه برداری است

: \lambda_{ij}=\frac{\partial \varphi_i} {\partial u_j}

با شاخص i در حال اجرا از 1 تا n، و j از 1 تا 2. متریک اقلیدسی در فضای n بعدی یک متریک القا می کند:g = \lambda^T \lambda

در مجموعه U، با عناصر ماتریسی:

: g_{ij}=\sum_{k=1}^n \lambda_{ki} \lambda_{kj}
= \sum_{k=1}^n
\frac{\partial \varphi_k} {\partial u_i}
\frac{\partial \varphi_k} {\partial u_j}.


تعیین کننده متریک توسط:

: \det g = \left|
\frac{\partial \varphi} {\partial u_1} \wedge
\frac{\partial \varphi} {\partial u_2}
\right|^2 = \det (\lambda^T \lambda)

برای یک سطح منظم، این تعیین کننده ناپدید نمی شود. به طور معادل، ماتریس ژاکوبین دارای رتبه 2 است.

اکنون یک تغییر مختصات روی U را در نظر بگیرید که توسط یک دیفئومورفیسم به دست می‌آید

: f \colon U\to U ,

به طوری که مختصات(u_1,u_2) بر حسب داده می شوند (v_1,v_2) توسط (u_1,u_2)= f(v_1,v_2)ماتریس ژاکوبین است این تبدیل توسط این رابطه انجام می گردد.

: F_{ij}= \frac{\partial f_i} {\partial v_j}.

در مختصات جدید داریم:

: \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}


و بنابراین متریک به صورت تبدیل می شود:

: \tilde{g} = F^T g F 

جایی که \tilde{g} متریک عقب نشینی در سیستم مختصات v است. تعیین کننده است

: \det \tilde{g} = \det g \left( \det F \right)^2. 

با توجه به ساختار فوق، درک اینکه چگونه عنصر حجم تحت یک تغییر مختصات با حفظ جهت گیری ثابت است، باید ساده باشد.

در دو بعد، حجم فقط مساحت است. مساحت یک زیر مجموعه B\subset U توسط انتگرال داده می شود

: \begin{align}
 \mbox{Area}(B)
 &= \iint_B \sqrt{\det g}\; du_1\; du_2 \\
 &= \iint_B \sqrt{\det g} \left|\det F\right| \;dv_1 \;dv_2 \\
 &= \iint_B \sqrt{\det \tilde{g}} \;dv_1 \;dv_2.
\end{align}

بنابراین، در هر دو سیستم مختصات، عنصر حجم همان عبارت را می گیرد: بیان عنصر حجم تحت تغییر مختصات ثابت است. توجه داشته باشید که در ارائه فوق هیچ چیز خاصی به دو بعد وجود نداشت. موارد فوق به طور پیش پا افتاده به ابعاد دلخواه تعمیم می یابد.

#### مثال:کره
به عنوان مثال، کره ای را با شعاع r در مبدأ در **R**3 در نظر بگیرید. این را می توان با استفاده از مختصات کروی با نقشه پارامتری کرد

: \phi(u_1,u_2) = (r \cos u_1 \sin u_2, r \sin u_1 \sin u_2, r \cos u_2).

سپس:

: g = \begin{pmatrix}
r^2\sin^2u_2 & 0 \\
0 & r^2
\end{pmatrix},

و عنصر مساحت کره در المان حجم اینگونه است:

:  \omega = \sqrt{\det g}\; du_1 du_2 = r^2\sin u_2\, du_1 du_2.

## جستارهای وابسته

* نسبیت عام
* نسبیت خاص
* حجم
* مساحت
* تانسور متریک

## منابع

رده:نظریه اندازه
رده:حساب انتگرال
رده:حسابان چندمتغیره