موضوع مقاله: فضای گسسته | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # فضای گسسته | مقدمه: در توپولوژی یک فضای گسسته یک مثال سادهٔ خاص از فضای توپولوژیک یا ساختارهای مشابه است که در آن به عنوان یک مفهوم اصلی، تمام نقاط، جدا از هم (تنها) هستند. | ## بخش 1: فضای گسسته | توپولوژی گسسته کلی‌ترین توپولوژی ای است که می‌توان به یک مجموعه نسبت داد به این معنی که همهٔ زیر مجموعه‌ها را به صورت مجموعه‌های باز در می‌آورد. تعاریف مجموعه X را در نظر بگیرید: توپولوژی گسسته روی مجموعه X این گونه تعریف می‌شود که هر زیر مجموعه از X باز باشد (و در نتیجه بسته هم می‌شود)، و X یک فضای توپولوژیک بسته خواهد بود اگر مجهز به توپولوژی گسسته باشد. یکنواخت گسسته روی مجموعه X این گونه تعریف می‌شود که هر فرا مجموعه (مجموعه‌ای که شامل آن مجموعه است) از دوتایی x,x) :} در X × X یک همسایه هستند، و X یک فضای یکنواخت گسسته است اگر مجهز به یکنواختی گسسته باشد. تابع متریک گسسته روی مجموعه X این گونه تعریف می‌شود برای هر در این صورت یک فضای متریک گسسته یا یک فضایی از نقاط تنها نامیده می‌شود. یک مجموعه در یک فضای متریک گسسته است، برای ، اگر برای هر وجود داشته باشد وابسته به به طوری که برای هر داشته باشیم . مجموعهٔ S برای هر یک یکنواختی گسسته در فضای متریک است، اگر ε> ۰ وجود داشته باشد که برای هر x و y متمایز ، > ε. فضای متریک را به‌طور یکنواختی گسسته می‌نامیم اگرشعاع همسایگی وجود داشته باشد به طوری که برای هر که یا بر قرار است یا . توپولوژی ای که یک فضای متریک را می‌پوشاند، می‌تواند گسسته باشد، بدون آن که مجموعهٔ متریک به‌طور یکنواختی گسسته باشد. برای مثال یک فضای متریک معمولی روی مجموعهٔ {۱، ۱/۲، ۱/۴، ۱/۸، …} از اعداد حقیقی. | ## بخش 2: فضای گسسته | ویژگی‌ها اساس یکنواختی در فضاهای متریک گسسته، یکنواختی گسسته بوده و اساس توپولوژی روی فضاهای یکنواخت گسسته، توپولوژی گسسته است.بنابراین مفاهیم متفاوت فضای گسسته با یکدیگر سازگار هستند. از طرف دیگر اساس توپولوژی یکنواخت‌های ناگسسته یا فضای متریک می‌تواند گسسته باشد. واضح است که این یک متر گسسته نیست، همجنین این فضا کامل نیست و در نتیجه یه عنوان یک فضای یکنواخت، گسسته نیست. با این وجود، به عنوان یک فضای توپولوژیک، گسسته خواهد بود.گوییم مجموعه X به‌طور یکنواخت یا متریک گسسته نیست اما به‌طور توپولوژیک گسسته است. یک فضای توپولوژیک گسسته است اگر و فقط اگر مجموعه‌های تک‌عضوی آن باز باشند یا در معنای دیگر شامل هیچ نقطهٔ حدی نباشد. هر فضای توپولوژیک گسسته در بر دارنده‌ی هر کدام از مؤلفه یا پایه‌های اصلی توپولوژی است. به ویژه این‌که هر فضای گسسته هاستروف (فضای توپولوژیکی که مؤلفه‌های آن مجموعه‌های تک عضوی باشد) است. با در نظر گرفتن دو خط بالا، هر یکنواختی گسسته یا مجموعه متریک یک کاملاً کراندار است اگر و فقط اگر متناهی باشد. هر فضای گسسته یک اولین فضای شمارا ( فضای توپولوژیکی که اولین مؤلفه را می‌پوشاند) است، به علاوه دومین فضای شمارا است اگر و فقط اگر شمارا باشد. | ## بخش 3: فضای گسسته | هر فضای گسسته با حداقل دو نقطه، کاملاً ناهمبند (پایه‌هایش دو مجموعه ناهمبند است) است. اگر X یک فضای توپولوژیک و Y مجموعه‌ای حامل توپولوژی گسسته باشد، آن‌گاه X به‌طور مساوی توسط پوشانده می‌شود. زیرفضای توپولوژی روی اعداد صحیح به عنوان یک زیرفضا از خط اعداد حقیقی، یک توپولوژی گسسته است. هر تابع از فضای توپولوژیک گسسته به یک فضای توپولوژیک دیگر، تابعی پیوسته است و هر تابع از یک فضای یکنواخت گسسته به یک فضای یکنواخت دیگر، تابعی پیوسته یکنواخت است. در فضاهای متریک، اشیاء بسیار پیچیده‌تر هستند به این دلیل که رده‌های متعددی از فضاهای متریک،بسته به آن‌چه برای شکل کلی آن (مورفیسم) انتخاب می‌شود، وجود دارند. کاربردها یک ساختار گسسته اغلب به عنوان یک ساختار پیش فرض روی مجموعه‌هایی که حامل هیچ توپولوژی طبیعی،یکنواخت یا متریک دیگر نیستند، استفاده می‌شود.ساختارهای گسسته اغلب می‌توانند به عنوان مثال‌های بیشماری برای آزمودن فرضیات استفاده شوند.برای مثال هر گروه می‌تواند با اعمال توپولوژی گسسته روی آن یک گروه توپولوژیک در نظر گرفته شود.یادآوری می‌شود که نظریه‌ها دربارهٔ گروه‌های توپولوژیک قابل تعمیم به همه گروه‌ها خواهد بود.در حقیقت، متخصصان آنالیز ممکن است به گروه‌های معمولی و غیر توپولوژیکی که متخصصان جبر با آن‌ها کار می‌کنند ارجاع داده شوند.یک خمینهی صفر بعدی چیزی جز یک فضای توپولوژیک گسسته نیست. فضاهای ناگسسته در بعضی موارد متضاد توپولوژی گسسته توپولوژی بدیهی است (مجموعه ناگسسته نیز نامیده می‌شود). | ## جمع‌بندی | هر جا که توپولوژی گسسته ابتدایی یا آزاد باشد، توپولوژی ناگسسته انتهایی خواهد بود: هر تابع از فضای توپولوژیک به یک فضای ناگسسته، یکنواخت است.