... 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ş: