ریاضیات

مشخصه اویلر در نمایش‌های چندضلعی: نسخه دقیق‌تر

یکی از مهم‌ترین ناورداهای توپولوژیک برای تشخیص رویه‌ها، مشخصه اویلر است.

اگر یک رویه فشرده و بسته از طریق شناسایی اضلاع یک چندضلعی ساخته شود، آنگاه پس از چسباندن اضلاع داریم:

در اینجا V تعداد رئوس، E تعداد یال‌ها و F تعداد وجه‌هاست.

برای یک چندضلعیِ منفرد که مرز آن به‌صورت مناسب شناسایی می‌شود، معمولاً F = 1 است و بنابراین کافی است

اثر شناسایی یال‌ها و رئوس را بررسی کنیم.

۱. رویه‌های جهت‌پذیر

اگر رویه جهت‌پذیر باشد و جنس آن را با g نشان دهیم، آنگاه

چند مثال استاندارد:

• S² (کره): g = 0، پس χ = 2.

• T² (توروس): g = 1، پس χ = 0.

• جمع همبند دو توروس: T² # T²، لذا χ = -2.

۲. رویه‌های نا‌جهت‌پذیر

اگر رویه نا‌جهت‌پذیر باشد و از k کلاهک دهانه

(cross-cap) ساخته شده باشد، آنگاه

نمونه‌های مهم:

• صفحه تصویر حقیقی P²: یک cross-cap دارد، پس χ = 1.

• بطری کلاین K: هم‌ارز با P² # P² است، پس χ = 0.

• P² # P² # P²: در این حالت χ = -1.

۳. نکته طبقه‌بندی

دو رویه ممکن است مشخصه اویلر یکسان داشته باشند، اما از نظر توپولوژیک هم‌ارز نباشند.

بنابراین برای شناسایی کامل یک رویه، تنها دانستن χ کافی نیست؛

باید جهت‌پذیری را نیز بررسی کرد.

به همین دلیل، در نمایش‌های چندضلعی، علاوه بر تعداد اضلاع، باید به این دو نکته توجه کرد:

الگوی تکرار حروف و علامت توان‌ها.

برای مثال:

• aba^-1b^-1 نمایش استاندارد توروس است.

• abab نمایش استاندارد بطری کلاین است.

• a²b² نمایش استاندارد P² # P² است.

نتیجه: مشخصه اویلر یک ابزار بسیار قدرتمند است، اما در کنار آن باید جهت‌پذیری و فرم کلمه رویه‌ای را هم بررسی کرد تا طبقه‌بندی صحیح به دست آید.