قضیهی تقریب سادکی
یکی از قضیههای مهم در توپولوژی جبری، قضیهی تقریب سادکی است.
این قضیه پلی میان دنیای پیوستهی توپولوژی و ساختارهای گسستهی سادکی برقرار میکند.
به زبان ساده، این قضیه میگوید که هر تابع پیوسته میان فضاهای مناسب را میتوان،
پس از ریزتر کردن کافیِ ساختار سادکی، با یک نگاشت سادکی تقریب زد.
۱. بیان شهودی قضیه
فرض کنید دو فضا را به وسیلهی مجتمعهای سادکی مدل کردهایم و بین تحقق هندسی آنها
یک تابع پیوسته داریم. معمولاً این تابع پیوسته رأسها را دقیقاً به رأسها نمیفرستد،
پس به طور مستقیم یک نگاشت سادکی نیست.
اما قضیهی تقریب سادکی میگوید اگر مجتمع مبدأ را به اندازهی کافی ریزتر کنیم،
آنگاه میتوان تابعی سادکی پیدا کرد که رفتار آن، از نظر توپولوژیکی، بسیار نزدیک به
تابع پیوستهی اولیه باشد.
۲. صورت کلی قضیه
فرض کنید
K
و
L
دو مجتمع سادکی متناهی باشند و
|K|
و
|L|
تحقق هندسی آنها باشند.
اگر
f : |K| → |L|
یک تابع پیوسته باشد، آنگاه زیرتقسیمی از
K
وجود دارد، مثلاً
K'،
به طوری که بتوان یک نگاشت سادکی
g : K' → L
ساخت که تحقق هندسی آن،
|g|،
تابع
f
را تقریب بزند.
در بسیاری از بیانهای دقیقتر، گفته میشود که
|g|
با
f
هموتوپ است؛ یعنی از دیدگاه توپولوژی جبری، این دو تابع رفتار یکسانی دارند.
۳. ایدهی اصلی قضیه
ایدهی اساسی این است که اگر سادکهای مجتمع مبدأ را به اندازهی کافی کوچک کنیم،
تصویر هر بخش کوچک تحت تابع پیوستهی
f
در ناحیهای کنترلشده از مجتمع مقصد قرار میگیرد.
در این حالت میتوان به هر رأسِ زیرتقسیم جدید، یک رأس مناسب در مجتمع مقصد نسبت داد
و از این راه یک نگاشت سادکی ساخت.
به بیان دیگر، با ریزتر کردن زیرتقسیم، تابع پیوسته آرامآرام به شکلی درمیآید
که بتوان آن را با دادههای صرفاً ترکیبیاتی توصیف کرد.
۴. نقش زیرتقسیم
نکتهی مهم در این قضیه آن است که معمولاً خود مجتمع اولیه برای ساختن نگاشت سادکی کافی نیست.
بنابراین لازم است از یک زیرتقسیم استفاده کنیم؛ یعنی هر سادک را به سادکهای کوچکتری
بشکنیم تا کنترل دقیقتری بر رفتار تابع پیوسته به دست آید.
هرچه زیرتقسیم ریزتر باشد، امکان سازگار کردن تابع پیوسته با ساختار سادکی بیشتر میشود.
۵. ارتباط با ستارهی باز
در صورتبندی دقیقتر قضیه، معمولاً از مفهوم ستارهی باز استفاده میشود.
ایده این است که برای هر رأس در زیرتقسیم جدیدِ مجتمع مبدأ، باید رأسی در مجتمع مقصد پیدا کنیم
به گونهای که تصویر همسایگی مناسب آن رأس، در ستارهی بازِ رأس انتخابشده قرار بگیرد.
وقتی این شرط برقرار باشد، میتوان نگاشت رئوس را به یک نگاشت سادکی کامل گسترش داد.
۶. اهمیت قضیه
قضیهی تقریب سادکی از چند جهت اهمیت اساسی دارد:
الف) میان توپولوژی پیوسته و روشهای ترکیبیاتی پیوند برقرار میکند.
ب) اجازه میدهد بسیاری از مسائل توپولوژیکی را با زبان مجتمعهای سادکی بررسی کنیم.
ج) در مطالعهی همولوژی و هموتوپی نقش بنیادی دارد.
د) نشان میدهد که نگاشتهای پیوسته را میتوان، تا حد هموتوپی، با نگاشتهای سادکی مدل کرد.
۷. تفسیر مفهومی
این قضیه بیان میکند که ساختارهای گسسته و ترکیبیاتی، فقط ابزارهای کمکی نیستند،
بلکه میتوانند نمایندهی بسیار خوبی برای رفتار فضاهای پیوسته باشند.
به همین دلیل، قضیهی تقریب سادکی یکی از پایههای مهم توپولوژی جبری به شمار میآید.
در نتیجه، قضیهی تقریب سادکی میگوید هر تابع پیوسته میان تحققهای هندسی مناسب را
میتوان با یک نگاشت سادکی، پس از انجام زیرتقسیم کافی، تقریب زد.
این قضیه یکی از مهمترین ابزارها برای تبدیل مسائل پیوسته به مسائل ترکیبیاتی است.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.