Insertion of continuous real functions on spaces, bispaces, ordered spaces and pointfree spaces -- a common root
biframebitopological spaceextremally disconnected biframeframelocalelocalic real functionnormal biframeordered topological space
Frames, locales (06D22) Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Real-valued functions in general topology (54C30) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15) Bitopologies (54E55) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05)
A biframe is a triple consisting of a frame (called the total part of the biframe) and two subframes which together generate the total part. In the same way that a frame has its co-frame of sublocales which can be made into a frame by reverse inclusion, a biframe also has what could informally be called a ``biframe of sublocales. For a given biframe, the authors define a real function (not necessarily continuous) on the biframe to be a real function on the first part of the ``biframe of sublocales which is a biframe homomorphism from the biframe of reals to the given biframe. This done, they then characterise normal and extremally disconnected biframes in terms of insertion of continuous real functions between given lower and upper semicontinuous real functions. The various insertion-type theorems (and characterisations of normality and extremal disconnectedness) for frames, topological spaces, ordered topological spaces and bispaces appear as special cases of similar results for biframes. This fully justifies the appendage ``a common root in the title of the paper.
- Completely normal frames and real-valued functions
- General insertion and extension theorems for localic real functions
- Insertion and extension theorems for lattice-valued functions on preordered topological spaces
- Insertion theorems for countably paracompact frames and stratifiable frames
- An insertion theorem for continuous \(\mathbb I(L)\)-valued functions and its consequences
- A new look at localic interpolation theorems
- A note on extremal disconnectedness in bitopological spaces
- A separation theorem for semicontinuous functions on preordered topological spaces
- BIFRAMES AND BISPACES
- Bitopological Spaces
- Boundedness Properties in Function-Lattices
- Completely normal frames and real-valued functions
- Constructive insertion theorems and extension theorems on extremally disconnected frames
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 35117 (Why is no real title available?)
- scientific article; zbMATH DE number 3617165 (Why is no real title available?)
- scientific article; zbMATH DE number 1164976 (Why is no real title available?)
- scientific article; zbMATH DE number 1450210 (Why is no real title available?)
- scientific article; zbMATH DE number 3213310 (Why is no real title available?)
- Locales treated mostly in a covariant way
- Localic real functions: A general setting
- Lower and upper regularizations of frame semicontinuous real functions
- Monotone insertion and monotone extension of frame homomorphisms
- Normality for biframes
- On Real-Valued Functions in Topological Spaces
- On the algebraic representation of semicontinuity
- Pointfree forms of Dowker's and Michael's insertion theorems
- Separation Theorems for Semi-Continuous Functions on Normally Ordered Topological Spaces
- Some characterizations of normal and perfectly normal spaces
- Normality for biframes
- Constructive insertion theorems and extension theorems on extremally disconnected frames
- Insertion theorems for countably paracompact frames and stratifiable frames
- On the parallel between normality and extremal disconnectedness
- scientific article; zbMATH DE number 1117703 (Why is no real title available?)
- General insertion and extension theorems for localic real functions
- Interpolating functions
- The reals as full and balanced biframe
- On Isbell's density theorem for bitopological pointfree spaces. II
This page was built for publication: Insertion of continuous real functions on spaces, bispaces, ordered spaces and pointfree spaces -- a common root
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q535362)
