• Abstract and Figures
• Public Full-text

TRANSPORTING CONTINUITY PROPERTIES FROM A POSET TO ITS SUBPOSETS PAUL PONCET ABSTRACT. We identify two key conditions that a subset A of a poset P may satisfy to guarantee the transfer of continuity properties from P to A. We then highlight practical cases where these key conditions are fulfilled. Along the way we are led to consider subsets of a given poset P whose way-below relation is the restriction of the way-below relation of P , which we call way-below preserving subposets. As an application, we show that every conditionally complete poset P with the interpolation property contains a largest continuous way-below preserving subposet. Most of our results are expressed in the general setting of z theory, where z is a subset system. 1. INTRODUCTION In the article [39], Venugopalan showed that, if A is a subset of a con- ditionally directed-complete poset P such that the inclusion map A → P be Scott-continuous and the right part of a Galois connection, then A is a continuous poset if P is itself continuous. In this paper, our goal is to pro- vide a series of results of the same flavor. For this purpose, we identify two key properties: preservation of directed sups, and refinement. Preserving directed sups basically means for a map to be Scott-continuous; for a subset that the inclusion map be Scott-continuous. The refinement property has a slightly more technical definition. We say that a map f : P → Q between posets has the refinement property if, arXiv:1301.0999v3 [math.CO] 7 Feb 2021 6 ′ ′ whenever x ∈ P and f(x) WQ D for some directed subset D of Q with sup, there is a directed subset D of P with sup such that f(D) ⊂↓D′ and 6 x WP D. A subset A of a poset P has the refinement property if the inclusion map A → P has the refinement property. The combination of the preservation of directed sups and the refinement property guarantees the transfer of continuity properties from P to A, as stated by our main theorem. Date: February 9, 2021. 2010 Mathematics Subject Classification. 06A15, 06B35. Key words and phrases. continuous poset, Z-continuous poset, algebraic poset, domain, conditionally-complete poset, interpolation property, kernel, retract, continuous lattice, subset system. 1 Theorem (Main Theorem, shortened version). Let A be a subset of a poset P preserving directed sups and satisfying the refinement property. Then A is a way-below preserving subposet of P and the Scott-open subsets of A coincide with the subsets induced by the Scott-open subsets of P . Moreover, if P is continuous (resp. algebraic), then A is continuous (resp. algebraic). Here by a way-below preserving subposet of a poset P we mean a subset A preserving directed sups and such that the way-below relation ≪A on A coincides with the restriction to A × A of the way-below relation on P . Our motivation comes from the observation that ad hoc technical proofs are often required that a given subset A at stake be a continuous poset, using various hypotheses on A in addition to continuity properties of the ambient poset P . Such situations can be seen in the domain theoretic literature; for instance Lawson and Xu [20] investigated continuity properties of principal filters, principals ideals, and order intervals of a poset. This can also be the case in mathematical areas where domain theory has applications. For instance Keimel [18] considered continuity properties of cones of a finite- dimensional vector space Rn. Recall that a cone C of Rn is a subset such that C + C ⊂ C, λC ⊂ C for all λ > 0, and C ∩ (−C) = {0}. It n induces a partial order 6C on R defined by x 6C y if y − x ∈ C. Keimel asserted without proof that Rn equipped with this partial order becomes a continuous and dually continuous poset if C has nonempty interior. Then he derived that other subsets of Rn are continuous posets too, including C and its topological interior. Another situation is that of idempotent analysis, where methods from domain theory have proved their usefulness at various occasions, see e.g. Akian [1], Akian and Singer [2], Lawson [19], Poncet [32, 34, 35]. An al- gebraic structure at stake in this area is that of idempotent semifield, that is a semiring (S, +, 0, ×, 1) in which every nonzero element has a multiplica- tive inverse and such that x + x = x for all x; it gives rise to a partial order 6S defined by x 6S y if x + y = y. In [32, Chapter 3], we showed how continuity properties of (subsets of) S come into play when considering Riesz like idempotent representation theorems of “linear” forms defined on an S-module. A class of algebraic structures that offers a potential framework for uni- fying classical and idempotent analysis is that of inverse semigroups, which form a well studied class of semigroups endowed with a natural partial or- der. Since continuity properties have proved to play an important role in idempotent analysis, it was a source of motivation of our work [33] to study continuity properties of inverse semigroups. We showed that, under mild conditions on an inverse semigroup S, the latter is continuous as a poset 2 if and only if its subsemigroup made of idempotent elements (which is a semilattice) is itself continuous. In all the previous situations, technical lemmata are required to transfer continuity properties from one poset to another. We show that our main the- orem is applicable in a wide variety of situations. Especially, the hypotheses of the theorem are met in the following cases: • if A is a lower subset of a continuous semilattice; • if A is a lower subset of a continuous cond. directed-complete poset; • if A is a Scott-convex subset of a meet-continuous semilattice; • if A is a Scott-open subset of a poset; • if A is the image of a cond. directed-complete poset by a Scott- continuous projection satisfying the refinement property; • if A is a kernel retract of a poset induced by a Scott-continuous kernel retraction; • if A is already a continuous way-below preserving subposet of a poset. We apply our main theorem and especially the situation where A is a ker- nel retract to a question that was another source of motivation at the start of this work and relates to the interpolation property of posets. This property is a necessary condition for a poset to be continuous, and is also crucial for de- riving many important results of the theory of continuous posets; however, little has been done on (not necessarily continuous) interpolating posets. A notable exception is the recent work of Mao and Xu [22]: these authors showed that a conditionally complete poset with the interpolation property is continuous if and only if ↓x = ↓y implies x = y for all x, y. With this work in mind, we give examples of posets with the interpolation property that are not continuous, and we examine whether a poset with the interpola- tion property can contain subposets that are continuous posets with respect to the induced partial order. This leads us to the following result: Theorem. Every conditionally complete poset with the interpolation prop- erty contains a largest continuous way-below preserving subposet, which is itself conditionally complete. Given such a conditionally complete poset P with the interpolation prop- erty, the strategy of proof is to apply our main theorem to the subset A defined as the kernel retract of P induced by the Scott-continuous kernel k : P → P, x 7→ W ↓x. While this introductory section has been expressed in the language of classical domain theory for the sake of simplicity, we actually adopt in this paper the general z framework of Wright, Wagner, and Thatcher [41]. Re- call that it mainly consists in replacing the directed subsets used in the def- initions by some general family of subsets z[P ], for each poset P . This 3 choice is not only guided by a sake of generality: we need it for some applications cited above, notably for Riesz like representation theorems in idempotent analysis. Another reason is that, in our results, several families of subsets are sometimes intertwined, hence the z framework provides ease of formulation and clarity. The paper is organized as follows. In Section 2 we introduce partially ordered sets (posets) and their continuity, when accompanied with a subset system z; we recall concepts such as z-subsets, z-interpolation property, z- continuity, z-basis, z-sup-preserving maps, and Galois connections. We also give examples of posets with the interpolation property that are not contin- uous. In Section 3 we focus on order-preserving maps between posets and introduce the property of z-refinement, and show how this property is linked with other properties, in the line of Bandelt and Ern´e[4]; we also take the opportunity to recall and synthesize various results due to Venugopalan. In Section 4 we specialize the definitions of the previous section to subsets of posets seen as inclusion maps, and we notably prove our Main Theorem in its full generality. In passing, we also examine the question of transferring the continuity properties of a covering family of subposets of a poset to the poset itself. In the next five sections, we apply our Main Theorem to the various situations evoked above, where certain types of subsets are z-sup- preserving and have the z-refinement property under mild conditions. In particular, we consider the case of lower subsets in Section 5, order-convex subsets and z-Scott-convex subsets in Section 6, upper subsets and d∗-Scott open subsets in Section 7, direct images of left or right maps in Section 8, kernel retracts in Section 9.

Load more

  34

Copy Link