I have already talked about consonant spaces, for example here. A space *X* is *consonant* [1] if and only if the compact-open topology and the Isbell topology coincide on the function space [*X* → *Y*] for every topological space *Y*. It is equivalent to require that they coincide on the single function space [*X* → **S**], where **S** is Sierpiński space {0 < 1}. Since a continuous map from *X* to **S** is the characteristic map of a unique open subset of *X*, *X* is consonant if and only if every Scott-open subset ** U** of the lattice

**O**

*X*of open subsets of

*X*is a union of sets of the form ■

*Q*≝{

*U*|

*Q*⊆

*U*}, where the sets

*Q*are compact saturated subsets of

*X*.

In Exercise 5.4.12 of the book, I ask the reader to prove that neither the space of rationals, **Q**, nor the Sorgenfrey line, **R**_{ℓ}, is consonant. That is what I classified as the important blooper #5 in the list of errata, because the proof I had originally in mind was too simple-minded to have any chance of succeeding. But showing that **R**_{ℓ} is not consonant is not that hard, finally. I will explain the argument. This will also be an excuse to explain some additional topological properties of **R**_{ℓ}.

The fact that **R**_{ℓ} is not consonant was proved by Costantini and Watson, as a consequence of a more general result [3]. (Update, April 22nd, 2022: no, Costantini and Watson’s theorem does not apply. Instead, the fact that **R**_{ℓ} is not consonant is due to Alleche and Calbrix [8]. Sorry for the confusion.) Instead, the route I will take has some similarities with what Bouziad did in [2] in order to prove that **Q** is not consonant—again, as consequence of a more general result—in the sense that I will rely on a bit of measure theory. (Update, April 22nd, 2022. And indeed, the argument I will develop below is essentially Alleche and Calbrix’s.) If you don’t know anything about measure theory, I will also give an argument that only requires some domain theory, most of which is in appendices, at the end of this post.

## The Sorgenfrey line **R**_{ℓ}

Before we start, let me recall what the Sorgenfrey line **R**_{ℓ} is.

It is an incredible beast. Its points are just the real numbers, but its topology is generated by the half-open intervals [*a*,*b*[ with *a* < *b*. The topology of **R**_{ℓ} is finer than the usual metric topology of **R**. **R**_{ℓ} is a zero- dimensional, first-countable space (Exercices 4.1.34, 4.7.17 in the book). It is paracompact hence T_{4}, and Choquet-complete hence a Baire space (Exercises 6.3.32, 7.6.11). **R**_{ℓ} is not locally compact, as every compact subset of **R**_{ℓ} has empty interior (Exercise 4.8.5). Although it is first-countable, **R**_{ℓ} is not second-countable (Exercise 6.3.10).

We won’t need any of that! It is enough to remember that **R**_{ℓ} exhibits a mixture of the nice (paracompact, T_{4}, Choquet-complete, Baire, first-countable) and of the ugly (not locally compact, not second-countable). We will add some new water to the pot of ugliness (non consonant), and also to the jar of niceness (hereditary Lindelöf, see below).

**R**_{ℓ} is not consonant: the short argument

We consider the collection ** U** of open subsets of

**R**

_{ℓ}whose Lebesgue measure is >

*r*, for some fixed

*r*>0. That is a Scott-open subset of

**O**(

**R**

_{ℓ}), and a non-empty one, too (since [–

*r*,

*r*[ is in

**, for example), but we claim that it simply contains**

*U**no*subset of the form ■

*Q*for any compact (saturated) subset of

**R**

_{ℓ}. Hence

**is certainly not a union of sets of the form ■**

*U**Q*.

In order to see this, we realize that every compact subset *Q* of **R**_{ℓ} is countable. Writing *Q* as {*x*_{0}, *x*_{1}, …, *x*_{n}, …}, we see that *U* ≝ ∪_{n ∈ N} [*x*_{n}, ε/2* ^{n}*[ is an open neighborhood of

*Q*for every ε>0, namely that

*U*in in ■

*Q*. However the Lebesgue measure of

*U*is smaller than or equal to ∑

_{n ∈ N}ε/2

*= 2ε, so*

^{n}*U*cannot be in

**as soon as we pick ε≤**

*U**r*/2.

Now, wait! I skipped a number of details here. One is that I have not said why every compact subset *Q* of **R**_{ℓ} is countable. This is what I am going to show next, and, while we are at it, I will give a complete characterization of the compact subsets of **R**_{ℓ}. Another missing piece is the reason why ** U** is Scott-open. That would be the case is the Lebesgue measure of any directed union of open sets were equal to the supremum of their measures, but measures only satisfy this property for

*countable*directed unions in general. The measures that satisfy this property for arbitrary unions are called

*τ-smooth*. Here a miracle will occur, thanks to a theorem due to Wolfgang Adamski [4], and a magical property called

*hereditary Lindelöfness*, which I will talk about, too. This all uses a bit of measure theory, but, if you have never heard about measure theory, I will give you a purely domain-theoretic construction of

**in Appendix B at the end of this post.**

*U*## The compact subsets of the Sorgenfrey line are countable

Every compact subset *Q* of **R**_{ℓ} is countable, and this is easy to see.

nWe first note that the sets ]−∞,*r*–ε[ and [*r*, +∞[ are open, for all *r* and ε, because they are unions of basic open sets [*r*–ε–*n*–1, *r*–ε–*n*[, *n* ∈ **N**, and of [*r*+*n*, *r*+*n*+1[, *n* ∈ **N**, respectively.

Next, given a compact subset *Q* of **R**_{ℓ}, we realize that, for every *r* in *Q*, the open sets ]−∞,*r*–ε[ with ε>0, plus [*r*, +∞[, form an open cover of *Q*. (Indeed, of the whole of **R**_{ℓ}!) We extract a finite subcover: without loss of generality, we may assume that this subcover contains [*r*, +∞[, otherwise we add it back; the other elements of the subcover are ]−∞,*r*–ε_{1}[, …, ]−∞,*r*–ε_{n}[. We ick ε>0 so that ε<ε_{1}, …, ε_{n}, and we see that* Q* is included in ]−∞,*r*–ε[ ∪ [*r*, +∞[, namely that it does not intersect [*r*–ε, *r*[. In order to display the dependency on *r*, let us write ε* _{r}* for that ε.

Let us pick a rational number *q _{r}* in [

*r*–ε

*,*

_{r}*r*[, one for each

*r*in

*Q*. The map

*r*∈

*Q*↦

*q*is injective: otherwise there would be two distinct elements

_{r}*r*and

*s*of

*Q*such that [

*r*–ε

*,*

_{r}*r*[ and [

*s*–ε

*,*

_{s}*s*[ would overlap (at

*q*=

_{r}*q*). By symmetry, let us assume

_{s}*r*<

*s*. Then

*r*would be in [

*s*–ε

*,*

_{s}*s*[, which is impossible since

*r*is in

*Q*but [

*s*–ε

*,*

_{s}*s*[ does not intersect

*Q*.

We have built an injective map from *Q* to the set of rationals, which is countable. Therefore *Q* is countable.

That much is enough knowledge for us on the compact subsets of **R**_{ℓ}. However, it would be foolish to stop here and not investigate the nature of compact subsets of **R**_{ℓ}, right? Hence, let us embark on characterizing the compact subsets of **R**_{ℓ} exactly.

## Characterizing the compact subsets of the Sorgenfrey line

Here is another property of compact subsets of **R**_{ℓ} that can be proved in a similar way as above.

**Fact A.** Every compact subset *Q* of **R**_{ℓ} is well-founded with respect to ≥: there is no infinite chain of the form *r*_{0} < *r*_{1} < … < *r _{n}* < … in

*Q*.

*Proof.* Let *r* ≝ sup_{n∈N} *r _{n}*. Then the open sets ]−∞,

*r*

_{0}[, [

*r*

_{0},

*r*

_{1}[, …, [

*r*,

_{n}*r*

_{n}_{+1}[, …, together with [

*r*,+∞[ in case that

*r*≠+∞, would form an open cover of

*Q*without a finite subcover. ☐

Fact A says that every compact subset of **R**_{ℓ} is a *well-founded* subset of (**R**, ≥), namely of **R** with the opposite ≥ of the usual ordering ≤.

A directed family in (**R**, ≥) is a *filtered* family: a non-empty family in which for any two elements, there is an element less than or equal to both; and “filtered” in not even necessary, since the ordering ≤ on **R** is total: in other words, a filtered family is just a non-empty family there.

**Fact B.** Every compact subset *Q* of **R**_{ℓ} is a subdcpo of (**R**, ≥): the infimum, taken in **R**, of every filtered family of elements of *Q* lies in *Q*.

*Proof.* We first need to note that a net (*x _{i}*)

_{i∈I,⊑}converges to

*x*in

**R**

_{ℓ}if and only if

*x*tends to

_{i}*x*from the right, namely: for every ε > 0,

*x*≤

*x*<

_{i}*x*+ ε for

*i*large enough. This is Exercise 4.7.6 in the book, but the argument is very short, and I will let you verify this by yourselves.

Let *D* be any non-empty subset of *Q*, and let *r* ≝ inf *D*. Since the topology of **R**_{ℓ} is finer than the topology of **R**, every compact subset of **R**_{ℓ} is also compact in **R**, in particular, it is bounded. Therefore *r* is a well-defined real number (not –∞).

By Fact A, *Q* is well-founded, so *D* is isomorphic to a unique ordinal β, and we can write the elements of *D* as *r*_{α}, α<β, in such a way that for all α,α′ <β, α≤α′ if and only if *r*_{α} ≥ *r*_{α’}. The net (*r*_{α})_{α<β,≤} then converges to *r* from the right. Since **R**_{ℓ} is T_{2}, its compact subset *Q* is closed, so *r* is in *Q*. ☐

Note that, if the compact set *Q* is non-empty, then in particular inf *Q* lies in *Q*, namely, *Q* has a least element. That could also be derived from the fact that every compact subset of **R**_{ℓ} is compact in **R**.

Here is an example of a compact subset of **R**_{ℓ}: the set of points of the form 1/2* ^{n}*,

*n*∈

**N**, plus the point zero. We can index those points by ordinal numbers: point number

*n*is 1/2

*, and there is an additional point numbered ω, which is zero:*

^{n}Every well-founded subset of (**R**, ≥) must be isomorphic to an ordinal (here, ω+1: an ordinal is also the set of all the ordinals strictly below it, so ω+1 = {0, 1, …, *n*, …, ω}.) Hence if *Q* is a compact subset of **R**_{ℓ}, then its elements must be numbered by ordinal numbers, from right to left, as in the above picture. Additionally, since *Q* is a subdcpo, that enumeration must stop at some ordinal (*Q* has a least element), and points of *Q* must cluster towards points which are numbered with a limit ordinal (from the right), as in the above picture where points cluster towards point number ω, coming from the right.

There are more complex compact subsets, such as the following one, whose points are indexed by the ordinals from 0 to ω^{2}.

How do I know that the latter is compact in **R**_{ℓ}? Well, here is a complete characterization.

**Proposition C.** The compact subsets of the Sorgenfrey line **R**_{ℓ} are exactly the well-founded subdcpos of (**R**, ≥).

*Proof.* Considering Facts A and B, it suffices to show that every well-founded subdcpo *Q* of (**R**, ≥) is compact in **R**_{ℓ}. We use Alexander’s subbase lemma (Theorem 4.4.29 in the book): for every family ** U** of basic open subsets that covers

*Q*, we will extract a finite subcover. We build a (finite or infinite) sequence of elements

*r*of

_{n}*Q*and another sequence of elements [

*a*,

_{n}*b*[ of

_{n}**by induction on**

*U**n*in such a way that:

*r*_{0}<*r*_{1}< … <*r*< … (so yes, the sequence will in fact be finite, since_{n}*Q*is well-founded in (**R**, ≥), but let us not go too fast);- for each
*n*,*r*is in [_{n}*a*,_{n}*b*[;_{n} - for each
*n*, the intervals [*a*_{0},*b*_{0}[, …, [*a*,_{n}*b*[ cover all the elements of_{n}*Q*that are ≤*r*; in other words, every element of_{n}*Q*is in [*a*_{0},*b*_{0}[ ∪ … ∪ [*a*,_{n}*b*[ ∪ ]_{n}*r*,+∞[._{n}

In the base case (*n*=0), we take *r*_{0}≝inf *Q*, which is in *Q* since *Q* is a subdcpo of (**R**, ≥). Being in *Q*, *r*_{0} is in some basic open subset [*a*_{0},*b*_{0}[ ∈ ** U**. We then note that every element of

*Q*is in [

*a*

_{0},

*b*

_{0}[ ∪ ]

*r*

_{0},+∞[.

In the induction case (*n*≥1), we assume we already have elements *r*_{0} < *r*_{1} < … < *r _{n}*

_{–1}in

*Q*, lying in [

*a*

_{0},

*b*

_{0}[, …, [

*a*

_{n}_{–1},

*b*

_{n}_{–1}[ respectively, and such that every element of

*Q*is in [

*a*

_{0},

*b*

_{0}[ ∪ … ∪ [

*a*

_{n}_{–1},

*b*

_{n}_{–1}[ or is >

*r*

_{n}_{–1}. Let

*Q*be

_{n}*Q*– ([

*a*

_{0},

*b*

_{0}[ ∪ … ∪ [

*a*

_{n}_{–1},

*b*

_{n}_{–1}[). If

*is empty, then the sequence stops here, namely at*

*Q*_{n}*r*

_{n}_{–1}. Otherwise,

*Q*is non-empty hence directed in (

_{n}**R**, ≥). Since

*Q*is a subdcpo, inf

*Q*exists and is an element of

_{n}*Q*. We let

*r*≝inf

_{n}*Q*. Every element of

_{n}*Q*is >

_{n}*r*

_{n}_{–1}, so

*r*≥

_{n}*r*

_{n}_{–1}. If

*r*=

_{n}*r*

_{n}_{–1}, then

*r*would be in [

_{n}*a*

_{n}_{–1},

*b*

_{n}_{–1}[, in particular

*a*

_{n}_{–1}≤

*r*=inf

_{n}*<*

*Q*_{n}*b*

_{n}_{–1}, so some element of

*would be in [*

*Q*_{n}*a*

_{n}_{–1},

*b*

_{n}_{–1}[, which is impossible. Hence

*r*

_{n}_{–1}<

*r*. As far as item 2 is concerned, we merely use the fact that

_{n}**is a cover of**

*U**Q*, so

*r*must be in some [

_{n}*a*,

_{n}*b*[ ∈

_{n}**. Finally, every element**

*U**x*of

*Q*is in [

*a*

_{0},

*b*

_{0}[ ∪ … ∪ [

*a*

_{n}_{–1},

*b*

_{n}_{–1}[ or is >

*r*

_{n}_{–1}. If

*x*>

*r*

_{n}_{–1}, then

*x*is in

*, hence*

*Q*_{n}*x*≥

*r*, and therefore

_{n}*x*is in [

*a*,

_{n}*b*[ or is strictly larger than

_{n}*r*.

_{n}We have built a chain *r*_{0} < *r*_{1} < … < *r _{n}* < … of elements of

*Q*satisfying properties 1, 2, and 3 above. Since

*Q*is well-founded, this chain must be finite: the inductive process described above stops at some rank

*n*. In that case

*Q*is empty, and therefore

_{n}*Q*is included in [

*a*

_{0},

*b*

_{0}[ ∪ … ∪ [

*a*

_{n}_{–1},

*b*

_{n}_{–1}[. ☐

In other words, the compact subsets *Q* of **R**_{ℓ} are exactly the set of points *x*_{α} enumerated by all ordinals α<β, in such a way that *x*_{0} > *x*_{1} > … > *x*_{n} > … > *x*_{ω} > *x*_{ω+1} > … > *x*_{ω.2} > …, and so that this forms a subdcpo in the opposite ordering ≥, namely:

- there is a last (smallest with respect to ≤) point in
*Q*, in other words β is not a limit ordinal (in our previous examples, β was equal to ω+1 and to ω^{2}+1 respectively); - for every chain of points
*x*_{α[i]}in*Q*,*i*∈*I*, inf_{i ∈ I}*x*_{α[i]}is again in*Q*, so must be of the form*x*_{α}for some ordinal α<β, and it is easy to see that α must in fact be equal to sup_{i ∈ I}α[*i*].

## The ordinal types of compact subsets of **R**_{ℓ}

We have seen that every compact subset of **R**_{ℓ} is countable. More general, *every* well-founded subset *E* of (**R**, ≥) is countable. (And similarly with the more usual ordering ≤, too, of course.) That is easy to prove, and we don’t need *E* to be a subdcpo. For every *x* in *E*, we look at the interval ]–∞, *x*[. If ]–∞, *x*[ ∩ *E* is empty, then we pick a rational number *q _{x}* in ]–∞,

*x*[. Otherwise, since

*E*is well-founded with respect to ≥,

*E*contains a largest element

*y*(with respect to ≤) that is inside ]–∞,

*x*[. Then we pick a rational number

*q*in ]

_{x}*y*,

*x*[. The map

*x*∈

*E*↦

*q*is injective: in fact we have

_{x}*y*<

*x*if and only if

*q*<

_{y}*q*. Since there are only countably many rational numbers,

_{x}*E*is countable.

In particular, the *order-type* of any compact subset *Q* of **R**_{ℓ}, namely the unique ordinal that is order-isomorphic to (*Q*, ≥), is a countable ordinal. It is also a *non-limit* ordinal, because those are exactly the ordinals that are (sub)dcpos. For example, the limit ordinal ω={0, 1, …, *n*, …} is not a dcpo. But ω+1={0, 1, …, *n*, …, ω} is a dcpo.

One might wonder which countable ordinals are the order-types of compact subsets of **R**_{ℓ}. The answer is simple: *all the non-limit countable ordinals .* Since I have already spent too much time on compact subsets, I will refer you to Appendix A of this post for details.

## The hereditary Lindelöf property

So, enough with the compact subsets of **R**_{ℓ}. I promised we would look at a magical property of Lebesgue measure on **R**_{ℓ}, and that this would have to do with a property called hereditary Lindelöfness.

A topological space *X* is *hereditarily Lindelöf* (train yourself to pronounce that… what a tongue twister!) if and only if every family of open subsets of *X* contains a countable subfamily with the same union. If you already know what a Lindelöf space is, you may realize that a space is hereditarily Lindelöf if and only if all its subspaces are Lindelöf.

We will see that every second-countable space is hereditarily Lindelöf, and that **R**_{ℓ} is an example of a space that is hereditarily Lindelöf… but not second-countable.

**Lemma D.** Every second-countable space is hereditarily Lindelöf.

*Proof.* Let *X* be a second-countable space, and ** B** be a countable base of its topology. Let (

*U*)

_{i}_{i ∈ I}be an arbitrary family of open subsets of

*X*, and let

*U*be its union. For every point

*x*of

*U*, there is an index

*i*in

*I*such that

*x*is in

*U*, let us call it

_{i}*i*[

*x*]. Also, there is an element

*B*[

*x*] of the base

**such that**

*B**x*∈

*B*[

*x*] ⊆

*U*

_{i}_{[}

_{x}_{]}. Then

*U*⊆ ∪

_{x ∈ U}

*B*[

*x*]. However, since

**is countable, the latter is a countable union. In other words, for each element of the base**

*B***that arises as**

*B**B*[

*x*] for some

*x*in

*U*, we pick such a point

*x*; we collect all those points and form a countable subset

*E*of

*U*; then

*U*⊆ ∪

_{x ∈ E}

*B*[

*x*]. Now ∪

_{x ∈ E}

*B*[

*x*] ⊆ ∪

_{x ∈ E}

*U*

_{i}_{[}

_{x}_{]}⊆

*U*, so

*U*= ∪

_{x ∈ E}

*B*[

*x*] = ∪

_{x ∈ E}

*U*

_{i}_{[}

_{x}_{]}: when

*x*ranges over the set

*E*, the open sets

*U*

_{i}_{[}

_{x}_{]}form a countable subfamily of (

*U*)

_{i}_{i ∈ I}with the same union, namely

*U*. ☐

The Sorgenfrey line **R**_{ℓ} is not second-countable: you can find the argument in Exercise 6.3.10 of the book. Rather amazingly, we have the following.

**Proposition E.** **R**_{ℓ} is hereditarily Lindelöf.

Proof. I took the proof from the Math Stack exchange. Let us agree to write *Ů* for the interior of a set *U* in the topology of **R**: not that of **R**_{ℓ}, please bear that in mind.

Let (*U _{i}*)

_{i ∈ I}be any family of open subsets of

**R**

_{ℓ}, let

*U*be its union and let

*U’*denote the union ∪

_{i ∈ I}

*Ů*_{i}_{ }of their interiors in the topology of

**. Since**

*R***R**is second-countable, hence hereditarily Lindelöf by Lemma D, there is a countable subset

*J*of

*I*such that

*U’*= ∪

_{i ∈ J}

*.*

*Ů*_{i}We claim that *U*–*U’* is countable. For each point *x* ∈ *U*–*U’*, *x* is in some *U _{i}*, hence in some basic open subset [

*a*,

_{x}*b*[ ⊆

_{x}*U*. Then

_{i}*x*is also included in the smaller basic open set [

*x*,

*b*[. The (fully) open interval ]

_{x}*x*,

*b*[ is included in

_{x}*, hence in*

*Ů*_{i}*U’*. By picking a rational number

*q*in [

_{x}*,*

*x**[ for each*

*b*_{x}*x*∈

*U*–

*U’*, we see that there are only countably many distinct intervals [

*,*

*x**[. For any two distinct points*

*b*_{x}*x*and

*y*of

*U*–

*U’*, if the intervals [

*x*,

*b*[ and [

_{x}*y*,

*b*[ overlapped, then either

_{y}*y*would be in [

*x*,

*b*[ or

_{x}*x*would be in [

*y*,

*b*[. Let us imagine that

_{y}*y*is in [

*,*

*x**[. Since*

*b*_{x}*y*≠

*x*,

*y*must be in ]

*,*

*x**[ ⊆*

*b*_{x}*U’*; that is impossible since we have chosen

*y*in

*U*–

*U’*. We reason similarly if

*x*is in [

*y*,

*b*[. We have shown that for any two distinct points

_{y}*x*and

*y*of

*U*–

*U’*, the intervals [

*x*,

*b*[ and [

_{x}*y*,

*b*[ do not overlap; in particular, they are distinct. As there are only countably many such intervals, there are only countably many points in

_{y}*U*–

*U’*.

For each *x* ∈ *U*–*U’*, let us pick an index *i*[*x*] in *I* such that *x* is in *U _{i}*

_{[}

_{x}_{]}. Let

*K*be {

*i*[

*x*] |

*x*∈

*U*–

*U’*}. This is a countable set, and therefore so is

*J*∪

*K*. The countable subfamily consisting of those sets

*U*such that

_{i}*i*∈

*J*∪

*K*then covers both

*U’*and

*U*–

*U’*, hence it covers the whole of

*U*. It follows that

*U*= ∪

_{i ∈ J ∪ K}

*. ☐*

*U*_{i}Hence **R**_{ℓ} once again serves as a counterexample! Namely, as an example that not all hereditarily Lindelöf spaces are second-countable.

Before we proceed, let me mention the following practical fact.

**Lemma F.** A space *X* is hereditarily Lindelöf if and only if every directed family (*U _{i}*)

_{i ∈ I}of open sets contains an ascending subsequence

*U*

_{i}_{[0]}⊆

*U*

_{i}_{[1]}⊆ … ⊆

*U*

_{i}_{[n]}⊆ … with the same union.

Proof. If *X* is hereditary Lindelöf, then we can assume that *I* is countable, and even that *I* is just **N**. We build *i*[*n*] by induction on *n* as follows. We let *i*[0]≝0. For every *n*≥1, we define *i*[*n*] as any index *i* such that *U _{i}* contains

*U*

_{i}_{[n–1]}and

*U*. It is easy to see that

_{n}*U*

_{i}_{[0]}⊆

*U*

_{i}_{[1]}⊆ … ⊆

*U*

_{i}_{[n]}⊆ … Moreover, for every natural number

*n*,

*U*is included in

_{n}*U*

_{i}_{[n]}, so that the union of the sets

*U*

_{i}_{[n]}contains the union of the sets

*U*, and is therefore equal to it.

_{n}Conversely, let us assume that every directed family of open sets contains an ascending subsequence with the same union. Let (*U _{i}*)

_{i ∈ I}be any family of open sets, and

*U*be its union. For every non-empty finite subset

*J*of

*I*, let

*U*≝ ∪

_{J}_{i ∈ J}

*U*: the family (

_{i}*U*)

_{J}_{J finite non-empty ⊆ I}is now directed, its union is

*U*, and by assumption we can find an ascending subsequence

*U*

_{J}_{[0]}⊆

*U*

_{J}_{[1]}⊆ … ⊆

*U*

_{J}_{[n]}⊆ … whose union is

*U*. It follows that the union of the sets

*U*, where

_{i}*i*ranges over the countable family ∪

_{n ∈ N}

*J*[

*n*], is equal to

*U*. ☐

## The Lebesgue measure on **R**_{ℓ}

If you know about Lebesgue measure λ, proving that **R**_{ℓ} is not consonant is now only a few steps away. (If you don’t, then stop reading here and proceed directly to Appendix B.) Realizing that every open subset of **R**_{ℓ} is a countable union of basic open subsets [*a*,*b*[ (a simple consequence of the fact that **R**_{ℓ} is hereditarily Lindelöf), and that any subset of the form [*a*,*b*[ is a Borel subset of **R**, we see that **R** and **R**_{ℓ} have the same Borel σ-algebras. In particular, λ defines a Borel measure on **R**_{ℓ}.

Then we notice that every Borel measure on a hereditarily Lindelöf space is τ-smooth [4]. This is much easier to understand and prove than the intimidating wording would leave us to believe. A measure is *τ-smooth* if and only if its restriction to the lattice of open sets is Scott-continuous. If *X* is a hereditarily Lindelöf space, then for every directed family (*U _{i}*)

_{i ∈ I}of open subsets of

*X*, with union

*U*, there is an ascending subsequence

*U*

_{i}_{[0]}⊆

*U*

_{i}_{[1]}⊆ … ⊆

*U*

_{i}_{[n]}⊆ … whose union is also

*U*(see Lemma F). Given any Borel measure μ on

*X*, μ(

*U*) is then equal to μ(∪

_{n ∈ N}

*U*

_{i}_{[n]}). Since the union ∪

_{n ∈ N}

*U*

_{i}_{[n]}is a union of a

*countable*chain, the fact that μ is a measure entails that μ(

*U*) = sup

_{n ∈ N}μ(

*U*

_{i}_{[n]}), and one easily checks that this is also equal to sup

_{i ∈ I}μ(

*U*). The important point is that measures commute with suprema of countable chains. Going from the countable case to the general case is something we can afford thanks to hereditary Lindelöfness.

_{i}By the way, hereditary Lindelöfness is a sufficient *and necessary* condition: as Adamski proved, a space *X* is hereditarily Lindelöf *if and only if* every Borel measure on *X* is τ-smooth [4].

In any case, Lebesgue measure λ is a Borel measure on **R**_{ℓ}. **R**_{ℓ} is hereditarily Lindelöf by Proposition E, and Adamski’s theorem tells us that λ is τ-smooth, namely that it restricts to a Scott-continuous map from **O**(**R**_{ℓ}) to **R**_{+} ∪ {+∞}. It follows that the set ** U** of all open subsets

*U*of

**R**

_{ℓ}such that λ(

*U*)>

*r*(for any given

*r*>0) is Scott-open, as promised. That was the only remaining detail we had to fill in the argument we gave at the beginning of this post:

**R**

_{ℓ}is not consonant.

That’s it! Oh, if you’re not completely exhausted, have a look at Appendix B for a funny purely domain-theoretic of building the same Scott-open family ** U**.

- 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. - Camillo Costantini and Stephen Watson,
*On the dissonance of some metrizable spaces*, Topology and its Applications 84 (1998), 259—268. - Wolfgang Adamski. τ-smooth Borel measures on topological spaces. Mathematische Nachrichten, 78:97–107, 1977.
- Claire Jones. Probabilistic Non-Determinism. Ph.D. thesis, University of Edinburgh. Technical Report ECS-LFCS-90-105, 1990.
- Nait Saheb-Djahromi. Cpo’s of Measures for Nondeterminism. Theoretical Computer Science, 12, pages 19–37, 1980.
- Jimmie Lawson. Valuations in continuous lattices. In: Hoffman, R.-E. (ed.), Continuous Lattices and Related Topics. Mathematik Arbeitspapiere, Universität Bremen 27, 1982.
- Boualem Alleche and Jean Calbrix. On the coincidence of the upper Kuratowski topology with the cocompact topology. Topology and its Applications 93(3):207—218, 1999.

## Appendix A

We show that every countable non-limit ordinal β+1 is the order-type of some compact subset *Q*_{β} of **R**_{ℓ}. (Technically, 0 is another non-limit ordinal, and it is not of the form β+1; but 0 if of course the order-type of the empty compact set.) In fact, we will show that we can even design *Q*_{β} so that it is included in any prescribed interval ]*a*,*b*], *a*<*b*.

In order to show this, we need to know the following interesting little fact: every countable limit ordinal has cofinality ω. This is savant jargon to say that every countable limit ordinal β is the supremum of a monotone sequence of ordinals α_{0} ≤ α_{1} ≤ … ≤ α_{n} ≤ … < β indexed by *natural numbers*. Here is how you prove it. First, β is the supremum of all the ordinals α<β. The family of those ordinals is just β itself, and is therefore countable. This gives us an enumeration of the ordinals α<β by natural numbers; but we are not done yet, because that enumeration may fail to be monotone. So we have to work a bit more. Let *f* be a bijection between **N** and β. This is the enumeration we have just talked about. We define α_{n} by induction on *n*, as being *f*(*m*) where *m* is the first natural number ≥*m* such that *f*(*m*) is strictly larger than all the previously defined ordinals α_{0}, α_{1}, …, α_{n–1}. I’ll let you check by yourselves that the sequence of ordinals α_{n} is well-defined, monotone, and cofinal in the family of all ordinals α<β, so that its supremum is β as well.

We can now build *Q*_{β} (compact in **R**_{ℓ}, of order-type β+1, and included in ]*a*,*b*], *a*<*b*) by induction on β.

- If β=0, then we take
*Q*_{β}≝ {*b*}. - If β is a successor ordinal, say β=γ+1, then by induction hypothesis we have already formed
*Q*_{γ}, and we may assume that*Q*_{γ}is included in ]*a*,*b*]. Then*Q*_{β}≝*Q*_{γ}∪ {(*a*+min*Q*_{γ})/2} suits our needs. - Finally, let us assume that β is a (countable) limit ordinal. First, we express β as the supremum of a monotone sequence of ordinals α
_{0}≤ α_{1}≤ … ≤ α_{n}≤ … < β, using the fact that every countable limit ordinal has cofinality ω. We let β[0]≝α_{0}. For every*n*≥1, the set of ordinals between α_{n–1}(included) and α_{n}(excluded) is well-founded and total, hence is isomorphic to a unique ordinal β[*n*] (its order-type). Clearly, β[*n*] is countable and smaller than or equal to α_{n}, hence strictly smaller than β. We can there apply the induction hypothesis: for each*n*in**N**, we find a compact subset*Q’*of_{n}**R**_{ℓ}or order-type β[*n*] included in ]*c*+(*b*–*c*)/2^{n+1},*c*+(*b*–*c*)/2^{n}], where*c*is a fixed number in ]*a*,*b*], for example (*a*+*b*)/2. Let*g*be the order-isomorphism between β[_{n}*n*] and*Q’*. Then we let_{n}*Q*_{β}be the (disjoint) union of the sets*E’*, for_{n}*n*∈**N**, plus {*c*}.

It is easy to see that the order-type of*Q*_{β}is β+1. We can even describe an explicit order-isomorphism between β+1 and*Q*_{β}: this maps any ordinal α < β[0]=α_{0}to*g*_{0}(α) the ordinals α_{0}+α with α < β[1] to*g*_{1}(*α*), the ordinals α_{1}+α with α < β[2] to*g*_{2}(*α*), and so on; and finally, it maps β to*c*.

It remains to show that*Q*_{β}is a subdcpo of (, ≥). Let**R***D*be a non-empty family of elements of*Q*_{β}. If*c*is in*D*, then inf*D*=*c*, so inf*D*is in*Q*_{β}. In the rest of the argument, we therefore assume that*c*is not in*D*, so that*D*is included in the union of the compact sets*Q’*,_{n}*n*∈**N**. Let*E*be the set of natural numbers*n*such that*D*contains an element of*Q’*._{n}*E*is non-empty. If*E*is bounded, then let*n*be its largest element. Then*D*∩*Q’*is cofinal in_{n}*D*(with respect to ≥), so inf*D*= inf (*D*∩*Q’*), and that lies in_{n}*Q’*by Fact B, hence in_{n}*Q*_{β}. If*E*is unbounded, then there are points of*D*in intervals ]*c*+(*b*–*c*)/2^{n+1},*c*+(*b*–*c*)/2^{n}] for*n*arbitrarily large. Then inf*D*=*c*, and*c*is in*Q*_{β}.

## Appendix B

A *continuous valuation* on a topological space *X* is a Scott-continuous map ν : **O***X* → **R**_{+} ∪ {+∞} such that:

- (strictness) ν(∅)=0
- (modularity) ν(
*U*∪*V*) + ν(*U*∩*V*) = ν(*U*) + ν(*V*) for all open subsets*U*and*V*of*X*.

Notions of valuations as strict and modular maps (without Scott-continuity) can be traced back to at least a 1948 paper by Horn and Tarski. Nait Saheb-Djahromi introduced continuous valuations on dcpos in 1980 [6], and Jimmie Lawson proved a fundamental measure extension theorem for continuous valuations in 1982 [7]. Claire Jones’ 1990 PhD thesis [5] popularized the notion among computer scientists, and was probably the first to lay out the general theory of continuous valuations (on dcpos).

Continuous valuations and measures are very close notions. By definition, given any τ-smooth Borel measure μ on *X*, its restriction to open sets is a continuous valuation. Conversely, there are large classes of spaces on which every continuous valuation extends to a measure on the Borel σ-algebra (Lawson’s paper [7] being the first result of that kind). But enough with measures! I have promised that this section would be purely domain-theoretic.

The collection **V***X* of all continuous valuations on a space *X* can be ordered by the so-called *stochastic ordering*: ν≤ν’ if and only if ν(*U*)≤ν'(*U*) for every open subset *U* of *X*. This turns **V***X* into a dcpo. In order to show the (modularity) law for a directed supremum of continuous valuations, simply observe that + is Scott-continuous on **R**_{+} ∪ {+∞}.

There are some very simple continuous valuations: the *Dirac valuation* δ* _{x}* at

*x*maps every open neighborhood of

*x*to 1, all all other open sets to 0. The finite linear combinations ∑

_{i=1}

^{n}*a*δ

_{i}

_{x}_{[}

_{i}_{]}, where each

*a*is in

_{i}**, are all continuous valuations. The continuous valuations of this form are called the**

**R**_{+}*simple valuations*. The probabilistic intuition is that such a continuous valuation represents a process by which we draw

*x*[

*i*] at random with probability

*a*(provided the points

_{i}*x*[

*i*] are pairwise distinct and the sum of the coefficients

*a*equals 1).

_{i}Since **V***X* is a dcpo, any directed supremum of simple valuations is a continuous valuation, and I will call the continuous valuations obtained this way *quasi-simple*. Jones showed that every continuous valuation on a a continuous dcpo is quasi-simple. I am only mentioning this because that is interesting, but we won’t make any use of that here.

We will build a continuous valuation λ on **R**_{ℓ}, which is in fact the restriction of Lebesgue measure to the open subsets of **R**_{ℓ}. No, λ is not quasi-simple (pardon me for omitting the argument), but the following roundabout strategy will work. We will first embed **R**_{ℓ} into a dcpo model, namely a dcpo **I R_{ℓ}** in which

**R**

_{ℓ}embeds as the space of its maximal elements. We will then build a certain quasi-simple valuation

*on*

*λ***I**, and we will show that

**R**_{ℓ}*is*

*λ**supported*on its set of maximal elements

**R**

_{ℓ}(in a sense that I will make precise below). It will follow that

*arises in a certain way from a continuous valuation on*

*λ***R**

_{ℓ}, and this will be λ.

### A dcpo model for **R**_{ℓ}

Let **I R_{ℓ}** be the following poset. It contains two kinds of points:

- The real numbers
*r*, which will form the set of maximal points of**R**_{ℓ}, - and the half-open intervals [
*a*,*b*[, with*a*<*b*.

We order them as follows:

- [
*a*,*b*[ ⊑ [*a*‘,*b*‘[ if and only if*a*=*a’*and*b*>*b’*, namely if and only if [*a*,*b*[ contains [*a*‘,*b*‘[, and has the*same*left endpoint; - [
*a*,*b*[ ⊑*r*for every*r*∈ [*a*,*b*[; - the only element larger than or equal to a real number
*r*is*r*itself.

If you start from an interval [*a*,*b*[, the only way to go up from there is to produce intervals [*a*,*b’*[ with smaller and smaller values of *b’*, leaving *a* untouched, or to directly go from one such interval [*a*,*b’*[ to a real number *r* in [*a*,*b’*[ and stop. For example, look at the picture below. If you start from [*a*,*a*+1[, you can either go up, geometrically, following the red arrows, or you can go directly to the top line, following the blue arrows, and landing anywhere between *a* (included) and *a*+1 (excluded).

It is then easy to see that **I R_{ℓ}** is a dcpo. Given any directed family

*D*,

- If
*D*contains some real number*r*already, then*r*= sup*D*; - Otherwise,
*D*is a family of intervals [*a*,*b*[,_{i}*i*∈*I*, with the same left end*a*, and its supremum is the interval [*a*, inf_{i ∈ I}*b*[ if_{i}*a*<inf_{i ∈ I}*b*, and the real number_{i}*a*otherwise.

The way-below relation on **I R_{ℓ}** is given by:

*A*≪

*B*if and only if

*B*is a real number

*a*, and

*A*is an interval [

*a*,

*b*[ (with the same

*a*). In particular, no interval

*A*is way-below any interval [

*a*,

*b*[: to see this, pick any point

*r*in [

*a*,

*b*[ other than

*a*, then

*r*is the supremum of the chain of intervals [

*r*,

*r*+1/2

*[,*

^{n}*n*∈

**N**, but none of those intervals can be above

*A*. The same argument shows that [

*a*,

*b*[ cannot be way-below any number

*r*in [

*a*,

*b*[ that is different from

*a*. But [

*a*,

*b*[ is way-below

*a*, as one checks easily.

It follows that **I R_{ℓ}** is very far from being a continuous dcpo: no interval

*B*can be obtained as the supremum of any directed family (or any family whatsoever) of intervals way-below

*B*.

Still, we have the following. We equip **I R_{ℓ}** with the Scott topology of ⊑.

**Lemma D.** **I R_{ℓ}** is a dcpo model of

**:**

**R**_{ℓ}**embeds topologically as the subspace of maximal elements of**

**R**_{ℓ}**I**.

**R**_{ℓ}*Proof.* Let ** U** be any Scott-open subset of

**I**. We show that

**R**_{ℓ}**∩**

*U***is open in**

**R**_{ℓ}**. In order to see this, let**

**R**_{ℓ}*r*be any point of

**∩**

*U***. Then**

**R**_{ℓ}*r*is the supremum of the chain [

*r*,

*r*+ε[, ε>0, and is in

**, so [**

*U**r*,

*r*+ε[ is an element of

**for some ε>0. Since**

*U***is upwards-closed, every real number in [**

*U**r*,

*r*+ε[ is in

**, hence in**

*U***∩**

*U***. This shows that**

**R**_{ℓ}**∩**

*U***is an open neighborhood of**

**R**_{ℓ}*r*, and since

*r*is arbitrary,

**∩**

*U***is open in**

**R**_{ℓ}**.**

**R**_{ℓ}Conversely, we claim that every open subset *U* of ** R_{ℓ}** is also open in the subspace topology induced by the inclusion of

**into**

**R**_{ℓ}**I**. To this end, it suffices to consider the special case where

**R**_{ℓ}*U*is a subbasic open set [

*a*,

*b*[. We consider the set

**consisting of all the real numbers in [**

*U**a*,

*b*[, plus all the intervals [

*a’*,

*b’*[ such that

*a*≤

*a’*<

*b’*<

*b*. It is easy to see that

**is Scott-open, and that**

*U***∩**

*U***=**

**R**_{ℓ}*U*. ☐

### Building λ

Let us call *finite partition* (of ** R_{ℓ}**) any finite list

*P*≝ {

*a*[0] <

*a*[1] < … <

*a*[

*n*]} of real numbers,

*n*≥1. We view this as a specification of the finitely many pairwise disjoint intervals [

*[0],*

*a**[1][, …, [*

*a**a*[

*n*–1],

*a*[

*n*][. The

*lengths*of those intervals are (

*a*[1]–

*a*[0]), …, and (

*a*[

*n*]–

*a*[

*n*–1]). With such a finite partition, we associate the simple valuation

*λ*≝ ∑

_{P}_{i=1}

*(*

^{n}*a*[

*i*]–

*a*[

*i*–1]) δ

_{[}

_{a}_{[}

_{i}_{–1], a[i][}on

**I**. Explicitly, for every Scott-open subset

**R**_{ℓ}**of**

*U***I**,

**R**_{ℓ}*(*

*λ*_{P}**) is the sum of the lengths (**

*U**a*

_{i}–

*a*

_{i–1}) of those intervals [

*a*

_{i–1},

*a*

_{i}[ which, seen as elements of

**I**, belong to

**R**_{ℓ}**.**

*U*For example, the picture below displays a finite partition *P* ≝{*a*[0] < *a*[1] < *a*[2] < *a*[3] < *a*[4]}, and the corresponding intervals [* a*[0],

*[1][, [*

*a**[1],*

*a**[2][, [*

*a**[2],*

*a**[3][, and [*

*a**[3],*

*a**[4][. Those intervals can be read as strips off the top line,*

*a***, or as points of**

**R**_{ℓ}**I**, shown as the (upside-down) tips at the bottom of the corresponding triangles. The picture also displays a Scott-open subset

**R**_{ℓ}**of**

*U***I**, in a light blue shade. [

**R**_{ℓ}*[1],*

*a**[2][ and [*

*a**[2],*

*a**[3][ are elements of*

*a***, but not [**

*U**[0],*

*a**[1][ or [*

*a**[3],*

*a**[4][, and therefore*

*a**(*

*λ*_{P}**) =**

*U**a*[3]–

*a*[1].

The collection of all finite partitions is directed in the subset ordering ⊆: notably, given any two finite partitions, their union is a finite partition, too.

I claim that the map *P* ↦ * λ_{P}* is monotonic. Let

*P*and

*Q*be two finite partitions, and let us assume that

*P*⊆

*Q*. Hence we can write

*P*as {

*a*[0] <

*a*[1] < … <

*a*[

*n*]}, and for each

*i*with 1≤

*i*≤

*n*, we can write the points of

*Q*that lie between

*a*[

*i*–1] and

*a*[

*i*] as

*b*[

*i*,0]≝

*[*

*a**–1] <*

*i**[*

*b**,1] < … <*

*i**b*[

*i*,

*m*]≝

_{i}*a*[

*i*]. For each

*j*with 1≤

*j*≤

*, the interval [*

*m*_{i}*b*[

*i*,

*j*–1],

*b*[

*i*,

*j*][ is an element of

**I**that lies above [

**R**_{ℓ}*[*

*a**–1],*

*i**[*

*a**][, and the sum of the lengths of those intervals [*

*i**b*[

*i*,

*j*–1],

*b*[

*i*,

*j*][, 1≤

*j*≤

*, is exactly the length (*

*m*_{i}*a*[

*i*]–

*a*[

*i*–1]) of [

*[*

*a**–1],*

*i**[*

*a**][. For every Scott-open subset*

*i***of**

*U***I**,

**R**_{ℓ}*(*

*λ*_{P}**) is the sum of the lengths of those intervals [**

*U**[*

*a**–1],*

*i**[*

*a**][ that lie in*

*i***. Hence**

*U**(*

*λ*_{P}**) is also the sum of the lengths of the intervals [**

*U**b*[

*i*,

*j*–1],

*b*[

*i*,

*j*][ such that [

*[*

*a**–1],*

*i**[*

*a**][ is in*

*i***and 1≤**

*U**j*≤

*. All those intervals [*

*m*_{i}*b*[

*i*,

*j*–1],

*b*[

*i*,

*j*][ are in

**as well, so**

*U**(*

*λ*_{P}**) is less than or equal to the sum of the lengths of all the intervals [**

*U**b*[

*i*,

*j*–1],

*b*[

*i*,

*j*][ that are in

**, when both**

*U**i*and

*j*vary. The latter sum is just

*(*

*λ*_{Q}**), so**

*U**(*

*λ*_{P}**)≤**

*U**(*

*λ*_{Q}**).**

*U*Since **V**(**I R_{ℓ}**) is a dcpo, the family of all maps

*has a supremum*

*λ*_{P}*.*

*λ**λ* is supported on the set of maximal elements of **I****R**_{ℓ}

*λ*

**R**

_{ℓ}

I claim that *λ* is supported on the set **R _{ℓ}** of maximal elements of

**IR**. Intuitively, that means that drawing an element at random with respect to

_{ℓ}*λ*will give you an element of

**R**with probability 1. Formally, that really means that for every fixed open subset

_{ℓ}*U*of

**R**, and whichever Scott-open subset

_{ℓ}**of**

*U***IR**we consider whose intersection with

_{ℓ}**R**equals

_{ℓ}*U*,

*λ*(

**) will always give you the same value, and that will be the desired value**

*U**λ*(

*U*) of the Lebesgue valuation

*λ*on

*U*.

The key to this is Proposition 5.2.28 in the book, a consequence of Rudin’s Lemma. Let me restate it. Given any dcpo *X*, let **Q**_{fin}(*X*) be the poset of all non-empty finite subsets of *X*, preordered by the Smyth preordering ≤^{#}: *E* *≤ ^{#}*

*F*if and only if every element of

*F*is above some element of

*E*, namely if and only if ↑

*E*⊇ ↑

*F*. Proposition 5.2.8 says that, given any directed family (

*E*)

_{i}_{i ∈ I}in

**Q**

_{fin}(

*X*) and any Scott-open subset

**of**

*U**X*, if ∩

_{i ∈ I}↑

*E*is included in

_{i}**, then some**

*U**E*is included in

_{i}**already.**

*U*Let us say that the *endpoints* of a finite partition *P* ≝ {*a*[0] < *a*[1] < … < *a*[*n*]} are *a*[0] and *a*[*n*]. Let us also write Part(*a*,*b*) for the set of all finite partitions whose endpoints are *a* and *b*.

Given any finite partition *P* ≝ {*a*[0] < *a*[1] < … < *a*[*n*]}, let us write *E _{P}* for the set of intervals [

*[0],*

*a**[1][, …, [*

*a**a*[

*n*–1],

*a*[

*n*][, viewed as elements of the dcpo

**IR**. We observe that, given two finite partitions

_{ℓ}*P*and

*Q*in Part (

*a*,

*b*) (hence with the same endpoints

*a*and

*b*), if

*P*⊆

*Q*, then

*E*≤

_{P}^{#}

*E*. Part (

_{Q}*a*,

*b*) is a directed family of finite partitions, since {

*a*,

*b*} is in Part (

*a*,

*b*) and Part (

*a*,

*b*) is closed under binary unions. Hence the collection of elements

*E*of

_{P}**Q**

_{fin}(

**IR**) when

_{ℓ}*P*varies over Part (

*a*,

*b*) is directed. The intersection of the sets ↑

*E*,

_{P}*P*∈ Part (

*a*,

*b*), is exactly the interval [

*a*,

*b*[. By Proposition 5.2.28, we obtain: (*) for every Scott-open subset

**of**

*V***IR**such that [

_{ℓ}*a*,

*b*[ ⊆

**, there is finite partition**

*V**Q*with endpoints

*a*and

*b*such that

*E*is included in

_{Q}**.**

*V*This is pictured below. The partition *Q* is {*b*[0] < *b*[1] < … < *b*[10]}.

Let *U* be any open subset of ** R_{ℓ}**, and let

**and**

*U***be two Scott-open subsets of**

*V***I**such that

**R**_{ℓ}**∩**

*U***=**

**R**_{ℓ}**∩**

*V***=**

**R**_{ℓ}*U*. We wish to show that

*(*

*λ**)=*

**U***(*

*λ***). By symmetry, it is enough to show that**

*V**(*

*λ**)≤*

**U***(*

*λ***). The situation is exemplified below. Note that**

*V***need not be included in**

*U***.**

*V*In order to show that * λ*(

*)≤*

**U***(*

*λ***), let**

*V**r*be any positive real number such that

*r*<

*(*

*λ**). There is a finite partition*

**U***P*such that

*r*<

*(*

*λ*_{P}**). (You may imagine that this is the partition {**

*U**a*[0] <

*a*[1] < … <

*a*[4]} showed in the picture above.)

We will show that there is a finite partition *Q* such that *r* < * λ_{Q}*(

**). We write**

*V**P*as {

*a*[0] <

*a*[1] < … <

*a*[

*n*]}, and we consider any index

*i*with 1≤

*i*≤

*n*such that [

*[*

*a**–1],*

*i**[*

*a**][ is an element of*

*i***. (For instance, [**

*U**a*[1],

*a*[2][ in the example above.) Every real number in [

*[*

*a**–1],*

*i**[*

*a**][ is above the element [*

*i**[*

*a**–1],*

*i**[*

*a**][, hence is also in*

*i***. Hence the interval [**

*U**[*

*a**–1],*

*i**[*

*a**][ is included in*

*i***∩**

*U***, namely in**

**R**_{ℓ}*U*, and therefore [

*[*

*a**–1],*

*i**[*

*a**][ is included in*

*i***∩**

*V***, hence in**

**R**_{ℓ}**. By (*), proved above, there is a finite partition**

*V**Q*with endpoints

_{i}*[*

*a**–1] and*

*i**[*

*a**], say*

*i**Q*≝ {

_{i}*b*[

*i*,0] < … <

*b*[

*i*,

*m*]} (with

_{i}*b*[

*i*,0]=

*[*

*a**–1] and*

*i**b*[

*i*,

*m*]

_{i}*[*

*=a**]) such that the intervals [*

*i**b*[

*i*,

*j*–1],

*b*[

*i*,

*j*][, 1≤

*j*≤

*, are all in*

*m*_{i}**. In the following picture, we show how [**

*V**a*[1],

*a*[2][ is refined by

*Q*

_{2}≝ {

*b*[2,0] < … <

*b*[2,10]}.

Let *Q* be the union of the finite partitions *Q _{i}*, when

*i*ranges over the indices

*i*with 1≤

*i*≤

*n*such that [

*[*

*a**–1],*

*i**[*

*a**][ is an element of*

*i***. If we agree to write those indices**

*U**i*as

*i*[0] <

*i*[1] < …

*i*[

*n*], then the elements of

*Q*are

*b*[

*i*[0],0] < … <

*b*[

*i*[0],

*m*

_{i}_{[0]}] ≤

*b*[

*i*[1],0] < … <

*b*[

*i*[1],

*m*

_{i}_{[1]}] ≤ … ≤

*b*[

*i*[

*n*],0] < … <

*b*[

*i*[

*n*],

*m*

_{i}_{[n]}], and

*E*consists of the intervals [

_{Q}*b*[

*i*,

*j*–1],

*b*[

*i*,

*j*][ with 1≤

*j*≤

*, and where*

*m*_{i}*i*can be equal to

*i*[0],

*i*[1], …, or

*i*[

*n*], plus possibly other intervals [

*b*[

*i*[0],

*m*

_{i}_{[0]}],

*b*[

*i*[1],0][,

*b*[

*i*[1],

*m*

_{i}_{[0]}] ≤

*b*[

*i*[2],0], inbetween two consecutive partitions

*Q*. All the intervals of the former kind are in

_{i}**, from which we conclude that**

*V**(*

*λ*_{Q}**) is larger than or equal to the sum of their lengths**

*V**b*[

*i*,

*j*]–

*b*[

*i*,

*j*–1]. For each

*i*among

*i*[0],

*i*[1], …,

*i*[

*n*], the sum of the lengths

*b*[

*i*,

*j*]–

*b*[

*i*,

*j*–1], 1≤

*j*≤

*, is equal to*

*m*_{i}*b*[

*i*,

*m*]–

_{i}*b*[

*i*,0] =

*a*[

*i*]–

*a*[

*i*–1], and summing those quantities over

*i*=

*i*[0],

*i*[1], …,

*i*[

*n*] yields

*(*

*λ*_{P}**). Therefore**

*U**(*

*λ*_{Q}**)≥**

*V**(*

*λ*_{P}**)>**

*U**r*.

### Defining the Lebesgue valuation *λ* on **R**_{ℓ}

*λ*

**R**

_{ℓ}

We can therefore define * λ*(

*U*), for every open subset

*U*of

**, as**

**R**_{ℓ}*(*

*λ**) where*

**U****is any Scott-open subset of**

*U***I**such that

**R**_{ℓ}**∩**

*U***=**

**R**_{ℓ}*U*.

I claim that * λ* is a continuous valuation. For every open subset

*U*of

**, there is at least one Scott-open subset**

**R**_{ℓ}**of**

*U***I**such that

**R**_{ℓ}**∩**

*U***=**

**R**_{ℓ}*U*; let me call such a Scott-open set

**a**

*U**representative*of

*U*.

- (strictness) the empty subset of
**I**is a representative of the empty subset of**R**_{ℓ}, so**R**_{ℓ}(∅)=*λ*(∅)=0.*λ* - (modularity) Let
*U*and*V*be any two open subsets of, with respective representatives**R**_{ℓ}and*U*. Then*V*∪*U*is a representative of*V**U*∪*V*and∩*U*is a representative of*V**U*∩*V*, so(*λ**U*∪*V*)+(*λ**U*∩*V*)=(*λ*∪**U**)+**V**(*λ*∩**U**)=**V**(*λ*)+**U**(*λ*)=**V**(*λ**U*)+(*λ**V*), using the fact thatis modular in order to justify the middle equation.*λ* - Scott-continuity. We first show that
is monotonic. Let*λ**U*and*V*be any two open subsets of, with respective representatives**R**_{ℓ}and*U*, and let us assume that*V**U*is included in*V*. It may not be the case thatis included in*U*, but that does not matter. What does matter is that*V*∪*U*is another representative of*V**V*: (∪*U*) ∩*V*= (**R**_{ℓ}∩*U*) ∪ (**R**_{ℓ}∩*V*) =**R**_{ℓ}*U*∪*V*=*V*. Therefore(*λ**V*)=(*λ*∪*U*)≥*V*(*λ*)=*U*(*λ*), where the middle inequality is by monotonicity of*U*.*λ*

Let us consider any directed family (*U*)_{i}_{i ∈ I}of open subsets of, and let their union be**R**_{ℓ}*U*. We consider that directed family as a monotone net, by defining*i*⪯*j*as*U*⊆_{i}*U*. For each_{j}*i*in*I*, letbe a representative of**U**_{i}*U*. Generalizing what we have done in the previous paragraph, we see that the union_{i}of all the sets**V**_{i}over the indices**U**_{j}*j*in*I*such that*j*⪯*i*is another representative of*U*:_{i}∩**V**_{i}is equal to the union of the sets**R**_{ℓ}∩**U**_{j}=**R**_{ℓ}*U*over the indices_{j}*j*⪯*i*, which is just*U*. The point of this construction is that the map_{i}*i*∈*I*↦is monotonic, so that (**V**_{i})**V**_{i}_{i ∈ I}is a directed family of open subsets of**I**. Additionally, the union**R**_{ℓ}≝ ∪*V*_{i ∈ I}is a representative of**V**_{i}*U*= ∪_{i ∈ I}*U*. It follows that_{i}(*λ**U*)=(*λ*)=sup*V*_{i ∈ I}(*λ*)=sup**V**_{i}_{i ∈ I}(*λ**U*), using the Scott-continuity of_{i}.*λ*

From the fact that * λ* is a continuous valuation, we obtain that the collection of open subsets

*U*of

**such that**

**R**_{ℓ}*(*

*λ**U*)>

*r*(for any given

*r*>0) is a Scott-open subset of

**O**(

**). For that, we did not need to know that**

**R**_{ℓ}*is strict or modular.*

*λ*However, in order to complete our proof of consonance, we also needed to know that, given any compact subset *Q* ≝ {*x*_{0}, *x*_{1}, …, *x*_{n}, …} of ** R_{ℓ}**, and for every ε>0, the open set

*U*≝ ∪

_{n ∈ N}[

*x*

_{n}, ε/2

*[ had Lebesgue measure*

^{n}*(*

*λ**U*)≤∑

_{n ∈ N}ε/2

*= 2ε. This requires one to know that*

^{n}*is a continuous valuation, not just any Scott-continuous map from*

*λ***O**(

**) to**

**R**_{ℓ}**R**

_{+}∪ {+∞}. Indeed, every continuous valuation

*ν*satisfies the following

*sum bound*: ν(∪

_{n ∈ N}

*U*)≤∑

_{n}_{n ∈ N}ν(

*U*). This is proved as follows. By Scott-continuity, ν(∪

_{n}_{n ∈ N}

*U*)≤sup

_{n}_{n ∈ N}ν(∪

_{i=1}

^{n}*U*). By induction on

_{i}*n*, we show that ν(∪

_{i=1}

^{n}*U*)≤∑

_{i}_{i=1}

*ν(*

^{n}*U*): the essential argument is the inequality ν(

_{i}*U*∪

*V*)≤ν(

*U*)+ν(

*V*), which follows from (modularity). We therefore obtain ν(∪

_{n ∈ N}

*U*)≤sup

_{n}_{n ∈ N}∑

_{i=1}

*ν(*

^{n}*U*)=∑

_{i}_{n ∈ N}ν(

*U*). And we are done!

_{n}— Jean Goubault-Larrecq (May 20th, 2021)