Mathematics > Functional Analysis
[Submitted on 2 Nov 2020]
Title:The assembly of a pointfree bispace and its two variations
View PDFAbstract:The duality of finitary biframes as pointfree bitopological spaces is explored. In particular, for a finitary biframe $\mathcal{L}$ the ordered collection of all its pointfree bisubspaces (i.e. its biquotients) is studied. It is shown that this collection is bitopological in three meaningful ways. In particular it is shown that, apart from the assembly $\mathsf{A}(\mathcal{L})$ of a finitary biframe $\mathcal{L}$, there are two other structures $\mathsf{A}_{cf}(\mathcal{L})$ and $\mathsf{A}_{\pm}(\mathcal{L})$, which both have the same main component as $\mathsf{A}(\mathcal{L})$. The main component of both $\mathsf{A}_{cf}(\mathcal{L})$ and $\mathsf{A}_{\pm}(\mathcal{L})$ is the ordered collection of all biquotients of $\mathcal{L}$. The structure $\mathsf{A}_{cf}(\mathcal{L})$ being a biframe shows that the collection of all biquotients is generated by the frame of the patch-closed biquotients together with that of the patch-fitted ones. The structure $\mathsf{A}_{\pm}(\mathcal{L})$ being a biframe shows the collection of all biquotients is generated by the frame of the positive biquotients together with that of the negative ones. Notions of fitness and subfitness for finitary biframes are introduced, and it is shown that the analogues of both characterization theorems for these axioms appearing in Picado and Pultr (2011) hold. A spatial, bitopological version of these theorems is proven, in which finitary biframes whose spectrum is pairwise $T_1$ are characterized, among other things in terms of the spectrum of $\mathsf{A}_{cf}(\mathcal{L})$.
Current browse context:
math.FA
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.