The closure-complement-frontier problem in saturated polytopological spaces

DOI10.53733/151MaRDI QIDQ3380322zbMATH OpenOpenAlexFDO

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)

Copyright license Creative Commons Attribution 4.0 International

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

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)

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$.

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

Cites work

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

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)