Topological Interpretation of Rough Sets

Adam Grabowski

Formalized Mathematics (2014)

  • Volume: 22, Issue: 1, page 89-97
  • ISSN: 1426-2630

Abstract

top
Rough sets, developed by Pawlak, are an important model of incomplete or partially known information. In this article, which is essentially a continuation of [11], we characterize rough sets in terms of topological closure and interior, as the approximations have the properties of the Kuratowski operators. We decided to merge topological spaces with tolerance approximation spaces. As a testbed for our developed approach, we restated the results of Isomichi [13] (formalized in Mizar in [14]) and about fourteen sets of Kuratowski [17] (encoded with the help of Mizar adjectives and clusters’ registrations in [1]) in terms of rough approximations. The upper bounds which were 14 and 7 in the original paper of Kuratowski, in our case are six and three, respectively. It turns out that within the classification given by Isomichi, 1st class subsets are precisely crisp sets, 2nd class subsets are proper rough sets, and there are no 3rd class subsets in topological spaces generated by approximations. Also the important results about these spaces is that they are extremally disconnected [15], hence lattices of their domains are Boolean. Furthermore, we develop the theory of abstract spaces equipped with maps possessing characteristic properties of rough approximations which enables us to freely use the notions from the theory of rough sets and topological spaces formalized in the Mizar Mathematical Library [10].

How to cite

top

Adam Grabowski. "Topological Interpretation of Rough Sets." Formalized Mathematics 22.1 (2014): 89-97. <http://eudml.org/doc/267022>.

@article{AdamGrabowski2014,
abstract = {Rough sets, developed by Pawlak, are an important model of incomplete or partially known information. In this article, which is essentially a continuation of [11], we characterize rough sets in terms of topological closure and interior, as the approximations have the properties of the Kuratowski operators. We decided to merge topological spaces with tolerance approximation spaces. As a testbed for our developed approach, we restated the results of Isomichi [13] (formalized in Mizar in [14]) and about fourteen sets of Kuratowski [17] (encoded with the help of Mizar adjectives and clusters’ registrations in [1]) in terms of rough approximations. The upper bounds which were 14 and 7 in the original paper of Kuratowski, in our case are six and three, respectively. It turns out that within the classification given by Isomichi, 1st class subsets are precisely crisp sets, 2nd class subsets are proper rough sets, and there are no 3rd class subsets in topological spaces generated by approximations. Also the important results about these spaces is that they are extremally disconnected [15], hence lattices of their domains are Boolean. Furthermore, we develop the theory of abstract spaces equipped with maps possessing characteristic properties of rough approximations which enables us to freely use the notions from the theory of rough sets and topological spaces formalized in the Mizar Mathematical Library [10].},
author = {Adam Grabowski},
journal = {Formalized Mathematics},
keywords = {rough sets; rough approximations; Kuratowski closure-complement problem; topological spaces},
language = {eng},
number = {1},
pages = {89-97},
title = {Topological Interpretation of Rough Sets},
url = {http://eudml.org/doc/267022},
volume = {22},
year = {2014},
}

TY - JOUR
AU - Adam Grabowski
TI - Topological Interpretation of Rough Sets
JO - Formalized Mathematics
PY - 2014
VL - 22
IS - 1
SP - 89
EP - 97
AB - Rough sets, developed by Pawlak, are an important model of incomplete or partially known information. In this article, which is essentially a continuation of [11], we characterize rough sets in terms of topological closure and interior, as the approximations have the properties of the Kuratowski operators. We decided to merge topological spaces with tolerance approximation spaces. As a testbed for our developed approach, we restated the results of Isomichi [13] (formalized in Mizar in [14]) and about fourteen sets of Kuratowski [17] (encoded with the help of Mizar adjectives and clusters’ registrations in [1]) in terms of rough approximations. The upper bounds which were 14 and 7 in the original paper of Kuratowski, in our case are six and three, respectively. It turns out that within the classification given by Isomichi, 1st class subsets are precisely crisp sets, 2nd class subsets are proper rough sets, and there are no 3rd class subsets in topological spaces generated by approximations. Also the important results about these spaces is that they are extremally disconnected [15], hence lattices of their domains are Boolean. Furthermore, we develop the theory of abstract spaces equipped with maps possessing characteristic properties of rough approximations which enables us to freely use the notions from the theory of rough sets and topological spaces formalized in the Mizar Mathematical Library [10].
LA - eng
KW - rough sets; rough approximations; Kuratowski closure-complement problem; topological spaces
UR - http://eudml.org/doc/267022
ER -

References

top
  1. [1] Lilla Krystyna Baginska and Adam Grabowski. On the Kuratowski closure-complement problem. Formalized Mathematics, 11(3):323-329, 2003. 
  2. [2] Grzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990. 
  3. [3] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990. 
  4. [4] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990. 
  5. [5] Czesław Bylinski. Functions and their basic properties. Formalized Mathematics, 1(1): 55-65, 1990. 
  6. [6] Czesław Bylinski. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990. 
  7. [7] Czesław Bylinski. Partial functions. Formalized Mathematics, 1(2):357-367, 1990. 
  8. [8] Czesław Bylinski. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990. 
  9. [9] Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990. 
  10. [10] Adam Grabowski. Automated discovery of properties of rough sets. Fundamenta Informaticae, 128:65-79, 2013. doi:10.3233/FI-2013-933.[Crossref][WoS] Zbl1285.68180
  11. [11] Adam Grabowski. Basic properties of rough sets and rough membership function. Formalized Mathematics, 12(1):21-28, 2004. 
  12. [12] Adam Grabowski. Relational formal characterization of rough sets. Formalized Mathematics, 21(1):55-64, 2013. doi:10.2478/forma-2013-0006.[Crossref] Zbl1286.68428
  13. [13] Yoshinori Isomichi. New concepts in the theory of topological space - supercondensed set, subcondensed set, and condensed set. Pacific Journal of Mathematics, 38(3):657-668, 1971. Zbl0227.54001
  14. [14] Magdalena Jastrz¸ebska and Adam Grabowski. The properties of supercondensed sets, subcondensed sets and condensed sets. Formalized Mathematics, 13(2):353-359, 2005. 
  15. [15] Zbigniew Karno. The lattice of domains of an extremally disconnected space. Formalized Mathematics, 3(2):143-149, 1992. 
  16. [16] Artur Korniłowicz. On the topological properties of meet-continuous lattices. Formalized Mathematics, 6(2):269-277, 1997. 
  17. [17] Kazimierz Kuratowski. Sur l’opération A de l’analysis situs. Fundamenta Mathematicae, 3:182-199, 1922. Zbl48.0210.04
  18. [18] Beata Padlewska. Families of sets. Formalized Mathematics, 1(1):147-152, 1990. 
  19. [19] Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223-230, 1990. 
  20. [20] Bartłomiej Skorulski. First-countable, sequential, and Frechet spaces. Formalized Mathematics, 7(1):81-86, 1998. 
  21. [21] Bartłomiej Skorulski. The sequential closure operator in sequential and Frechet spaces. Formalized Mathematics, 8(1):47-54, 1999. 
  22. [22] Andrzej Trybulec. Enumerated sets. Formalized Mathematics, 1(1):25-34, 1990. 
  23. [23] Andrzej Trybulec. Function domains and Frænkel operator. Formalized Mathematics, 1 (3):495-500, 1990. 
  24. [24] Andrzej Trybulec and Agata Darmochwał. Boolean domains. Formalized Mathematics, 1 (1):187-190, 1990. 
  25. [25] Wojciech A. Trybulec and Grzegorz Bancerek. Kuratowski - Zorn lemma. Formalized Mathematics, 1(2):387-393, 1990. 
  26. [26] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990. 
  27. [27] Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1 (1):73-83, 1990. 
  28. [28] Mirosław Wysocki and Agata Darmochwał. Subsets of topological spaces. Formalized Mathematics, 1(1):231-237, 1990. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.