فضای توپولوژی

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

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

تعریف با همسایگی 
فرض کنید X یک مجموعه باشد. اعضای X معمولاً نقاط نامیده می‌شوند هرچند که می‌توانند هر شیء ریاضی دیگر باشند. همچنین X می‌تواند تهی باشد. فرض کنید N یک تابع باشد که هر x (نقطه) از X را به یک گردایه ناتهی (N(x از زیرمجموعه‌های X نسبت دهد. اعضای (N(x همسایه‌های x نامیده می‌شود. تابع N همسایگی نامیده می‌شود اگر از چهار اصل زیر پیروی کند؛ آن‌گاه X با N یک فضای توپولوژیک نامیده می‌شود. فضای توپولوژیکی که در آن نقاط همان توابع باشند،یک فضای تابعی نام دارد.
 اگر N یک همسایگی x باشد (یعنی (N ∈ N(x )، آن‌گاه x ∈ N باشد. به عبارت دیگر،هر نقطه به هر یک از همسایگی‌های خود تعلق داشته باشد.
 اگر N زیر مجموعه‌ای از X و شامل همسایگی‌های x باشد، آن‌گاه N یک همسایگی x باشد. یعنی هر فرامجموعه از یک همسایگی نقطه x در X خود یک همسایگی برای x باشد.
 اشتراک هر دو همسایگی از x، خود یک همسایگی از x باشد.
 هر همسایگی N از x شامل همسایگی M از x است به‌طوری‌که N یک همسایگی برای هر نقطه از M باشد.

سه اصل ابتدایی مفهوم روشنی دارند. اصل چهارم استفاده خیلی مهمی در ساختار این تئوری دارد، که همان ارتباط بین همسایگی‌های مختلف یک نقطه است.
مثال استاندارد برای سیستم همسایگی‌ها خط اعداد حقیقی است که در آن زیر مجموعه N از R یک همسایگی از عدد حقیقی x است، اگر یک بازهٔ باز وجود داشته باشد که نقطه x را شامل شود و نیز مشمول N باشد.

تعریف با مجموعه‌های باز 

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

مثال 
 {۱،۲،۳،۴} = X و گردایه { {۱.۲.۳.۴} ، {} } = T. شامل حداقل زیرمجموعه‌هایی که برای یک توپولوژی لازم است، توپولوژی بدیهی (توپولوژی ناگسسته)
 {۱،۲،۳،۴} = X و گردایه { {۱،۲،۳،۴} ، {۱،۲،۳} ، {۲،۳} ، {۱،۲} ، {۲} ، {} } = T.
 {۱،۲،۳،۴} = X و (P(X (مجموعه توانی X). که یک توپولوژی گسسته است.
 X = '''Z مجموعه اعداد صحیح. گردایه T برابر با همه زیرمجموعه‌های متناهی اعداد صحیح مثبت خودش یک توپولوژی نیست. زیرا برای مثال اجتماع تمام زیر مجموعه‌های متناهی که شامل صفر نیستند، نامتناهی است و همهٔ Z' نیست بنابراین در T قرار نمی‌گیرد.

 تعاریف دیگر 
راه‌های معادل بسیار دیگری برای تعریف یک فضای توپولوژیک وجود دارد. به عبارت دیگر مفهوم همسایگی، مجموعه باز (همچنین بسته) می‌توانند از نقاط شروع دیگر بازسازی شوند و اصول را پیرو باشند.
یکی دیگر از راه‌های تعریف فضای توپولوژیک تعریف با استفاده از اصول بستار کوراتوسکی است، که مجموعه‌های بسته را نقاط ثابت عملگری روی مجموعه توانی مجموعه X'' تعریف می‌کند.

مقایسه توپولوژی‌ها 
وقتی هر مجموعه در توپولوژی T۱ در توپولوژی T۲ نیز باشد و T۱ یک زیرمجموعه از T۲ باشد، گوییم T۲ ظریف‌تر از T۱ است و T۱ زمخت‌تر از T۲ است.

منابع 

 
 
 http://mathworld.wolfram.com/TopologicalSpace.html

جستارهای وابسته 
 توپولوژی
 فضای متریک
 فضای گسسته

توپولوژی عمومی
فضاهای توپولوژیکی