In descriptive set theory we mostly study Polish spaces such as the Baire space, the Cantor space, and the reals. Questions about the Borel hierarchy, the projective hierarchy, Polish spaces, infinite games and determinacy related topics, all fit into this category very well.

learn more… | top users | synonyms

2
votes
1answer
52 views

Is it true that $A$ is scattered?

Let $X$ be a (Hausdorff) topological space and for each ordinal $\alpha$ denote by $X^{(\alpha)}$ the $\alpha$th derivative of $X$ by the Cantor-Bendixson derivation (i.e., define transfinitely: ...
2
votes
1answer
53 views

Closure of $\mathbf{\Sigma_{n}^{0}} $ under finite cartesian products

An exercise in Moschovakis' descriptive set theory, asks to show if we have pointsets $P\subset\mathcal{X}$ and $Q\subset\mathcal{Y}$ both of which are $\mathbf{\Sigma_{n}^{0}}$, then to show that ...
10
votes
1answer
106 views

Partitions of the Cantor space into parities

Call a partition of $2^\mathbb{N} = A\cup B$ a parity partition if, for any $n\in\mathbb{N}$, flipping the $n$th bit of any element of $A$ results in an element of $B$, and vice-versa. Given a choice ...
2
votes
1answer
33 views

How can I prove that $\mathbb R$ contains no more then $\mathfrak c$ $F_\sigma$ sets

How can I prove that $\mathbb R$ contains no more then $\mathfrak c$ $F_\sigma$ sets? (or equivalently, that $\mathbb R$ contains no more then $\mathfrak c$ $G_\sigma$ sets? The more general ...
1
vote
0answers
29 views

The principle $S_1(\mathcal O,\mathcal O)$ versus the game $G_1(\mathcal O,\mathcal O)$

Given a topological space $X$, Let $\mathcal O$, denote the set of all open covers of $X$. We say that a space $X$ satisfies $S_1(\mathcal O,\mathcal O)$, if for every sequence of open covers $\{ ...
1
vote
1answer
68 views

Reference request, Descriptive set theory

I was wondering what a good text would be to learn descriptive set theory out of? Hopefully something more in the spirit of Kunen's text on the introduction to independence proofs.
2
votes
1answer
58 views

Suppose $X$ is a Hausdorff Lindelöf scattered space. Is $\xi(X)$ a successor ordinal?

Let $K$ be a (Hausdorff) scattered topological space and for each ordinal $\alpha$ denote by $K^{(\alpha)}$ the $\alpha$th derivative of $K$ by the Cantor-Bendixson derivation (i.e., define ...
0
votes
0answers
22 views

reverse-reverse of Michael selection theorem

Let $X\subseteq\mathbb R^d$ be a compact and $Y=\mathbb R^d.$ Let $\Gamma:X\twoheadrightarrow Y$ be a multi-valued map with closed values. Assume that $\Gamma$ admits a continuous (single-valued) ...
2
votes
0answers
32 views

Is the set of continuous function with Lebesgue zero set a Borel set in continuous space?

Let $D$ be a domain in $\mathbb{R^d}$ and denote the continuous function space on $D$ as $X := C(\overline{D})$ where we can define the $\sigma$-algebra $\mathscr{B}(X)$ of $X$, that is sets in $X$ ...
2
votes
0answers
20 views

Strong Choquet preimage implies strong Choquet?

Recall that a strong Choquet space is one where player II has a winning strategy in the game where two players take turns: player I chooses an open set and a point inside, then player II chooses a ...
1
vote
0answers
18 views

F sigma subsets of the real line

I need an example of a nowhere dense $\mathcal F_\sigma$ subset of the real line that is not a countable union of perfects sets and not a countable union of pairwise disjoint closed sets.
0
votes
1answer
37 views

The Cantor set and it's connection to t(C_p(X))

I am reading the following proof (from page 124 here) which is a part of a larger proof for the statement: Exercise 151: Show that there exist spaces $X$ and $Y$ such that, $t(C_p(X)) = \omega$ and ...
1
vote
0answers
22 views

Complexity of a Borel linear subspace of a Banach space

This question is inspired by the MO question Image of $L^1$ under the Fourier transform, but I think it might be much easier so I am posting it here instead. Let $(X, \|\cdot\|)$ be a separable ...
3
votes
1answer
73 views

Conditional probability independent of one variable

Let $X,Y$ and $Z$ be Borel spaces (that is, Borel subsets of Polish spaces) and let $\mathcal P(X)$ denote the Borel space of all Borel probability measures on $X$. For a product measure $P\in ...
1
vote
2answers
58 views

Homeomorphism between $\prod X_i$ and the Cantor set

I've been trying to find a homeomorphism $$\Phi:\prod_{i=1}^\infty X_i \to \{ 0, 1\}^\mathbb{N},$$ where each $X_i$ is a finite set with at least two elements, but have been unable to. Things I've ...
3
votes
0answers
24 views

How to show: a non-scattered Čech-complete space, contains a compact subspace which can be continuously mapped onto the Cantor-set

It is written in this article that "a non-scattered Čech-complete space, contains a compact subspace which can be continuously mapped onto the Cantor-set". Can anyone explain this? I mean, if, $X$ is ...
3
votes
1answer
66 views

Banach-Mazur Game: Proof about winning strategies

I have to hold a presentation about the Banach-Mazur-Game to undergraduates this week. It should all stay very simple, so I will mainly only talk about the "original" Banach-Mazur Game on ...
4
votes
2answers
94 views

Cardinality of an algebra

Suppose that $B$ is the Boolean algebra of all Lebesgue measurable sets in $I=[0,1]$ modulo Null sets. I am asking (1) What will be the cardinality of $B$. Does it have to be $|B|=\mathfrak ...
2
votes
1answer
39 views

Non analytic sets?

I'm studying Jech's Set Theory and I noticed that he doesn't show an example of a non analytic set. Of course the analytic sets are Lebesgue measurable, have the Baire property and the perfect set ...
0
votes
1answer
54 views

Infinite product space (TOPOLOGY)

I am asking about the infinite product of $\{0,1\}$. That is, $\{0,1\}^\Bbb N$ is the space of all infinite sequence of $0_s$ and $1_s$, how collection of all finite sequences of $0_s$ and $1_s$ ...
1
vote
0answers
22 views

The game $G(K,X)$

In Telgarsky - Topological games, in page 246, the following game $G(K,X)$ is described: There are given a space $X$ and a class $K$ of spaces such that $Y \in K \Rightarrow \mathcal F(Y) \subset K$. ...
1
vote
1answer
75 views

Theorem of Galvin, Mycielski and Solovay

I don't know is this the right place to ask this question, but can someone tell me where I can find the proof of the theorem of Galvin, Mycielski and Solovay. Theorem that says that a subset $X$ of ...
5
votes
1answer
87 views

Cardinality of all $\mathbf{\Sigma}^0_\alpha$-sets over Baire space without full choice

It is well-known that the set of all open (or closed) sets on Baire space has cardinality of the continuum. In context of choice, we can prove that the set of all $\mathbf{\Sigma}^0_\alpha$-sets over ...
17
votes
1answer
448 views

Why do we study Polish spaces?

In descriptive set theory, a lot of space is devoted to properties of Polish spaces. (A Polish space is a topological space, which is separable and completely metrizable.) I would like to know why ...
3
votes
1answer
43 views

Continuous image of $\mathbb{R}$ is Borel.

Let $X$ be a Polish space and $f\colon\mathbb{R}\to X$. Then since $\mathbb{R}=\bigcup_{n=-\infty }^\infty [n,n+1]$ - a countable union of compact set, $f(X)$ is a countable union of compact sets ...
1
vote
2answers
65 views

Can we construct from $[0,\omega_1)$ a space which is strictly-Frechet with no winning strategy in $G_{np}(q,E)$?

I have asked in here a question which tured out to make no sense. I think I have found the confusion and would like to try and rephrase my question: Let $E$ be a topological space, $q \in E$. ...
1
vote
0answers
27 views

Can we say that $[0,\omega_1]$ is strictly-Frechet with no winning strategy in $G_{np}(q,E)$?

Let $E$ be a topological space, $q \in E$. The neighbourhood point game $G_{np}(q,E)$, is defined as follows. It is played by two players, ONE and TWO.In the n's step $n \in \omega$, ONE chooses ...
3
votes
1answer
42 views

Is there a subset of R such that their Cantor-Bendixson rank is the first limit ordinal?

I'm looking for a set $A \subset \mathbb{R}$ such that $\bigcap^\infty_{n=0} A^{(n)} $ is a perfect set (i.e $X'=X$) but $\forall n \in \mathbb{N}$ the set $A^{(n)}$ isn't perfect (where ...
1
vote
0answers
47 views

In how many steps is it necessary to construct the Borel $\sigma$-algebra?

We only consider Borel sets on $\mathbb R$. As we know, the Borel $\sigma$-algebra is constructed transfinitely as follows: Let $B_0=\mathcal T$ be the set of open sets on $\mathbb R$; If $\alpha$ ...
5
votes
2answers
158 views

Bijection between closed uncountable sets and R? [closed]

This is probably a really stupid question but I'm hoping it's true: can we find a bijection between every closed uncountable set and R (real number line)?
4
votes
1answer
172 views

Polish topological group

A friend asked me to help him prove that the topological group $\mathrm{Homeo}(0,1)$ (homeomorphism of $(0,1)$ with the compact open topology) is Polish (that is, separable and completely metrizable). ...
3
votes
1answer
65 views

Maximal pruned subtree - an absolute notion?

Fix a tree $ p $ over $ \omega $. Let $ [p] $ denote the set of all branches of $ p $. Given a set of reals $ F \subseteq \omega^\omega $, let $ T(F) := \{ x \mathord{\upharpoonright} n : x \in F ...
3
votes
1answer
103 views

homeomorphism of cantor set extends to the plane?

Suppose C is a Cantor set in the Euclidean plane, or even in R^3. Suppose h is a homeomorphism of C onto itself. Can h be extended to a homeomorphism of the whole space? What about if h preserves the ...
0
votes
1answer
34 views

Boolean Closure and Borel sets

Denote the boolean closure of a family of sets $\mathcal S$ by $\mathcal B(\mathcal F)$, then in a metric space it is well known that $\mathcal B(\mathcal F) = \mathcal B(\mathcal G) = \mathcal ...
3
votes
0answers
59 views

On Knaster-Kuratowski fan (aka Cantor's teepee)

As definition of Knaster-Kuratowski fan I take the one on wikipedia. Now, part of the definition of this space is the Cantor set. My question is what particular property of Cantor set we necessary ...
2
votes
1answer
31 views

Measurability of level sets of measures

Let $X$ be a standard Borel space, and $\mathcal P(X)$ be the set of Borel probability measures on $X$ with a topology of weak convergence. It is known that $\{p:p(B) = 1\}$ is a Borel subset of ...
3
votes
0answers
69 views

Measurability of one set of measures

Let $X,Y$ be a standard Borel spaces (a Borel subset of a complete separable metric space), and let $\mathcal B(X),\mathcal P(X)$ denote collection of Borel sets and Borel probability measures on $X$ ...
1
vote
1answer
39 views

In $\mathbb{R}$, is a countable union of closed no-where dense sets nowhere dense?

$\mathbb{R}$ is a baire space, so a countable union of closed no-where dense sets: $\bigcup C_n$ has empty interior. That is, $$\bigcup_{A \text{ open }, \; A\subset \bigcup C_n}A = \emptyset $$ So ...
1
vote
1answer
54 views

A Lebesgue measurable universal Borel function

In 1918 Sierpiński constructed a Lebesgue measurable real-valued function on $[0,1]$ which isn't bounded above by any Borel function (I couldn't find the original reference, but here is a pdf of a ...
1
vote
1answer
56 views

Is there a name for a topological space $X$ in which Every closed subset $A\subsetneq X$ is contained in a countable union of compact sets

As was recommended for me in here I would like to share the following question with you: Is there a name for a topological space $X$ which satisfies the following condition: Every closed subset ...
2
votes
1answer
54 views

Is there a name for a topological space $X$ in which very closed set is contained in a countable union of compact sets?

Is there a name for a topological space $X$ which satisfies the following condition: Every closed set in $X$ is contained in a countable union of compact sets Does Baire space satisfy this ...
1
vote
1answer
67 views

Is Baire space $\sigma$-compact?

Is Baire space $\sigma$-compact? Thank you!
0
votes
1answer
109 views

Decomposing real line as a union of a nullset and a set of first category

$\Bbb R$ can be written of the form $A\cup B$ such that $A$ is of measure zero and $B$ is of the first category! can anybody prove this?? I guess $A$ must be an $G_{\delta}$ set which is dense in ...
0
votes
3answers
77 views

How would I show that a set is not dense?

Consider the Cantor set. I want to prove that it is not dense in $\mathbb{R}$. Now it makes sense to me since the Cantor set misses entire open intervals in $\mathbb{R}$. So my idea was to choose some ...
11
votes
1answer
134 views

Consistency strength of Turing measurability

This is probably well-known to recursion theorists, but as google didn't help me, I'll ask it here. Convention: All sets of reals in the following discussion are assumed to be closed under Turing ...
5
votes
0answers
70 views

Is the space $\mathbb N^ \mathbb N$ metrisable? [duplicate]

Given the space $\mathbb N^ \mathbb N$ with the topology generated by basis sets of the form: $$[V,n] = \{x \in \mathbb N^ \mathbb N ; V \text{ is an n prefix of x}\}$$ I can see that this space is ...
1
vote
1answer
91 views

Is any subset of the open ordinal space $[0,\Omega)$ $G_\delta$?

Consider the open ordinal space $[0,\Omega)$, where $\Omega$ is the first uncountable ordinal. Can I say that every subset of $[0,\Omega)$ is $G_\delta$? If yes, does this imply that $[0,\Omega)$ is ...
3
votes
1answer
43 views

are the regular topology on $\mathbb R$ and the product topology on $\omega^\omega$ equivalent?

are the regular topology on $\mathbb R$ and the product topology on $\omega^\omega$ equivalent? By the product topology on $\omega^\omega$ I mean the topology in which an open basis set is a set of ...
1
vote
1answer
89 views

Banach Mazur game - Oxtoby - Thm 6.1

I have asked about this theorem before but found lately that I still don't fully understand its proof. Here are the rules of the game described. A closed interval in $\mathbb{R}$ denoted $I_0$ is ...
2
votes
1answer
59 views

Banach Mazur Game: Oxtoby Measure and Category

I have a question regarding the proof of theorem 6.2 which states that, Thm 6.1: There is a strategy in which is sure to win iff is of first category The game played is this: there is a set ...