On the parallel between normality and extremal disconnectedness (Q392505): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 4 users not shown)
Property / review text
 
Among various characterisations of normality and extremal disconnectedness, respectively, there are conditions which are dual to each other. For instance, in the language of locales, a locale \(L\) is normal if and only if whenever \(\mathfrak{c}(a)\vee\mathfrak{c}(b)=\top\), then there exist \(u,v\in L\) such that \(\mathfrak{c}(u)\wedge\mathfrak{c}(v)=\bot\) and \(\mathfrak{c}(a)\vee\mathfrak{c}(u)=\top=\mathfrak{c}(b)\vee\mathfrak{c}(v)\). On the other hand, \(L\) is extremally disconnected if and only if whenever \(\mathfrak{c}(a)\wedge\mathfrak{c}(b)=\bot\), then there exist \(u,v\in L\) such that \(\mathfrak{c}(u)\vee\mathfrak{c}(v)=\top\) and \(\mathfrak{c}(a)\wedge\mathfrak{c}(u)=\bot=\mathfrak{c}(b)\wedge\mathfrak{c}(v)\). There are other dual characterisations in terms of \(C^*\)-embedding of closed sublocales in the case of normality, and open sublocales in the case of extremal disconnectedness. There are also dual characterisations in terms of insertion-type theorems. The authors study these phenomena in parallel with a view to determining what the sources of the various dualities are, and also determining if the pairs of proofs which are somewhat disparate in nature can be unified within a single proof. This they achieve via a clever technique of fixing a class of sublocales of a given locale, and then studying dual notions of (a) normality and extremal disconnectedness relative to the fixed class, (b) continuity relative to the fixed class, and (c) upper and lower semi-continuity relative to the fixed class.
Property / review text: Among various characterisations of normality and extremal disconnectedness, respectively, there are conditions which are dual to each other. For instance, in the language of locales, a locale \(L\) is normal if and only if whenever \(\mathfrak{c}(a)\vee\mathfrak{c}(b)=\top\), then there exist \(u,v\in L\) such that \(\mathfrak{c}(u)\wedge\mathfrak{c}(v)=\bot\) and \(\mathfrak{c}(a)\vee\mathfrak{c}(u)=\top=\mathfrak{c}(b)\vee\mathfrak{c}(v)\). On the other hand, \(L\) is extremally disconnected if and only if whenever \(\mathfrak{c}(a)\wedge\mathfrak{c}(b)=\bot\), then there exist \(u,v\in L\) such that \(\mathfrak{c}(u)\vee\mathfrak{c}(v)=\top\) and \(\mathfrak{c}(a)\wedge\mathfrak{c}(u)=\bot=\mathfrak{c}(b)\wedge\mathfrak{c}(v)\). There are other dual characterisations in terms of \(C^*\)-embedding of closed sublocales in the case of normality, and open sublocales in the case of extremal disconnectedness. There are also dual characterisations in terms of insertion-type theorems. The authors study these phenomena in parallel with a view to determining what the sources of the various dualities are, and also determining if the pairs of proofs which are somewhat disparate in nature can be unified within a single proof. This they achieve via a clever technique of fixing a class of sublocales of a given locale, and then studying dual notions of (a) normality and extremal disconnectedness relative to the fixed class, (b) continuity relative to the fixed class, and (c) upper and lower semi-continuity relative to the fixed class. / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Themba Dube / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 06D22 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 06D30 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 26A15 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 54C30 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 54D15 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 54G05 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6244991 / rank
 
Normal rank
Property / zbMATH Keywords
 
frame
Property / zbMATH Keywords: frame / rank
 
Normal rank
Property / zbMATH Keywords
 
sublocales
Property / zbMATH Keywords: sublocales / rank
 
Normal rank
Property / zbMATH Keywords
 
normality
Property / zbMATH Keywords: normality / rank
 
Normal rank
Property / zbMATH Keywords
 
extremal disconnectedness
Property / zbMATH Keywords: extremal disconnectedness / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2090162105 / rank
 
Normal rank
Property / cites work
 
Property / cites work: C- and C<sup>*</sup>-quotients in pointfree topology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4396195 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new aspect of the cozero lattice in pointfree topology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4374682 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extended real functions in pointfree topology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Variants of openness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4080388 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4357243 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Normal Completion of the Lattice of Continuous Functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Completely normal frames and real-valued functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3270120 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sandwich-type characterization of completely regular spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: General insertion and extension theorems for localic real functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lower and upper regularizations of frame semicontinuous real functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pointfree forms of Dowker's and Michael's insertion theorems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Localic real functions: A general setting / rank
 
Normal rank
Property / cites work
 
Property / cites work: Perfectness in locales / rank
 
Normal rank
Property / cites work
 
Property / cites work: Insertion of lattice-valued and hedgehog-valued functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the algebraic representation of semicontinuity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rings of real functions in pointfree topology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Insertion and extension results for pointfree complete regularity / rank
 
Normal rank
Property / cites work
 
Property / cites work: First Steps in Descriptive Theory of Locales / rank
 
Normal rank
Property / cites work
 
Property / cites work: Permutable pairs of quasi-uniformities / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3994018 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3965241 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4324835 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5753201 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2702346 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Applications of category theory to fuzzy subsets. Based on the eleventh international seminar on fuzzy set theory, held in Linz, Austria, September 1989 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Sufficient Condition for the Insertion of a Continuous Function / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3886481 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lebesgue Sets and Insertion of a Continuous Function / rank
 
Normal rank
Property / cites work
 
Property / cites work: Countable Paracompactness and Weak Normality Properties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4278328 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3539850 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Frames and Locales / rank
 
Normal rank
Property / cites work
 
Property / cites work: Measures on F-Spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5594305 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5683435 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Boundedness Properties in Function-Lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some characterizations of normal and perfectly normal spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3669960 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 05:11, 7 July 2024

scientific article
Language Label Description Also known as
English
On the parallel between normality and extremal disconnectedness
scientific article

    Statements

    On the parallel between normality and extremal disconnectedness (English)
    0 references
    0 references
    14 January 2014
    0 references
    Among various characterisations of normality and extremal disconnectedness, respectively, there are conditions which are dual to each other. For instance, in the language of locales, a locale \(L\) is normal if and only if whenever \(\mathfrak{c}(a)\vee\mathfrak{c}(b)=\top\), then there exist \(u,v\in L\) such that \(\mathfrak{c}(u)\wedge\mathfrak{c}(v)=\bot\) and \(\mathfrak{c}(a)\vee\mathfrak{c}(u)=\top=\mathfrak{c}(b)\vee\mathfrak{c}(v)\). On the other hand, \(L\) is extremally disconnected if and only if whenever \(\mathfrak{c}(a)\wedge\mathfrak{c}(b)=\bot\), then there exist \(u,v\in L\) such that \(\mathfrak{c}(u)\vee\mathfrak{c}(v)=\top\) and \(\mathfrak{c}(a)\wedge\mathfrak{c}(u)=\bot=\mathfrak{c}(b)\wedge\mathfrak{c}(v)\). There are other dual characterisations in terms of \(C^*\)-embedding of closed sublocales in the case of normality, and open sublocales in the case of extremal disconnectedness. There are also dual characterisations in terms of insertion-type theorems. The authors study these phenomena in parallel with a view to determining what the sources of the various dualities are, and also determining if the pairs of proofs which are somewhat disparate in nature can be unified within a single proof. This they achieve via a clever technique of fixing a class of sublocales of a given locale, and then studying dual notions of (a) normality and extremal disconnectedness relative to the fixed class, (b) continuity relative to the fixed class, and (c) upper and lower semi-continuity relative to the fixed class.
    0 references
    0 references
    frame
    0 references
    sublocales
    0 references
    normality
    0 references
    extremal disconnectedness
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references