Let $(X,d)$ be a complete metric space without isolated points. Is it true that each dense $G_\delta$ subset of $X$ contains a nonempty perfect set (i.e. closed without isolated points)? Thanks.

I am reading the notes in the following link, and I am a bit unclear about the connection between scattered sets, countable sets, and sets for which the Cantor-Bendixson derivative is eventually the empty set. http://www.cs.man.ac.uk/~hsimmons/DOCUMENTS/PAPERSandNOTES/CB-examples.pdf On page 3, the author says: A closed set X (of the reals) is scattered if $X^{\alpha}=\emptyset$, where $\alpha$ […]

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 condition? Thank you!

I’m trying to learn something about topology and category theory. Let us consider the category of compact Polish spaces. The category contains all quotients of all objects (wikipedia) For an equivalence relation $\sim$ on $X\times X$, we denote with $X/\!\sim$ the quotient space and with $q:X\rightarrow X/\!\sim$ the quotient map. I’m trying to convince myself […]

It seems there should exist a non-measurable bijection $f: \mathbb{R}\rightarrow \mathbb{R}$. And thus we can obtain a non-measurable graph on $\mathbb{R}^2$ which intersects every horizontal or vertical line at precisely one point. Does anyone know how to “construct” such a map? Can it be further made into a automorphsim (w.r.t the addtive group or field […]

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 \mathcal P(X\times Y\times Z)$ let $\kappa:X\times Y\to\mathcal P(Z)$ be a regular conditional probability on $Z$ given $X\times Y$. We say that […]

In the proof that there is a payoff set $X$ such that the Gale-Stewart game is not determined(see here, Proposition 3.1.). I don’t know why $X$, the set of all outcomes generated by a fixed strategy of one player, constitutes a perfect set. I can see it’s true, if the fixed strategy is a constant […]

It is well known that if $\langle f_n:n\in\mathbb{N}\rangle$ is a sequence of continuous functions, $f_n\colon\mathbb{R}\to\mathbb{R}$, then $\big\{x\in\mathbb{R}:\lim_{n\to\infty}f_n(x)\text{ exists}\big\}$ is an $F_{\sigma\delta}$-set (see this post). I am asking if the converse is true, i.e., whether for every $F_{\sigma\delta}$-set $E\subseteq\mathbb{R}$ there exists a sequence $\langle f_n:n\in\mathbb{N}\rangle$ of continuous functions, $f_n\colon\mathbb{R}\to\mathbb{R}$, such that $\big\{x\in\mathbb{R}:\lim_{n\to\infty}f_n(x)\text{ exists}\big\}=E$. My attempt: I […]

Let $F_n\subset [0,1]$ be a Fat Cantor Set (so that $[0,1]\setminus F_n$ is dense) of Lebesgue measure $1 – 1/n$, and let $F = \bigcup_n F_n$. Does there exist a probability measure $\mu$ on $[0,1]$ such that $\mu(F + x) = 0$ for all $x\in [0,1]$? Here $+$ is a cyclic shift, so $0.5 + […]

Let $X$ be metrizable (not necessarily Polish), and consider the hyperspace of all compact subsets of $X$, $K(X)$, endowed with the Vietoris topology (subbasic opens: $\{K\in K(X):K\subset U\}$ and $\{K\in K(X):K\cap U\neq\emptyset\}$ for $U\subset X$ open), or equivalently, the Hausdorff metric. We want to show that $K_p(X)=\{K\in K(X):K \text{ is perfect}\}$ is $G_\delta$ in $K(X)$. […]

Intereting Posts

Enumerating number of solutions to an equation
Completeness of continuous real valued functions with compact support
If $Var(X)=0$ then is $X$ a constant?
Distance from a point to a plane in normed spaces
Infinitely number of primes in the form 4n+1 proof
How can I construct the matrix representing a linear transformation of a 2×2 matrix to its transpose with respect to a given set of bases?
Spherical coordinates for sphere with centre $\neq 0$
In this case, does $\{x_n\}$ converge given that $\{x_{2m}\}$ and $\{x_{2m+1}\}$ converge?
Is the $\sum\sin(n)/n$ convergent or divergent?
Retracts are Submanifolds
Any two points in a Stone space can be disconnected by clopen sets
Why do we distinguish the continuous spectrum and the residual spectrum?
Proving or disproving that an inequality implies another inequality.
Is There Something Called a Weighted Median?
Why does cross product give a vector which is perpendicular to a plane