ریاضیات

مثال

بسیار خب، برویم سراغ یک مثال با مرتبه بالاتر، یعنی یک 3-سیمپلکس (تتراهدرون یا چهاروجهی). در اینجا پیچیدگی کمی بیشتر می‌شود، اما اصول زیرتقسیم همچنان پابرجا است.

بیایید از روشی استفاده کنیم که در آن، مرکزِ هر سادک (از جمله مرکزِ خودِ تتراهدرون) را به عنوان رئوس جدید در نظر می‌گیریم و سپس با استفاده از این رئوس جدید، سادک‌های کوچکتر می‌سازیم. این روش شبیه به زیرتقسیمِ "اول-دوره" یا "کاشی‌کاری" است.

```html

مثال زیرتقسیم: یک تتراهدرون (3-سیمپلکس)

فرض کنید مجتمع سادکی K ما فقط شامل یک 3-سیمپلکس (تتراهدرون) باشد. رئوس آن را v<sub>0</sub>، v<sub>1</sub>، v<sub>2</sub>، و v<sub>3</sub> می‌نامیم.

این تتراهدرون دارای:

• ۴ رأس (0-سیمپلکس)


• ۶ یال (1-سیمپلکس)


• ۴ وجه مثلثی (2-سیمپلکس)


• و خودِ تتراهدرون (3-سیمپلکس)

روش زیرتقسیم: اضافه کردن مراکز سادک‌ها

در این روش، برای هر سادک در مجتمع اصلی، یک رأس جدید اضافه می‌کنیم که مرکز هندسیِ آن سادک است.

۱. تعریف رئوس جدید:

برای هر سادک σ در مجتمع اصلی، رأس جدید c<sub>σ</sub> را مرکز هندسیِ σ در نظر می‌گیریم.

• مرکزِ هر یالِ اصلی (مثلاً یال {v<sub>0</sub>, v<sub>1</sub>}) را c<sub>{v0, v1}</sub> می‌نامیم.


• مرکزِ هر وجهِ مثلثیِ اصلی (مثلاً مثلث {v<sub>0</sub>, v<sub>1</sub>, v<sub>2</sub>}) را c<sub>{v0, v1, v2}</sub> می‌نامیم.


• مرکزِ خودِ تتراهدرونِ اصلی ({v<sub>0</sub>, v<sub>1</sub>, v<sub>2</sub>, v<sub>3</sub>}) را c<sub>{v0, v1, v2, v3}</sub> می‌نامیم.

۲. ساخت سادک‌های جدید:

حالا، سادک‌های جدید را با استفاده از رئوس اصلی و رئوسِ جدیدِ مراکز می‌سازیم. قانون کلی این است:

برای هر سادک σ در مجتمع اصلی (مثلاً σ = {v<sub>0</sub>, v<sub>1</sub>, v<sub>2</sub>})، یک سادکِ جدید ساخته می‌شود که شاملِ رأسِ مرکزِ آن سادک (c<sub>σ</sub>) و تمامِ رئوسِ سادک‌هایِ کوچکترِ شاملِ σ است.

به طور خاص برای تتراهدرون T = {v<sub>0</sub>, v<sub>1</sub>, v<sub>2</sub>, v<sub>3</sub>} و مرکز آن c<sub>T</sub>:

• سادک‌های 1-بعدی (یال‌های جدید): برای هر یال اصلی {v<sub>i</sub>, v<sub>j</sub>}، رأس مرکز آن c<sub>{vi, vj}</sub> را به آن اضافه می‌کنیم: {v<sub>i</sub>, v<sub>j</sub>, c<sub>{vi, vj}</sub>}. همچنین یال‌هایی که مرکزِ هر وجه را به رئوسِ آن وجه وصل می‌کنند، ایجاد می‌شوند.


• سادک‌های 2-بعدی (مثلث‌های جدید): برای هر وجه مثلثی اصلی {v<sub>i</sub>, v<sub>j</sub>, v<sub>k</sub>}، رأس مرکز آن وجه c<sub>{vi, vj, vk}</sub> را به همراه رئوسِ آن وجه، یک مثلثِ کوچکتر می‌سازند. همچنین رئوسِ مراکزِ یال‌هایِ آن وجه نیز وارد می‌شوند.


• سادک‌های 3-بعدی (تتراهدرون‌های جدید): خودِ تتراهدرونِ اصلی به ۴ تتراهدرونِ کوچکتر تقسیم می‌شود. هر کدام از این تتراهدرون‌های کوچک، رأسِ مرکزِ کلِ تتراهدرونِ اصلی (c<sub>T</sub>) را به عنوان یکی از رئوس خود دارند و رئوسِ یکی از وجوهِ اصلیِ تتراهدرونِ بزرگتر را به همراه مراکزِ آن وجه و یال‌هایش، به عنوان سایر رئوس خود دارند.

نتیجه زیرتقسیم

پس از این زیرتقسیم، مجتمع سادکیِ جدید K' به طور قابل توجهی پیچیده‌تر از K خواهد بود:

• تعداد کل رئوس افزایش می‌یابد (شامل رئوس اصلی و مراکز تمام سادک‌های اصلی).


• به جای یک تتراهدرون بزرگ، ما ۴ تتراهدرون کوچکتر خواهیم داشت که در مرکزِ تتراهدرون اصلی به هم می‌رسند.


• ساختارِ درونیِ هر وجهِ مثلثی نیز به ۴ مثلث کوچکتر تقسیم شده است.


• و هر یالِ اصلی نیز به دو یال کوچکتر شکسته شده است.

[تصور کنید:] تتراهدرون اصلی را مانند یک پنیر در نظر بگیرید. مرکز آن را پیدا کنید. سپس از این مرکز به هر کدام از ۴ گوشه (رأس) یک خط بکشید. این خطوط، تتراهدرون اصلی را به ۴ تتراهدرون کوچکتر تقسیم می‌کنند. حالا تصور کنید که این فرآیند به صورت بازگشتی روی هر کدام از وجوه و یال‌های این تتراهدرون‌های کوچکتر هم اعمال شود!

اهمیت این مثال

این مثال نشان می‌دهد که چگونه با اعمالِ یک روشِ زیرتقسیمِ سیستماتیک، می‌توانیم یک سادکِ با ابعاد بالا را به تعداد زیادی سادکِ با ابعادِ کوچکتر و «قابل کنترل‌تر» تبدیل کنیم.

• کنترل اندازه: قطرِ این تتراهدرون‌هایِ کوچکتر، به طور قابل توجهی از تتراهدرونِ اصلی کوچکتر است.


• پوشش دقیق‌تر: این ساختارِ ریز شده، امکانِ تقریبِ دقیق‌ترِ توابع پیوسته را بر روی حجمِ تتراهدرون فراهم می‌کند.


• مبنای محاسباتی: در محاسبات عددی و گرافیکی، این نوع زیرتقسیم‌ها اساسِ تقسیمِ هندسه به المان‌های کوچکتر (مانند المان‌های محدود) برای حل معادلات دیفرانسیل یا رندر کردن تصاویر است.

پیچیدگیِ ساختاریِ حاصل از زیرتقسیم، یک بده بستان (Trade-off) است: ساختار پیچیده‌تر می‌شود، اما «تحلیل‌پذیرتر» و «تقریب‌پذیرتر».

تجسم:

تتراهدرون اصلی با رئوس V0, V1, V2, V3.

مرکز آن C.

چهار خط از C به هر یک از رئوس V0, V1, V2, V3.

این چهار خط، تتراهدرون اصلی را به چهار تتراهدرون کوچکتر تقسیم می‌کنند که همگی در رأس C مشترک هستند.

```

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

آیا این مثال با مرتبه بالاتر، تصویر واضح‌تری از زیرتقسیم ارائه داد؟ اگر مایل باشید، می‌توانیم به کاربردهای عملی این مباحث یا ارتباط آن با همولوژی (که یکی از اهداف اصلی توپولوژی جبری است) بپردازیم.

زیرتقسیم: یک تتراهدرون (3-سیمپلکس)

فرض کنید مجتمع سادکی K ما فقط شامل یک 3-سیمپلکس (تتراهدرون) باشد. رئوس آن را v₀، v₁، v₂، و v₃ می‌نامیم.

این تتراهدرون دارای:

• ۴ رأس (0-سیمپلکس)
• ۶ یال (1-سیمپلکس)
• ۴ وجه مثلثی (2-سیمپلکس)
• و خودِ تتراهدرون (3-سیمپلکس)

روش زیرتقسیم: اضافه کردن مراکز سادک‌ها

در این روش، برای هر سادک در مجتمع اصلی، یک رأس جدید اضافه می‌کنیم که مرکز هندسیِ آن سادک است.

۱. تعریف رئوس جدید:

برای هر سادک σ در مجتمع اصلی، رأس جدید c_σ را مرکز هندسیِ σ در نظر می‌گیریم.

• مرکزِ هر یالِ اصلی (مثلاً یال {v₀, v₁}) را c_{{v0, v1}} می‌نامیم.
• مرکزِ هر وجهِ مثلثیِ اصلی (مثلاً مثلث {v₀, v₁, v₂}) را c_{{v0, v1, v2}} می‌نامیم.
• مرکزِ خودِ تتراهدرونِ اصلی ({v₀, v₁, v₂, v₃}) را c_{{v0, v1, v2, v3}} می‌نامیم.

۲. ساخت سادک‌های جدید:

حالا، سادک‌های جدید را با استفاده از رئوس اصلی و رئوسِ جدیدِ مراکز می‌سازیم. قانون کلی این است:

برای هر سادک σ در مجتمع اصلی (مثلاً σ = {v₀, v₁, v₂})، یک سادکِ جدید ساخته می‌شود که شاملِ رأسِ مرکزِ آن سادک (c_σ) و تمامِ رئوسِ سادک‌هایِ کوچکترِ شاملِ σ است.

به طور خاص برای تتراهدرون T = {v₀, v₁, v₂, v₃} و مرکز آن c_T:

• سادک‌های 1-بعدی (یال‌های جدید): برای هر یال اصلی {v_i, v_j}، رأس مرکز آن c_{{vi, vj}} را به آن اضافه می‌کنیم: {v_i, v_j, c_{{vi, vj}}}. همچنین یال‌هایی که مرکزِ هر وجه را به رئوسِ آن وجه وصل می‌کنند، ایجاد می‌شوند.
• سادک‌های 2-بعدی (مثلث‌های جدید): برای هر وجه مثلثی اصلی {v_i, v_j, v_k}، رأس مرکز آن وجه c_{{vi, vj, vk}} را به همراه رئوسِ آن وجه، یک مثلثِ کوچکتر می‌سازند. همچنین رئوسِ مراکزِ یال‌هایِ آن وجه نیز وارد می‌شوند.
• سادک‌های 3-بعدی (تتراهدرون‌های جدید): خودِ تتراهدرونِ اصلی به ۴ تتراهدرونِ کوچکتر تقسیم می‌شود. هر کدام از این تتراهدرون‌های کوچک، رأسِ مرکزِ کلِ تتراهدرونِ اصلی (c_T) را به عنوان یکی از رئوس خود دارند و رئوسِ یکی از وجوهِ اصلیِ تتراهدرونِ بزرگتر را به همراه مراکزِ آن وجه و یال‌هایش، به عنوان سایر رئوس خود دارند.

نتیجه زیرتقسیم

پس از این زیرتقسیم، مجتمع سادکیِ جدید K' به طور قابل توجهی پیچیده‌تر از K خواهد بود:

• تعداد کل رئوس افزایش می‌یابد (شامل رئوس اصلی و مراکز تمام سادک‌های اصلی).
• به جای یک تتراهدرون بزرگ، ما ۴ تتراهدرون کوچکتر خواهیم داشت که در مرکزِ تتراهدرون اصلی به هم می‌رسند.
• ساختارِ درونیِ هر وجهِ مثلثی نیز به ۴ مثلث کوچکتر تقسیم شده است.
• و هر یالِ اصلی نیز به دو یال کوچکتر شکسته شده است.

[تصور کنید:] تتراهدرون اصلی را مانند یک پنیر در نظر بگیرید. مرکز آن را پیدا کنید. سپس از این مرکز به هر کدام از ۴ گوشه (رأس) یک خط بکشید. این خطوط، تتراهدرون اصلی را به ۴ تتراهدرون کوچکتر تقسیم می‌کنند. حالا تصور کنید که این فرآیند به صورت بازگشتی روی هر کدام از وجوه و یال‌های این تتراهدرون‌های کوچکتر هم اعمال شود!

اهمیت این مثال

این مثال نشان می‌دهد که چگونه با اعمالِ یک روشِ زیرتقسیمِ سیستماتیک، می‌توانیم یک سادکِ با ابعاد بالا را به تعداد زیادی سادکِ با ابعادِ کوچکتر و «قابل کنترل‌تر» تبدیل کنیم.

• کنترل اندازه: قطرِ این تتراهدرون‌هایِ کوچکتر، به طور قابل توجهی از تتراهدرونِ اصلی کوچکتر است.
• پوشش دقیق‌تر: این ساختارِ ریز شده، امکانِ تقریبِ دقیق‌ترِ توابع پیوسته را بر روی حجمِ تتراهدرون فراهم می‌کند.
• مبنای محاسباتی: در محاسبات عددی و گرافیکی، این نوع زیرتقسیم‌ها اساسِ تقسیمِ هندسه به المان‌های کوچکتر (مانند المان‌های محدود) برای حل معادلات دیفرانسیل یا رندر کردن تصاویر است.

پیچیدگیِ ساختاریِ حاصل از زیرتقسیم، یک بده بستان (Trade-off) است: ساختار پیچیده‌تر می‌شود، اما «تحلیل‌پذیرتر» و «تقریب‌پذیرتر».