نمایش مبدأ برای توپولوژی

{{اشتباه نشود|توپوگرافی}}
{{دیگر کاربردها}}
[[پرونده:Möbius strip.jpg|جایگزین=نوار موبیوس|بندانگشتی|[[نوار موبیوس]] که تنها یک سطح و یک لبه دارد، نمونه‌ای از اشیایی است که در توپولوژی، مورد مطالعه قرار می‌گیرد.]]
[[پرونده:Trefoil knot arb.png|جایگزین=گره سه‌پره‌ای|بندانگشتی|تصویر سه‌بعدی از یک گره سه‌پره‌ای، ساده‌ترین گره نابدیهی]]

در [[ریاضیات]]، '''توپولوژی''' {{انگلیسی|Topology}}، از واژهٔ یونانی τόπος، به معنای «جا»، «مکان»، و λόγος به معنای «شناسایی»، «مطالعه» و در مجموع به معنی «جای‌شناسی» یا «'''مکان‌شناسی'''» است. در پرندگان و جانوران به شناخت نام هر بخش از بدن به‌طور دقیق و جزئی، شناخت یا نام‌گذاری «بخش‌های مختلف بدن»<ref>{{یادکرد کتاب|عنوان=راهنمای میدانی پرندگان ایران|نام خانوادگی=مبصر|نام=فرید|ناشر=ناشر نویسنده|سال=۱۳۹۵|مکان=تهران|صفحات=255 |شابک=978-600-04-6187-4}}</ref> گفته می‌شود. در ریاضی، به خواص هندسی اشیاء مربوط می‌شود که تحت تغییر شکل‌های پیوسته چون کشیدگی، پیچش، مچاله کردن و خم کردن حفظ شده، اما تحت پارگی یا چسباندن حفظ نمی‌شوند.

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

تغییر شکل‌هایی که در توپولوژی مد نظر قرار می‌گیرند شامل [[همسان‌ریختی|همسان ریختی]] و [[هموتوپی]] می‌شود. خاصیتی که تحت چنین تغییر شکل‌هایی پایا می‌ماند را خاصیت توپولوژی گویند؛ مثال‌های مقدماتی چنین خواصی شامل این موارد می‌شود: بُعد، که امکان تمایز بین خط و سطح را می‌دهد؛ فشردگی، که امکان تمایز بین خط و یک دایره را می‌دهد؛ هم‌بندی که امکان تمایز بین یک دایره و دو دایره مجزا را می‌دهد.

ایده‌های پشت توپولوژی به زمان [[گوتفرید لایبنیتس|گوتفرید لایبنیز]] بر می‌گردد، او در قرن هفدهم میلادی ایده‌هایش در این زمینه را در قالب اصطلاحاتی چون geometria situs و analysis situs تصویرسازی ذهنی کرد. مسئله هفت پل کونیگسبرگ و فرمول‌های چند وجهی [[لئونارد اویلر]] را می‌توان با وجود عدم توافق کامل به عنوان اولین قضایای این حوزه از ریاضیات برشمرد. اصطلاح ''توپولوژی'' اولین بار توسط [[یوهان بندیکت لیستینگ]] در قرن نوزدهم میلادی معرفی شد، گرچه که تا دهه اول قرن بیستم، ایده یک فضای توپولوژی توسعه پیدا نکرد.

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

[[لئونارد اویلر]] در یکی از اولین مقالات توپولوژی اثبات کرد که یافتن مسیری از شهر [[کونیگسبرگ، پروس|کونیگسبرگ]] (اکنون این شهر به [[کالینینگراد]] معروف است) که از هر هفت پل آن دقیقاً یک بار عبور کند غیرممکن است. این نتیجه به طول پل‌ها یا مسافتشان از یکدیگر وابسته نبود؛ بلکه صرفاً به خواص اتصالی‌شان مربوط می‌شد؛ اینکه چه پلی به کدام جزیره یا کدام ساحل رودخانه، وصل باشد. مسئله هفت پل کونیگسبرگ، باعث ایجاد شاخه‌ای از ریاضیات به نام [[نظریه گراف]]‌ها شد.

== تاریخچه ==
این مبحث نخستین‌بار توسط [[آنری پوانکاره]] (۱۹۱۲–۱۸۵۴) و در مقاله‌ای با نام «''آنالیز مکان''» (Analysis Situs) به‌صورت مجموعه‌ای از روش‌ها و مسایل، دسته‌بندی شد. این مبحث در ادامه پیشرفت‌هایی بنیادین داشت و در شکل‌دادن به ریاضیات قرن بیستم و امروز، نقشی اساسی، بازی کرد.

هنگام صحبت از توپولوژی، معمولاً اشیایی مانند [[نوار موبیوس]]، [[بطری کلاین]]، [[گره‌ها]] و حلقه‌ها نخستین چیزهایی هستند که به ذهن می‌آیند. برخی نیز با عبارتی طنزآمیز توپولوژیست‌ها را توصیف می‌کنند؛ آن‌ها می‌گویند توپولوژیست کسی است که فرقی میان فنجان قهوه و [[پیراشکی]] نمی‌بیند!

[[پرونده:Mug and Torus morph.gif|thumb| تغییرشکل پیوسته ([[هموتوپی]]) یک فنجان قهوه به یک [[چنبره]] و برعکس.]]

در دهه ۱۶۷۰ میلادی، [[گتفرید ویلهلم لایب‌نیتس]] (۱۶۴۶–۱۷۱۶)، در نامه‌ای به [[کریستین هویگنس]] (۱۶۲۹–۱۶۹۵)، به تشریح مفهومی پرداخت که بعدها به مهم‌ترین هدف در مطالعه توپولوژی تبدیل شد:
{{گفتاورد|من معتقدم ما به یک آنالیز دیگری هم نیاز داریم که کاملاً هندسی یا خطی باشد، به‌گونه‌ای که با مکان، مستقیماً همان رفتاری را داشته باشد که جبر با مفهوم بزرگی دارد.}}
لایب‌نیتس رؤیای [[حساب دیفرانسیل و انتگرال]] شکل‌هایی را در سر می‌پروراند که در آن، فرد می‌تواند به‌سادگی، اعداد و شمل‌ها را با هم ترکیب کند؛ مانند چندجمله‌ای‌ها، روی آن‌ها عمل انجام دهد و به نتایج جدید و متقن هندسی، دست پیدا کند. این دانش مکان، همان است که پوانکاره آن را «آنالیز مکان» نامید.
کسی نمی‌داند که لایب‌نیتس دقیقاً چه در سر داشت؛ اما پیداست که [[لئونارد اویلر]] (۱۷۰۱–۱۷۸۳) نخستین گام‌ها را در این شاخهٔ جوان—که وی آن را '''هندسه مکان''' می‌نامید—برداشت. راه‌حل او برای [[مسئلهٔ پل‌های کونیگسبرگ]] و فرمول مشهور اویلر، یعنی <math>V-E+F=2</math> (که در آن <math>V</math> تعداد رأس، <math>E</math> تعداد یال و <math>F</math> تعداد وجوه چندوجهی است)، نتایجی بودند که به موقعیت‌های نسبی اشکال هندسی—و نه بزرگی آنها—بستگی داشتند.

در سده نوزدهم، [[کارل فردریک گاوس]] (۱۷۷۷–۱۸۵۵)، هنگامی که [[نظریه گره‌ها|گره‌ها]] و [[نظریه حلقه‌ها|حلقه‌ها]] را به‌عنوان تعمیمی از مدارهای سیارات مطالعه می‌کرد، به هندسه مکان علاقه‌مند شد. او با نام‌گذاری اشکال گره‌ها و حلقه‌ها، یک دستگاه مقدماتی به‌وجود آورد که با روش [[ترکیبیات]]ی، گره‌های معینی را از یکدیگر مجزا می‌ساخت. [[برنهارد ریمان|برنارد ریمان]] (۱۸۲۶–۱۸۶۶) نیز از روش‌های دانش نوپای آنالیز مکان، به‌عنوان ابزاری بنیادین برای مطالعه [[توابع مختلط]] بهره جست.

در سده نوزدهم، [[آنالیز ریاضی|آنالیز]] به‌عنوان دانشی ژرف و در عین حال ظریف، پیشرفت پیدا می‌کرد. با آغاز از کارهای [[ژرژ کانتور|جرج کانتور]] (۱۸۴۵–۱۹۱۸)، ایده‌هایی، از جمله، پیوستگی توابع و [[هم‌گرایی]] [[دنباله]]‌ها، به‌گونه‌ای فزاینده و در موقعیت‌های کلی بررسی می‌شدند تا این که در سده بیستم و در سال ۱۹۱۴، [[فلیکس هاوسدورف]] (۱۸۶۹–۱۹۴۲) ایده کلی [[فضای توپولوژیک]]ی را مطرح کرد.

مفهوم بنیادین در توپولوژی، اندیشه پیوستگی است و این مفهوم برای [[نگاشت (ریاضیات)|نگاشت‌های]] میان دو مجموعه که مجهز به مفهومی از «نزدیک بودن» باشند تعریف می‌شود (یعنی همان فضاهای توپولوژیکی) و البته این نزدیک بودن، تحت نگاشت‌های پیوسته حفظ می‌شود. بدین ترتیب، می‌توان گفت توپولوژی نوعی هندسه است که در آن خواص مهم یک شکل، آن‌هایی در نظر گرفته می‌شوند که تحت حرکت‌های پیوسته ([[همئومورفیسم|هومومورفیسم]]‌ها) حفظ گردند. از این دیدگاه، توپولوژی را می‌توان به‌عنوان هندسهٔ صفحاتی لاستیک‌گونه تعریف کرد.

== مفاهیم ==
[[پرونده:Topology joke.jpg|بندانگشتی|تغییرشکل پیوسته (هموتوپی) یک فنجان قهوه به یک چنبره و برعکس]]
توپولوژی یکی از زمینه‌های مهم ریاضیات است که از پیشرفت مفاهیمی از هندسی و [[نظریه مجموعه‌ها]] مانند فضا، بُعد، شکل‌ها، تبدیلات… به‌وجود آمده است. از جنبه تاریخی، توپولوژی در سال ۱۸۴۷ از سوی [[لیستنگ]]، یکی از شاگردان گاوس معرفی شد. نام دیگری که در آغاز بسط توپولوژی به این موضوع داده می‌شد آنالیز موقعیت (Analysis Situs) بود.

توپولوژی، دارای زیرشاخه‌های زیادی است. بنیادی‌ترین و قدیمی‌ترین زیرشاخه، توپولوژی نقطه-مجموعه است که بنیادهای توپولوژی بر آن بنا شده است و به مطالعه در زمینه‌های فشردگی، پیوستگی و [[هم‌بندی]] می‌پردازد. [[توپولوژی جبری]] نیز یکی دیگر از زیرشاخه‌های توپولوژی است که سعی در محاسبه درجه هم‌بندی دارد. همچنین زیرشاخه‌هایی مانند [[توپولوژی هندسی]]، [[توپولوژی گراف]] و [[توپولوژی ابعاد پایین]] نیز وجود دارند.

توپولوژی، مطالعه ریاضیاتی روی خصوصیاتی است که در طی تغییر شکل‌ها، ضربه‌خوردن‌ها و کشیده شدن اشیاء، به‌طور ثابت حفظ می‌شوند (البته عمل پاره کردن، مجاز نمی‌باشد). یک [[دایره]] به لحاظ توپولوژیکی هم‌ارز با یک [[بیضی]] می‌باشد که می‌تواند در داخل آن، با کشیده‌شدن، تغییر شکل یابد و یک [[کره (هندسه)|کره]] با یک سطح بیضی‌وار، هم‌ارز است (یعنی یک منحنی بسته تک بعدی و بدون هیچ محل تقاطع که می‌تواند در [[فضای دوبعدی|فضای دو بعدی]] جای گیرد)، مجموعه تمام وضعیت‌های ممکن برای عقربه‌های ساعت‌شمار و دقیقه‌شمار با هم، به لحاظ توپولوژیکی با چنبره هم‌ارز است (یعنی یک سطح دوبعدی که می‌تواند در داخل [[فضای سه‌بعدی]] جای گیرد) و مجموعه تمام وضعیت‌های ممکن برای عقربه‌های ساعت‌شمار، دقیقه‌شمار و ثانیه‌شمار با هم، به لحاظ توپولوژی با یک شیء سه‌بعدی، هم‌ارز می‌باشد.

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

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

توپولوژی برای جداسازی اتصال ذاتی اشیاء و در عین حال کنار گذاشتن ساختار جزء به جزء آن‌ها قابل استفاده می‌باشد.
اشیاء توپولوژیکی اغلب به صورت رسمی به عنوان فضاهای توپولوژیکی تعریف می‌شوند. اگر دو شیء دارای خصوصیات توپولوژیکی مشابه باشند، گفته می‌شود که آن‌ها هم ریخت هستند. البته اگر دقیق تر بگوییم، خصوصیاتی که با کشیدن یا کج کردن یک شیء تخریب نمی‌شوند، در واقع خصوصیاتی هستند که به واسطه همسانگری حفظ می‌شوند نه به واسطهٔ هم ریختی؛ همسانگری با کج کردن اشیاء دیگر در ارتباط است درحالی‌که همریختی، خصیصه ذاتی است.

حدود سال ۱۹۰۰، پوانکاره معیاری از توپولوژی را تحت عنوان [[هوموتوپی]] (Homotopy) طراحی کرد. به‌طور خاص دو شیء ریاضیاتی زمانی هوموتوپیک خوانده می‌شوند که یکی از آن‌ها بتواند به‌طور پیوسته به شکلی مشابه شکل دیگری تغییر یابد.

توپولوژِی با مطالعاتی که در زمینه پرسش‌هایی که در هندسه مطرح بود، آغاز شد. مسئله ۷ پل کانیگزبرگ اویلر جز اولین نتایج توپولوژیک بود. نمونه رابطه توپولوژیکی، [[فرمول اویلر]] است در مورد چندوجهی‌ها که تعداد رئوس (v) منهای تعداد خطوط یا لبه‌ها (e) باضافه تعداد سطوح (f) همیشه برابر است با ۲ است. (v – e + f = ۲)

فرمول اویلر در سال ۱۷۵۲ منتشر شد ولی ۶۳ سال بعد در سال ۱۸۱۳ ریاضیدان سویسی بنام لیولیر اثبات کرد که فرمول اویلر برای چندوجهی‌های سوراخدار صحیح نیست و فرمول کامل چنین است: v – e + f = ۲g، که g تعداد سوراخ‌ها است.

۵۲ سال بعد از لیولیر، در سال ۱۸۶۵، موبیوس نوار خود را معرفی کرد که فقط یک رویه دارد و از نواری به‌دست می‌آید که قبل از چسباندن دو سرش به یکدیگر، یک سر را ۱۸۰درجه بچرخانیم و بعد بچسبانیم.
۱۷ سال بعد در سال ۱۸۸۲ ریاضیدان آلمانی [[فلیکس کلاین]] بطری معروف به «بطری کلاین» را معرفی کرد که درون و برون آن از هم متمایز نیستند و بعبارتی دیگر حجم آن صفر است.
توپولوژی مدرن وابسته به ایدهٔ تئوری مجموعه‌های کانتر می‌باشد که در اواخر قرن ۱۹ مطرح شد.

مجموعه X به همراه گردایه T از زیرمجموعه‌های X را یک فضای توپولوژیکی گویند هر گاه: مجموعه‌های تهی و X، عضو T باشند. اجتماع هر گردایه از مجموعه‌های عضو T در T قرار دارد. اشتراک هر دو مجموعه عضو T در T قرار دارد. مجموعه T را یک توپولوژی روی X می‌گوییم. همچنین اعضای T مجموعه‌های باز در X و متتم آن‌ها مجموعه‌های بسته در X هستند. اعضای X را نقاط می‌نامیم. وی یک مجموعه مانند X توپولوژی‌های متعددی می‌توان تعریف کرد (حداقل دو توپولوژی گسسته و ناگسسته را می‌توانیم روی X تعریف کنیم). حال فرض کنید T۱ و T۲ دو توپولوژی روی X هستند. اگر هر عضو T۱، عضوی از T۲ نیز باشد آنگاه می‌گوییم T۲ ظریفتر از T۱ است. در این صورت اثباتی که برای وجود یک مجموعه باز معین ارائه می‌دهیم در مورد توپولوژی ظریفتر هم برقرار است. [[تابع پیوسته|توابع پیوسته]]: فرض می‌کنیم (X,T) و (Y,U) دو فضای توپولوژیک دلخواه باشند: تابع در نقطه x واقع در X را پیوسته گوییم، هرگاه به ازای هر مجموعه باز شامل f(x) مانند BY، مجموعه بازی مانند BX شامل x وجود داشته باشد به‌طوری که f[BX] زیر مجموعه BY باشد. مثال: R یک فضای توپولوژیکی است و مجموعه‌های باز در آن بازه‌های باز هستند. به‌طور کلی فضای اقلیدسی Rn یک فضای توپولوژیکی است و مجموعه‌های باز در آن گوی‌های باز هستند. چند قضیه توپولوژی: هر بازه بسته با طول متناهی در Rn فشرده است؛ و معکوس تصویر پیوسته یک فضای فشرده، فشرده است. قضیه تیخونوف: حاصلضرب فضاهای فشرده، یک فضای فشرده است. زیر مجموعه فشرده یک فضای هاسدورف، بسته است. هر فضای متری هاسدورف است. به همین ترتیب می‌گوییم تابع در مجموعهٔ A واقع در X پیوسته است رد صورتی که در تمام نقاط A پیوسته باشد. قضیه: تابع در X پیوسته است اگر و تنها اگر به ازای هر زیر مجموعه باز در Y مانند BY، مجموعه‌یf[BY] − ۱ زیر مجموعه باز X باشد. به‌طور خلاصه: فرض کنید X و Y دو فضای توپولوژیکی هستند. یک تابع بین X و Y را پیوسته می‌گوییم اگر تصویر معکوس هر مجموعه باز در X یک مجموعه باز در Y باشد. در واقع نشان می‌دهیم که هیچ شکستگی یا انفصال در تابع وجود ندارد.

== تعریف ریاضی ==
یک '''فضای توپولوژیک'''، [[زوج مرتب]]ی مانند <math>(X,T)</math> است که در آن <math>X</math> یک [[مجموعه (ریاضی)|مجموعه]]، و <math>{T}</math> نیز [[گردایه]]‌ای از [[زیرمجموعه]]‌های <math>X</math> است، به‌گونه‌ای که اصول موضوع زیر ارضا شوند:
:۱. اجتماع هر گردایه از مجموعه‌های عضو <math>\mathcal{T}</math> در <math>\mathcal{T}</math> قرار داشته باشد؛ ۲. اشتراک هر تعداد متناهی مجموعه عضو <math>\mathcal{T}</math> در <math>\mathcal{T}</math> قرار داشته باشد؛ یعنی اشتراک هر گردایه متناهی از مجموعه‌های عضو <math>\mathcal{T}</math> در <math>\mathcal{T}</math> قرار داشته باشد؛ ۳. مجموعه‌های تهی و <math>X</math>، عضو <math>\mathcal{T}</math> باشند.

گردایهٔ <math>\mathcal{T}</math>، توپولوژی تعریف شده روی <math>X</math> نام دارد. اگر توپولوژی تعریف شده روی <math>X</math> مشخص باشد، فضای توپولوژیکی <math>(X, \mathcal{T})</math>، به‌طور ساده‌شدهٔ <math>X</math> نوشته و به آن فضای <math>X</math> گفته می‌شود. همچنین، اعضای <math>\mathcal{T}</math>، ''مجموعه‌های باز در <math>X</math>'' و متمم آنها، ''مجموعه‌های بسته در <math>X</math>'' نام دارند. اگر <math>X</math> یک فضای توپولوژیکی باشد، به اعضای آن '''نقطه''' گفته می‌شود. اگر <math>x</math> نقطه‌ای از یک مجموعهٔ بازمانند <math>U</math> باشد، به <math>U</math>، «یک همسایگی از <math>x</math>» نیز گفته می‌شود.

== مثال ==
روی <math>\mathbb{R}</math> توپولوژی‌های گوناگونی می‌توان تعریف کرد؛ اگر مجموعه‌های باز را همان بازه‌های باز در نظر بگیریم، در این‌صورت به توپولوژی به‌دست آمده، '''توپولوژی استاندارد''' روی <math>\mathbb{R}</math> گفته می‌شود. با تعمیم این ایده، مجموعه‌های باز در توپولوژی ''معمولی'' روی [[فضای اقلیدسی]] <math>\mathbb{R}^{n}</math>، [[گوی‌های باز]] هستند.

== مقایسهٔ توپولوژی‌های تعریف شده روی یک مجموعه ==
روی یک مجموعه مانند <math>X</math> توپولوژی‌های متعددی می‌توان تعریف کرد—دست‌کم دو توپولوژی گسسته و ناگسسته. در توپولوژی گسسته، هر زیرمجموعه از <math>X</math>، یک [[مجموعه باز]] در نظر گرفته می‌شود و در توپولوژی ناگسسته یا بی‌مایه، تنها مجموعه‌های باز، مجموعهٔ <math>X</math> و تهی هستند.

برای هر توپولوژی <math>\mathcal{T}</math> تعریف شده روی <math>X</math> داریم <math>\mathcal{T}_{indiscrete} \subset \mathcal{T} \subset \mathcal{T}_{discrete}</math>. پس درشت‌ترین توپولوژی که روی یک مجموعه می‌توان تعریف کرد، توپولوژی ناگسسته یا بی‌مایه، و ظریف‌ترین توپولوژی قابل تعریف روی یک مجموعه، توپولوژی گسسته است.

حال فرض کنید <math>\mathcal{T}_{1}</math> و <math>\mathcal{T}_{2}</math> دو توپولوژی روی <math>X</math> باشند. اگر هر عضو <math>\mathcal{T}_{1}</math>، عضوی از <math>\mathcal{T}_{2}</math> نیز باشد، آن‌گاه گفته می‌شود <math>\mathcal{T}_{2}</math> ظریف‌تر از <math>\mathcal{T}_{1}</math> است. در این صورت اثباتی که برای وجود یک مجموعهٔ باز معین ارائه داده می‌شود، در مورد توپولوژی ظریف‌تر هم برقرار است.

== چند قضیه از توپولوژی ==
* هر بازه بسته با طول متناهی در R<sup>n</sup> [[مجموعه فشرده|فشرده]] است و برعکس.
* تصویر پیوستهٔ یک فضای فشرده، فضایی فشرده است.
* [[قضیه تیخونوف]]: حاصل‌ضرب فضاهای فشرده، یک فضای فشرده است.
* هر زیرمجموعهٔ فشرده از یک [[فضای هاسدورف]]، [[بسته]] است.
* هر [[فضای متری]] هاسدورف است.

== کاربردهای توپولوژی ==
=== زیست‌شناسی ===
توپولوژی مداری (circuit topology) و تئوری گره‌ها، دو شاخه از توپولوژی هستند که در [[زیست‌شناسی مولکولی]] و ساختاری برای مطالعهٔ ساختار پروتئین‌ها و ژنوم به‌کار می‌روند. از این روش‌ها برای طبقه‌بندی مولکول‌ها و نیز فهم رفتار آن‌ها می‌توان استفاده کرد. آنزیم‌هایی که دی.ان. اِی‌ها را برش می‌دهند، چرخش می‌دهند و دوباره به هم متصل می‌کنند، گره‌هایی با اثرات قابل مشاهده مانند [[الکتروفورز]] آهسته‌تر ایجاد می‌کنند. همچنین توپولوژی مداری می‌تواند دینامیک یا پویایی مولکول‌های تاخورده را توضیح دهد. توپولوژی در زیست‌شناسی تکاملی، برای بیان‌کردن رابطهٔ بین [[فنوتیپ]] و [[ژنوتیپ]] نیز به‌کار می‌رود. شکل‌های فونوتیپی که کاملاً متفاوت به نظر می‌رسند، می‌توانند تنها با چند جهش وابسته به اینکه چگونه ژنتیک نقشه را عوض می‌کند، جدا شوند.

=== علوم رایانه ===
تحلیل دادهٔ توپولویکی از تکنیک‌های [[توپولوژی جبری]] استفاده کرده تا ساختار انبوه یک مجموعه را محاسبه کند.
روش اصلی‌ای که تحلیل داده توپولوژیکی از آن، استفاده می‌کند، عبارت است از:
:۱. جایگزینی مجموعه‌ای از نقطه‌های داده‌ای با خانواده‌ای از کامپلکس‌های ساده شده، که به‌وسیلهٔ مجاورت پارامترها فهرست‌بندی شده‌اند.
:۲. تحلیل کامپلکس‌های توپولوژیکی به وسیلهٔ [[توپولوژی جبری]]، و به‌طور خاص به وسیلهٔ نظریهٔ [[همسانی مداوم]].
:۳. رمزنگاری همسانی مداوم مجموعه‌ای از داده‌ها به شکل یک نسخهٔ پارامتری شده از [[اعداد بتی]] که '''[[بارکد]]''' نام دارند.

=== فیزیک ===
در فیزیک، توپولوژی در چندین شاخه، مانند [[نظریه میدان‌های کوانتومی]] و [[کیهان‌شناسی]] کاربرد دارد.
یک نظریهٔ میدان‌های کوانتومی توپولوژیکی (یا '''نظریه میدان‌های توپولوژیکی''')، یک [[نظریه میدان‌های کوانتومی]] است که ویژگی‌های توپولوژیکی را محاسبه می‌کند؛ گرچه این شاخه توسط فیزیکدان‌ها به‌وجود آمده است؛ اما از علاقه‌مندی‌های ریاضی‌دانان نیز هست. [[نظریه گره‌ها]] و [[نظریه چهار برابری]] در [[توپولوژی جبری]] و نظریه فضاهای مدول در [[هندسه جبری]].
[[سیمون دونالسون]]، [[وان جونز]]، [[ادوارد ویتن]]. [[ماکسیم کانسویچ]] برای کار روی نظریه میدان‌های توپولوژیکی، [[مدال فیلدز]] برده‌اند.
در کیهان‌شناسی، توپولوژی برای توصیف شکل کلی کیهان به‌کار می‌رود. این شاخه [[توپولوژی فضازمان]] نام دارد.

=== روبوتیک ===
حالت‌های مختلف ممکن برای یک روبوت می‌تواند به وسیلهٔ خمینه‌هایی که فضای پیکربندی نام دارد، توصیف شود.
در مبحث [[برنامه‌ریزی حرکت]]، یک مسیر بین دو نقطه را در فضای پیکربندی پیدا می‌کند. این مسیرها حرکت مفاصل یک ربات و دیگر قسمت‌های مطلوب را ارائه می‌دهند.

وپولوژی‌های غیرعادی
[[فضازمان|فضا و زمان]] می‌تواند خم، فشرده یا کشیده و تابانده شود. حتی [[نسبیت عام]] این اجازه را به فضازمان می‌دهد تا فضا و زمان اشکال بسیار عجیبی را به‌وجود بیاورند و دانشمندان آن را توپولوژی غیرساده می‌نامند. فضازمانطوری آمیخته شده‌اند که با همدیگر پیوستار را تشکیل می‌دهند. اما این‌ها به این معنی نیستند که زمان همچون بعدی اضافی از فضا باشد.

محور زمان:
می‌دانیم که محور زمان یک جهت معین دارد که به پیکان زمان معروف است. هیچ‌کدام از محورهای سه‌گانه فضایی شبیه این نیستند. ما در فضا به هرکجا می‌توانبم حرکت کنیم. این موارد برای توسعهٔ نسبیت عام که در آن فضازمان چهاربعدی تحت تأثیر نیروی جاذبه قرار می‌گیرد و بسیار مهم و حیاتی است.

== جستارهای وابسته ==
{{درگاه | ریاضی}}
* [[مقایسه توپولوژی‌های تعریف شده روی یک مجموعه|مقایسهٔ توپولوژی‌های تعریف شده روی یک مجموعه]]
* [[پایه برای توپولوژی]]
* [[زیرپایه برای توپولوژی]]
* [[توپولوژی ترتیبی]]
* [[توپولوژی زیرفضایی]]
* [[توپولوژی حاصل‌ضربی]]
* [[توپولوژی خارج‌قسمتی]]
* [[همبندی (ریاضیات)|همبندی]]
* [[فشردگی]]
* [[فضای باناخ]]
* [[فضای سرپینسکی]]
* [[فضای هاوسدورف]]
* [[فضای هیلبرت]]
* [[نگاشت‌های پیوسته]]
* [[توپولوژی جبری]]
* [[پیوستگی توپولوژیک]]
* [[مشخصه اولر]]

== پانویس ==
{{پانویس}}

== کتاب‌شناسی ==
{{چپ‌چین}}
* {{citation|last=Aleksandrov|first=P.S.|chapter=Chapter XVIII Topology|editor1-first=A.D.|editor1-last=Aleksandrov|editor2-first=A.N.|editor2-last=Kolmogorov|editor3-first=M.A.|editor3-last=Lavrent'ev|title=Mathematics / Its Content, Methods and Meaning|edition=2nd|publisher=The M.I.T. Press|year=1969|origyear=1956}}
* {{citation|last=Croom|first=Fred H.|title=Principles of Topology|year=1989|publisher=Saunders College Publishing|isbn=978-0-03-029804-2}}
* {{citation|last=Richeson|first= D.|title=Euler's Gem: The Polyhedron Formula and the Birth of Topology|publisher=Princeton University Press|year=2008}}
{{پایان چپ‌چین}}

== برای مطالعه بیشتر ==
{{چپ‌چین}}
* [[Ryszard Engelking]], ''General Topology'', Heldermann Verlag, Sigma Series in Pure Mathematics, December 1989, {{شابک|3-88538-006-4|en}}.
* [[Nicolas Bourbaki|Bourbaki]]; ''Elements of Mathematics: General Topology'', Addison–Wesley (1966).
* {{cite book
 | last = Breitenberger
 | first = E.
 | year = 2006
 | chapter = Johann Benedict Listing
 | title = History of Topology
 | editor-last = James
 | editor-first = I.M.
 | publisher = North Holland
 | ISBN = 978-0-444-82375-5
}}
* {{cite book
 | last = Kelley
 | first = John L.
 | author-link = John L. Kelley
 | year = 1975
 | title = General Topology
 | publisher = [[Springer Science+Business Media|Springer-Verlag]]
 | ISBN = 978-0-387-90125-1
}}
* {{cite book
 | last = Brown
 | first = Ronald
 | author-link = Ronald Brown (mathematician)
 | year = 2006
 | title = Topology and Groupoids
 | url= http://pages.bangor.ac.uk/~mas010/topgpds.html
 | publisher = Booksurge
 | ISBN = 978-1-4196-2722-4
}} (Provides a well motivated, geometric account of general topology, and shows the use of groupoids in discussing [[van Kampen's theorem]], [[covering space]]s, and [[orbit space]]s.)
* [[Wacław Sierpiński]], ''General Topology'', Dover Publications, 2000, {{isbn|0-486-41148-6}}
* {{cite book
 | last = Pickover
 | first = Clifford A.
 | author-link = Clifford A. Pickover
 | year = 2006
 | title = The Möbius Strip: Dr. August Möbius's Marvelous Band in Mathematics, Games, Literature, Art, Technology, and Cosmology
 | publisher = Thunder's Mouth Press
 | ISBN = 978-1-56025-826-1
 | url-access = registration
 | url = https://archive.org/details/mbiusstripdrau00pick
 }} (Provides a popular introduction to topology and geometry)
* {{citation|first=Michael C.|last=Gemignani|title=Elementary Topology|edition=2nd|year=1990|origyear=1967|publisher=Dover Publications Inc.|isbn=978-0-486-66522-1}}
{{پایان چپ‌چین}}

{{توپولوژی}}
{{شاخه‌های اصلی ریاضیات}}

[[رده:توپولوژی| ]]
[[رده:ساختارهای ریاضیاتی]]