لم اوریسون

در توپولوژی، لم اوریسون ، بیان می دارد که یک فضای توپولوژیکی نرمال است اگر و تنها اگر هر دو زیرمجموعه بسته مجزای آن را بتوان توسط تابع پیوسته ای جدا کرد. Section 15.

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

این لم را بر اساس نام ریاضیدانی به نام پاول ساموئیلویچ اوریسون نامگذاری کرده اند.

 پانویس 

 منابع 





 پیوند به بیرون 


 Mizar system proof: http://mizar.org/version/current/html/urysohn3.html#T20

رده:اصول جداسازی
رده:قضیه‌ها در توپولوژی
رده:لم‌ها
رده:مقاله‌های دربردارنده برهان
رده:نگاشت‌های پیوسته