لم اوریسون

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

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

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

پانویس

منابع

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

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

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