2012-02-07 20:40:23 8 Comments

This question arises from the excellent question posed on math.SE by Salvo Tringali, namely, Correspondence between Borel algebras and topology. Since the question was not answered there after some time, I am bringing it up here on mathoverflow in the hopes that it may find an answer here.

For any topological space, one may consider the Borel sets of the space, the $\sigma$-algebra generated by the open sets of that topology. The question is whether every $\sigma$-algebra arises in this way.

**Question.** Is every $\sigma$-algebra the Borel algebra of a
topology?

In other words, does every $\sigma$-algebra $\Sigma$ on a set $X$ contain a topology $\tau$ on $X$ such that $\Sigma$ is the $\sigma$ algebra generated by the sets in $\tau$?

Some candidate counterexamples were proposed on the math.SE question, but ultimately shown not to be counterexamples. For example, my answer there shows that the collection of Lebesgue measurable sets, which seemed at first as though it might be a counterexample, is nevertheless the Borel algebra of the topology consisting of sets of the form $O-N$, where $O$ is open in the usual topology and $N$ is measure zero. A proposed counterexample of Gerald Edgar's there, however, remains unresolved. And I'm not clear on the status of a related proposed counterexample of George Lowther's.

Meanwhile, allow me to propose here a few additional candidate counterexamples:

Consider the collection $\Sigma_0$ of eventually periodic subsets of $\omega_1$. A set $S\subset\omega_1$ is

*eventually periodic*if above some countable ordinal $\gamma$, there is a countable length pattern which is simply repeated up to $\omega_1$ to form $S$. This is a $\sigma$-algebra, since it is closed under complements and countable intersections (one may find a common period among countably many eventually periodic sets by intersecting the club sets consisting of starting points of the repeated pattern).Consider the collection $\Sigma_1$ of eventually-agreeing subsets of the disjoint union $\omega_1\sqcup\omega_1$ of two copies of $\omega_1$. That is, sets $S\subset \omega_1\sqcup\omega_1$, such that except for countably many exceptions, $S$ looks the same on the first copy as it does on the second. Another way to say it is that the symmetric difference of $S$ on the first copy with $S$ on the second copy is bounded. This is a $\sigma$-algebra, since it is closed under complement and also under countable intersection, as the countably many exceptional sets will union up to a countable set.

Please enlighten me by showing either that these are not actually counterexamples or that they are, or by giving another counterexample or a proof that there is no counterexample.

If the answer to the question should prove to be affirmative, but only via strange or unattractive topologies, then consider it to go without saying that we also want to know how good a topology can be found (Hausdorff, compact and so on) to generate the given $\sigma$-algebra.

### Related Questions

#### Sponsored Content

#### 1 Answered Questions

### [SOLVED] Borel $\sigma$-algebra of a Borel subset

**2019-09-06 08:26:05****yadaddy****90**View**1**Score**1**Answer- Tags: measure-theory

#### 2 Answered Questions

### [SOLVED] Set of perfect subsets of a Borel set

**2019-07-31 00:44:43****Iian Smythe****431**View**7**Score**2**Answer- Tags: set-theory lo.logic descriptive-set-theory

#### 2 Answered Questions

### [SOLVED] Is it known how the Sigma Algebra generated by Jordan measurable sets compares to universally measurable sets and analytic sets?

**2018-11-11 03:36:12****Keshav Srinivasan****542**View**11**Score**2**Answer- Tags: measure-theory open-problems descriptive-set-theory lebesgue-measure borel-sets

#### 1 Answered Questions

### [SOLVED] Borel $\sigma$-algebra in $\beta \mathbb N \times \beta \mathbb N$

**2018-10-21 10:21:54****user3522356****198**View**3**Score**1**Answer- Tags: measure-theory borel-sets stone-cech-compactification

#### 1 Answered Questions

### [SOLVED] Equivalent of Lusin's Theorem in Borel setting

**2018-02-21 14:50:00****Shrey****273**View**5**Score**1**Answer- Tags: gn.general-topology real-analysis descriptive-set-theory

#### 4 Answered Questions

### [SOLVED] Product of Borel sigma algebras

**2010-09-24 18:11:10****Bill Johnson****9705**View**31**Score**4**Answer- Tags: measure-theory fa.functional-analysis

#### 1 Answered Questions

### [SOLVED] Countably generated $\sigma$-algebra

**2016-03-06 11:13:33****Sean Eberhard****683**View**0**Score**1**Answer- Tags: fa.functional-analysis measure-theory descriptive-set-theory

#### 2 Answered Questions

### [SOLVED] Is there a natural measurable structure on the $\sigma$-algebra of a measurable space?

**2013-02-06 06:03:08****Tom LaGatta****821**View**16**Score**2**Answer- Tags: measure-theory pr.probability gn.general-topology order-theory ct.category-theory

## 2 comments

## @Jochen Wengenroth 2012-02-08 13:11:35

Unfortunately, I can only provide a reference but no ideas since I don't have the paper. In "On the problem of generating sigma-algebras by topologies", Statist. Decisions 2 (1984), 377-388, Albert Ascherl shows (at least according to the summary to be found on MathSciNet) that there are $\sigma$-algebras which can't be generated by a topology.

Robert Lang (same journal 4 (1986), 97-98) claims to give a shorter proof.

As suggested by Joel, I add the ideas of Lang's example. The underlying space is $\Omega= 2^{\mathbb R}$, that is the space of all indicator functions, and the $\sigma$-algebra is $\mathcal A = \bigotimes_{\mathbb R} \mathcal P$ where $\mathcal P$ is the power set of the two element set. It is generated by the system $\mathcal E$ of the "basic open sets" of the product topology (prescribed values in a finite number of points). This generator has the cardinality $c$ of the continuum and since the generated $\sigma$-algebra can be obtained in $\omega_1$ (transfinite) induction steps the cardinality of $\mathcal A$ is also $c$. On the other hand, if $\mathcal T$ is a topology with $\mathcal A=\sigma(\mathcal T)$ then $\mathcal T$ separates points (this should follow from the "good sets principle"), in particular, for two distinct points of $\Omega$ the closures of the corresponding singletons are distinct. Hence $\mathcal T$ has at least $|\Omega|=2^c$ elements.

## @Jochen Wengenroth 2012-02-08 13:59:52

I had a short look at Lang's paper. The example is the $\mathbb R$-fold product of $\{0,1\}$ (the latter endowed with the power set). The underlying space consists, thus, of all indicator functions on $\mathbb R$. The argument goes by showing that the $\sigma$-algebra has cardinality $| \mathbb R |$ and any generating topology would be point separating and thus had cardinality $\ge |2^{\mathbb R}|$.

## @Joel David Hamkins 2012-02-08 14:26:51

Jochen, could you clarify precisely which sets are in the $\sigma$-algebra? This example seems to be the same example proposed by Gerald Edgar.

## @Joel David Hamkins 2012-02-08 14:39:17

Jochen, to answer my own question, I guess you mean that $\Sigma$ is the $\sigma$-algebra generated by the basic open sets of the product topology. And then the point is that this $\sigma$-algebra has size continuum, since there are only continuum many such basic open sets, and closing under complements and countable unions remains size continuum since $\omega_1\cdot|\mathbb{R}|^\omega=|\mathbb{R}|$.

## @Gerald Edgar 2012-02-08 14:46:56

Of course, I didn't have a proof... the cardinality argument is something I didn't think of. So: a $T_0$ topology on a set of cardinal $2^c$ must have at least $2^c$ open sets... but this sigma-algebra has only $c$ elements, total.

## @Jochen Wengenroth 2012-02-08 15:07:59

Clinton, for two different elements $x,y$ the closures in a $T_0$-space are different, hence, there are at least as many different closed sets (hence also open sets) as there are elements.

## @Clinton Conley 2012-02-08 15:08:28

Yes, I misread the claim and deleted the comment, sorry.

## @Ramiro de la Vega 2012-02-08 15:08:42

The question remains if Gerald´s example $2^A$ ($A$ uncountable, product $\sigma$-algebra) is indeed an example. The cardinality argument works if $2^{|A|}>|A|^{\aleph_0}$. For instance, what happens if $A=\omega_1$ and $2^{\aleph_1}=2^{\aleph_0}$?

## @Clinton Conley 2012-02-08 16:06:36

Jochen, upon rereading my last comment it seems rather rude. Thanks for answering my misguided question, and sorry for deleting it while you were crafting a response. And more importantly, thanks for sharing this stunningly simple example.

## @Joel David Hamkins 2012-02-08 19:03:11

Jochen, could I kindly ask you to edit your answer to include a summary of the argument, following the details now given in the comments? Since the question has been popular, it seems best to provide a thorough answer to it.

## @C-Star-W-Star 2014-12-07 23:01:30

@JochenWengenroth: Just a short question: By $\omega_1$ it is meant the ordinal of the natural numbers $\omega$?

## @Jochen Wengenroth 2014-12-08 07:38:07

@Freeze_S No, it is the first uncountable ordinal.

## @Paolo Leonetti 2016-09-20 06:50:21

Here is your first article booksc.org/s/…

## @Clinton Conley 2012-02-07 23:34:46

The silly error has been found! Sorry for the hassle, and please disregard this nonsense.

I'm sure this is suboptimal, but it seems to work without much fuss. Of course, that probably means I made some silly error.

Take the space to be $\omega_2 \times 2$, and the $\sigma$-algebra to consist of those sets $A$ such that $A\cap (\omega_2 \times \{0\})$ is countable or cocountable and $A\cap (\omega_2 \times \{1\})$ is countable or cocountable. Suppose towards a contradiction that you've found a compatible topology. The intuition is that open sets really want to be cocountable, but they can't succeed on both halves.

[This paragraph has the error!] More precisely, given any cocountable set $X \subseteq \omega_2$, there is an open set $U$ in the topology and some $i$ such that $U \cap (X \times \{i\})$ is countable and nonempty. Otherwise there couldn't be any $A$ in the $\sigma$-algebra with $A \cap (X \times \{0\})$ countable nonempty and $A \cap (X \times \{1\})$ cocountable (but of course there are such $A$).

Now inductively build an increasing $\omega_1$-length sequence of countable sets $X_\alpha$ and an $\omega_1$-length sequence of open sets $U_\alpha$ such that (a) for some $i$, $U_\alpha \cap (\omega_2 \times \{i\}) \subseteq X_\alpha \times \{i\}$ and (b) for some $i$, $U_\alpha \cap (\omega_2 \times \{i\})$ is a countable, nonempty subset of $(\omega_2 \setminus \bigcup_{\beta < \alpha} X_\beta) \times \{i\}$. Without loss of generality, we may thin down to an $\omega_1$-length sequence where $i$ may always be chosen to be $0$. But then $\bigcup_{\alpha<\omega_1} U_\alpha$ would have an $\aleph_1$-sized intersection with $\omega_2 \times \{0\}$, contradicting the definition of the $\sigma$-algebra.

## @Joel David Hamkins 2012-02-08 00:09:27

Unless I have misunderstood your example, I don't see that it works. Consider the topology $\tau$ consisting of the sets that are either co-countable or empty in each slice. These sets are in your $\sigma$-algebra, and an arbitrary union of sets of this form is also of this form; and intersections of finitely many sets of this form is also of this form. So it is a topology. And it generates your $\sigma$-algebra. Right?

## @Joel David Hamkins 2012-02-08 00:14:07

Your example is the sum of two copies of the countable/co-countable $\sigma$-algebra, which is the Borel algebra of the co-countable topology. So each slice separately is the Borel algebra of the co-countable topology on that slice, and then we put them together with a disjoint sum topology.

## @Clinton Conley 2012-02-08 00:17:16

Joel, you are of course absolutely right, and the error is clearly in the "More precisely" paragraph. Anyway I'll leave this embarrassment up as a cautionary tale for others.

## @Joel David Hamkins 2012-02-08 00:20:26

Clinton, yes, I agree. But thanks for thinking about it! I had also tried some examples like this at first, and it led me to the eventual-agreement candidate example that I mention in my question, which is similar, and for which I don't know the answer.