فضای تی۱

الگو:چپ‌چین الگو:Infobox الگو:پایان چپ‌چین در توپولوژی، فضای $T_1$، فضایی است که در آن هر دو نقطه مجزا دارای همسایگی هستند که دیگری در آن قرار ندارد. همچنین یک فضارا $R_0$ گویند اگر خاصیت اخیر برای هر دو نقطه ای که از نظر توپولوژیکی متمایزند (دو نقطه را از نظر توپولوژیکی متمایز گویند اگر همسایگی شامل یکی وجود داشته باشد که دیگری را در بر نداشته باشد) برقرار باشد.

تعاریف

فرض کنید $X$ یک فضای توپولوژیکی باشد و $x$ و $y$ نقاطی از $X$ باشند. می گوییم $x$ و $y$ جدا شده اند اگر هر کدام در همسایگی قرار گیرد که دیگری در آن همسایگی واقع نشده باشد.

خواص

اگر $X$ یک فضای توپولوژیکی باشد آنگاه شرایط زیر با هم معادلند:

1. $X$ یک فضای $T_0$ است.
2. $X$ یک فضای $T_0$ و $R_0$ است.
3. تمام نقاط در $X$ بسته اند. یعنی برای هر $x\in X$، مجموعه تک عضوی $\{x\}$ بسته است.

یک فضای $T_1$ را فضای دست‌یافتنی یا توپولوژی فرشه گویند و فضای $R_0$ را فضای متقارن نامند. (عبارت فضای فرشه را برای معنای کاملاً متفاوتی در آنالیز تابعی نیز به کار می برند. به همین دلیل، عبارت فضای $T_1$ ترجیح داده می شود. همچنین مفهومی به نام فضای اوریسون-فرشه وجود دارد که نوعی فضای دنباله ای است. همچنین عبارت فضای متقارن نیز معنای دیگری در منیفلدهای شبه-ریمانی دارد).

منابع

• Lynn Arthur Steen and J. Arthur Seebach, Jr., Counterexamples in Topology. Springer-Verlag, New York, 1978. Reprinted by Dover Publications, New York, 1995. الگو:شابک (Dover edition).
• الگو:Cite book
• الگو:Cite book
• A.V. Arkhangel'skii, L.S. Pontryagin (Eds.) General Topology I (1990) Springer-Verlag الگو:شابک.

• الگو:یادکرد-ویکی