منیفلدهای خارجقسمتی (Quotient Manifolds)
در توپولوژی، «خارجقسمت گرفتن» به معنای چسباندنِ نقاط یک فضا به یکدیگر طبق یک قانون خاص است. اگر این قانون (که معمولاً توسط عملِ یک گروهِ ریاضی تعریف میشود) ویژگیهای خاصی داشته باشد، فضای حاصل، همچنان یک «منیفلد» باقی میماند.
۱. مثال توروس: غلتاندن صفحه
توروس را میتوان به عنوان «خارجقسمتِ صفحه اقلیدسی» تعریف کرد. اگر صفحه بینهایتِ R^2 را با استفاده از شبکههای صحیح (Z^2) بر هم منطبق کنیم، فضا به یک سطح بسته و دوناتشکل تبدیل میشود.
T^n = R^n / Z^n
۲. مثال فضای تصویری (RP^n): شناسایی نقاط متقارن
فضای تصویری حقیقی، نمونهای کلاسیک از منیفلدی است که از طریق «شناساییِ نقاط پاد (Antipodal)» ساخته میشود. اگر روی کره S^n هر نقطه x را با -x یکی کنیم، به یک منیفلد جدید به نام RP^n میرسیم.
RP^n = S^n / {I, -I}
چرا این مفهوم مهم است؟
منیفلدهای خارجقسمتی ابزار اصلی برای «ساخت» فضاهای جدید از فضاهای ساده هستند. در نظریه نسبیت و مدلهای کیهانشناسی، گاهی فضاهای بیکران را به صورت خارجقسمتی فرض میکنند تا شرایط مرزی (مثل بسته بودن جهان) به دست آید.
نکته فنی: برای اینکه خارجقسمت، یک منیفلد «خوشرفتار» باشد، عملِ گروه باید آزاد (Free) و بهطور مجزای مناسب (Properly Discontinuous) باشد.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.