QFS-domains and quasicontinuous domains

In this paper, we show that(1) for each QFS-domain L, L is an ωQFS-domain iff L has a countable base for the Scott topology;(2) the Scott-continuous retracts of QFS-domains are QFSdomains;(3) for a quasicontinuous domain L, L is Lawson compact iff L is a finitely generated upper set and for any x1, x2 ∈ L and finite G1, G2■L with G1x1, G2x2, there is a finite subset F ■L such that ↑ x1 ∩↑ x2 ■↑ F ■↑ G1 ∩↑ G2;(4) L is a QFS-domain iff L is a quasicontinuous domain and given any finitely many pairs {(Fi, xi) : Fi is finite, xi ∈ L with Fi xi, 1 ≤ i ≤ n}, there is a quasi-finitely separating function δ on L such that Fi δ(xi) xi.     

Quasicontinuity of Posets via Scott Topology and Sobrification

In this paper, posets which may not be dcpos are considered. In terms of the Scott topology on posets, the new concept of quasicontinuous posets is introduced. Some properties and characterizations of quasicontinuous posets are examined. The main results are: (1) a poset is quasicontinuous iff the lattice of all Scott open sets is a hypercontinuous lattice; (2) the directed completions of quasicontinuous posets are quasicontinuous domains; (3) A poset is continuous iff it is quasicontinuous and meet continuous, generalizing the relevant result for dcpos. Supported by the NSF of China (10371106, 10410638) and by the Fund (S0667-082) from Nanjing University of Aeronautics and Astronautics.     

FS-偏序集和连续L-偏序集

引入了FS-偏序集和连续L-偏序集概念,探讨了FS-偏序集和连续L-偏序集的性质.主要结果有(1)每一FS-偏序集都是有限上集生成的,因而是Scott紧的;(2)证明了FS-偏序集(连续L-偏序集)的定向完备化是FS-偏序集(连续L-偏序集);(3)一个偏序集是一个FS-Domain当且仅当它为Lawson紧的FS-偏序集;(4)FS-偏序集(连续L-偏序集)去掉部分极大元后还是FS-偏序集(连续L-偏序集).     

拟连续Domain的拟基及其权

在定向完备偏序集(即dcpo)上引入了拟基的概念,给出了拟基的若干刻画并在此基础上定义了拟连续Domain的权。探讨了拟连续Domain的权与该拟连续Domain上赋予内蕴拓扑时的拓扑空间的权之间的关系。     

B-posets, FS-posets and Relevant Categories

In this paper the new concept of B-posets is introduced. Some properties of B-posets and FS-posets are examined. Main results are: (1) Posets obtained from B-posets (FS-posets) by eliminating a proper upper subset, adding two or more finitely many incomparable maximal elements, taking vertical sums w.r.t. a maximal element are also B-posets (FS-posets); (2) A poset is a(n) B-domain (FS-domain) iff it is a Lawson compact B-poset (FS-poset); (3) The directed completions of B-posets (FS-posets) are B-domains (FS-domains); (4) The category B-POS (FS-POS) of B-posets (FS-posets) and Scott continuous maps is cartesian closed and has the category B-DOM (FS-DOM) of B-domains (FS-domains) and Scott continuous maps as a full reflective subcategory.     

Quasicontinuous functions,minimal usco maps and topology of pointwise convergence

In [HOLá, Ľ.—HOLY, D.: Pointwise convergence of quasicontinuous mappings and Baire spaces, Rocky Mountain J. Math.] a complete answer is given, for a Baire space X, to the question of when the pointwise limit of a sequence of real-valued quasicontinuous functions defined on X is quasicontinuous. In [HOLá, Ľ.—HOLY, D.: Minimal USCO maps, densely continuous forms and upper semicontinuous functions, Rocky Mountain J. Math. 39 (2009), 545–562], a characterization of minimal USCO maps by quasicontinuous and subcontinuous selections is proved. Continuing these results, we study closed and compact subsets of the space of quasicontinuous functions and minimal USCO maps equipped with the topology of pointwise convergence. We also study conditions under which the closure of the graph of a set-valued mapping which is the pointwise limit of a net of set-valued mappings, is a minimal USCO map.     

Locatedness and overt sublocales

Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to be fundamental in constructive locale theory. We show that the two notions are intimately connected.Bishop defines a metric space to be compact if it is complete and totally bounded. A subset of a totally bounded set is again totally bounded iff it is located. So a closed subset of a Bishop compact set is Bishop compact iff it is located. We translate this result to formal topology. ‘Bishop compact’ is translated as compact and overt. We propose a definition of locatedness on subspaces of a formal topology, and prove that a closed subspace of a compact regular formal space is located iff it is overt. Moreover, a Bishop-closed subset of a complete metric space is Bishop compact — that is, totally bounded and complete — iff its localic completion is compact overt.Finally, we show by elementary methods that the points of the Vietoris locale of a compact regular locale are precisely its compact overt sublocales.We work constructively, predicatively and avoid the use of the axiom of countable choice.     

Locatedness and overt sublocales

Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to be fundamental in constructive locale theory. We show that the two notions are intimately connected.Bishop defines a metric space to be compact if it is complete and totally bounded. A subset of a totally bounded set is again totally bounded iff it is located. So a closed subset of a Bishop compact set is Bishop compact iff it is located. We translate this result to formal topology. ‘Bishop compact’ is translated as compact and overt. We propose a definition of locatedness on subspaces of a formal topology, and prove that a closed subspace of a compact regular formal space is located iff it is overt. Moreover, a Bishop-closed subset of a complete metric space is Bishop compact — that is, totally bounded and complete — iff its localic completion is compact overt.Finally, we show by elementary methods that the points of the Vietoris locale of a compact regular locale are precisely its compact overt sublocales.We work constructively, predicatively and avoid the use of the axiom of countable choice.     

Continuity of posets via Scott topology and sobrification

In this paper, posets which may not be dcpos are considered. The concept of embedded bases for posets is introduced. Characterizations of continuity of posets in terms of embedded bases and Scott topology are given. The main results are:

(1)

A poset is continuous iff it is an embedded basis for a dcpo up to an isomorphism;

(2)

A poset is continuous iff its Scott topology is completely distributive;

(3)

A topological T₀ space is a continuous poset equipped with the Scott topology in the specialization order iff its topology is completely distributive and coarser than or equal to the Scott topology;

(4)

A topological T₁ space is a discrete space iff its topology is completely distributive.

These results generalize the relevant results obtained by J.D. Lawson for dcpos.     

Regular relations and strictly completely regular ordered spaces

The classical theorem of Zareckiı̆ about regular relations is slightly extended and an intrinsic characterization of regularity is given. Based on the extended Zareckiı̆ theorem and the intrinsic characterization of regularity, we give a characterization of the strict complete regularity of ordered spaces by means of a certain regular relation between the closed and the open upper sets. As an application, it is shown that a quasicontinuous domain endowed with the Lawson topology is strictly completely regular, provided that the Lawson-open lower sets are contained in the lower topology. By means of regular relations we present a new proof of the strict Tychonoff embedding theorem for strictly completely regular ordered spaces.