{"id":3930,"date":"2021-06-22T22:26:26","date_gmt":"2021-06-22T20:26:26","guid":{"rendered":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/?page_id=3930"},"modified":"2022-11-19T14:57:50","modified_gmt":"2022-11-19T13:57:50","slug":"first-countable-spaces-and-their-smyth-powerdomain","status":"publish","type":"page","link":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/?page_id=3930","title":{"rendered":"First-countable spaces and their Smyth powerdomain"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">I have already talked about the Smyth powerdomain <strong>Q<\/strong>(<em>X<\/em>) of a topological space.  This is the space of all non-empty compact saturated subsets of <em>X<\/em>, and it has two natural topologies:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>the <em>upper Vietoris<\/em> topology has a base of open sets of the form \u2610<em>U<\/em> \u225d {<em>Q<\/em> \u2208 <strong>Q<\/strong>(<em>X<\/em>) | <em>Q<\/em> \u2286 <em>U<\/em>}, where <em>U<\/em> is open in <em>X<\/em>; its specialization ordering is <em>reverse<\/em> inclusion \u2287;<\/li>\n\n\n\n<li>the <em>Scott<\/em> topology of the reverse inclusion ordering \u2287.<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">In the <a href=\"https:\/\/www.cambridge.org\/gb\/knowledge\/isbn\/item7069109\/Non-Hausdorff%20Topology%20and%20Domain%20Theory\/?site_locale=en_GB\">book<\/a> (Proposition 8.3.25), one finds that, when <em>X<\/em> is well-filtered, <strong>Q<\/strong>(<em>X<\/em>) is a dcpo under \u2287, where directed suprema are filtered intersections; and that if <em>X<\/em> is not only well-filtered but also locally compact, then <strong>Q<\/strong>(<em>X<\/em>) is a continuous dcpo in which <em>Q<\/em>\u226a<em>Q&#8217;<\/em> if and only if <em>Q&#8217;<\/em> is included in the interior of <em>Q<\/em>.  It follows that, if <em>X<\/em> is well-filtered, then the Scott topology is finer than the upper Vietoris topology on <strong>Q<\/strong>(<em>X<\/em>), and if <em>X<\/em> is well-filtered and locally compact, then those two topologies coincide.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Whenever there is any ambiguity, I will write <strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>) for <strong>Q<\/strong>(<em>X<\/em>) with the upper Vietoris topology, and <strong>Q<\/strong><sub>\u03c3<\/sub>(<em>X<\/em>) with the Scott topology of reverse inclusion.  Hence <strong>Q<\/strong><sub>\u03c3<\/sub>(<em>X<\/em>)=<strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>) for every well-filtered, locally compact space <em>X<\/em>.  Are those assumptions on <em>X<\/em> necessary?<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">There is a map \u03b7 : <em>X<\/em> \u2192 <strong>Q<\/strong>(<em>X<\/em>), defined by \u03b7(<em>x<\/em>)\u225d\u2191<em>x<\/em>.  If <em>X<\/em> is T<sub>0<\/sub>, then \u03b7 is injective.  Noting that \u03b7<sup>\u20131<\/sup>(\u2610<em>U<\/em>)=<em>U<\/em>, we obtain that \u2610<em>U<\/em> is a topological embedding of <em>X<\/em> into <strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>), provided that <em>X<\/em> is T<sub>0<\/sub>.  Hence if <em>X<\/em> is T<sub>0<\/sub>, well-filtered and locally compact (equivalently, sober and locally compact), then \u2610<em>U<\/em> is a topological embedding of <em>X<\/em> into <strong>Q<\/strong><sub>\u03c3<\/sub>(<em><em>X<\/em><\/em>), since in that case <strong>Q<\/strong><sub>\u03c3<\/sub>(<em>X<\/em>)=<strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>).  Does this extend to more general cases of spaces <em>X<\/em>?<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The question does not come out of nowhere.  Xiaodong Jia and I were in the process of building some counterexamples in the theory of continuous valuations, and we were exploring the structure of <strong>Q<\/strong>(<strong>R<\/strong><sub>\u2113<\/sub>), the Smyth powerdomain of the <a href=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/?page_id=3685\">Sorgenfrey line<\/a> <strong>R<\/strong><sub>\u2113<\/sub>.  Those questions naturally arose in this context&#8230; and I will answer those questions along the way, too.  I must thank Xiaodong for telling me (or reminding me, in one case) about the two papers [1] and [2], which I am going to discuss some of the results of.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Embedding <em>X<\/em> into its Smyth powerdomain using first countability<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">He, Li, Xi, and Zhao have showed that one can go a long way with well-filtered <em>first-countable<\/em> spaces [1, Corollary 2.12].  They prove that every T<sub>1<\/sub>, well-filtered and first-countable space topologically embeds into <strong>Q<\/strong><sub>\u03c3<\/sub>(<em>X<\/em>) (with the <em>Scott<\/em> topology).  The proof is clever, and reuses the idea of the <a href=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/?page_id=1852\">compact completed sequence<\/a>.  Let me generalize the result slightly, as follows.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Theorem A.<\/strong>  For every first-countable space <em>X<\/em>, \u03b7 : <em>X<\/em> \u2192 <strong>Q<\/strong><sub>\u03c3<\/sub>(<em>X<\/em>) is continuous.  If <em>X<\/em> is T<sub>0<\/sub>, well-filtered and first-countable, then \u03b7 : <em>X<\/em> \u2192 <strong>Q<\/strong><sub>\u03c3<\/sub>(<em>X<\/em>) is a topological embedding.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Note that the Scott and the upper Vietoris topology on <strong>Q<\/strong>(<em>X<\/em>) may or may not coincide under any of those assumptions.  We will address the question of the coincidence between those two topologies later in the same post.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><em>Proof.<\/em>  We show that \u03b7 is continuous.  We don&#8217;t know much about the shape of (Scott-)open subsets of <strong>Q<\/strong><sub>\u03c3<\/sub>(<em>X<\/em>), but we proceed nonetheless.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Let <strong><em>U<\/em><\/strong> be a (Scott-)open set in <strong>Q<\/strong><sub>\u03c3<\/sub>(<em>X<\/em>).  We let <em>U<\/em> \u225d \u03b7<sup>\u20131<\/sup>(<em><strong>U<\/strong><\/em>), and we wish to show that <em>U<\/em> is open in <em>X<\/em>.  We reason by contradiction, and we assume that it is not.  Hence there is a point <em>x<\/em> in <em>U<\/em> such that no open neighborhood <em>V<\/em> of <em>x<\/em> is included in <em>U<\/em>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">We now use the fact that <em>X<\/em> is first-countable.  There is a sequence <em>V<\/em><sub>0<\/sub> \u2287 <em>V<\/em><sub>1<\/sub> \u2287 &#8230; \u2287 <em>V<sub>n<\/sub><\/em> \u2287 &#8230; of open neighborhoods of <em>X<\/em> such that every open neighborhood of <em>x<\/em> contains some <em>V<sub>n<\/sub><\/em>.  By our assumption, no <em>V<sub>n<\/sub><\/em> is included in <em>U<\/em>, so we can find a point <em>x<sub>n<\/sub><\/em> in <em>V<sub>n<\/sub><\/em>\u2013<em>U<\/em>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The sequence (<em>x<sub>n<\/sub><\/em>)<sub><em>n<\/em> \u2208 <strong>N<\/strong><\/sub> converges to <em>x<\/em>.  Indeed, every open neighborhood of <em>x<\/em> contains some <em>V<sub>n<\/sub><\/em>, and then <em>x<sub>n<\/sub><\/em> is in <em>V<sub>n<\/sub><\/em>, but also <em>x<sub>n<\/sub><\/em><sub>+1<\/sub> since <em>x<sub>n<\/sub><\/em><sub>+1<\/sub> \u2208 <em>V<sub>n<\/sub><\/em><sub>+1<\/sub> \u2286 <em>V<sub>n<\/sub><\/em>, and <em>x<sub>n<\/sub><\/em><sub>+2<\/sub>, and so on.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">It follows that the set <em>Q<\/em> \u225d \u2191{<em>x<sub>n<\/sub><\/em> | <em>n<\/em> \u2208 <strong>N<\/strong>} \u222a \u2191<em>x<\/em> is compact (and saturated).  This is really a direct consequence of Fact 1 in the previous post on <a href=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/?page_id=1852\">the compact completed sequence<\/a>.  Since the proof is short, let me reproduce it here.  Let (<em>U<sub>i<\/sub><\/em>)<sub><em>i<\/em> \u2208 <em>I<\/em><\/sub> be any open cover of <em>Q<\/em>.  Then <em>x<\/em> must be in <em>U<sub>i<\/sub><\/em> for some <em>i<\/em> \u2208 <em>I<\/em>.  Since (<em>x<sub>n<\/sub><\/em>)<sub><em>n<\/em> \u2208 <strong>N<\/strong><\/sub> converges to <em>x<\/em>, <em>x<sub>n<\/sub><\/em> is in <em>U<sub>i<\/sub><\/em> for <em>n<\/em> large enough, say for every <em>n<\/em>\u2265<em>m<\/em>.  Now <em>x<\/em><sub>0<\/sub> is in <em>U<sub>i<\/sub><\/em><sub>[0]<\/sub> for some <em>i<\/em>[0] \u2208 <em>I<\/em>, <em>x<\/em><sub>1<\/sub> is in <em>U<sub>i<\/sub><\/em><sub>[1]<\/sub> for some <em>i<\/em>[1] \u2208 <em>I<\/em>, &#8230;, and <em>x<sub>m<\/sub><\/em><sub>\u20131<\/sub> is in <em>U<sub>i<\/sub><\/em><sub>[<em>m<\/em>\u20131]<\/sub> for some <em>i<\/em>[<em>m<\/em>\u20131] \u2208 <em>I<\/em>, and therefore <em>U<sub>i<\/sub><\/em><sub>[0]<\/sub>, <em>U<sub>i<\/sub><\/em><sub>[1]<\/sub>, &#8230;, <em>U<sub>i<\/sub><\/em><sub>[<em>m<\/em>\u20131]<\/sub> and <em>U<sub>i<\/sub><\/em> form a finite subcover of <em>Q<\/em>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The same argument shows that <em>Q<sub>m<\/sub><\/em> \u225d \u2191{<em>x<sub>n<\/sub><\/em> | <em>n<\/em>\u2265<em>m<\/em>} \u222a \u2191<em>x<\/em> is compact saturated for every <em>m<\/em> \u2208 <strong>N<\/strong>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The sets <em>Q<sub>m<\/sub><\/em> form a descending&nbsp;sequence (with respect to inclusion).  I claim that their intersection is exactly \u2191<em>x<\/em>.  In one direction, \u2191<em>x<\/em> is included in every <em>Q<sub>m<\/sub><\/em>.  In the other direction, it suffices to show that every open neighborhood <em>V<\/em> of \u2191<em>x<\/em> in <em>X<\/em> contains \u2229<sub><em>m<\/em> \u2208 <strong>N<\/strong><\/sub> <em>Q<sub>m<\/sub><\/em>.  Such an open neighborhood <em>V<\/em> must contain some <em>V<sub>n<\/sub><\/em>, by definition of the sets <em>V<sub>n<\/sub><\/em>.  However, <em>V<sub>n<\/sub><\/em> contains <em>x<sub>n<\/sub><\/em>, and <em>x<sub>n<\/sub><\/em><sub>+1<\/sub>, and <em>x<sub>n<\/sub><\/em><sub>+2<\/sub>, and so on, as we have already noticed.  It also contains <em>x<\/em>, by definition.  Hence <em>Q<sub>n<\/sub><\/em> is included in <em>V<sub>n<\/sub><\/em>, and therefore \u2229<sub><em>m<\/em> \u2208 <strong>N<\/strong><\/sub> <em>Q<sub>m<\/sub><\/em> \u2286 <em>Q<sub>n<\/sub><\/em> \u2286 <em>V<sub>n<\/sub><\/em> \u2286 <em>V<\/em>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">We reformulate the latter as follows: the sequence (<em>Q<sub>m<\/sub><\/em>)<sub><em>m<\/em> \u2208 <strong>N<\/strong><\/sub> is an ascending sequence in <strong>Q<\/strong>(<em>X<\/em>) (with respect to <em>reverse<\/em> inclusion), whose supremum is \u2191<em>x<\/em>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Oh, wait, \u2191<em>x<\/em> = \u03b7(<em>x<\/em>), and we had taken <em>x<\/em> from <em>U<\/em> \u225d \u03b7<sup>\u20131<\/sup>(<em><strong>U<\/strong><\/em>), right?  So \u2191<em>x<\/em> is in the Scott-open set <strong><em>U<\/em><\/strong>.  By the definition of Scott-openness, some <em>Q<sub>m<\/sub><\/em> must already be in <strong><em>U<\/em><\/strong>.  We have \u2191<em>x<sub>m<\/sub><\/em> \u2286 <em>Q<sub>m<\/sub><\/em>, namely \u2191<em>x<sub>m<\/sub><\/em> is a larger element of <strong>Q<\/strong>(<em>X<\/em>) than <em>Q<sub>m<\/sub><\/em> (for reverse inclusion).  Since <em><strong>U<\/strong><\/em> is upwards closed, \u2191<em>x<sub>m<\/sub><\/em> is in <em><strong>U<\/strong><\/em>.  In other words, <em>x<sub>m<\/sub><\/em> is in \u03b7<sup>\u20131<\/sup>(<em><strong>U<\/strong><\/em>)=<em>U<\/em>.  That is impossible, since we have picked <em>x<sub>m<\/sub><\/em> from <em>V<sub>m<\/sub><\/em>\u2013<em>U<\/em>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">So \u03b7 is continuous.  If <em>X<\/em> is T<sub>0<\/sub>, it is injective, and it remains to show that if <em>X<\/em> is well-filtered, then every open subset <em>U<\/em> of <em>X<\/em> is the inverse image of some Scott-open subset of <strong>Q<\/strong><sub>\u03c3<\/sub>(<em>X<\/em>): we just take \u2610<em>U<\/em>, and the fact that it is Scott-open is literally our assumption of well-filteredness.  \u2610<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Application: the Sorgenfrey line (1)<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">The <a href=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/?page_id=3685\" data-type=\"page\" data-id=\"3685\">Sorgenfrey line<\/a> <strong>R<\/strong><sub>\u2113<\/sub> is a T<sub>2<\/sub> space, hence it is obviously T<sub>0<\/sub>, and it is also sober, hence well-filtered.  It is certainly not locally compact, since every compact subset has empty interior (Exercise 4.8.5 in the <a href=\"https:\/\/www.cambridge.org\/gb\/knowledge\/isbn\/item7069109\/Non-Hausdorff%20Topology%20and%20Domain%20Theory\/?site_locale=en_GB\">book<\/a>).  Hence we cannot use the facts we mentioned at the beginning of this post about the Smyth powerdomain of well-filtered, locally compact spaces.  But Theorem A applies nicely, and we obtain the following.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Proposition.<\/strong>  <strong>Q<\/strong>(<strong>R<\/strong><sub>\u2113<\/sub>) is a dcpo model of <strong>R<\/strong><sub>\u2113<\/sub>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Recall that a <em>dcpo model<\/em> of a topological space <em>X<\/em> is a dcpo <em>P<\/em> together with a topological embedding of <em>X<\/em> into <em>P<\/em> (with its Scott topology), whose image is exactly the set Max <em>P<\/em> of maximal points of <em>P<\/em>.  That requires <em>X<\/em> to be T<sub>1<\/sub>, and indeed <strong>R<\/strong><sub>\u2113<\/sub> is T<sub>1<\/sub>, being T<sub>2<\/sub>.  The maximal points of <strong>Q<\/strong>(<em>X<\/em>) (for any T<sub>1<\/sub> space <em>X<\/em>) are always its one-point subsets {<em>x<\/em>}, which are indeed the sets of the form \u03b7(<em>x<\/em>) (since <em>X<\/em> is T<sub>1<\/sub>).<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Comparing the Scott and upper Vietoris topologies in the presence of first-countability<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Theorem A can be rephrased, once we agree to equate <em>X<\/em> with a subset of <strong>Q<\/strong>(<em>X<\/em>) through \u03b7, by saying that under the relevant assumptions, both the Scott topology and the upper Vietoris topology on <strong>Q<\/strong>(<em>X<\/em>) induce the same topology on the subspace <em>X<\/em>, and that is the original topology on <em>X<\/em>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The next question one might have is whether the Scott topology and the upper Vietoris topology coincide on the whole of <strong>Q<\/strong>(<em>X<\/em>).  In general, that is, for spaces <em>X<\/em> that are not well-filtered and locally compact, it does not [2, Example 3.13].  The case of the Sorgenfrey line can be handled through some recent results by X. Xu and Zh. Yang [2], which, again, were brought to my attention by Xiaodong Jia.  Let me cite Corollary 5.9 from [2]:<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Theorem.<\/strong>  [2, Corollary 5.9] Let&nbsp;<em>X<\/em>&nbsp;be a first-countable well-filtered space. If&nbsp;the set Min(<em>Q<\/em>)&nbsp;of minimal elements of <em>Q<\/em> is countable for every&nbsp;<em>Q<\/em>&nbsp;\u2208&nbsp;<strong>Q<\/strong>(<em>X<\/em>), then the upper Vietoris topology and the Scott topology on&nbsp;<strong>Q<\/strong>(<em>X<\/em>)&nbsp;coincide.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The condition on the countability of Min(<em>Q<\/em>) may seem strange, but is necessary.  Note that it is true on the Sorgenfrey line, since all its compact subsets are countable anyway, as we have seen <a href=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/?page_id=3685\" data-type=\"page\" data-id=\"3685\">last time<\/a>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Let me now explain give a proof of that theorem, which I think is simpler and perhaps more illuminating than that of [2].  Before I start, the point of the condition on the countability of Min(<em>Q<\/em>) is to make sure that <strong>Q<\/strong>(<em>X<\/em>)&nbsp;is itself first-countable in its upper Vietoris topology.  For that, it is not enough to assume that <em>X<\/em> is first-countable: Xu and Yang give a counterexample [2, Example 4.4], which I will skip over.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Proposition.<\/strong>  [2, Proposition 4.5] Let&nbsp;<em>X<\/em>&nbsp;be a first-countable space. If Min(<em>Q<\/em>) is countable for every&nbsp;<em>Q<\/em>&nbsp;\u2208&nbsp;<strong>Q<\/strong>(<em>X<\/em>), then <strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>) is first-countable.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><em>Proof.<\/em>  For each point <em>x<\/em> of <em>X<\/em>, we pick a countable base of open neighborhoods <em>V<sub>n<\/sub><\/em>(<em>x<\/em>), <em>n<\/em> \u2208 <strong>N<\/strong>.  Given any <em>Q<\/em> \u2208&nbsp;<strong>Q<\/strong>(<em>X<\/em>), we may form an open neighborhood of <em>Q<\/em> in <em>X<\/em> by picking a natural number <em>n<\/em>(<em>x<\/em>) for every <em>x<\/em> \u2208 Min(<em>Q<\/em>), and building the union of the sets <em>V<sub>n<\/sub><\/em><sub>(<\/sub><em><sub>x<\/sub><\/em><sub>)<\/sub>(<em>x<\/em>) where <em>x<\/em> ranges over Min(<em>Q<\/em>).  Since <em>Q<\/em> is compact, <em>Q<\/em> is included in a <em>finite<\/em> union of sets <em>V<sub>n<\/sub><\/em><sub>(<\/sub><em><sub>x<\/sub><\/em><sub>)<\/sub>(<em>x<\/em>).  Let us call <em>special<\/em> neighborhood of <em>Q<\/em> any finite union of sets <em>V<sub>n<\/sub><\/em><sub>(<\/sub><em><sub>x<\/sub><\/em><sub>)<\/sub>(<em>x<\/em>), where <em>x<\/em> ranges over a finite subset <em>E<\/em> of Min(<em>Q<\/em>), and <em>n<\/em>(_) is a map from <em>E<\/em> to <strong>N<\/strong>.  Since Min(<em>Q<\/em>) is countable, there are only countably many finite subsets of Min(<em>Q<\/em>), and for each, there are only countably many maps <em>n<\/em>(_).  Hence there are only countably many special neighborhoods of <em>Q<\/em> in <em>X<\/em>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">It should be clear that every open neighborhood <em>U<\/em> of <em>Q<\/em> in <em>X<\/em> contains some special neighborhood: for every <em>x<\/em> in Min(<em>Q<\/em>), <em>x<\/em> in <em>U<\/em> hence in <em>V<sub>n<\/sub><\/em>(<em>x<\/em>) for some <em>n<\/em> in <strong>N<\/strong>; we call <em>n<\/em>(<em>x<\/em>) that <em>n<\/em>, and we extract a finite cover from the open cover (<em>V<sub>n<\/sub><\/em><sub>(<\/sub><em><sub>x<\/sub><\/em><sub>)<\/sub>(<em>x<\/em>))<sub><em>x<\/em> \u2208 Min(<em>Q<\/em>)<\/sub>.  The union of the sets in that finite cover is a special neighborhood of <em>Q<\/em> included in <em>U<\/em>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">It follows that the sets \u2610<em>U<\/em>, where <em>U<\/em> ranges over the special neighborhoods of <em>Q<\/em>, form a countable base of open neighborhoods of <em>Q<\/em> in <strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>).  Indeed, for every open subset <strong><em>U<\/em><\/strong> of <strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>) that contains <em>Q<\/em>, <strong><em>U<\/em><\/strong> contains a basic open neighborhood \u2610<em>V<\/em> of <em>Q<\/em>, by definition of the upper Vietoris topology and the fact that \u2610 commutes with finite intersections.  Then <em>V<\/em> is an open neighborhood of <em>Q<\/em> in <em>X<\/em>, and as we have seen, <em>V<\/em> must contain a special neighborhood <em>U<\/em> of <em>Q<\/em>.  It follows that \u2610<em>V<\/em> contains \u2610<em>U<\/em>, and <em>Q<\/em> is in \u2610<em>U<\/em>.  \u2610<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">We will now show that the Scott and upper Vietoris topologies coincide on <strong>Q<\/strong>(<em>X<\/em>) provided that <em>X<\/em> is well-filtered and <strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>) is first-countable, as shown by Xu and Yang [2, Theorem 5.7].  Their proof is not that long, but is a bit technical, and when one looks at it closely, it uses many similar ingredients as those that we have used in He, Li, Xi, and Zhao&#8217;s proof of Theorem A. <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">When that happens, one should really wonder whether the result is a consequence of Theorem A itself, not just of the techniques used in its proof.  And this is exactly what I will demonstrate here.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The first result we need is mentioned in [2] as Lemma 2.4, and is credited to [3].  I have seen it mentioned in many papers.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Lemma B.<\/strong>  Let <em>X<\/em> be any topological space.  A directed family (<em>Q<sub>i<\/sub><\/em>)<sub><em>i<\/em> \u2208 <em>I<\/em><\/sub> has a supremum <em>Q<\/em> in <strong>Q<\/strong>(<em>X<\/em>) if and only if \u2229<sub><em>i<\/em> \u2208 <em>I<\/em><\/sub> <em>Q<sub>i<\/sub><\/em> is compact, and then \u2229<sub><em>i<\/em> \u2208 <em>I<\/em><\/sub> <em>Q<sub>i<\/sub><\/em> = <em>Q<\/em>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><em>Proof.<\/em>  The if direction is clear.  In the only if direction, let us imagine that <em>Q<\/em> is different, hence properly included in \u2229<sub><em>i<\/em> \u2208 <em>I<\/em><\/sub> <em>Q<sub>i<\/sub><\/em>.  There is a point <em>x<\/em> in \u2229<sub><em>i<\/em> \u2208 <em>I<\/em><\/sub> <em>Q<sub>i<\/sub><\/em> that is not in <em>Q<\/em>.  Then <em>Q<\/em> \u222a \u2191<em>x<\/em> is another upper bound of (<em>Q<sub>i<\/sub><\/em>)<sub><em>i<\/em> \u2208 <em>I<\/em><\/sub>, which strictly contains (hence is strictly smaller with respect to reverse inclusion than) <em>Q<\/em>, contradicting the fact that <em>Q<\/em> is the least upper bound.  \u2610<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">There is a map \u222a : <strong>Q<\/strong>(<strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>)) \u2192 <strong>Q<\/strong>(<em>X<\/em>), which maps every compact set <strong><em>K<\/em><\/strong> of compact subsets of <strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>) to \u222a<strong><em>K<\/em><\/strong> \u225d \u222a {<em>Q<\/em> | <em>Q<\/em> \u2208 <strong><em>K<\/em><\/strong>}.  In order to check that \u222a<strong><em>K<\/em><\/strong> is indeed compact, we take any directed family (<em>U<sub>i<\/sub><\/em>)<sub><em>i<\/em> \u2208 <em>I<\/em><\/sub> of open subsets of <em>X<\/em> such that \u222a<strong><em>K<\/em><\/strong> \u2286 \u222a<sub><em>i<\/em> \u2208 <em>I<\/em><\/sub> <em>U<sub>i<\/sub><\/em>, and we show that \u222a<strong><em>K<\/em><\/strong> is included in some <em>U<sub>i<\/sub><\/em> (see Proposition 4.4.7 in the <a href=\"https:\/\/www.cambridge.org\/gb\/knowledge\/isbn\/item7069109\/Non-Hausdorff%20Topology%20and%20Domain%20Theory\/?site_locale=en_GB\">book<\/a>).  For every <em>Q<\/em> in <strong><em>K<\/em><\/strong>, <em>Q<\/em> \u2286 \u222a<strong><em>K<\/em><\/strong> \u2286 \u222a<sub><em>i<\/em> \u2208 <em>I<\/em><\/sub> <em>U<sub>i<\/sub><\/em>, and since <em>Q<\/em> is compact in <em>X<\/em>, <em>Q<\/em> is included in some <em>U<sub>i<\/sub><\/em>.  This means that <strong><em>K<\/em><\/strong> is included in \u222a<sub><em>i<\/em> \u2208 <em>I<\/em><\/sub> \u2610<em>U<sub>i<\/sub><\/em>.  However, <strong><em>K<\/em><\/strong> itself is compact, this time in <strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>), and the family (\u2610<em>U<sub>i<\/sub><\/em>)<sub><em>i<\/em> \u2208 <em>I<\/em><\/sub> is directed, so <strong><em>K<\/em><\/strong> is included in some \u2610<em>U<sub>i<\/sub><\/em>.  This means that every <em>Q<\/em> in <strong><em>K<\/em><\/strong> is included in the same open set <em>U<sub>i<\/sub><\/em>, so that \u222a<strong><em>K<\/em><\/strong> \u2286 <em>U<sub>i<\/sub><\/em>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Lemma C.<\/strong>  The map \u222a : <strong>Q<\/strong>(<strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>)) \u2192 <strong>Q<\/strong>(<em>X<\/em>) is continuous from <strong>Q<\/strong><sub>V<\/sub>(<strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>)) to <strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>), and also from <strong>Q<\/strong><sub>\u03c3<\/sub>(<strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>)) to <strong>Q<\/strong><sub>\u03c3<\/sub>(<em>X<\/em>).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><em>Proof.<\/em>  For the first part, the inverse image of \u2610<em>U<\/em> is simply \u2610\u2610<em>U<\/em>.  Since \u222a is continuous from <strong>Q<\/strong><sub>V<\/sub>(<strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>)) to <strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>), it is monotonic with respect to the underlying specialization orderings, which are both reverse inclusion.  In order to show the second part, it remains to show that for every directed family (<em><strong>K<\/strong><sub>i<\/sub><\/em>)<sub><em>i<\/em> \u2208 <em>I<\/em><\/sub> in <strong>Q<\/strong>(<strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>)) with a supremum <em><strong>K<\/strong><\/em>, \u222a<strong><em>K<\/em><\/strong> is the supremum of the directed family (\u222a<em><strong>K<\/strong><sub>i<\/sub><\/em>)<sub><em>i<\/em> \u2208 <em>I<\/em><\/sub>.   Note that we do not know yet whether the latter family has a supremum.  Hence we will show that \u222a<strong><em>K<\/em><\/strong> is an upper bound first, then the least one.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Since \u222a is monotonic, \u222a<strong><em>K<\/em><\/strong> is an upper bound of (\u222a<em><strong>K<\/strong><sub>i<\/sub><\/em>)<sub><em>i<\/em> \u2208 <em>I<\/em><\/sub> (&#8230; in the reverse inclusion ordering, namely \u222a<strong><em>K<\/em><\/strong> is included in every \u222a<em><strong>K<\/strong><sub>i<\/sub><\/em>).  We need to show that it is the least one.  Let <em>Q<\/em> be any other upper bound of (\u222a<em><strong>K<\/strong><sub>i<\/sub><\/em>)<sub><em>i<\/em> \u2208 <em>I<\/em><\/sub>, in other words, <em>Q<\/em> is included in every \u222a<em><strong>K<\/strong><sub>i<\/sub><\/em>.  We wish to show that <em>Q<\/em> is included in \u222a<strong><em>K<\/em><\/strong>, and to this end, we consider any point <em>x<\/em> in <em>Q<\/em>.  For every <em>i<\/em> \u2208 <em>I<\/em>, <em>x<\/em> is in \u222a<em><strong>K<\/strong><sub>i<\/sub><\/em>, so <em>x<\/em> is in some compact saturated set <em>K<\/em> in <em><strong>K<\/strong><sub>i<\/sub><\/em>.  Since <em><strong>K<\/strong><sub>i<\/sub><\/em> is itself saturated, any element larger than or equal to (namely, included in) any element of <em><strong>K<\/strong><sub>i<\/sub><\/em> is itself in <em><strong>K<\/strong><sub>i<\/sub><\/em>; and since <em>x<\/em> is in <em>K<\/em>, \u2191<em>x<\/em> is included in <em>K<\/em>; so \u2191<em>x<\/em> is in <em><strong>K<\/strong><sub>i<\/sub><\/em>.  This holds for every <em>i<\/em> \u2208 <em>I<\/em>, so \u2191<em>x<\/em> is in the intersection of the sets <em><strong>K<\/strong><sub>i<\/sub><\/em>, <em>i<\/em> \u2208 <em>I<\/em>.  By Lemma B, that intersection is simply <strong><em>K<\/em><\/strong>!  Hence \u2191<em>x<\/em> is in <strong><em>K<\/em><\/strong>, from which it follows that <em>x<\/em> is in \u222a<em><strong>K<\/strong><\/em>.  \u2610<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">If <strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>) is first-countable, then \u03b7 : <strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>) \u2192 <strong>Q<\/strong><sub>\u03c3<\/sub>(<strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>)) is continuous by Proposition A.  We compose it with the continuous map \u222a : <strong><strong>Q<\/strong><\/strong><sub>\u03c3<\/sub>(<strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>)) \u2192 <strong>Q<\/strong><sub>\u03c3<\/sub>(<em>X<\/em>) (Lemma C), and we obtain a continuous map from <strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>) to <strong>Q<\/strong><sub>\u03c3<\/sub>(<em>X<\/em>)&#8230; which is easily seen to be the identity map.  And that means that every Scott-open subset of <strong>Q<\/strong>(<em>X<\/em>) is open in the upper Vietoris topology.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">We know that the converse implication holds when <em>X<\/em> is well-filtered, so we immediately obtain the following result, which we had announced earlier.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Proposition.<\/strong>  [2, Theorem 5.7]  The Scott and upper Vietoris topologies coincide on <strong>Q<\/strong>(<em>X<\/em>) provided that <em>X<\/em> is well-filtered and <strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>) is first-countable.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">We recall one of our earlier propositions: given a first-countable space&nbsp;<em>X<\/em> such that Min(<em>Q<\/em>) is countable for every&nbsp;<em>Q<\/em>&nbsp;\u2208&nbsp;<strong>Q<\/strong>(<em>X<\/em>), <strong>Q<\/strong><sub>V<\/sub>(<em>X<\/em>) is first-countable.  We have therefore prove the theorem announced at the beginning of this section: given any first-countable well-filtered space <em>X<\/em> such that Min(<em>Q<\/em>) is countable for every&nbsp;<em>Q<\/em>&nbsp;\u2208&nbsp;<strong>Q<\/strong>(<em>X<\/em>), the upper Vietoris topology and the Scott topology on&nbsp;<strong>Q<\/strong>(<em>X<\/em>)&nbsp;coincide.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"block-824204f2-53b0-4bbe-833f-c1a027d30d50\">Application: the Sorgenfrey line (2)<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">In the Sorgenfrey line <strong>R<\/strong><sub>\u2113<\/sub>, every compact (saturated) subset is countable.  We have already recalled that <strong>R<\/strong><sub>\u2113<\/sub> is first-countable, and well-filtered.  Hence:<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Proposition.<\/strong>  The Scott and upper Vietoris topologies agree on <strong>Q<\/strong>(<strong>R<\/strong><sub>\u2113<\/sub>), viz., <strong>Q<\/strong><sub>\u03c3<\/sub>(<strong>R<\/strong><sub>\u2113<\/sub>)=<strong>Q<\/strong><sub>V<\/sub>(<strong>R<\/strong><sub>\u2113<\/sub>).<\/p>\n\n\n\n<ol class=\"wp-block-list\">\n<li>Qingyu He, Gaolin Li, Xiaoyong Xi, and Dongsheng Zhao.  <a href=\"https:\/\/www.sciencedirect.com\/science\/article\/pii\/S1571066119300362\">Some Results on Poset Models Consisting of Compact Saturated Subsets<\/a>.  <a href=\"https:\/\/www.sciencedirect.com\/journal\/electronic-notes-in-theoretical-computer-science\">Electronic Notes in Theoretical Computer Science<\/a> <a href=\"https:\/\/www.sciencedirect.com\/science\/journal\/15710661\/345\/supp\/C\">345<\/a>, August 2019, pages 77-85.  Proceedings of ISDT 2019, the 8th International Symposium on Domain Theory and Its Applications, ISDT 2019, Yangzhou, China, June 2019, edited by&nbsp;Achim&nbsp;Jung,&nbsp;Qingguo&nbsp;Li,&nbsp;Luoshan&nbsp;Xu,&nbsp;Guo-Qiang&nbsp;Zhang.<\/li>\n\n\n\n<li>Xiaoquan Xu and Zhongqiang Yang.  <a href=\"https:\/\/doi.org\/10.1016\/j.topol.2020.107480\">Coincidence of the upper Vietoris topology and the Scott topology<\/a>.  <a href=\"https:\/\/www.sciencedirect.com\/science\/journal\/01668641\">Topology and its Applications<\/a> <a href=\"https:\/\/www.sciencedirect.com\/science\/journal\/01668641\/288\/supp\/C\">288<\/a>, February 2021.<\/li>\n\n\n\n<li>Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, and Dana S. Scott. Continuous Lattices and Domains. Number 93 in Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 2003.<\/li>\n<\/ol>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"alignright is-resized\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/wp-content\/uploads\/2016\/08\/jgl-2011.png\" alt=\"jgl-2011\" class=\"wp-image-993\" width=\"60\" height=\"83\"\/><\/figure>\n<\/div>\n\n\n<p class=\"wp-block-paragraph\">\u2014 <a href=\"https:\/\/www.lsv.ens-paris-saclay.fr\/~goubault\/?l=en\">Jean Goubault-Larrecq<\/a> (June 22nd, 2021)<\/p>\n","protected":false},"excerpt":{"rendered":"<p>I have already talked about the Smyth powerdomain Q(X) of a topological space. This is the space of all non-empty compact saturated subsets of X, and it has two natural topologies: In the book (Proposition 8.3.25), one finds that, when &hellip; <a href=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/?page_id=3930\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-3930","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/pages\/3930","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=3930"}],"version-history":[{"count":44,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/pages\/3930\/revisions"}],"predecessor-version":[{"id":5886,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/pages\/3930\/revisions\/5886"}],"wp:attachment":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=3930"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}