فضاء طوبولوجي

في الطوبولوجيا والمجالات المتعلقة بها من الرياضيات، تُسمّى الثنائيةَ (E, T) فضاءً طوبولوجياً، حيث E مجموعة ما وT مجموعةٌ عناصرها هي مجموعات جزئية لِ E، إذا تحققت الخاصياتُ الثلاثة الآتية مجتمعةً:

1. الفراغُ والشمولُ: المجموعة الفارغة Ø و E عضوان في T.[1][2][3]
2. الوَصْل: أيُ اتحادٍ لأعضاء من T ينتمي لِ T (إن كان نهائياً أو غير نهائي).
3. البَيْن: تقاطع أي مجموعتين من T ينتمي هو أيضا لِـ T (ليس ضروريا أن ينتمي تقاطع عدد لا نهائي من المجموعات من داخل T إلى T).

أمثلة على الفضاءات الطوبولوجية. المثال الموجود في أسفل ويسار الصورة ليس بفضاء طوبولوجي لأن اتحاد المجموعتين {2} و {3} (أي المجموعة {2،3}) لا ينتمي إلى المجموعة. أما المثال الموجود في أسفل ويمين الصورة، فهو ليس بفضاء طوبولوجي لأن تقاطع المجموعتين {1،2} و{2،3} (أي المجموعة {2}) لا ينتمي إلى المجموعة.

و في هذه الحالة نسمي T طوبولوجيّةً الفضاء، والمجموعات الأعضاء فيها نسميهن المجموعات المفتوحة في الفضاء. مجموعةٌ التي مكَمّلتها مجموعة مفتوحة تُسمّى مجموعة مغلقة.