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

{{اصول جداسازی}}
در [[توپولوژی]]، '''فضای اوریسون''' {{به انگلیسی|Urysohn Space}} یا '''فضای <math>T_{2\frac{1}{2}}</math>'''، [[فضای توپولوژی|فضای توپولوژیکی]] است که در آن هر دو نقطه را می توان توسط همسایگی های بسته از هم جدا کرد. '''فضای کاملاً [[هاسدورف]]''' یا '''فضای هاسدورف تابعی'''، فضایی توپولوژیکی است که در آن هر دو نقطه مجزا را بتوان توسط یک [[تابع پیوسته]] ای از هم جدا کرد. این شرط، از اصول موضوعه معروف تر هاسدورف <math>T_2</math> قوی تر است.

== تعاریف ==
فرض کنید <math>X</math> یک فضای توپولوژی باشد و <math>x,y</math> نقاطی از <math>X</math>.

* می گوییم <math>x</math> و <math>y</math> را می توان ''توسط همسایگی های [[مجموعه بسته|بسته]] جداسازی کرد'' اگر همسایگی بسته <math>U</math> از <math>x</math> و همسایگی بسته <math>V</math> از <math>Y</math> چنان موجود باشند که <math>U</math> و <math>V</math> مجزا باشند (یعنی <math>U\cap V = \emptyset</math>). (منظور از "همسایگی بسته از <math>x</math>" در اینجا، مجموعه ای بسته شامل مجموعه ای باز است که آن [[مجموعه باز]] شامل <math>x</math> است)
* می گوییم <math>x</math> و <math>y</math> را می توان ''توسط یک تابع جداسازی شده اند'' اگر [[تابع پیوسته]] <math>f\colon X\rightarrow \left[0, 1\right]</math> وجود داشته باشد چنان که <math>f(x)=0</math> و <math>f(y)=1</math>.

'''فضای اوریسون''' که به آن '''فضای <math>T_{2\frac{1}{2}}</math>''' یا '''فضای <math>T_e</math>''' نیز گفته می شود، فضایی است که در آن هر دو نقطه متمایز را بتوان به کمک همسایگی های بسته از هم جداسازی کرد.

'''فضای کاملاً هاسدورف''' یا '''فضای هاسدورف تابعی'''، تابعی است که در آن هر دو نقطه متمایز را بتوان توسط تابع پیوسته ای از هم جداسازی کرد.

== منابع ==
{{چپ‌چین}}
* {{Citation|last1=Steen|first1=Lynn Arthur|author1-link=Lynn Arthur Steen|last2=Seebach|first2=J. Arthur Jr.|author2-link=J. Arthur Seebach, Jr.|title=[[Counterexamples in Topology]]|orig-year=1978|publisher=[[Springer-Verlag]]|location=Berlin, New York|edition=[[Dover Publications|Dover]] reprint of 1978|ISBN=978-0-486-68735-3|mr=507446|year=1995}}
* Stephen Willard, ''General Topology'', Addison-Wesley, 1970. Reprinted by Dover Publications, New York, 2004. {{شابک|0-486-43479-6|en}} (Dover edition).
* {{ویلارد توپولوژی عمومی}} <!-- {{sfn|Willard|2004|p=}} -->
* {{planetmath reference|id=5717|title=Completely Hausdorff}}
{{پایان چپ‌چین}}

* {{یادکرد-ویکی|پیوند=https://en.wikipedia.org/wiki/Urysohn_and_completely_Hausdorff_spaces|عنوان=Urysohn and completely Hausdorff spaces|زبان=انگلیسی}}

[[رده:اصول جداسازی]]