لم اوریسون
در توپولوژی، لم اوریسون (به انگلیسی: Urysohn's Lemma)، بیان می دارد که یک فضای توپولوژیکی نرمال است اگر و تنها اگر هر دو زیرمجموعه بسته مجزای آن را بتوان توسط تابع پیوسته ای جدا کرد.[۱]
لم اوریسون را اغلب برای ساخت توابع پیوسته ای با خواص متنوع روی فضاهای نرمال به کار می برند. این لم به طور گسترده کاربرد دارد، چرا که تمام فضاهای متری و تمام فضاهای هاسدورف فشرده نرمال اند. این لم (و معمولاً در اثبات آن به کار می رود) توسط قضیه توسیع تیتز تعمیم پیدا می کند.
این لم را بر اساس نام ریاضیدانی به نام پاول ساموئیلویچ اوریسون نامگذاری کرده اند.
پانویس ویرایش
- ↑ (Willard 1970) Section 15.
منابع ویرایش
- Willard, Stephen (1970). General Topology. Dover Publications. ISBN 0-486-43479-6.
- مشارکت‌کنندگان ویکی‌پدیا. «Urysohn's Lemma». در دانشنامهٔ ویکی‌پدیای انگلیسی.
پیوند به بیرون ویرایش
 | این یک مقالهٔ خرد توپولوژی است. می‌توانید با گسترش آن به ویکی‌پدیا کمک کنید. |