فضای متریک روی ابررویه ها (Hypersurfaces Metric Space)، در ریاضیات (Mathematics)

انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :

فضای متریک روی ابررویه ها (Hypersurfaces Metric Space) :

تعریف: یک ابررویه (Hypersurface) یک خمینه از بعد

\[ n-1 \]

است که در یک خمینه

\[ n \]

-بعدی (معمولا

\[ \mathbb{R}^n \]

) قرار گرفته است. متریک روی ابررویه معمولا متریک القایی (induced metric) از فضای محیطی است. برای مثال، کره

\[ S^{n-1} \subset \mathbb{R}^n \]

با متریک القایی از

\[ \mathbb{R}^n \]

یک ابررویه است.

\[ g_{ij} = \langle \partial_i, \partial_j \rangle \]

(متریک القایی)

توضیح مفهومی: مطالعه هندسه ابررویه ها در هندسه دیفرانسیل و نسبیت عام اهمیت دارد. برای یک ابررویه، مفاهیمی مانند انحنای متوسط (mean curvature) و انحنای گاوسی (Gaussian curvature) (برای رویه ها در

\[ \mathbb{R}^3 \]

) تعریف می شود. ابررویه های مینیمال (minimal surfaces) آنهایی هستند که انحنای متوسط آنها صفر است.

ویژگی های اصلی:

متریک القایی از فضای محیطی، ابررویه را به یک خمینه ریمانی تبدیل می کند.

تانسور انحنای دوم (second fundamental form) نحوه خمیدگی ابررویه در فضای محیطی را اندازه می گیرد.

معادلات گاوس-کوداتسی (Gauss-Codazzi equations) ارتباط بین انحنای ابررویه و انحنای فضای محیطی را بیان می کنند.

مثال ها: کره ها، رویه های چنبره ای، سطوح هذلولوی.

انواع ابررویه ها:

ابررویه های مینیمال (صفر بودن انحنای متوسط).

ابررویه های با انحنای متوسط ثابت (CMC surfaces).

ابررویه های کاملا ژئودزیک (totally geodesic) که انحنای دوم آنها صفر است.

ابررویه های همسانگرد (isoparametric).

کاربردها: ابررویه ها در نسبیت عام (برای مطالعه افق رویداد سیاهچاله ها)، هندسه دیفرانسیل (برای مطالعه خمینه های با مرز)، فیزیک (در نظریه ریسمان)، و گرافیک کامپیوتری (برای مدل سازی سطوح) کاربرد دارند.

📌 مثال ساده:

\[ S^2 \subset \mathbb{R}^3 \]

با متریک القایی

\[ ds^2 = d\theta^2 + \sin^2\theta \, d\phi^2 \]

.

رویه

\[ z = f(x, y) \]

در

\[ \mathbb{R}^3 \]

با متریک

\[ ds^2 = (1 + f_x^2) dx^2 + 2 f_x f_y dx dy + (1 + f_y^2) dy^2 \]

.