A Hofmann-Mislove theorem for Bitopological Spaces | Zendy

Achim Jung | Zendy; M. Andrew Moshier | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Hofmann-Mislove theorem for Bitopological Spaces

Author(s) -

Achim Jung,

M. Andrew Moshier

Publication year - 2007

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2007.02.033

Subject(s) - mathematics , subspace topology , analogy , fréchet space , sobriety , topological space , pure mathematics , space (punctuation) , duality (order theory) , linear subspace , topology (electrical circuits) , discrete mathematics , mathematical analysis , interpolation space , functional analysis , computer science , combinatorics , psychology , philosophy , linguistics , biochemistry , chemistry , psychotherapist , gene , operating system

We present a Stone duality for bitopological spaces in analogy to the duality between topological spaces and frames, and discuss the resulting notions of sobriety and spatiality. Under the additional assumption of regularity, we prove a characterisation theorem for subsets of a bisober space that are compact in one and closed in the other topology. This is in analogy to the celebrated Hofmann-Mislove theorem for sober spaces. We link the characterisation to Taylor's and Escardó's reading of the Hofmann-Mislove theorem as continuous quantification over a subspace. As an application, we define locally compact d-frames and show that these are always spatial

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research