Multiset topologies induced by multiset relations (Q454961): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q277551 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Sergey A. Solovyov / rank | |||
Normal rank |
Revision as of 15:06, 12 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Multiset topologies induced by multiset relations |
scientific article |
Statements
Multiset topologies induced by multiset relations (English)
0 references
2 October 2012
0 references
A \textit{multiset} is a collection of objects (called \textit{elements}), in which elements may occur more than once (see, e.g., [\textit{W. D. Blizard}, Notre Dame J. Formal Logic 30, No. 1, 36--66 (1989; Zbl 0668.03027)]). An example of multisets is provided by the collection of prime factors of a positive integer \(n\), i.e., \(504=2^3\cdot3^2\cdot7^1\). Based in the notion of multiset, the authors introduce the concept of multiset topology (Definition 3.1 on page 302), provide multiset analogues of basis concepts related to topological spaces (i.e., subbasis, as well as interior, closure, and neighborhood operators). They also consider binary multiset relations, and show a way of generating multiset topologies from them (paying particular attention to the study of the connection between properties of relations (like, e.g., being symmetric or transitive) and properties of their induced topologies). The paper ends with some brief remarks on rough multisets and their generated multiset topologies (Section 9). The article is well-written and conveniently self-contained. All its achievements, however, are quite simple (rather straightforward generalizations of classical notions and results of general topology), and, moreover, most of them have already appeared in print in [\textit{K. P. Girish} and \textit{S. J. John}, Lect. Notes Comput. Sci. 6600, 62--80 (2011; Zbl 1305.68166)].
0 references
Alexandroff topology
0 references
closure operator
0 references
interior operator
0 references
multiset
0 references
multiset topology
0 references
neighborhood operator
0 references
rough multiset
0 references
subbasis for topology
0 references