توپولوژی

از ویکی‌پدیا، دانشنامهٔ آزاد.

این مقاله دربارهٔ توپولوژی به‌عنوان شاخه‌ای از ریاضیات است. برای دیگر کاربردهای توپولوژی نگاه کنید به توپولوژی (ابهام‌زدائی).

توپولوژی شاخه‌ای از ریاضیات است که به بررسی فضاهای توپولوژیک می‌پردازد.

فهرست مندرجات

۱ تعریف
۲ ارتباط بین دو فضای توپولوژیک
۳ توابع پیوسته
۴ مثال
۵ چند قضیه توپولوژی

[ویرایش] تعریف

مجموعه X به همراه گردایه T از زیرمجموعه‌های X را یک فضای توپولوژیکی گویند هر گاه:

1. مجموعه تهی و X عضو T باشند.
2. اجتماع هر گردایه از مجموعه‌های عضو T در T قرار دارد.
3. اشتراک هر دو مجموعه عضو T در T قرار دارد.

مجموعه T را یک توپولوژی روی X می‌گوییم. همچنین اعضای T مجموعه‌های باز در X و متتم آنها مجموعه‌های بسته در X هستند.

اعضای X را نقاط می‌‌نامیم.

[ویرایش] ارتباط بین دو فضای توپولوژیک

روی یک مجموعه مانند X توپولوژیهای متعددی می‌توان تعریف کرد (حداقل دو توپولوژی گسسته و ناگسسته را می‌توانیم روی X تعریف کنیم). حال فرض کنید T₁ و T₂ دو توپولوژی روی X هستند. اگر هر عضو T₁، عضوی از T₂ نیز باشد آنگاه می‌گوییم T₂ ظریفتر از T₁ است. در این صورت اثباتی که برای وجود یک مجموعه باز معین ارائه می‌‌دهیم در مورد توپولوژی ظریفتر هم برقرار است.

[ویرایش] توابع پیوسته

فرض می‌‌کنیم $(X, T)$ و $(Y, U)$ دو فضای توپولوژیک دلخواه باشند:
تابع $f : X - > Y$ در نقطهٔ $x$ واقع در $X$ را پیوسته گوییم، هرگاه به ازای هر مجموعهٔ باز شامل $f (x)$ مانند _Y $B$ ، مجموعهٔ بازی مانند _X $B$ شامل $x$ وجود داشته باشد به طوری که [_X $B$ ] $f$ زیر مجموعهٔ _Y $B$ باشد.
به همین ترتیب می‌‌گوییم تابع $f : X - > Y$ در مجموعهٔ $A$ واقع در $X$ پیوسته است رد صورتی که در تمام نقاط $A$ پیوسته باشد.

قضیه : تابع $f : X - > Y$ در $X$ پیوسته است اگر و تنها اگر به ازای هر زیر مجموعه باز در $Y$ مانند _Y $B$ ، مجموعه ی^1-[_Y $B$ ] $f$ زیر مجموعهٔ باز $X$ باشد.

به طور خلاصه : فرض کنید X و Y دو فضای توپولوژیکی هستند. یک تابع بین X و Y را پیوسته می‌گوییم اگر تصویر معکوس هر مجموعه باز در X یک مجموعه باز در Y باشد. در واقع نشان می‌‌دهیم که هیچ شکستگی یا انفصال در تابع وجود ندارد.

[ویرایش] مثال

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