توپولوژی عمومی
توپولوژی عمومی به مطالعه فضاهایی میپردازد که با مفهوم نزدیکی — مجموعههای باز — و نگاشتهای پیوسته بین آنها تعریف میشوند. این حوزه زبان بنیادی حد، همگرایی و پیوستگی را برای سایر شاخههای هندسه و آنالیز فراهم میکند.
Definition
توپولوژی روی یک مجموعه X، مجموعهای از زیرمجموعهها (مجموعههای باز) است که شامل مجموعه تهی و X بوده و تحت اجتماعهای دلخواه و اشتراکهای متناهی بسته است؛ توپولوژی عمومی مطالعه چنین فضاهایی و توابع پیوسته بین آنهاست.
Scope
این حوزه چارچوب انتزاعی فضاهای توپولوژیک را پوشش میدهد: چگونگی تعریف یک توپولوژی (مجموعههای باز، پایهها، زیرپایهها)، چگونگی تعریف پیوستگی و همئومورفیسم بدون ارجاع به فاصله، و ویژگیهای کلی که فضاها را متمایز میکنند، عمدتاً فشردگی، همبندی و سلسلهمراتب جداسازی. این شامل ساختارهای ضرب، زیرفضا و خارجقسمت و نتایج متریکسازی است که توپولوژیهای انتزاعی را دوباره به فضاهای متریک متصل میکند. این حوزه شامل ناورداهای جبری توپولوژی جبری و ساختار هموار هندسه دیفرانسیل نمیشود، که بر این پایه بنا شدهاند.
Sub-topics
Core questions
- چه دادههای حداقلی یک مفهوم پیوستگی را روی یک مجموعه، مستقل از هر متریک، مشخص میکند؟
- کدام ویژگیهای توپولوژیک تحت نگاشتهای پیوسته، ضربها، زیرفضاها و خارجقسمتها حفظ میشوند؟
- چه زمانی یک فضای توپولوژیک انتزاعی میتواند به عنوان یک فضای متریک (متریکسازی) تحقق یابد؟
- چگونه فشردگی و همبندی شکل کلی و رفتار متناهی یک فضا را کدگذاری میکنند؟
Key concepts
- مجموعههای باز و بسته، همسایگیها، درون و بستار
- پایه و زیرپایه برای یک توپولوژی
- نگاشتهای پیوسته، همئومورفیسمها و ناورداهای توپولوژیک
- توپولوژیهای زیرفضا، ضرب و خارجقسمت
- فشردگی، همبندی و اصول جداسازی
Clinical relevance
توپولوژی عمومی بستر مشترک ریاضیات مدرن است: این حوزه معنای دقیق همگرایی و پیوستگی را که در آنالیز استفاده میشود، فضاهای زیربنایی آنالیز تابعی و هندسه دیفرانسیل، و پیشنیازهای مجموعهنقطهای را که در سراسر توپولوژی جبری فرض میشوند، فراهم میکند.
History
توپولوژی مجموعهنقطهای از تلاشهای اواخر قرن نوزدهم و اوایل قرن بیستم برای انتزاع مفهوم پیوستگی از خط حقیقی نشأت گرفت، که در اصلبندی فضاهای توپولوژیک توسط هاوسدورف در سال ۱۹۱۴ متبلور شد و با متون اواسط قرن مانند کلی (۱۹۵۵) و مانکرس به برنامه درسی استاندارد تبدیل شد.
Key figures
- Felix Hausdorff
- James Munkres
- John L. Kelley
Related topics
Seminal works
- munkres2000
- kelley1955
Frequently asked questions
- توپولوژی عمومی چه تفاوتی با توپولوژی جبری دارد؟
- توپولوژی عمومی مبانی مجموعهنقطهای — مجموعههای باز، پیوستگی، فشردگی، همبندی — را توسعه میدهد، در حالی که توپولوژی جبری ناورداهای جبری مانند گروههای هموتوپی و همولوژی را به فضاها اختصاص میدهد تا آنها را تا حد تغییر شکل متمایز کند.
- چرا توپولوژی را با مجموعههای باز به جای فاصله تعریف میکنیم؟
- بسیاری از فضاهای مهم (خارجقسمتها، فضاهای تابع، فضاهای ضرب انتزاعی) متریک طبیعی ندارند، اما همچنان مفهوم پیوستگی به خوبی تعریف شدهای دارند؛ اصول مجموعههای باز، پیوستگی را در این چارچوب کاملاً عمومی در بر میگیرد.