... Berilgan bo'shliqning har bir kichik qismiga uning yopilishini belgilaydigan
funktsiya topologik yopish operatoridir (yuqorida ta'riflangan ma'noda). Aksincha, har
qanday topologik yopilish operatori
to'plamdagi topologiyani belgilaydi
unda
to'plam
mantiqiy element bo'lsa va faqat yopiq
operatorga nisbatan
yopiq
...
Aslida, Kuratovskiyning aksiomatikasi
[en]
bu g'oyani ekspluatatsiya qiladigan
umumiy topologiya aksiomalar tizimidir. Topologik yopish operatorining ta'rifidan
boshlab topologik tuzilmani barpo etadi
mulk bilan keng idempotent operator
sifatida
...
Topologik yopilish operatori uchun monotonlik aksiomasi ortiqcha, chunki u
boshqa aksiomalardan kelib chiqadi.
Dostları ilə paylaş: