Current browse context:
math.RA
Change to browse by:
References & Citations
Mathematics > Rings and Algebras
Title: A Note on Rough Set Algebra and Core Regular Double Stone Algebras
(Submitted on 7 Jan 2021 (v1), last revised 1 Feb 2022 (this version, v3))
Abstract: Rough Set Theory (RST), first introduced by Pawlak in 1982, is an approach for dealing with information systems where knowledge is uncertain or incomplete.\cite{Pawlak} It is of fundamental importance in many subfields of artificial intelligence and cognitive science.\cite{RSTppf} Given a universe $U$ with an equivalence relation $\theta$, the pair $\langle U,\theta\rangle$ is referred to as an information system and we denote its collection of rough sets $R_\theta$. In our main Theorem we show $R_\theta$ with $|\theta_u| > 1\ \forall\ u \in U$ to be isomorphic to core regular double Stone algebras, CRDSA, that are complete and atomic, and that the crisp, or definable, sets form a complete atomistic Boolean algebra. These guarantees of infimum/supremeum for arbitrary subsets and formulations in terms of fundamental elements are likely useful if dealing with equivalence relations with an infinite number of partitions, such as projective Hilbert spaces. We further derive that every CRDSA is isomorphic to a subalgebra of a principal rough set algebra, $R_\theta$, for some approximation space $\langle U,\theta \rangle$. In our main Corollary we show explicitly how to embed $R_\theta$ into the CRDSA and first demonstrate by extending the culminating finite example of \cite{RCRDSA}. As our capstone, we consider the projective Hilbert space of complex numbers, $\mathbb{C}$ and show, among other things, the power set of the set of pure states is a complete, atomistic Boolean algebra. In closing, we suggest other Quantum relevant applications that may be useful, such as Hilbert spaces of operators
Submission history
From: Daniel Clouse [view email][v1] Thu, 7 Jan 2021 00:32:03 GMT (9kb)
[v2] Mon, 18 Jan 2021 18:57:26 GMT (10kb)
[v3] Tue, 1 Feb 2022 21:30:22 GMT (12kb)
Link back to: arXiv, form interface, contact.