On iterated de Groot dualizations of topological spaces

On iterated de Groot dualizations of topological spaces

Článek recenzovaný mimo WoS a Scopus

Problem 540 of J. D. Lawson and M. Mislove in Open Problems in Topology ask whether the process of taking (de Groot) duals terminate after finitely many steps with topologies that are duals of each other. The question was solved in the positive by the author in 2001. In this paper we prove a new identity for dual topologies: $\tau^d= (\tau\vee\tau^{dd})^d$ holds for every topological space $(X,\tau)$. We also present a solution of another problem that was open till now -- we give an equivalent internal characterization of those spaces for which $\tau=\tau^{dd}$ and we also characterize the spaces satisfying the identities $\tau^d=\tau^{ddd}$, $\tau=\tau^{d}$ and $\tau^d=\tau^{dd}$.

Problem 540 of J. D. Lawson and M. Mislove in Open Problems in Topology ask whether the process of taking (de Groot) duals terminate after finitely many steps with topologies that are duals of each other. The question was solved in the positive by the author in 2001. In this paper we prove a new identity for dual topologies: $\tau^d= (\tau\vee\tau^{dd})^d$ holds for every topological space $(X,\tau)$. We also present a solution of another problem that was open till now -- we give an equivalent internal characterization of those spaces for which $\tau=\tau^{dd}$ and we also characterize the spaces satisfying the identities $\tau^d=\tau^{ddd}$, $\tau=\tau^{d}$ and $\tau^d=\tau^{dd}$.

saturated set, dual topology, compactness operator

saturated set, dual topology, compactness operator

KOVÁR, M.

2011

01.01.2005

0166-8641

TOPOLOGY AND ITS APPLICATIONS

1

146-7

Nizozemsko

83

7

http://hdl.handle.net/