The closure-complement-frontier problem in saturated polytopological spaces

DOI10.53733/151zbMATH Open1484.54007arXiv1907.08203OpenAlexW3191787199MaRDI QIDQ3380322FDOQ3380322

Authors: Sara Canilang, Michael P. Cohen, Nicolas Graese, Ian Seong 

Publication date: 28 September 2021

Published in: New Zealand Journal of Mathematics (Search for Journal in Brave)

Abstract: Let $X$ be a space equipped with $n$ topologies $a{u}_1,\mathrm{...},a{u}_n$ which are pairwise comparable and saturated, and for each $1leqileqn$ let $k_i$ and $f_i$ be the associated topological closure and frontier operators, respectively. Inspired by the closure-complement theorem of Kuratowski, we prove that the monoid of set operators $mathcal{KF}_n$ generated by $k_i,f_i:1leqileqncupc$ (where $c$ denotes the set complement operator) has cardinality no more than $2p(n)$ where $p(n)=frac524n^4+frac3712n^3+frac7924n^2+frac10112n+2$. The bound is sharp in the following sense: for each $n$ there exists a saturated polytopological space $(X,a{u}_1,\mathrm{...},a{u}_n)$ and a subset $AsubseteqX$ such that repeated application of the operators $k_i,f_i,c$ to $A$ will yield exactly $2p(n)$ distinct sets. In particular, following the tradition for Kuratowski-type problems, we exhibit an explicit initial set in $mathbbR$, equipped with the usual and Sorgenfrey topologies, which yields $2p(2)=120$ distinct sets under the action of the monoid $mathcal{KF}_2$.

Full work available at URL: https://arxiv.org/abs/1907.08203

Recommendations

• Kuratowski monoids of \(n\)-topological spaces
• The orbit of closure-involution operations: the case of Boolean functions
• The Kuratowski closure-complement theorem
• A generalized closure and complement phenomenon
• Variations on Kuratowski's 14-set theorem

zbMATH Keywords

monoidKuratowski's closure-complement theorempolytopological spaces

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Ordered semigroups and monoids (06F05) Several topologies on one set (change of topology, comparison of topologies, lattices of topologies) (54A10) Bitopologies (54E55)

Cites Work

• The algebra of topology
• Variations on Kuratowski's 14-set theorem
• The Kuratowski closure-complement theorem
• Closure and interior in finite topological spaces
• On the frontier operator in Boolean algebras with a closure
• Kuratowski monoids of \(n\)-topological spaces

Cited In (5)

• The Kuratowski closure-complement theorem
• Variations on Kuratowski's 14-set theorem
• Boundary-border extensions of the Kuratowski monoid
• Kuratowski monoids of \(n\)-topological spaces
• The orbit of closure-involution operations: the case of Boolean functions

This page was built for publication: The closure-complement-frontier problem in saturated polytopological spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3380322)