نمایش مبدأ برای فضای هاسدورف

{{اصول جداسازی}}
در [[توپولوژی]] و شاخه‌های مرتبط با آن در [[ریاضیات]]، یک '''فضای هاسدورف''' {{به انگلیسی|Hausdorff Space}}، '''فضای جداسازی شده''' یا '''فضای <math>T_2</math>''' یک [[فضای توپولوژی]] است که در آن بین هر دو نقطه مجزا همسایگی ای برای هر کدام وجود دارد به گونه ای که از همسایگی دیگری جدا باشد. در بین بسیاری از اصول جداسازی که می‌توان روی یک فضای توپولوژی اعمال کرد، «شرایط هاسدورف» بودن (<math>T_2</math>) اغلب مورد استفاده و بحث قرار می‌گیرد. این اصل یکتا بودن حدود دنباله‌ها، شبکه‌ها و فیلترها را اعمال می‌کند.<ref>{{یادکرد وب|عنوان=separation axioms in nLab|نشانی=https://ncatlab.org/nlab/show/separation+axioms|وبگاه=ncatlab.org|بازبینی=2024-02-29}}</ref>

فضاهای هاسدورف به افتخار [[فلیکس هاسدرف|فلیکس هاسدورف]]، یکی از بنیانگذاران توپولوژی نامگذاری شده است. تعریف اولیه هاسدورف از یک فضای توپولوژی (در ۱۹۱۴ میلادی) شامل شرط هاسدورف در قالب یک اصل بوده است.

== تعاریف ==
[[پرونده:Hausdorff space.svg|بندانگشتی|نقاط x و y، به ترتیب توسط همسایه‌های U و V جدا شده‌اند.]]
نقاط x و y در یک فضای توپولوژی چون X را می‌توان ''به کمک همسایه‌ها جداسازی کرد'' اگر وجود داشته باشد یک همسایگی از x چون U و یک همسایگی از y چون V به گونه ای که U و V مجزا باشند (<math>U\cap V=\empty</math>). فضای X را یک '''فضای هاسدورف''' گویند اگر تمام نقاط مجزای آن دو به دو توسط چنین همسایگی‌هایی جداپذیر باشند. این شرط بعد از شروط <math>T_0</math> و <math>T_1</math> سومین اصل جداسازی است، به همین دلیل به فضاهای هاسدورف <math>T_2</math> هم می‌گویند. برای این فضاها نام ''فضای جدا شده'' هم به کار می‌رود.

یک مفهوم مرتبط اما ضعیف تر، مفهوم '''فضای پیش‌منظم''' است. X را فضای پیش‌منظم گویند اگر هر دو نقطه متمایز توپولوژیکی (نقاطی که تمام همسایگی‌هایشان یکی نباشند) را بتوان توسط همسایگی‌های مجزا جداسازی کرد. فضاهای پیش‌منظم را فضاهای <math>R_1</math> هم می‌گویند.

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

== ارجاعات ==
{{پانویس|چپ‌چین=بله}}

== منابع ==
{{چپ‌چین}}
* Arkhangelskii, A.V. , [[L.S. Pontryagin]], ''General Topology I'', (1990) Springer-Verlag, Berlin. {{ISBN|3-540-18178-4}}.
* [[Nicolas Bourbaki|Bourbaki]]; ''Elements of Mathematics: General Topology'', Addison-Wesley (1966).
* {{Springer |title=Hausdorff space |id=p/h046730}}
* {{cite book |author=Willard, Stephen |title=General Topology |publisher=Dover Publications |year=2004 |isbn=0-486-43479-6|url=https://books.google.com/books?id=-o8xJQ7Ag2cC&printsec=frontcover&dq=ISBN 0486434796&hl=en&sa=X&ved=0ahUKEwihzaWo7s7jAhVUAp0JHaA2Co8Q6AEIKjAA#v=onepage&q=%22Hausdorff%20space%22&f=false}}
{{پایان چپ‌چین}}
* {{یادکرد-ویکی
|پیوند = https://en.wikipedia.org/w/index.php?title=Hausdorff_space&oldid=921575950
|عنوان = Hausdorff Space
|زبان = انگلیسی
|بازیابی = 16 اوت 2019}}

{{توپولوژی}}

[[رده:اصول جداسازی]]
[[رده:فضاهای توپولوژیکی]]