اثبات جامع پیوستگی و شرایط هموتوپی نگاشت F(t, s)
برای اثبات اینکه نگاشت تکهتکهای F : I2 → X یک هموتوپی مسیرها میان دو پرانتزبندی مختلف است، باید پیوستگی کامل آن روی مربع I2 و صدق در شرایط مرزی بررسی شود.
۱. اثبات پیوستگی کل نگاشت با «لم چسباندن»
مربع I2 را به سه ناحیهی بستهی A، B و C با مرزهای خطی متغیر با s تقسیم میکنیم.
- در ناحیه A: عبارت s + 1 ≥ 1 است، پس مخرج صفر نمیشود و ترکیب با f پیوسته است.
- در ناحیه B: تابع خطی داخل g پیوسته است.
- در ناحیه C: عبارت 2 - s ≥ 1 است، پس مخرج صفر نمیشود و ترکیب با h پیوسته است.
بررسی انطباق مرزهای مشترک:
• Boundary A ∩ B (t = (s+1)/4):
F_A = f( 4((s+1)/4) / (s+1) ) = f(1) = x1
F_B = g( 4((s+1)/4) - 1 - s ) = g(0) = x1
• Boundary B ∩ C (t = (s+2)/4):
F_B = g( 4((s+2)/4) - 1 - s ) = g(1) = x2
F_C = h( 1 - 4(1 - (s+2)/4) / (2-s) ) = h(0) = x2
طبق لم چسباندن (Pasting Lemma)، انطباق مقادیر در مرزهای مشترک، پیوستگی سراسری نگاشت F روی کل I2 را تضمین میکند.
۲. بررسی شرایط مرزی هموتوپی
- در s = 0: ضابطه دقیقاً برابر با مسیر ((f * g) * h)(t) میگردد.
- در s = 1: ضابطه دقیقاً برابر با مسیر (f * (g * h))(t) میگردد.
- در t = 0 (نقطه آغاز): F(0, s) = f(0) = x0 برای تمامی مقادیر s ثابت است.
- در t = 1 (نقطه پایان): F(1, s) = h(1) = x3 برای تمامی مقادیر s ثابت است.
نتیجهگیری اثبات:
نگاشت F(t, s) یک هموتوپی مسیرها (Path Homotopy) معتبر است؛ بنابراین:
[(f * g) * h] = [f * (g * h)]
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.