فضای خارج قسمتی (توپولوژی)

نمایش فضای خارج قسمتی ${\mathrm{S}}^{\mathrm{2}}$ که از به هم چسباندن مرز (به رنگ آبی مشخص شده‌است) دیسک ${\mathrm{D}}^{\mathrm{2}}$ به هم در یک نقطه ایجاد شده‌است.

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

تعریف

فرض کنید $(X,{\tau }_X)$ یک فضای توپولوژی و $\sim$ رابطه هم‌ارزی روی $\mathrm{X}$ باشد. فضای خارج قسمتی $Y=X/\sim$ به صورت مجموعه کلاس‌های هم‌ارزی عناصر $\mathrm{X}$ تعریف می‌شود:

$Y=\{[x]:x\in X\}=\{\{v\in X:v\sim x\}:x\in X\},$

که مجهز به توپولوژی ای است که در آن مجموعه‌های باز به صورت آن دسته از کلاس‌های هم‌ارزی تعریف می‌شوند که اجتماعشان ایجاد مجموعه‌های بازی در $\mathrm{X}$ می‌نماید:

${\tau }_Y=\left\{U\subseteq Y:\bigcup U=(\bigcup _{[a]\in U}[a])\in {\tau }_X\right\}.$

به‌طور معادل می‌توانیم این فضا را اینگونه تعریف کنیم که هر مجموعه باز پیش-تصویری از یک مجموعه باز تحت نگاشت پوشای $q:X\to X/\sim$است که هر نقطه در $\mathrm{X}$ را به دسته هم‌ارزی شامل آن می‌نگارد:

${\tau }_Y=\{U\subseteq Y:q^{-1}(U)\in {\tau }_X\}.$

توپولوژی خارج قسمی را توپولوژی نهایی روی فضای خارج قسمتی نسبت به نگاشت $\mathrm{q}$ می‌نامند.

منابع

• الگو:Cite book
• الگو:Planetmath reference

• مشارکت‌کنندگان ویکی‌پدیا. «Quotient space (topology)». در دانشنامهٔ ویکی‌پدیای انگلیسی.