On relationship between modified sets, topological spaces and rough sets (Q1896281): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 13:40, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On relationship between modified sets, topological spaces and rough sets |
scientific article |
Statements
On relationship between modified sets, topological spaces and rough sets (English)
0 references
18 December 1995
0 references
The author starts from a binary relation \(R_{\mathcal H}\) on a set \(X\) and then defines a so-called modifier \({\mathcal H}\) by: \[ {\mathcal H} (A) = \biggl \{y \mid (\exists x \in A) \bigl( (x,y) \in R_{\mathcal H} \bigr) \biggr\}. \] When the relation \(R\) is reflexive, i.e. \(R\) is called an accessibility relation, then \({\mathcal H}\) is called a weakening modifier. To every weakening modifier \({\mathcal H}\) a so-called substantiating modifier \({\mathcal H}^*\) is defined by \({\mathcal H}^* (A) = \overline {{\mathcal H} (\overline A)}\). The main results concern the interaction between set-theoretic union, intersection, inclusion on the one hand and weakening and substantiating modifiers on the other hand. The proofs are very simple. Finally it is shown that certain modifiers are topological closure operators and that rough sets can be obtained as modifiers. This paper can be described as old wine in new bottles. Indeed \({\mathcal H}(A)\) is nothing but the direct image of \(A\) under the binary relation \(R_{\mathcal H}\) and \({\mathcal H}^* (A)\) is easily identified as the superdirect image of \(A\) under a reflexive relation \(R_{\mathcal H}\). Hence all the main results were well known.
0 references
accessibility relation
0 references
weakening modifier
0 references
substantiating modifier
0 references
union
0 references
intersection
0 references
inclusion
0 references
topological closure operators
0 references
rough sets
0 references
direct image
0 references
superdirect image
0 references