arXiv subjects

Elza Ivanova-Dimova

Publications and source records attributed to Elza Ivanova-Dimova.

5 recordsLinked to original sources

arXiv2020

Two extensions of the Stone Duality to the category of zero-dimensional Hausdorff spaces

Extending the Stone Duality Theorem, we prove two duality theorems for the category ZHaus of zero-dimensional Hausdorff spaces and continuous maps. Both of them imply easily the Tarski Duality Theorem, as well as two new duality theorems for the category EDTych of extremally disconnected Tychonoff spaces and continuous maps. Also, we describe two categories which are dually equivalent to the category ZComp of zero-dimensional Hausdorff compactifications of zero-dimensional Hausdorff spaces and obtain as a corollary the Dwinger Theorem about zero-dimensional compactifications of a zero-dimensional Hausdorff space.

math.GN↗

arXiv2020

Extensions of the Stone Duality to the category BooleSp

In [G. Dimov and E. Ivanova-Dimova, Two extensions of the Stone Duality to the category of zero-dimensional Hausdorff spaces, arXiv:1901.04537v4, 1--33], extending the Stone Duality Theorem, we proved two duality theorems for the category ZDHaus of zero-dimensional Hausdorff spaces and continuous maps. Now we derive from them the extension of the Stone Duality Theorem to the category BooleSp of zero-dimensional locally compact Hausdorff spaces and continuous maps obtained in [G. Dimov, Some generalizations of the Stone Duality Theorem, Publicationes Mathematicae Debrecen, 80 (2012), 255--293], as well as two new duality theorems for the category BooleSp.

math.GN↗

arXiv2017

Vietoris-type Topologies on Hyperspaces

We introduce a new Vietoris-type hypertopology by means of the upper-Vietoris-type hypertopology defined by G. Dimov and D. Vakarelov [On Scott consequence systems, Fundamenta Informaticae, 33 (1998), 43-70] (it was called there {\em Tychonoff-type hypertopology}) and the lower-Vietoris-type hypertopology introduced by E. Ivanova-Dimova [Lower-Vietoris-type topologies on hyperspaces, Topology Appl. (to appear)]. We study this new Vietoris-type hypertopology and show that it is, in general, different from the Vietoris topology. Also, some of the results of E. Michael [Topologies on spaces of subsets, Trans. Amer. Math. Soc. 71 (1951), 152-182] about hyperspaces with Vietoris topology are extended to analogous results for hyperspaces with Vietoris-type topology. We obtain as well some results about hyperspaces with Vietoris-type topology which concern some problems analogous to those regarded by H.-J. Schmidt [Hyperspaces of quotient and subspaces. I. Hausdorff topological spaces, Math. Nachr. 104 (1981), 271-280].

math.GN↗

arXiv2016

Lower-Vietoris-type Topologies on Hyperspaces

We introduce a new lower-Vietoris-type hypertopology in a way similar to that with which a new upper-Vietoris-type hypertopology was introduced in G. Dimov and D. Vakarelov, "On Scott consequence systems", Fundamenta Informaticae, 33 (1998), 43-70. (it was called there {\em Tychonoff-type hypertopology}). We study this new hypertopology and, in particular, we generalize many results from E. Cuchillo-Ibanez, M. A. Moron and F. R. Ruiz del Portal, "Lower semifinite topology in hyperspaces", Topology Proceedings, 17 (1992), 29-39. As a corollary, we get that for every continuous map $f:X\longrightarrow X$, where $X$ is a continuum, there exist a subcontinuum $K$ of $X$ such that $f(K)=K.$

math.GN↗

arXiv2014

Some Isomorphism Theorems for MVD-algebras

In three recaent papers of G. Dimov, many Stone-type duality theorems for the category of locally compact Hausdorff spaces and continuous maps and some of its subcategories were proved. The dual objects in all these theorems are the local contact algebras. In a paper of D. Vakarelov, G. Dimov, I. Duntsch, and B. Bennett, the notion of an MVD-algebra was introduced and it was shown that it is equivalent to the notion of a local contact algebra. In this paper we express the duality theorems mentioned above in a new form using MVD-algebras and appropriate morphisms between them instead of local contact algebras and the respective morphisms.

math.GN↗