ریاضیات

**عنوان کلی:**

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

**عنوان‌های جزئی:**

۱. ساختار موضعاً اقلیدسی و تعریف چارت‌های استریوگرافیک

۲. محاسبه صریح نگاشت انتقال و همواری آن در رده C∞

۳. اثبات هاسدورف بودن و فشردگی کره به عنوان منیفلد هموار نمونه

**مبانی مثال:**

کره دو‌بعدی S²، نمونه استاندارد و بنیادین یک منیفلد هموار فشرده و هاسدورف است. بر خلاف فضاهای غیرهاسدورف (مانند خط با دو مبدأ)، در کره دو‌بعدی هم اطلس هموار با نگاشت‌های انتقال C∞ وجود دارد و هم اصل تفکیک‌پذیری هاسدورف (T₂) و شرط شمارایی دوم به طور کامل برقرار هستند.

**صورت گزاره:**

کره واحد دو‌بعدی در فضای سه بعدی:

S² = { (x, y, z) ∈ R³ : x² + y² + z² = 1 }

به همراه دو چارت حاصل از تصویرنگاشت استریوگرافیک از قطب شمال و قطب جنوب، یک منیفلد هموار دو‌بعدی، فشرده و هاسدورف تشکیل می‌دهد.

**مقدمه:**

برای نمایش این که چگونه یک فضای خمیده می‌تواند به صورت موضعی توسط صفحات اقلیدسی توصیف شود، تصویرنگاشت استریوگرافیک (تصویر از قطب‌ها بر روی صفحه استوا) کارآمدترین روش است. این مثال به عنوان نقطه مقابل فضاهای آسیب‌شناختی نشان می‌دهد که چگونه سازگاری چارت‌ها با توپولوژی زیرفضایی اقلیدسی پیوند خورده و ساختاری بی‌نقص برای حساب دیفرانسیل روی سطوح خمیده فراهم می‌آورد.

**بدنه:**

۱. تعریف دامنه‌ها و چارت‌های استریوگرافیک:

دو نقطه قطب شمال N و قطب جنوب S را در نظر می‌گیریم:

N = (0, 0, 1) , S = (0, 0, -1)

دامنه‌های دو چارت را به صورت زیر تعریف می‌کنیم:

U_N = S² \ {N} , U_S = S² \ {S}

تصویرنگاشت از قطب شمال، هر نقطه (x, y, z) در U_N را به نقطه تقاطع خط واصل از N با صفحه z = 0 می‌فرستد:

φ_N: U_N → R²

φ_N(x, y, z) = ( x / (1 - z) , y / (1 - z) )

به همین ترتیب، تصویرنگاشت از قطب جنوب برای نقاط U_S برابر است با:

φ_S: U_S → R²

φ_S(x, y, z) = ( x / (1 + z) , y / (1 + z) )

هر دو نگاشت φ_N و φ_S هم‌ریختی‌های دوسویه بر روی R² هستند.

۲. محاسبه وارون چارت‌ها:

برای متغیرهای مختصاتی (u, v) در R²، وارون نگاشت φ_N به صورت زیر محاسبه می‌شود:

φ_N⁻¹(u, v) = ( 2u / (u² + v² + 1) , 2v / (u² + v² + 1) , (u² + v² - 1) / (u² + v² + 1) )

۳. بررسی نگاشت انتقال و همواری آن:

اشتراک دامنه‌های دو چارت برابر است با کره منهای هر دو قطب:

U_N ∩ U_S = S² \ {N, S}

تصویر این اشتراک تحت φ_N برابر با صفحه بدون مبدأ است:

φ_N(U_N ∩ U_S) = R² \ {(0, 0)}

حال نگاشت انتقال را با ترکیب φ_S و φ_N⁻¹ به دست می‌آوریم:

(φ_S ∘ φ_N⁻¹)(u, v) = ( u / (u² + v²) , v / (u² + v²) )

این تبدیل (که وارونگی نسبت به دایره واحد است) روی مجموعه باز R² \ {(0, 0)} یک تابع کسری گویا با مخرج ناصفر است، بنابراین بی‌نهایت بار مشتق‌پذیر بوده و از رده C∞ است. پس اطلس شامل دو چارت {(U_N, φ_N), (U_S, φ_S)} کاملاً سازگار و هموار است.

۴. برقراری شرایط جهانی (هاسدورف و فشردگی):

- چون توپولوژی S² توپولوژی القایی از فضای اقلیدسی R³ است و R³ یک فضای هاسدورف است، هر زیرفضای آن و از جمله S² نیز الزاماً هاسدورف (T₂) است.

- مجموعه S² در R³ بسته و کراندار است، پس طبق قضیه هاینه-بورل فشرده است.

**نتایج:**

- کره دو‌بعدی S² با حداقل دو چارت به طور کامل پوشش داده می‌شود و یک منیفلد هموار دو‌بعدی استاندارد می‌سازد.

- نگاشت انتقال گویا و هموار بوده و هندسه موضعی نقاط روی کره را بدون هیچ‌گونه تکینگی یا گسستگی به صفحه مسطح پیوند می‌دهد.

- بر خلاف فضاهای خارج‌قسمتی ناسازگار، هاسدورف بودن ارثی از فضای اقلیدسی متناظر، ساختار منظم سراسری را تضمین می‌کند.