ریاضیات

---

### پست اول: خط با دو مبدأ (The Line with Two Origins)

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

مبانی منیفلدهای توپولوژیک و هندسه هموار

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

۱. ساختار خط با دو مبدأ به عنوان فضای خارج‌قسمتی

۲. ساخت اطلس و همواری نگاشت‌های انتقال

۳. نقض اصل جداسازی هاسدورف و عدم تشکیل منیفلد

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

برای تعریف یک منیفلد هموار، علاوه بر موضعاً اقلیدسی بودن و داشتن اطلس سازگار از نگاشت‌های هموار، برقراری اصل جداسازی هاسدورف (T₂) یک شرط بنیادین و ضروری است. این مثال نشان می‌دهد که یک فضا می‌تواند تمام خواص موضعی یک منیفلد یک‌بعدی هموار را دارا باشد، اما به‌دلیل شکست در شرط هاسدورف، منیفلد به شمار نیاید.

**مقدمه:**

در مطالعهٔ منیفلدهای توپولوژیک و دیفرانسیل‌پذیر، یکی از پرسش‌های اساسی این است که آیا وجود نگاشت‌های موضعی هم‌ریخت با فضای اقلیدسی و سازگاری تبدیل‌های مختصاتی برای تضمین رفتار منظم فضا کافی است یا خیر. خط با دو مبدأ، معروف‌ترین مثال نقض است که نشان می‌دهد بدون فرض صریح شرط هاسدورف، توپولوژی فضا رفتارهای آسیب‌شناختی نشان می‌دهد که مانع از تعمیم حساب دیفرانسیل استاندارد بر روی آن می‌گردد.

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

فضای خارج‌قسمتی حاصل از چسباندن دو نسخه از خط حقیقی در تمام نقاط ناصفر، فضایی همبند، موضعاً اقلیدسی و دارای اطلس هموار از ردهٔ C^∞ است؛ اما این فضا هاسدورف نیست و بنابراین یک منیفلد توپولوژیک (و در نتیجه هموار) محسوب نمی‌شود.

**بدنه:**

۱. ساخت فضا:

دو نسخه از خط حقیقی R₁ و R₂ را در نظر می‌گیریم. رابطهٔ هم‌ارزی ~ را روی اجتماع مجزای آن‌ها به گونه‌ای تعریف می‌کنیم که برای هر نقطهٔ ناصفر x، نقطهٔ x در R₁ با نقطهٔ x در R₂ یکسان در نظر گرفته شود، ولی مبدأ 0₁ با 0₂ هم‌ارز نباشد:

(x, 1) ~ (x, 2) ⇔ x ≠ 0

فضای حاصل را با X نشان می‌دهیم:

X = (R × {1} ∪ R × {2}) / ~

۲. ساخت اطلس و چارت‌های موضعی:

دو زیرمجموعهٔ باز U₁ و U₂ را به عنوان تصویر دو خط R₁ و R₂ در فضای خارج‌قسمتی در نظر می‌گیریم:

U₁ = X \ {0₂} , U₂ = X \ {0₁}

نگاشت‌های مختصاتی φ₁ و φ₂ را به صورت طبیعی به فضای اقلیدسی R تعریف می‌کنیم:

φ₁: U₁ → R , φ₁(x) = x

φ₂: U₂ → R , φ₂(x) = x

اشتراک این دو مجموعه برابر است با:

U₁ ∩ U₂ = X \ {0₁, 0₂} ≅ R \ {0}

۳. بررسی نگاشت‌های انتقال و سازگاری اطلس:

نگاشت انتقال میان این دو چارت روی تصویر اشتراک به شکل زیر به دست می‌آید:

φ₂ ∘ φ₁⁻¹: R \ {0} → R \ {0}

(φ₂ ∘ φ₁⁻¹)(x) = x

این نگاشت، تابع همانی روی مجموعهٔ باز R \ {0} است و بنابراین بی‌نهایت بار مشتق‌پذیر و هموار (C^∞) است. پس این دو چارت یک اطلس هموار و سازگار برای فضا می‌سازند.

۴. اثبات عدم هاسدورف بودن:

فرض کنید دو نقطهٔ متمایز 0₁ و 0₂ را در نظر بگیریم. هر همسایگی باز V₁ از 0₁ و هر همسایگی باز V₂ از 0₂ متناظر با فاصله‌های باز مانند (-ε₁, ε₁) و (-ε₂, ε₂) در محورهای حقیقی متناظر هستند.

اگر ε = min(ε₁, ε₂) > 0 را انتخاب کنیم، هر نقطهٔ ناصفر مانند x₀ در فاصلهٔ باز (0, ε) متعلق به هر دو مجموعهٔ V₁ و V₂ خواهد بود:

x₀ ∈ V₁ ∩ V₂ ≠ ∅

بنابراین هیچ دو همسایگی باز مجزایی برای تفکیک دو نقطهٔ 0₁ و 0₂ وجود ندارد و فضا شرط T₂ (هاسدورف) را نقض می‌کند.

**نتایج:**

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

- شرط هاسدورف یک شرط توپولوژیکی سراسری مستقل است که باید به طور صریح در تعریف منیفلد قید شود تا از وجود نقاط دوگانه و رفتارهای غیرمجاز در حد و پیوستگی جلوگیری به عمل آید.

---

### پست دوم: خط با مبدأهای چندگانه و تعمیم نامتناهی

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

مبانی منیفلدهای توپولوژیک و ساختارهای خارج‌قسمتی

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

۱. ساختار خط با چند مبدأ (متناهی یا شمارا)

۲. فرمول‌بندی اطلس جامع و همواری چارت‌های چندگانه

۳. تعمیم برهان عدم هاسدورف برای خانواده‌های شاخه‌ای

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

تعمیم ایدهٔ انشعاب مبدأ از دو نقطه به n نقطه یا خانواده‌ای نامتناهی از نقاط مبدأ، برای درک عمیق‌تر فضاهای غیرهاسدورف و بررسی رفتار ساختارهای دیفرانسیل‌پذیر موضعی در حضور تکینگی‌های توپولوژیکی کاربرد دارد.

**مقدمه:**

پس از بررسی خط با دو مبدأ، این پرسش مطرح می‌شود که اگر تعداد مبدأها را به مجموعه‌ای دلخواه از شاخه‌ها تعمیم دهیم، آیا اطلس هموار و ساختار موضعاً اقلیدسی همچنان پایدار می‌ماند؟ در این نوشتار نشان می‌دهیم که می‌توان بی‌نهایت مبدأ متمایز را به یک خط حقیقی الصاق کرد به گونه‌ای که فضا همچنان یک‌بعدی، موضعاً اقلیدسی و دارای اطلسی از نگاشت‌های همانی باشد، اما در عین حال میان هر جفت از این مبدأها خاصیت هاسدورف کاملاً نقض شود.

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

فضای خارج‌قسمتی حاصل از الحاق مجموعه‌ای از خطوط حقیقی با اندیس‌های I روی تمام نقاط ناصفر، یک فضای موضعاً اقلیدسی با اطلس هموار C^∞ است که در آن به ازای هر دو اندیس متمایز i و j، جفت مبدأهای (0, i) و (0, j) با همسایگی‌های باز مجزا قابل تفکیک نیستند.

**بدنه:**

۱. ساخت فضای خارج‌قسمتی چندشاخه:

مجموعهٔ اندیس‌ها را I در نظر می‌گیریم (که می‌تواند {1, 2, ..., n} یا مجموعه‌ای شمارا یا ناشمارا باشد). فضای ضربی R × I را تشکیل داده و رابطهٔ هم‌ارزی زیر را روی آن تعریف می‌کنیم:

(x, i) ~ (y, j) ⇔ (x = y ≠ 0) یا (x = y = 0 و i = j)

فضای خارج‌قسمتی را با X_I نام‌گذاری می‌کنیم:

X_I = (R × I) / ~

نقاط این فضا شامل نقاط مشترک x برای x ≠ 0 و خانواده‌ای از مبدأهای متمایز {0_i : i ∈ I} است.

۲. ساختار اطلس و چارت‌های عمومی:

برای هر اندیس i ∈ I، زیرمجموعهٔ باز U_i را به صورت زیر تعریف می‌کنیم:

U_i = (R \ {0}) ∪ {0_i}

نگاشت چارت مختصاتی φ_i به صورت طبیعی تعریف می‌شود:

φ_i: U_i → R , φ_i(x) = x , φ_i(0_i) = 0

هر φ_i یک هم‌ریختی توپولوژیک میان U_i و خط حقیقی R است.

۳. سازگاری کامل اطلس:

برای هر دو اندیس متمایز i ≠ j، اشتراک دامنه‌ها برابر است با:

U_i ∩ U_j = R \ {0}

نگاشت‌های انتقال بین هر دو چارت دلخواه عبارتند از:

φ_j ∘ φ_i⁻¹: R \ {0} → R \ {0}

(φ_j ∘ φ_i⁻¹)(x) = x

چون تمامی نگاشت‌های انتقال، تابع همانی بر روی مجموعهٔ باز R \ {0} هستند، همگی از ردهٔ C^∞ بوده و اطلس حاصل کاملاً سازگار و هموار است.

۴. برهان سراسری عدم هاسدورف بودن:

فرض کنید دو اندیس دلخواه i ≠ j انتخاب شوند. نقاط 0_i و 0_j دو نقطهٔ متمایز در X_I هستند.

برای هر همسایگی باز V_i از 0_i و هر همسایگی باز V_j از 0_j، تصویر آن‌ها تحت چارت‌ها شامل بازه‌هایی به مرکز صفر در R است:

(-ε_i, ε_i) ⊆ φ_i(V_i) , (-ε_j, ε_j) ⊆ φ_j(V_j)

با انتخاب r با شرط 0 < r < min(ε_i, ε_j)، نقطهٔ r متعلق به هر دو همسایگی در فضای خارج‌قسمتی خواهد بود:

r ∈ V_i ∩ V_j

بنابراین:

V_i ∩ V_j ≠ ∅

این امر نشان می‌دهد هیچ جفت مبدأ متمایزی در این فضا هاسدورف نیستند.

**نتایج:**

- موضعاً اقلیدسی بودن و سازگاری اطلس (حتی با بی‌نهایت چارت کاملاً سازگار با نگاشت‌های همانی) به‌هیچ‌وجه ویژگی‌های تفکیک‌پذیری توپولوژی جهانی فضا را کنترل نمی‌کند.

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