I have already given an argument for the non-consonance of the Sorgenfrey line **R**_{ℓ} here. As I have said last time, I would like to deal with the case of the space **Q** of rational numbers, and explain an argument due to Costantini and Watson [4]. Before we start, let me make an apology. This is probably the longest post I will ever have made, and it is pretty technical, too. Nonetheless, I have made my best to make the argument readable. Please forgive me if you find that all that is too long!

## A bit of history

That **Q** is not consonant was first proved by A. Bouziad [2]. His argument is a pretty simple measure theoretic argument, which shows that every consonant space is a Prohorov space, namely a space *X* such that the compact subsets of *P*(*X*) are exactly the uniformly tight sets—*P*(*X*) is the space of Radon probability measures on *X*, with the weak topology. As you may have guessed, this requires some knowledge of topological measure theory, which I will not get into. But this is not so difficult to acquire. The real difficulty is the second step: you need to argue that **Q** is not a Prohorov space, and that is a deep and technically demanding result due to D. Preiss [3].

Another argument was proposed by C. Costantini and S. Watson [4] a few years later. This one is much easier to explain. It is an elementary argument, one which builds fairly strange objects, but at least one that one can describe explicitly. Note that by *elementary*, I mean an argument that does not require elaborate notions or a lot of prior knowledge; an elementary argument need not be *simple*.

## Consonant spaces

As promised, let me recall that what a *consonant* space is. I have already spoken about them, for example here, here, or much more recently, here, but I guess that a refresher is never inappropriate.

Given any topological space *X*, you can form its lattice of open sets **O***X*, and then consider it with the Scott topology of inclusion. Among the Scott-open subsets of **O***X*, you can find the sets of the form ■*Q*, where *Q* is compact saturated in *X*: ■*Q* is the collection of open neighborhoods of *Q*, and the fact that *Q* is compact entails that ■*Q* is Scott-open in **O***X*. In fact, if *X* is sober, those sets ■*Q* are the only Scott-open *filters* that exist, by the Hofmann-Mislove theorem (Theorem 8.3.2 in the book). Any union of sets of the form ■*Q* is Scott-open in **O***X*, but does the converse hold? A space *X* is *consonant* precisely when this is the case, namely precisely when every Scott-open subset of **O***X* is a union of sets of the form ■*Q* with *Q* compact saturated.

The notion, introduced in [1], crops up regularly.

The consonant spaces are exactly those spaces *X* such that the Isbell and compact-open topologies coincide, on any space of continuous maps from *X* to any topological space *Y* (or just for *Y*=**S**, the Sierpiński space).

Every locally compact space is consonant (Exercise 5.4.12), and every T_{3} Čech-complete space is consonant (Exercise 8.3.4, namely the Dolecki-Greco-Lechicki theorem: Theorem 4.1 in [1]). Hence in particular Baire space **N ^{N}** is consonant, although it is not locally compact. Since then, we have learned that all quasi-Polish spaces, and even all LCS-complete spaces are consonant [5, Proposition 12.1].

In an important paper [6], M. de Brecht and T. Kawai have considered the question of the commutativity between the Hoare and Smyth hyperspace constructions. (It had been well known that the Hoare and Smyth *powerlocales* commute [7], without any assumption. But power locales and hyperspaces do not always coincide.) Let me not describe the question fully, and let me remain elusive about a few details. There is a Hoare hyperspace **H**(*X*) consisting of the closed subsets of *X*, with the so-called lower Vietoris topology. There is also a Smyth hyperspace **Q**(*X*) consisting of the compact saturated subsets of *X*, with the upper Vietoris topology. Now there is a continuous map σ : **H**(**Q**(*X*)) → **Q**(**H**(*X*)), which maps every closed subset **C** of **Q**(*X*) to {*C* ∈ **H**(*X*) | *C* intersects every compact subset of *X* that is in **C**}. De Brecht and Kawai show that σ is a homeomorphism if and only if *X* is consonant.

All right! Let us start attacking the question of the failure of consonance of **Q** for good.

**Q** is zero-dimensional

**Q**, as a subspace of **R**, is second-countable. Contrarily to **R**, it is *zero-dimensional*, meaning that its topology has a base of clopen sets. (A set is *clopen* if and only if it is both open and closed.)

Explicitly, for every irrational number *z*, the set **Q** ∩ ]–∞, *z*[ is open. Its complement in **Q** is the set **Q** ∩ ]*z*, +∞[, since *z* is irrational, and that complement is open, too. Hence both **Q** ∩ ]–∞, *z*[ and **Q** ∩ ]*z*, +∞[ are clopen. It follows that, for any two irrational numbers *z*<*z’*, **Q** ∩ ]*z*, *z’*[ is also clopen, as the intersection of **Q** ∩ ]–∞, *z’*[ and of **Q** ∩ ]*z*, +∞[. Now, given any point *x* of **Q** and any open neighborhood **Q** ∩ *U* of *x* in **Q** (where *U* is open in **R**), *U* contains an open interval ]*a*, *b*[ that contains *x*, and then there are irrational numbers *z* and *z’* such that *a*<*z*<*x* and *x*<*z’*<*b*. Hence the clopen set **Q** ∩ ]*z*, *z’*[ is an open neighborhood of *x* included in **Q** ∩ *U*. This shows that the sets **Q** ∩ ]*z*, *z’*[ with *z*<*z’* irrational form a base of clopen sets.

This base is uncountable, but there must be a countable one, by the following observation, and the fact that **Q** is second-countable (its topology is generated by sets **Q** ∩ ]*a*, *b*[ where *a*<*b* are both *rational*).

**Lemma A.** Every second-countable, zero-dimensional space has a *countable* base of clopen sets.

*Proof.* Let *V _{n}*,

*n*∈

**N**, enumerate the elements of a given countable base of the topology of a second-countable, zero-dimensional space

*X*. Let me say that the pair of natural numbers (

*m*,

*n*) is

*good*if and only if not only

*V*is included in

_{m}*V*, but there is even a clopen set

_{n}*O*such that

*V*⊆

_{m}*O*⊆

*V*. For every good pair (

_{n}*m*,

*n*), we pick exactly one clopen set

*O*such that

_{mn}*V*⊆

_{m}*O*⊆

_{mn}*V*. (Yes, we use to axiom of (countable) choice to do so.) I claim that the sets

_{n}*O*form a countable base of clopen sets.

_{mn}To this end, it suffices to show that they form a base. Let *x* be any point of *X*, and *U* be any open neighborhood of *x* in *X*. Since the sets *V _{n}* form a base of the topology, we can find one such that

*x*∈

*V*⊆

_{n}*U*. Since

*X*is zero-dimensional, there is a clopen set

*O*such that

*x*∈

*O*⊆

*V*. Since the sets

_{n}*V*,

_{m}*m*∈

**N**, form a base, we can find one such that

*x*∈

*V*⊆

_{m}*O*. To sum up, we have

*x*∈

*V*⊆

_{m}*O*⊆

*V*⊆

_{n}*U*. In particular, (

*m*,

*n*) is a good pair. By definition, we have

*x*∈

*V*⊆

_{m}*⊆*

*O*_{mn}*V*⊆

_{n}*U*, in particular

*x*∈

*⊆*

*O*_{mn}*U*, and this concludes the proof. ☐

## The sketch of Costantini and Watson’s argument

Costantini and Watson’s argument applies to any non-empty space that is:

- second-countable, zero-dimensional (we have just seen that
**Q**fits) - in which every compact subset is scattered (this is the case of
**Q**, as we have seen in Lemma A last time) - and with no non-empty compact open subset.

This is not exactly what Theorem 1 of [4] assumes. There, Costantini and Watson assume a zero-dimensional separable metrizable space in which every compact subset is scattered, and with no isolated point. (I guess they implicitly assumed it would be non-empty as well, otherwise their theorem would be trivially wrong!)

However, for a non-empty space *X*, Costantini and Watson’s assumptions imply ours. Indeed, first, any separable metrizable space is second-countable. Second, if every compact subset is scattered and the space has no isolated point, then it has no non-empty compact open set. (Imagine *K* is non-empty, compact, and open in such a space *X*. By assumption, *K* is scattered, hence it has an isolated point *x*. Namely, there is an open subset *U* of *X* such that *U* ∩ *K* = {*x*}. Since *K* is open, so is *U* ∩ *K*, and therefore *x* is isolated in *X*, which is impossible.)

**Q** has no isolated point: for any rational number *x*, every open neighborhood of *x* must contain a basic open set **Q** ∩ ]*a*, *b*[ where *a*<*x*<*b*, and that open neighborhood therefore cannot be just {*x*}. It follows that, indeed, **Q** contains no non-empty compact open subset. Alternatively, remember that the interior of every compact subset of **Q** is empty (see Exercise 4.8.4 in the book), so every compact open set coincides with its interior, hence is empty.

Hence **Q** satisfies all the assumptions 1–3 given above. And those are all the assumptions we will need.

I am saying that as though we were going to prove a more general result than Costantini and Watson’s, but that is certainly not the case. Our assumptions are in fact equivalent to theirs. Let us see why. Our assumption 2 implies that *X* is T_{0}: if *x* and *y* are two points that have the same open neighborhoods, then {*x*,*y*} has no isolated point, hence is dense-in-itself; it also compact, hence scattered by 2, and therefore contains no non-empty dense-in-itself subset, which is impossible. Together with assumption 1, *X* is T_{2}: if *x*≠*y* then some open neighborhood *U* of *x*, say, fails to contain *y*, and then we may assume that *U* is clopen. By a similar argument, *X* is even T_{3}. Now any space that is second-countable and T_{3} is separable metrizable, by the Urysohn-Tychonoff metrization theorem (Theorem 6.3.44 in the book). Finally, if there is no non-empty compact open set, then no point can be isolated: if *x* were an isolated point, then {*x*} would be non-empty, compact, and open. Hence Costantini and Watson’s assumptions are equivalent to ours.

Costantini and Watson’s construction proceeds as follows. Let *X* be a space satisfying conditions 1–3. We form a collection of clopen sets (which they write as ψ(*n*,*f*), where *n* ranges over the natural numbers and *f* ranges over certain functions—in fact when (*n*, *f*) ranges over so-called *reachable configurations*, as we will call them below), and we form the collection ** U** of all open subsets of

*X*that intersect every ψ(

*n*,

*f*).

The point of the construction is that, by devising the sets ψ(*n*,*f*) in a suitably clever fashion,

will simply contain no subset of the form ■*U**Q*, for any compact subset*Q*of*X*;- and
will be Scott-open in*U***O***X*.

** U** is the collection of open sets that intersect every set ψ(

*n*,

*f*), hence

**is also the intersection of the sets {**

*U**U*∈

**O**

*X*|

*U*intersects ψ(

*n*,

*f*)} when

*n*and

*f*vary. Each of the sets {

*U*∈

**O**

*X*|

*U*intersects ψ(

*n*,

*f*)} is trivially Scott-open, and we will have to work pretty hard to ensure that their intersection is still Scott-open.

In order to show that ** U** contains no subset of the form ■

*Q*, for any compact subset

*Q*of

*X*, we will rely on the game-theoretic characterization of compact scattered sets we discovered last time. By assumption 2, every compact subset

*Q*of

*X*is scattered, so player I has a winning strategy in the associated game

*G*(

*Q*). We will build ψ(

*n*,

*f*) in such a way that player II can always prevent player I from winning that game.

## The sets ψ(*n*,*f*)

By assumption 1 (*X* is second-countable and zero-dimensional) and Lemma A, *X* has a countable base of clopen sets. We enumerate those clopen sets as (*O _{n}*)

_{n ∈ N}. In a first approach, which we will have to modify slightly later, we build the following complete binary tree:

This tree is organized in levels, indexed by natural numbers *n*, and vertices at level *n* are labeled with intersections of sets ±*O*_{0}, ±*O*_{1}, …, ±*O _{n}*

_{–1}, where the signs ± may be chosen independently as + or –. By convention, I will write +

*O*for

_{i}*O*, and –

_{i}*O*for its complement.

_{i}Formally, the vertices of this tree are finite words *w* over the alphabet ∑≝{+, –}. The *level* of *w* is simply its length, and if *w* is the word ±_{0} ±_{1} … ±_{n–1} where each letter ±* _{i}* is taken from {+, –}, then we label the vertex

*w*with the clopen set ±

_{0}

*O*

_{0}∩ ±

_{1}

*O*

_{1}∩ … ∩ ±

_{n–1}

*O*

_{n–1}. For example, look at the picture above and consider the word +–. This one sits at level

*n*=2, and is labeled by the clopen set +

*O*

_{0}∩ –

*O*

_{1}.

There are 2* ^{n}* vertices in this tree at level

*n*. In other words, the set ∑

*of words of length*

^{n}*n*over the alphabet ∑ has cardinality 2

*. Those vertices are labeled with pairwise disjoint clopen sets, but beware that some may be empty. Deep down in the details of things to come, this would cause some problems (namely, in Lemma E). Costantini and Watson repair this by a kludge (bottom of p.261 and top of p.262, until the end of the proof of Lemma 2 in [4]). Instead, we build a slightly different labeling of our complete binary tree, where vertices may be labeled with clopen sets of the form ±*

^{n}_{0}

*O*

_{i0}∩ ±

_{1}

*O*

_{i1}∩ … ∩ ±

_{n–1}

*O*

_{in–1}, with

*i*

_{0},

*i*

_{1}, …,

*i*

_{n–1}pairwise distinct (in fact,

*i*

_{0}<

*i*

_{1}<…<

*i*

_{n–1}, and the point is that indices may fail to be consecutive). We define the label of each vertex

*w*by induction on the length of

*w*as follows. We label the empty word (the root of the tree) with

*X*, as before. This is non-empty… because we have

*assumed*

*X*to be non-empty. If

*w*is labeled with a non-empty clopen set

*O*

_{w}≝ ±

_{0}

*O*

_{i0}∩ ±

_{1}

*O*

_{i1}∩ … ∩ ±

_{n–1}

*O*

_{in–1}, then let

*i*

_{n}be the smallest natural number (necessarily distinct from

*i*

_{0},

*i*

_{1}, …,

*i*

_{n–1}) such that both

*O*

_{w}∩ +

*O*

_{in}and

*O*

_{w}∩ –

*O*

_{in}are non-empty. We label the word

*w*+ (

*w*with an additional letter + at the end) by

*O*

_{w}∩ +

*O*

_{in}and the word

*w*– by

*O*

_{w}∩ –

*O*

_{in}. We still have to justify that such a number

*i*

_{n}exists, and we do this as follows. We have seen that our assumptions imply that

*X*has no isolated point, and is T

_{1}(even T

_{2}). Since

*X*has no isolated point, and since

*O*

_{w}is non-empty, it cannot contain just one point. Let therefore

*x*and

*y*be two distinct points in

*O*

_{w}. Since

*X*is T

_{1},

*x*has an open neighborhood

*U*that does not contain

*y*.

*U*must contain a basic open set

*O*

_{k}that contains

*x*. Since

*O*

_{k}contains

*x*and not

*y*,

*k*must be distinct from

*i*

_{0},

*i*

_{1}, …,

*i*

_{n–1}, and we define

*i*

_{n}as the least such

*k*.

I will reuse the notation *O*_{w} over and over to denote the (non-empty!) clopen set that labels *w*, for every vertex *w*. Although that is not quite completely correct, I will also consider that *O*_{w} is equal to ±_{0}*O*_{0} ∩ ±_{1}*O*_{1} ∩ … ∩ ±_{n–1}*O*_{n–1} (not the more complex object ±_{0}*O*_{i0} ∩ ±_{1}*O*_{i1} ∩ … ∩ ±_{n–1}*O*_{in–1}) if *w* is the word ±_{0} ±_{1} … ±_{n–1}, in examples.

So far so good.

For each natural number *n*, we will build certain subsets of ∑* ^{n}*, namely we will pick certain families of vertices all sitting at level

*n*, and we will consider the union of their labels. For example, with

*n*=2, if we decide to pick the vertices +–, ––, and –+, then the union of their labels is the union of +

*O*

_{0}∩ –

*O*

_{1}, –

*O*

_{0}∩ –

*O*

_{1}, and –

*O*

_{0}∩ +

*O*

_{1}. In that particular example, note that this union can be simplified to (+

*O*

_{0}∩ –

*O*

_{1}) ∪ –

*O*

_{0}, but we will not make such simplifications.

The specific unions of (labels of) vertices all sitting at the same level *n* that we will pick are the sets ψ(*n*,*f*) that we have mentioned earlier; here *n* varies over the natural numbers, and *f* are certain functions that will encode which vertices *w* we pick from ∑* ^{n}*.

The way the functions *f* are built is technical. First, those functions *f* are maps from ∑* ^{n}* to {–1, 0, 1}, and the vertices that we will pick are those

*w*∈ ∑

*such that*

^{n}*f*(

*w*) equals 1 or –1. One may wonder why we need two values, 1 and –1, to do that. Hopefully this will become clearer below; that is needed in order to be able to specify which functions

*f*we will accept as possible arguments of ψ. For reasons that will once again become clearer later, one may think 1 as meaning “possibly taken”, 0 as “not taken”, and –1 as “definitely taken”.

Here is a way of building those functions *f*. The construction I am going to give is slightly different from Costantini and Watson’s, but not in any essential way; I have not managed to simplify it much.

Let me call a *configuration* any pair (*n*, *f*) where *n* is a natural number and *f* is any (for now) function from ∑* ^{n}* to {–1, 0, 1}. We build a directed graph whose set of vertices consists of configurations. A directed graph is simply a binary relation → between configurations, and we define it as follows:

- (
*n*,*f*) → (*m*,*g*) if and only if*m*>*n*, and*f*and*g*are related as follows:- (“move of the first kind”) for every
*w*∈ ∑such that^{n}*f*(*w*)=1, then the words*ww’*of length*m*having*w*as prefix are mapped to 1 by*g*, except exactly one of them, which is mapped to 0; - (“move of the second kind”) for every
*w*∈ ∑such^{n}*f*(*w*)=0, then the words*ww’*of length*m*having*w*as prefix are mapped to 0 by*g*, except exactly one of them, which is mapped to –1; - (“move of the third kind”) for every
*w*∈ ∑such that^{n}*f*(*w*)=–1, then all the words*ww’*of length*m*having*w*as prefix are mapped to –1 by*g*.

- (“move of the first kind”) for every

The effect of moves of the first kind (item 1 above) is to make a kind of dent in the clopen set *O*_{w}, as selected by *f* at level *n*: if *w* is possibly taken by *f* (i.e., *f*(*w*)=1), then all of its extensions *ww’* of length *m* are still possibly taken by *g* at level *m*, except exactly one. Hence *g* encodes the fact that we chop off one small *sliver* *O*_{ww’} from *O*_{w}, and keep the rest as possibly taken. Hopefully the picture below will make this clear. That is the part of the construction needed in order to show that ** U** will contain no subset of the form ■

*Q*, for any compact subset

*Q*of

*X*. (This is where our moves are simpler than Costantini and Watson’s: in their scheme, one would group the clopen chunks on the bottom row in successive pairs, and one would require exactly one chunk of the pair to be possibly taken and the other one to not be taken.)

The effect of moves of the second kind (item 2) is to *add back* a unique *splinter* *O*_{ww’} as part of the clopen sets that we take wrt. *g* (and this time, definitely). See the picture below. That is needed in order to show that ** U** is Scott-open.

Finally, moves of the third kind (item 3) are just meant to justify the term ‘definitely taken’, as the following picture should illustrate.

All in all, transitions rewrite all clopen chunks *O _{w}* at level

*n*to corresponding unions of smaller clopen chunks at level

*m*, and here is a picture where we have exactly one clopen chunk

*O*of each kind:

_{w}We define the *initial configuration* as (0, {ε ↦ 1}). Namely, at level 0, there is a unique vertex, which happens to be the empty word ε, and it is possibly taken. Note that its image by ψ is the whole space *X*.

Finally, we let *Reach* denote the set of all configurations (*n*, *f*) that are reachable from the initial configuration, namely such that (0, {ε ↦ 1}) →* (*n*, *f*), where →* denotes zero, one or more successive → steps. If you prefer, *Reach* is the smallest set of configurations such that:

- the initial configuration (0, {ε ↦ 1}) is in
*Reach*; - for every (
*n*,*f*) in*Reach*, every configuration (*m*,*g*) such that (*n*,*f*) → (*m*,*g*) is in*Reach*, too.

We recall that for each configuration (*n*, *f*), reachable or not, ψ(*n*,*f*) is the union of the sets *O _{w}*, where

*w*ranges over the words of ∑

*such that*

^{n}*f*(

*w*) equals 1 or –1 (namely, the union of those sets that are either possibly or definitely taken).

Finally, we define ** U** as the collection of open subsets of

*X*that intersect ψ(

*n*,

*f*) for every reachable configuration (

*n*,

*f*), namely for every (

*n*,

*f*) ∈

*Reach*.

## A useful lemma

For every *x* ∈ *X*, and every *m* ∈ **N**, let *O*(*x*,*m*) be the unique clopen chunk *O _{w}* containing

*x*and such that

*w*has length

*m*. (The set

*O*(

*x*,

*m*) is called

*V*(

*x*,

*m*) in [4], in case you would like to know.) We will keep using the following lemma.

**Lemma B.** Given any open neighborhood *U* of *x*, *O*(*x*,*m*) is included in *U* for *m* large enough.

This is due to the fact that the clopen sets *O _{k}* form a base of the topology, hence also the sets

*O*that label the vertices

_{w}*w*. Proving Lemma B formally would involve juggling with all sorts of indices, as in the notation ±

_{0}

*O*

_{i0}∩ ±

_{1}

*O*

_{i1}∩ … ∩ ±

_{n–1}

*O*

_{in–1}, proving that the way we built those labels ensure that

*i*

_{0}<

*i*

_{1}<…<

*i*

_{n–1}, and that for every number

*k*<

*i*

_{n–1}distinct from

*i*

_{0},

*i*

_{1}, …,

*i*

_{n–1}, one of the sets ±

_{0}

*O*

_{i0}∩ ±

_{1}

*O*

_{i1}∩ … ∩ ±

_{n–1}

*O*

_{in–1}∩ +

*O*and ±

_{k}_{0}

*O*

_{i0}∩ ±

_{1}

*O*

_{i1}∩ … ∩ ±

_{n–1}

*O*

_{in–1}∩ –

*O*is empty, and the other is equal to ±

_{k}_{0}

*O*

_{i0}∩ ±

_{1}

*O*

_{i1}∩ … ∩ ±

_{n–1}

*O*

_{in–1}, and so on; quite a mess, in my opinion. Hopefully the idea is clear. Costantini and Watson do not make the proof explicit either (see the last paragraph of the proof of Lemma 2 in [4], at the top of page 262.)

Anyway, let us proceed to something more interesting. I guess that the funny definition of the transition relation → was obtained by trial and error, certainly, but that the first productive iteration was in trying to show that ** U** contains no subset of the form ■

*Q*, for any compact subset

*Q*of

*X*, using the argument we explain next.

*U* contains no subset of the form ■*Q*, for any compact subset *Q* of *X*

*U*

In order to show that ** U** contains no subset of the form ■

*Q*, for any compact subset

*Q*of

*X*, we first make a simplifying observation.

**Lemma B.** ** U** contains ■

*Q*if and only if

*Q*intersects ψ(

*n*,

*f*) for every reachable configuration (

*n*,

*f*).

*Proof.* This really rests on just the fact that every set ψ(*n*,*f*) is closed. If *Q* intersects ψ(*n*,*f*), then every open neighborhood of *Q* also intersects ψ(*n*,*f*), and that proves the if direction. Conversely, if *Q* does not intersect ψ(*n*,*f*), for some reachable configuration (*n*, *f*), then it is included in its complement; let us call *U* that complement, and let us note that *U* is open (clopen, really). That set *U* is an open neighborhood of *Q* that does not intersect ψ(*n*,*f*), so ■*Q* is not included in ** U**. ☐

Now we recall that assumption 2 on *X* states that every compact subset *Q* of *X* is scattered. It is time to recall the game *G*(*Q*) of last time:

*C*_{0}≝*Q*; at each round*n*, player I wins if*C*is empty, otherwise:_{n}- Player I picks an element
*x*_{n}_{+1}from*C*._{n} - Player II responds with an open neighborhood
*V*_{n}_{+1}of*x*_{n}_{+1}; let*C*_{n}_{+1}≝*C*–_{n}*V*_{n}_{+1}and proceed to the next round.

If *Q* is compact and scattered, then player I has a winning strategy in this game. We will show that if ■*Q* is included in ** U**, namely if

*Q*intersects ψ(

*n*,

*f*) for every reachable configuration (

*n*,

*f*), then player II has a strategy that prevents player I from winning. This will show that

**cannot contain any set ■**

*U**Q*, for any compact (necessarily scattered) subset

*Q*of

*X*.

In the rest of this section, we therefore assume that *Q* intersects ψ(*n*,*f*) for every reachable configuration (*n*, *f*).

At the start of the game, we have *C*_{0} = *Q*. Player I immediately wins if that is empty, but it is not. Indeed, since *Q* intersects ψ(*n*,*f*) for every reachable configuration (*n*, *f*), it does so in particular for the initial configuration (0, {ε ↦ 1}), whose ψ value is the whole of *X*. Hence *Q* intersects *X*, which means that *Q* cannot be empty.

Now, we will make sure that player II plays in such a way that the following two invariants are maintained, at each round *n*:

- (A
)_{n}*C*is equal to_{n}*Q*∩ ψ(*m*,_{n}*f*) for some reachable configuration (_{n}*m*,_{n}*f*);_{n} - (B
)_{n}*Q*is disjoint from any set*O*where_{w}*w*has length*m*and_{n}*f*(_{n}*w*)=–1.

(A* _{n}*) implies that

*C*will be non-empty (since

_{n}*Q*intersects ψ(

*m*,

_{n}*f*), by assumption), hence that player I cannot win in round

_{n}*n*. (B

*) means that whatever clopen chunks*

_{n}*O*were definitely taken in ψ(

_{w}*m*,

_{n}*f*) will be disjoint from

_{n}*Q*. As I have said above, the rôle of the chunks that are definitely taken will be to ensure that

**is Scott-open. In view of showing that**

*U***does not contain ■**

*U**Q*(our current task), those definitely taken chunks are more of a pain in the neck, and invariant (B

*) is there to ensure that they won’t bother us.*

_{n}Pictorially, that invariant (B* _{n}*) reads as follows:

Additionally, invariant (A* _{n}*) tells us that

*C*is equal to

_{n}*Q*∩ ψ(

*m*,

_{n}*f*), hence that

_{n}*C*is entirely contained in the gray (possibly taken, mapped by

_{n}*f*to 1) area inside

_{n}*Q*.

Initially, namely when *n*=0, we take (*m*_{0}, *f*_{0}) to be the initial configuration (0, {ε ↦ 1}). Then ψ(*m*_{0},*f*_{0})=*X*, *C*_{0} = *Q*, so (A_{0}) is true. (B_{0}) is trivial since *f*_{0} does not take the value –1.

Now, assume that we are at round *n*, and that (A* _{n}*) and (B

*) hold. Player I picks an element*

_{n}*x*

_{n}_{+1}from

*C*(hence in one of the possibly taken, gray clopen chunks

_{n}*O*above), and we now describe how player II will play in order to ensure that

_{w}*C*

_{n}_{+1}=

*C*–

_{n}*V*

_{n}_{+1}is equal to

*Q*∩ ψ(

*m*

_{n}_{+1},

*f*

_{n}_{+1}) for some reachable configuration (

*m*

_{n}_{+1},

*f*

_{n}_{+1}) satisfying (A

_{n}_{+1}) and (B

_{n}_{+1}). In order to ensure that (

*m*

_{n}_{+1},

*f*

_{n}_{+1}) is reachable, we will simply find it as a successor of (

*m*,

_{n}*f*); in other words, we will ensure that (

_{n}*m*,

_{n}*f*) → (

_{n}*m*

_{n}_{+1},

*f*

_{n}_{+1}). As I said earlier, this is probably how this idea of a transition relation → came about.

(A_{n}_{+1}) is easy to satisfy. Whatever value of *m _{n}*

_{+1}>

*m*we will choose, we can just chop off the small sliver

_{n}*O*around

_{ww’}*x*

_{n}_{+1}from

*O*as shown below.

_{w}That is a move of the first kind, as used in the definition of the transition relation →. Whatever value for *m _{n}*

_{+1}we will decide on, we set the unique word

*w’*of length

*m*

_{n}_{+1}–

*m*such that

_{n}

*f*_{n}_{+1}(

*ww’*)=0 (this is what chopping off

*O*really means) by defining it as the unique one such that

_{ww’}*O*=

_{ww’}*O*(

*x*

_{n}_{+1},

*m*

_{n}_{+1}).

Let us verify that invariant (A_{n}_{+1}) is satisfied. We let player II play the complement of ψ(*m _{n}*

_{+1},

*f*

_{n}_{+1}) for

*V*

_{n}_{+1}, which is open (clopen, really). We have

*C*

_{n}_{+1}=

*C*–

_{n}*V*

_{n}_{+1}by definition of the game, and that is equal to

*C*∩ ψ(

_{n}*m*

_{n}_{+1},

*f*

_{n}_{+1}) by definition of

*V*

_{n}_{+1}, hence to

*C*∩ ψ(

_{n}*m*,

_{n}*f*) ∩ ψ(

_{n}*m*

_{n}_{+1},

*f*

_{n}_{+1}) by (A

*). In order to show that this is equal to*

_{n}*C*∩ ψ(

_{n}*m*

_{n}_{+1},

*f*

_{n}_{+1}), it suffices to observe that

*C*∩ ψ(

_{n}*m*

_{n}_{+1},

*f*

_{n}_{+1}) is included in

*C*∩ ψ(

_{n}*m*,

_{n}*f*) (although ψ(

_{n}*m*

_{n}_{+1},

*f*

_{n}_{+1}) is not included in ψ(

*m*

_{n}_{+1},

*f*

_{n}_{+1})!). This is because

*C*∩ ψ(

_{n}*m*,

_{n}*f*) is a union of gray chunks at level

_{n}*m*by (A

_{n}*) and (B*

_{n}*), and all of those are replaced by a union of smaller gray chunks in order to form*

_{n}*C*∩ ψ(

_{n}*m*

_{n}_{+1},

*f*

_{n}_{+1}).

(B_{n}_{+1}) is harder to satisfy, because of the moves of the second kind, namely those by which we replace a clopen chunk that is not taken at level *m _{n}* (in white) by several smaller clopen chunks at level

*m*

_{n}_{+1}, of which exactly one is now definitely taken (in black). See the picture below. (The point

*z*and the clopen chunk

_{w}*O*(

*z*,

_{w}

*m*_{n}_{+1}) will be constructed in a moment.)

The trick is to make sure that the new small black chunk added at level level *m _{n}*

_{+1}, is simply disjoint from

*Q*. This is always possible because of Lemma B, once again. Let us see how.

Let *O _{w}* be any clopen chunk at level

*m*that is not taken (formally,

_{n}*w*has length

*m*, and

_{n}*f*(

_{n}*w*)=0).

*Q*∩

*O*is compact, since

_{w}*O*is closed. If

_{w}*Q*∩

*O*=

_{w}*O*, then it would be open, since

_{w}*O*is also open. We recall that

_{w}*X*has no non-empty compact open subset: therefore

*Q*∩

*O*=

_{w}*O*must be false, since we made sure that

_{w}*O*is non-empty. This means that

_{w}*∩*

*Q**is a proper subset of*

*O*_{w}*O*. Hence there is a point

_{w}*z*of

_{w}*O*that is not in

_{w}*Q*. Let us recall that, as a consequence of our assumptions on

*X*,

*X*is T

_{2}. Hence the complement

*U*of

*Q*is open. We apply Lemma B, and we find that

*O*(

*z*,

_{w}*m*) is disjoint from

*Q*for

*m*large enough.

Explicitly, there is a natural number *k _{w}* (let us not forget that it may depend on the given word

*w*of length

*m*such that

_{n}*f*(

_{n}*w*)=0 we started with) such that

*O*(

*z*,

_{w}*m*) is disjoint from

*Q*for every

*m*≥

*k*.

_{w}There are only finitely many words *w* of length *m _{n}*, so let

*m*_{n}_{+1}be any natural number larger than or equal to all the numbers

*k*, where

_{w}*w*ranges over the words of length

*m*such that

_{n}*f*(

_{n}*w*)=0 and

*O*is non-empty, and also larger than or equal to

_{w}*m*+1. We have obtained that

_{n}*O*(

*z*,

_{w}

*m*_{n}_{+1}) (contains

*z*and) is disjoint from

_{w}*Q*, for every word

*w*of length

*m*such that

_{n}*f*(

_{n}*w*)=0 and

*O*is non-empty, and this secures the part of (B

_{w}

_{n}_{+1}) that is concerned with moves of the second kind.

In summary, here is how we define (*m _{n}*

_{+1},

*f*

_{n}_{+1}), in such a way that (

*m*,

_{n}*f*) → (

_{n}*m*

_{n}_{+1},

*f*

_{n}_{+1}), and (A

_{n}_{+1}) and (B

_{n}_{+1}) are satisfied. We recall that player I has played a point

*x*

_{n}_{+1}in

*C*, that

_{n}*C*=

_{n}*Q*∩ ψ(

*m*,

_{n}*f*) by (A

_{n}*), and that*

_{n}*Q*is disjoint from the black clopen chunks at level

*m*by (B

_{n}*).*

_{n}- First, we define
*m*_{n}_{+1}as above, namely larger than or equal to*m*+1 and to all the numbers_{n}*k*, where_{w}*w*ranges over the words of length*m*such that_{n}*f*(_{n}*w*)=0. Then, for every word*w*of length*m*:_{n} - (Moves of the second kind) If
*f*(_{n}*w*)=0, then we consider the point*z*chosen above in_{w}*O*–_{w}*Q*. There is a unique word*w’*of length*m*_{n}_{+1}–*m*such that_{n}*O*=_{ww’}*O*(*z*,_{w}*m*_{n}_{+1}), the small clopen chunk around*z*at level_{w}*m*_{n}_{+1}, and we let*f*_{n}_{+1}(*ww’*) ≝ –1 (this chunk is now definitely taken [black], and disjoint from*Q*, by construction). For all the other words*w’*of length*m*_{n}_{+1}–*m*, and as required for moves of the second kind, we let_{n}*f*_{n}_{+1}(*ww’*) ≝ 0. - (Moves of the first kind) If the point
*x*_{n}_{+1}played by player I is in*O*, namely if the word_{w}*w*is the unique word of length*m*such that_{n}*O*=_{w}*O*(*x*_{n}_{+1},), then let*m*_{n}*w’*be the unique word*w’*of length*m*_{n}_{+1}–*m*such that_{n}*O*_{ww’}(*O*,*x*_{n}_{+1}*m*_{n}_{+1}) (the sliver to be chopped off), and we define*f*_{n}_{+1}(*ww’*) ≝ 0; otherwise, we pick any word*w’*of length*m*_{n}_{+1}–*m*, and let_{n}*f*_{n}_{+1}(*ww’*) ≝ 0, too. For all the other words*w’*of length*m*_{n}_{+1}–*m*, and as required for moves of the first kind, we let_{n}*f*_{n}_{+1}(*ww’*) ≝ 1 (all the other small clopen chunks remain possibly taken [gray]). - (Moves of the third kind) There is no choice: we must define
*f*_{n}_{+1}(*ww’*) as –1 for every word*w’*of length*m*_{n}_{+1}–*m*._{n}

The set *V _{n}*

_{+1}that player II now plays is the complement of ψ(

*m*

_{n}_{+1},

*f*

_{n}_{+1}). We have argued that this was a legal game play, in the sense that

*V*_{n}_{+1}is an open neighborhood of

*x*

_{n}_{+1}. We have also argued that (A

_{n}_{+1}) is satisfied. (B

_{n}_{+1}) is satisfied, too, in the sense that

*Q*is still disjoint from the collection of definitely taken clopen chunks with respect to

*f*

_{n}_{+1}, simply because those that come from moves of the second kind were chosen disjoint from

*Q*(and those that come from moves of the third kind were already included in chunks that were definitely taken with respect to

*f*, hence already disjoint from

_{n}*Q*by (B

*).) ☐*

_{n}We are done! Let us sum up. We have assumed that ** U** contained a set of the form ■

*Q*, for some compact set

*Q*. By Lemma B,

*Q*intersects ψ(

*n*,

*f*) for every reachable configuration (

*n*,

*f*). This allowed us to devise a strategy for player II in the game

*G*(

*Q*), by following a sequence of transitions (

*m*

_{0},

*f*

_{0}) → (

*m*

_{1},

*f*

_{1}) → … → (

*m*,

_{n}*f*) → …, where (

_{n}*m*

_{0},

*f*

_{0}) is the initial configuration, and in such a way that, at each round

*n*,

*C*is equal to

_{n}*Q*∩ ψ(

*m*,

_{n}*f*) (by (A

_{n}*)). Since (*

_{n}*m*,

_{n}*f*) is reachable,

_{n}*Q*intersects ψ(

*m*,

_{n}*f*), so

_{n}*C*is not empty, and therefore player I cannot win. However, every compact subset of

_{n}**Q**is scattered, so player I has a winning strategy in

*G*(

*Q*). This is a contradiction. This allows us to conclude:

**Fact.** ** U** contains no set of the form ■

*Q*, for any compact set

*Q*.

*U* is Scott-open

*U*

In order to show that ** U** is Scott-open, we will first require the following two observations about the transition relation →. Those are Lemma 3 and Lemma 4 in [4], respectively, and you can probably see how moves of the second kind were invented in order to ensure that Lemma D would hold.

**Lemma D.** For all configurations (*n*, *g*) and (*m*, *f*) such that (*n*, *g*) → (*m*, *f*), for every *w* ∈ ∑* ^{n}*,

*O*intersects ψ(

_{w}*m*,

*f*).

*Proof.* This should be clear from the picture below, where we have shown the three possible cases we have for *w*; recall that ψ(*m*,*f*) is the union of the gray and black regions on the bottom row (level *m*). Recall that all the clopen chunks involved are non-empty, by construction. ☐

**Lemma E.** For all configurations (*n*, *g*) and (*m*, *f*) such that (*n*, *g*) → (*m*, *f*), for every *w* ∈ ∑* ^{n}* such that

*g*(

*w*)≠0, for every

*w’*∈ ∑

^{m}^{–}

^{n}^{–1},

*O*intersects ψ(

_{ww’}*m*,

*f*).

*Proof.* This should be obvious from the picture below, where the two possible cases we have for *w* are when *O _{w}* is colored gray (left) or black (right), not white; recall that ψ(

*m*,

*f*) is the union of the gray and black regions on the bottom row (level

*m*). The sets

*O*that are mentioned in the lemma are those one level above the bottom row, not on the bottom row (those are the small light gray rectangles, and we have shown eight of them). It is important that all those sets

_{ww’}*O*be non-empty, and this is why we label the vertices of the complete binary tree by non-empty clopen sets only. ☐

_{ww’}Now let us get on to the actual proof. For every net (*C _{i}*)

_{i ∈ I, ⊑}of closed subsets of

*X*, we can define its

*limit superior*in the complete lattice of closed subsets of

*X*:

limsup_{i ∈ I, ⊑} *C _{i}* ≝ inf

_{i ∈ I}sup

_{j ⊒ i}

*C*= ∩

_{j}_{i ∈ I}cl (∪

_{j ⊒ i}

*C*)

_{j}The closure operator (cl) is needed because suprema in the lattice of closed subsets of *X* are given by *closures* of unions. The following will come in handy. I will say that *U* intersects *C _{i}* for

*cofinally many i*∈

*I*if and only if for every

*i*∈

*I*, there is a

*j*⊒

*i*such that

*U*intersects

*C*. If

_{j}*I*were the set of natural numbers in its usual ordering, that would simply mean that

*U*intersects

*C*for infinitely many values of

_{i}*i*.

**Lemma F.** Let (*C _{i}*)

_{i ∈ I, ⊑}be a net of closed subsets of

*X*. For every

*x*∈

*X*,

*x*is in limsup

_{i ∈ I, ⊑}

*C*if and only if every open neighborhood

_{i}*U*of

*x*intersects

*C*for cofinally many

_{i}*i*.

*Proof.* If *x* is in limsup_{i ∈ I, ⊑} *C _{i}*, then for every

*i*∈

*I*,

*x*is in cl (∪

_{j ⊒ i}

*C*). Then every open neighborhood of

_{j}*x*must intersect cl (∪

_{j ⊒ i}

*C*), hence also ∪

_{j}_{j ⊒ i}

*C*, hence it must intersect

_{j}*C*for some

_{j}*j*⊒

*i*. Conversely, let us assume that every open neighborhood

*U*of

*x*intersects

*C*for cofinally many

_{i}*i*. In particular, for every open neighborhood

*U*of

*x*, for every

*i*∈

*I*,

*U*intersects cl (∪

_{j ⊒ i}

*C*). If

_{j}*x*is not in limsup

_{i ∈ I, ⊑}

*C*, then by definition of the limit superior, there is an

_{i}*i*∈

*I*such that

*x*is not in cl (∪

_{j ⊒ i}

*C*). Let

_{j}*U*be the complement of cl (∪

_{j ⊒ i}

*C*). That is an open neighborhood of

_{j}*x*, and one that does not intersect cl (∪

_{j ⊒ i}

*C*), and that is impossible. ☐

_{j}The reason why limit superiors are important here is because of the following. (In passing, allow me to say that ψ(* n*,

*) is itself a reachable configuration when I mean that this is the value that ψ takes on the reachable configuration (*

*f**,*

*n**).)*

*f***Lemma G.** ** U** is Scott-open if and only if for every net (ψ(

*,*

*m*_{i}*))*

*f*_{i}_{i ∈ I, ⊑}consisting of reachable configurations, there is a reachable configuration (

*n*,

*f*) such that ψ(

*,*

*n**) ⊆ limsup*

*f*_{i ∈ I, ⊑}ψ(

*,*

*m*_{i}*).*

*f*_{i}*Proof.* Let me recall that ** U** is the collection of all open sets that intersects ψ(

*,*

*n**) for every reachable configuration (*

*f**n*,

*f*). That is clearly upwards-closed in the inclusion ordering.

Let us first assume that ** U** is Scott-open. For every

*i*∈

*I*, let

*U*be the complement of cl (∪

_{i}_{j ⊒ i}ψ(

*)). Then (*

*,**m*_{j}*f*_{j}*U*)

_{i}_{i ∈ I, ⊑}is a monotone net of open subsets of

*X*. Moreover, the union

*U*of all the sets

*U*is the complement of limsup

_{i}_{i ∈ I, ⊑}ψ(

*,*

*m*_{i}*). We note that no*

*f*_{i}*U*is in

_{i}**, because**

*U**U*does not intersect ψ(

_{i}*,*

*m*_{i}*). Since*

*f*_{i}**is Scott-open,**

*U**U*cannot be in

**either. By definition, there must be a reachable configuration (**

*U**n*,

*f*) such that ψ(

*,*

*n**) does not intersect*

*f**U*. Since

*U*is the complement of limsup

_{i ∈ I, ⊑}ψ(

*,*

*m*_{i}*), ψ(*

*f*_{i}*,*

*n**) must be included in limsup*

*f*_{i ∈ I, ⊑}ψ(

*,*

*m*_{i}*).*

*f*_{i}In the converse direction, let us assume that ** U** is not Scott-open. There is a monotone net (

*U*)

_{i}_{i ∈ I, ⊑}of open subsets of

*X*whose union

*U*is in

**, and such that no**

*U**U*is in

_{i}**. For every**

*U**i*∈

*I*, since

*U*is not in

_{i}**, there is a reachable configuration (**

*U**,*

*m*_{i}*) such that*

*f*_{i}*U*does not intersect ψ(

_{i}*,*

*m*_{i}*). We claim that there is no reachable configuration (*

*f*_{i}*n*,

*f*) such that ψ(

*,*

*n**) ⊆ limsup*

*f*_{i ∈ I, ⊑}ψ(

*,*

*m*_{i}*). Indeed, otherwise, and since*

*f*_{i}*U*in in

**,**

*U**U*would intersect ψ(

*,*

*n**), say at*

*f**x*. Since

*U*is the union of the sets

*U*, at least one of them contains

_{i}*x*, call it

*U*. By Lemma F,

_{k}*U*would intersect ψ(

_{k}*,*

*m*_{i}*) for cofinally many*

*f*_{i}*i*. In particular,

*U*would intersect ψ(

_{k}*,*

*m*_{i}*) for some*

*f*_{i}*i*⊒

*k*. But then,

*U*, which contains

_{i}*U*, would also intersect ψ(

_{k}*,*

*m*_{i}*), which is impossible. ☐*

*f*_{i}In general, given any family ** A** of closed subsets of

*X*, the family {

*U*∈

**O**

*X*|

*U*intersects every

*C*∈

**} is Scott-open if and only if every net (**

*A**C*)

_{i}_{i ∈ I, ⊑}of elements of

**converges to some element**

*A**C*of

**in the sense that**

*A**C*⊆ limsup

_{i ∈ I, ⊑}

*. This is essentially what we have just proved, in the special case of the family of sets of the form ψ(*

*C*_{i}*,*

*n**) with (*

*f**n*,

*f*) reachable. And indeed, limsup

_{i ∈ I, ⊑}

*is the so-called*

*C*_{i}*Kuratowski-Painlevé upper limit*of (

*C*)

_{i}_{i ∈ I, ⊑}in the lattice of closed subsets of

*X*(a notion due to Giuseppe Peano way before Kuratowski and even Painlevé, as it was apparently published in

*Applicazioni Geometriche*, Fratelli Bocca, Torino, 1887; this was regularly mentioned by Szymon Dolecki, see [8]; you can also find an explanation in this document, page 18).

Hence, in order to show that ** U** is Scott-open, we will consider any net (ψ(

*,*

*m*_{i}*))*

*f*_{i}_{i ∈ I, ⊑}consisting of reachable configurations, and we will show that there is a reachable configuration (

*n*,

*f*) such that ψ(

*,*

*n**) ⊆ limsup*

*f*_{i ∈ I, ⊑}ψ(

*,*

*m*_{i}*).*

*f*_{i}It will be practical to use the following.

- For every subnet (ψ(
*m*_{α(i’)},*f*_{α(i’)}))_{i’ ∈ I’, ⪯}of (ψ(,*m*_{i}))*f*_{i}_{i ∈ I, ⊑},

limsup_{i’ ∈ I’, ⪯}ψ(*m*_{α(i’)},*f*_{α(i’)}) ⊆ limsup_{i ∈ I, ⊑}ψ(,*m*_{i}).*f*_{i}

Indeed, by Lemma F, it suffices to observe that every point*x*in the limit superior on the left, for every open neighborhood*U*of*x*,*U*intersects ψ(*m*_{α(i’)},*f*_{α(i’)}) for cofinally many*i’*, hence*U*also intersects ψ(,*m*_{i}) for cofinally many*f*_{i}*i*; this is because α is itself cofinal (following Definition 4.7.24 in the book). - In particular, one strategy which we will use repeatedly is to replace (ψ(
,*m*_{i}))*f*_{i}_{i ∈ I, ⊑}by a subnet (ψ(*m*_{α(i’)},*f*_{α(i’)}))_{i’ ∈ I’, ⪯}. If we manage to find a reachable configuration (*n*,*f*) such that ψ(,*n*) ⊆ limsup*f*_{i’ ∈ I’, ⪯}ψ(*m*_{α(i’)},*f*_{α(i’)}), then we will immediately obtain that ψ(,*n*) ⊆ limsup*f*_{i ∈ I, ⊑}ψ(,*m*_{i}). We will use that strategy by saying “We pass to the subnet (ψ(*f*_{i}*m*_{α(i’)},*f*_{α(i’)}))_{i’ ∈ I’, ⪯}“, or simply “by passing to a subnet”, and then we will reason on the subnet, still calling it (ψ(,*m*_{i}))*f*_{i}_{i ∈ I, ⊑}. - As a first application of this strategy, let us imagine that ψ(
,*m*_{i}) is*f*_{i}*ultimately constant*, namely that there is an index*i*_{0}such that all the sets ψ(,*m*_{i}) with*f*_{i}*i*⊒*i*_{0}are equal, and let ψ(,*n*) be their common value. By passing to the subnet (ψ(*f*,*m*_{i}))*f*_{i}_{i ⊒ i0, ⊑}, which is constant and equal to ψ(,*n*), hence whose limit superior is equal to ψ(*f*,*n*), we obtain that ψ(*f*,*n*) ⊆ limsup*f*_{i ∈ I, ⊑}ψ(,*m*_{i}).*f*_{i} - If there are only finitely many distinct closed sets ψ(
,*m*_{i}) when*f*_{i}*i*ranges over*I*, then one of them occurs cofinally often. In other words, there is at least one set ψ(,*n*) such that (*f**n*,*f*)=(,*m*_{i}) for cofinally many*f*_{i}*i*∈*I*. Indeed, otherwise for every set ψ(,*n*) among the finitely many that occur in the family (ψ(*f*,*m*_{i}))*f*_{i}_{i ∈ I}, there would be an index*i*_{(n,f)}such that ψ(,*n*) cannot occur at any index above*f**i*_{(n,f)}; since the family of indices is directed, there is an index*i*above every*i*_{(n,f)}; but then, ψ(,*m*_{i}) cannot occur at any index above*f*_{i}*i*, by construction, which is absurd.

As a second application of our strategy of passing to subnets, we obtain that the result we are after is obvious if there are only finitely many distinct closed sets ψ(,*m*_{i}) when*f*_{i}*i*ranges over*I*: in that case, one of those sets, ψ(,*n*), occurs at positions*f**i*that form a cofinal subset*I’*of*I*; we define the sampler α as the inclusion map from*I’*into*I*, and ⪯ as the restriction of ⊑ of*I’*, then (ψ(*m*_{α(i’)},*f*_{α(i’)}))_{i’ ∈ I’, ⪯}is a subnet of (ψ(,*m*_{i}))*f*_{i}_{i ∈ I, ⊑}; but (ψ(*m*_{α(i’)},*f*_{α(i’)}))_{i’ ∈ I’, ⪯}is a*constant*subnet, since its only element is ψ(,*n*), and therefore ψ(*f*,*n*) = limsup*f*_{i’ ∈ I’, ⪯}ψ(*m*_{α(i’)},*f*_{α(i’)}). Hence, by passing to that subnet, we obtain that ψ(,*n*) ⊆ limsup*f*_{i ∈ I, ⊑}ψ(,*m*_{i}).*f*_{i}

All right, so let us consider any net (ψ(* m_{i}*,

*))*

*f*_{i}_{i ∈ I, ⊑}consisting of reachable configurations.

If the levels * m_{i}* are bounded, namely if there is a constant

*k*such that

*≤*

*m*_{i}*k*for every

*i*∈

*I*, then there are only finitely many values that

*can take. Additionally, for a fixed value*

*m*_{i}*, there are only finitely many choices for*

*m*_{i}*: ∑*

*f*_{i}*→ {–1, 0, 1}. Hence there are only finitely many distinct pairs (*

^{mi}*,*

*m*_{i}*), and therefore also only finitely many distinct sets ψ(*

*f*_{i}*,*

*m*_{i}*). We have just seen that there is a reachable configuration (*

*f*_{i}*n*,

*f*) such that ψ(

*,*

*n**) ⊆ limsup*

*f*_{i ∈ I, ⊑}ψ(

*,*

*m*_{i}*) in that case.*

*f*_{i}So let us concentrate on the more interesting case where there is no upper bound on the levels * m_{i}*.

If ψ(* m_{i}*,

*) is the (ψ value of the) initial configuration for*

*f*_{i}*i*large enough, then (ψ(

*,*

*m*_{i}*))*

*f*_{i}_{i ∈ I, ⊑}is, in particular, ultimately constant, and we have seen that the result was true in this case.

Hence we will assume that it is not the case that ψ(* m_{i}*,

*) is the initial configuration for*

*f*_{i}*i*large enough, namely that ψ(

*,*

*m*_{i}*) is distinct from the initial configuration for cofinally many*

*f*_{i}*i*. (Think about it: “not (for

*i*large enough,

*P*(

*i*))” is equivalent to “for cofinally many

*i*, not

*P*(

*i*)”.) By passing to subnets, we may assume that none of the configurations ψ(

*,*

*m*_{i}*) is the initial configuration.*

*f*_{i}This entails that each (* m_{i}*,

*) is the successor of some other configuration (*

*f*_{i}*,*

*n*_{i}*). Namely, (*

*g*_{i}*,*

*n*_{i}*) → (*

*g*_{i}*,*

*m*_{i}*) for every*

*f*_{i}*i*∈

*I*.

If the numbers * n_{i}* are not bounded from above, then we claim that limsup

_{i ∈ I, ⊑}ψ(

*,*

*m*_{i}*) =*

*f*_{i}*X*. By Lemma F, it suffices to verify that for every

*x*∈

*X*, for every open neighborhood

*U*of

*x*,

*U*intersects ψ(

*,*

*m*_{i}*) for cofinally many*

*f*_{i}*i*. It is time to recall Lemma B: for every

*m*∈

**N**, we have used the notation

*O*(

*x*,

*n*) to denote the unique clopen chunk

*O*containing

_{w}*x*and such that

*w*has length

*n*, and we have shown that

*O*(

*x*,

*n*) is included in

*U*for

*n*large enough, say

*n*≥

*k*

_{0}. The subfamily of those indices

*i*∈

*I*such that

*≥*

*n*_{i}*k*

_{0}is cofinal, since the numbers

*are not bounded from above. Hence, by passing to a subnet, we may assume that*

*n*_{i}*O*(

*x*,

*) is included in*

*n*_{i}*U*for every

*i*∈

*I*. For each fixed

*i*∈

*I*,

*O*(

*x*,

*) is a clopen chunk*

*n*_{i}*O*, and (

_{w}*,*

*n*_{i}*) → (*

*g*_{i}*,*

*m*_{i}*), so by Lemma D,*

*f*_{i}*O*(

*x*,

*) intersects ψ(*

*n*_{i}*). It follows that the larger set*

*,**m*_{i}*f*_{i}*U*also intersects ψ(

*). This concludes our argument that limsup*

*,**m*_{i}*f*_{i}_{i ∈ I, ⊑}ψ(

*,*

*m*_{i}*) =*

*f*_{i}*X*. In particular, ψ(

*,*

*n**) ⊆ limsup*

*f*_{i ∈ I, ⊑}ψ(

*,*

*m*_{i}*) for*

*f*_{i}*any*reachable configuration (

*n*,

*f*), for example for the initial configuration.

It remains to deal with the case where the numbers * n_{i}* are bounded from above. Then there are only finitely many configurations (

*,*

*n*_{i}*), when*

*g*_{i}*i*ranges over

*I*. Hence, by passing to a subnet, we may assume that they are all equal; the argument is the same as the one we used when we assumed that the numbers

*were bounded from above. Therefore (and this is the last case to be examined!) we may assume that all the configurations (*

*m*_{i}*,*

*n*_{i}*) are equal to a unique configuration (*

*g*_{i}*n,*

*g*). Then (

*,*

*n**) → (*

*g**,*

*m*_{i}*) for every*

*f*_{i}*i*∈

*I*. We recall that the numbers

*are not bounded from above.*

*m*_{i}We will show that ψ(* n*,

*) ⊆ limsup*

*g*_{i ∈ I, ⊑}ψ(

*,*

*m*_{i}*), with the choice of reachable configuration (*

*f*_{i}*,*

*n**) that we have just made. Once again we rely on Lemma F: we claim that for every*

*g**x*∈ ψ(

*,*

*n**), for every open neighborhood*

*g**U*of

*x*,

*U*intersects ψ(

*,*

*m*_{i}*) for cofinally many*

*f*_{i}*i*. We will really show the stronger statement that given any open neighborhood

*U*of

*x*,

*U*intersects ψ(

*,*

*m*_{i}*) for all indices*

*f*_{i}*i*provided that they large enough. We start by using Lemma B: for some

*m*≥

*n*large enough,

*O*(

*x*,

*m*) is an open neighborhood of

*x*included in

*U*. Let

*w*be the unique word of length

*m*such that

*O*=

_{w}*O*(

*x*,

*m*). Since the numbers

*are unbounded, the subfamily of indices*

*m*_{i}*i*such that

*>*

*m*_{i}*m*is cofinal. Hence, passing to a subnet, we will assume that

*>*

*m*_{i}*n*for every

*i*∈

*I*. By Lemma E, recalling that (

*,*

*n**) → (*

*g**,*

*m*_{i}*), and noticing that*

*f*_{i}*g*(

*w*)≠0 (since

*x*is in ψ(

*,*

*n**), namely in some gray or black clopen chunk relative to*

*g**g*), we obtain that for every

*w’*∈ ∑

^{mi}^{–}

^{n}^{–1},

*O*intersects ψ(

_{ww’}*,*

*m*_{i}*), for every*

*f*_{i}*i*∈

*I*. For each

*i*, we pick any such

*w’*(we can even require

*O*to contain

_{ww’}*x*, which seems natural, but is not required), and we notice that

*O*is included in

_{ww’}*O*, hence in

_{w}*U*. Therefore

*U*intersects ψ(

*,*

*m*_{i}*), for every*

*f*_{i}*i*∈

*I*.

We have finally obtained:

**Fact.** ** U** is Scott-open.

This concludes our entire proof, following Costantini and Watson’s argument [4].

## Conclusion

Let me sum up what we have proved.

**Theorem [4].** Let *X* be a non-empty topological space that is:

- second-countable, zero-dimensional,
- in which every compact subset is scattered,
- and with no non-empty compact open subset.

Equivalently, let *X* be a zero-dimensional metrizable space in which every compact subset is scattered, and with no isolated point.

Then there is a Scott-open subset ** U** of

**O**

*X*that contains no subset of the form ■

*Q*, for any compact subset

*Q*of

*X*. In particular,

*X*is not consonant.

As a corollary, **Q** is not consonant.

One may wonder whether that theorem would apply to other spaces than **Q**. Well, of course: for example, it applies to the subspace of rational numbers between 0 and 1, but is there any fundamentally different space to which this theorem applies?

For example, this theorem does not apply to the other famously non-consonant space, the Sorgenfrey line **R**_{ℓ}. That is a zero-dimensional space, in which every compact subset is scattered (given the explicit shape of compact subsets *Q* of **R**_{ℓ}, player I wins the game *G*(*Q*) by always picking the leftmost point of *Q*: exercise!), and with no non-empty compact open subset (again, look at the shape of compact subsets). However, **R**_{ℓ} is *not* second-countable (and not metrizable). Is there a way of modifying the Costantini-Watson argument in such a way that we could weaken the assumption of second-countability to first-countability, or to first-countability and being hereditarily Lindelöf for example?

- Szymon Dolecki, Gabriele H. Greco, and Alojzy Lechicki, 1995.
*When do the upper Kuratowski topology (homeomorphically, Scott topology) and the co-compact topology coincide?*Transactions of the American Mathematical Society, 347(8), 2869–2884. - Ahmed Bouziad,
*Borel measures in consonant spaces*, Topology and its Applications 70 (1996), 125—138. - David Preiss. Spaces in which Prohorov’s theorem is not valid. Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete 27 (1973), 109—116.
- Camillo Costantini and Stephen Watson,
*On the dissonance of some metrizable spaces*, Topology and its Applications 84 (1998), 259—268. - Matthew de Brecht, Jean Goubault-Larrecq, Xiaodong Jia, and Zhenchao Lyu.
*Domain-complete and LCS-complete Spaces*. In Proceedings of the International Symposium on Domain Theory (ISDT’19), volume 345 of Electronic Notes in Theoretical Computer Science, pages 3–35, Yangzhou, China, June 2019. Elsevier Science Publishers.*doi:10.1016/j.entcs.2019.07.014*. - Matthew de Brecht and Tatsuji Kawai. On the commutativity of the powerspace constructions. Logical Methods in Computer Science, 15(3), 2019.
- Peter T. Johnstone and Stephen Vickers. Preframe presentations present. In A. Carboni, M.C. Pedicchio and G. Rosolini (eds),
*Category Theory*(Proceedings, Como 1990), Lecture Notes in Mathematics, 1488:193–212, 1991. - Dolecki, Szymon, Greco, Gabriele H, 2010. Towards Historical Roots of Necessary Conditions of Optimality: Regula of Peano. Dedicated to professor Stefan Rolewicz on his 75-th birthday and Commemorating the 150-th anniversary of the birth of Giuseppe Peano.

— Jean Goubault-Larrecq (June 20th, 2022)