Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If I have a topological space $(X, \tau)$, then we can consider the Borel hierarchy on it. Now the sets from a Borel class itself could be taken as generating a topology. Is something known or what could be said about the properties of these topologies? In particular for the Topology generated by all $G_{\delta}$ sets? For example for the Standardtopology on $\mathbb R$ you get, by using $G_{\delta}$ sets, a topology which is a refinement of the Sorgenfrey line because $[a,b) = \bigcap_{n=1}^{\infty} (a-\frac{1}{n}, b)$.

share|cite|improve this question
In the case of $\Bbb R$ you get the discrete topology, since each singleton is a $G_\delta$. This is true in any metric space, in fact. – Brian M. Scott Sep 9 '13 at 20:55
ah, then also in any perfect space because there also every singleton is a $G_{\delta}$ set. – Stefan Sep 9 '13 at 21:04
Any perfect $T_1$ space; there are non-$T_1$ spaces in which every closed set is a $G_\delta$. – Brian M. Scott Sep 9 '13 at 21:06
You might get something interesting by looking at the topology generated by the effectively $G_\delta$ sets, the $\Pi^0_2$ ("lightface") sets. The topology generated by the $\Sigma^1_1$ sets ("lightface") is called the Gandy-Harrington topology and has been studied. – Archimondain Sep 10 '13 at 11:49

If you want to keep the topology Polish, then you can add countably many Borel sets as clopen sets. Details are in Chapter 13 of the book of A.S. Kechris "Classical Descriptive Set Theory".

As mentioned in one of the comments, you may add countably many analytic sets. Then the topology may not be normal anymore, but according to Theorem 25.18 in the above mentioned book, the space remains strong Choquet, that is a game-theoretic version of the Baire category theorem still holds.

Adding uncountably many Borel sets as clopen sets opens the doors to all sort of interesting examples in the general topology, such as the Michael line (for a discussion of these examples, you may consult R. Engelking's book "General Topology", Chapter 5, Examples 5.1.22, 5.1.32 or a blog post by Dan Ma).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.