Кіріспе

Топология математикалық саласында топологиялық кеңістік әдетте оның ашық жиындарын анықтау арқылы беріледі. Дегенмен, мұндай жасау міндетті емес, себебі эквивалентті аксиоматикалық негіздер көп, және олардың әрқайсысы бірдей ұғымға алып келеді. Мысалы, топологиялық кеңістік жабық жиындардың, жабылу және ішкі операциялардың, сондай-ақ әртүрлі нысандардың жуысуының класын анықтайды. Осылардың әрқайсысын нысандардың бастапқы класы ретінде қарастыруға болады, ал қалғандарының бәрі (ашық жиындар класын қоса алғанда) осы жаңа бастапқы нүктеден тікелей шығарылады. Мысалы, Казимеж Куратовскийдің нүктелік жиынтық топологиясы бойынша танымал оқулығында топологиялық кеңістік белгілі бір «жабылу операторы» бар жиын ретінде анықталады, ал барлық басқа ұғымдар одан туындайды. Сол сияқты, көршілікке негізделген аксиомаларды (Хаусдорф кеңістіктерінің контекстінде) Феликс Хаусдорфтың «Grundzüge der Mengenlehre» еңбегіндегі топологиялық кеңістіктің бастапқы анықтамасына дейін қайта табуға болады. Көптеген оқулықтар нүктелік жиынтық топологияны дамыту үшін ұғымдардың әртүрлі өзара байланыстарын пайдаланады. Нәтижесінде әрқашан бірдей нысандар жиыны пайда болады: ашық жиындар, жабық жиындар және т.б. Көптеген практикалық мақсаттар үшін қандай негізді таңдау маңызды емес, егер нысандардың мағынасы мен өзара байланысы (олардың көптегені осы мақалада келтірілген), даму таңдауына қарамастан бірдей болса. Алайда, кейбір жағдайларда икемділік пайдалы болуы мүмкін. Мысалы, өлшемдердің жуысуына қатысты әртүрлі табиғи ұғымдар бар, және олардың топологиялық құрылымнан туындайтыны немесе туындамайтыны бірден анық емес. Мұндай сұрақтар жуысуға негізделген топологиялық аксиомалармен айқын түсіндіріледі.