آشنایی با مجتمع‌های سادکی (Simplicial Complexes)
در توپولوژی جبری، برای مطالعهٔ فضاهای پیچیده، آنها را به قطعات ساده‌تری به نام سادک (Simplex) تجزیه می‌کنیم. این قطعات مانند آجرهایی هستند که با کنار هم قرار گرفتن، یک ساختار بزرگتر به نام مجتمع سادکی را می‌سازند.
۱. تعریف سادک و استقلال افین
مجموعه‌ای از نقاط v0, v1, ..... , vn در فضای اقلیدسی را مستقل افین می‌نامیم، اگر نتوان هیچ‌کدام از آنها را به صورت ترکیب خطی افین از بقیه نوشت.
یک n-سادک، کوچکترین مجموعه محدبی است که شامل این n+1 نقطه باشد.
- ۰-سادک: یک نقطه واحد.
- ۱-سادک: یک پاره‌خط (اتصال دو نقطه).
- ۲-سادک: یک مثلث (اتصال سه نقطه).
- ۳-سادک: یک چهاروجهی (تتراهدرون).
۲. ترکیب محدب نقاط
هر نقطه x درون یک سادک را می‌توان به صورت زیر نمایش داد:
x = ∑ αi vi , ∑ αi = 1 , αi ≥ 0
۳. ویژگی‌های مجتمع سادکی (K)
یک مجتمع سادکی مجموعه‌ای از سادک‌هاست که دو قانون طلایی را رعایت می‌کنند:
- قانون وجه‌ها: اگر یک سادک در مجتمع ما باشد، تمام وجه‌های آن (مثلاً ضلع‌های یک مثلث) نیز باید در مجتمع باشند.
- قانون اشتراک: اگر دو سادک با هم برخورد کنند، اشتراک آنها حتماً باید یک وجه کامل از هر دو باشد (نمی‌توانند از وسط یکدیگر رد شوند یا بخشی از یک ضلع را به صورت نامنظم اشغال کنند).
نکته: مجتمع‌های سادکی ابزار اصلی برای محاسبات کامپیوتری در توپولوژی و مدل‌سازی‌های سه بعدی هستند.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.