انعطاف‌پذیری فضا: هموتوپی مسیرها و نگاشت‌ها در توپولوژی
در دنیای توپولوژی، مفاهیمی مانند «مسیر» و «همبندی» به ما کمک می‌کنند تا بفهمیم یک فضا چقدر «یکپارچه» است. اما گاهی لازم است فراتر از این برویم و ببینیم که آیا می‌توانیم یک مسیر یا یک نگاشت را به طورِ «پیوسته» به مسیر یا نگاشتِ دیگری «تبدیل» کنیم. اینجاست که مفهومِ قدرتمندِ «هموتوپی» وارد می‌شود.
۱. هموتوپی مسیرها: سفرِ قابلِ تغییر
فرض کنید دو مسیر داریم که از یک نقطهٔ شروع a به یک نقطهٔ پایان b در یک فضا X می‌روند. آیا این دو مسیر «واقعاً» متفاوت هستند؟ در توپولوژی، پاسخ به این سوال توسط «هموتوپیِ مسیرها» داده می‌شود.
تعریف هموتوپی مسیرها:
دو مسیر p_0 و p_1 که هر دو از نقطهٔ a به نقطهٔ b در فضا X می‌روند (یعنی p_0(0) = p_1(0) = a و p_0(1) = p_1(1) = b)، «هموتوپیک» نامیده می‌شوند اگر یک نگاشتِ پیوستهٔ H از مربع واحد [0, 1] × [0, 1] به فضا X (که تابعِ هموتوپی نامیده می‌شود) وجود داشته باشد که شرایطِ زیر را برآورده کند:
- H(s, 0) = p_0(s) برای هر s در بازه [0, 1] (مسیرِ اول در "زمانِ صفر" هموتوپی)
- H(s, 1) = p_1(s) برای هر s در بازه [0, 1] (مسیرِ دوم در "زمانِ یک" هموتوپی)
- H(0, t) = a برای هر t در بازه [0, 1] (نقطهٔ شروع همیشه ثابت می‌ماند)
- H(1, t) = b برای هر t در بازه [0, 1] (نقطهٔ پایان همیشه ثابت می‌ماند)
این تابع H را می‌توان به صورتِ یک «انیمیشنِ پیوسته» تصور کرد که مسیرِ p_0 را به مسیرِ p_1 تبدیل می‌کند، در حالی که نقاطِ ابتدا و انتها در جایِ خود باقی می‌مانند.
مثال:
در یک صفحهٔ خالی (که با \(\mathbb{R}^2\) نمایش داده می‌شود)، هر دو مسیری که از نقطهٔ (0,0) به (1,1) می‌روند، هموتوپیک هستند. شما می‌توانید با «کشیدن» و «تغییر شکل دادن» پیوسته، یکی را به دیگری تبدیل کنید. اما اگر در فضا «مانعی» وجود داشته باشد (مثلاً یک نقطهٔ حذف شده)، ممکن است دو مسیر نتوانند به هم تبدیل شوند!
نکته کلیدی: هموتوپیِ مسیرها به ما می‌گوید که آیا دو مسیر از دیدگاهِ توپولوژیکی «قابلِ تمایز» هستند یا خیر. اگر هموتوپیک باشند، در بسیاری از کاربردهای توپولوژیک، «یکسان» تلقی می‌شوند.
۲. هموتوپی نگاشت‌ها: تبدیلِ اشکال
مفهومِ هموتوپی را می‌توان به نگاشت‌هایِ پیوستهٔ کلی‌تر نیز تعمیم داد. این به ما اجازه می‌دهد تا بفهمیم چگونه می‌توان یک «شکل» یا «نگاشت» را به شکلِ دیگری «تبدیل» کرد.
تعریف هموتوپی نگاشت‌ها:
دو نگاشتِ پیوسته f و g که از فضای X به فضای Y می‌روند، «هموتوپیک» نامیده می‌شوند اگر نگاشتی پیوسته H از حاصلضربِ دکارتیِ X × [0, 1] به فضای Y (تابعِ هموتوپی) وجود داشته باشد که:
- H(x, 0) = f(x) برای تمام x در X (نگاشتِ اول در "زمانِ صفر")
- H(x, 1) = g(x) برای تمام x در X (نگاشتِ دوم در "زمانِ یک")
اینجا، ما کلِ فضا X را در نظر می‌گیریم و می‌بینیم که چگونه نگاشتِ f به طورِ پیوسته به نگاشتِ g «تغییر شکل» می‌دهد.
مثال:
فرض کنید X یک دیسکِ بسته باشد و Y = \mathbb{R}^2 (یک صفحهٔ خالی).
- نگاشتِ f که تمام نقاطِ دیسک را به مبدأ می‌فرستد (یعنی f(x, y) = (0, 0)) و نگاشتِ g که دیسک را به یک دیسکِ کوچک‌تر در مبدأ می‌فرستد (یعنی g(x, y) = (x/2, y/2)) هموتوپیک هستند. می‌توانیم تصور کنیم که دیسکِ اول به آرامی کوچک شده و به دیسکِ دوم تبدیل می‌شود.
- اما اگر X یک حلقه (Annulus) باشد (یک دیسک با یک سوراخِ دایره‌ای در مرکز) و Y = \mathbb{R}^2، آنگاه نگاشتی که حلقه را به مبدأ می‌فرستد (f) و نگاشتی که حلقه را به یک دیسکِ کوچک‌تر (بدونِ سوراخ) می‌فرستد (g) هموتوپیک نیستند. دلیلش وجودِ سوراخ در X است که مانع از «جمع شدنِ پیوسته» به یک نقطه می‌شود.
نکته کلیدی: هموتوپیِ نگاشت‌ها به ما اجازه می‌دهد تا «نوعِ» فضاهای توپولوژیک را در سطحی عمیق‌تر مقایسه کنیم. اگر دو فضا هموتوپیک باشند (یعنی نگاشت‌های هموتوپیکِ دوطرفه بینشان وجود داشته باشد)، آنها را «هموتوپیک-هم‌ارز» (Homotopy Equivalent) می‌نامیم و خواصِ توپولوژیکیِ مهمی دارند.
۳. ارتباط با مفاهیم قبلی
هموتوپیِ مسیرها در واقع حالتِ خاصی از هموتوپیِ نگاشت‌ها است، زمانی که دامنهٔ نگاشت (X) خود یک بازهٔ [0, 1] باشد.
این مفاهیم، سنگ بنایِ بخش‌هایِ
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.