فضای متریک روی خمینه های با مرز (Manifolds with Boundary Metric Space)، در ریاضیات (Mathematics)

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

فضای متریک روی خمینه های با مرز (Manifolds with Boundary Metric Space) :

تعریف: یک خمینه با مرز (Manifold with boundary) یک فضای توپولوژیک است که موضعا شبیه

\[ \mathbb{R}^n \]

(برای نقاط داخلی) یا

\[ \mathbb{H}^n = \{x \in \mathbb{R}^n : x_n \geq 0\} \]

(برای نقاط مرزی) است. یک متریک ریمانی روی چنین خمینه ای معمولا درون (interior) یک متریک ریمانی معمولی است و روی مرز نیز یک متریک القایی (از فضای محیطی) دارد.

\[ \partial M \]

یک خمینه

\[ (n-1) \]

-بعدی با متریک القایی است.

توضیح مفهومی: خمینه های با مرز در بسیاری از مسائل هندسی و فیزیکی ظاهر می شوند. برای مثال، یک گوی بسته در

\[ \mathbb{R}^n \]

یک خمینه با مرز است (مرز آن کره

\[ S^{n-1} \]

است). مطالعه این فضاها در آنالیز هندسی (مسائل با شرایط مرزی) و نسبیت عام (افق رویداد) اهمیت دارد.

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

نقاط داخلی (interior) یک خمینه با مرز، خود یک خمینه بدون مرز هستند.

مرز

\[ \partial M \]

یک خمینه بدون مرز از بعد

\[ n-1 \]

است.

متریک روی مرز، متریک القایی (induced metric) از متریک کل فضا است.

در مسائل مقدار مرزی، شرایط روی مرز تعیین می شود (مثلا دیریکله یا نویمان).

قضایایی مانند قضیه استوکس روی این فضاها فرمول بندی می شوند.

مثال های مهم:

گوی بسته

\[ B^n \subset \mathbb{R}^n \]

با مرز

\[ S^{n-1} \]

.

نیم فضای بالایی

\[ \mathbb{H}^n = \{(x_1, ..., x_n) : x_n \geq 0\} \]

.

استوانه

\[ D^2 \times [0,1] \]

(دیسک ضرب در بازه).

خمینه های فشرده با مرز (مانند یک مکعب).

کاربردها: خمینه های با مرز در نسبیت عام (برای مطالعه افق رویداد)، معادلات دیفرانسیل با مشتقات جزئی (مسائل مقدار مرزی)، هندسه دیفرانسیل (برای مطالعه خمینه های با مرز)، و فیزیک (در نظریه میدان های کوانتومی با مرز) کاربرد دارند.

📌 مثال ساده:

\[ M = [0,1] \times [0,1] \]

(مربع) با متریک

\[ ds^2 = dx^2 + dy^2 \]

. نقاط داخلی

\[ (0,1) \times (0,1) \]

، مرز شامل چهار ضلع است. مرز یک خمینه ۱-بعدی با چهار مؤلفه (چهار پاره خط) است.