Search Results

Suppose we have a compact metric space $X$ with some designated point $a$ and closed set $B$ such that $a\notin B$. Let $A_0=\{a\}$ and $B_0 = B$. We'll play a game where on each player's turn they ch …

I'm thinking about results of the form: Under assumption $A$, if $X$ is a compact Hausdorff space and $C$ is a cover of $X$ by closed $G_\delta$ sets, then there is a subcover of cardinality $\leq\kap …

Let $X$ and $Y$ be compact metrizable spaces with $f:Y\rightarrow X$ an open surjection. Suppose that $G\subseteq Y$ is a closed set. How topologically complicated can the set $\{x\in X : f^{-1}(x)\ca …

Let $X$ and $Y$ be bounded complete separable metric spaces. Let $C = 2^\omega$ be Cantor space with its standard metric. All product spaces are taken to have the max metric. Let $F, G \subseteq X\t …

It's well know that it is surprisingly difficult to prove that $\mathbb{R}^n$ and $\mathbb{R}^m$ are not homeomorphic for $n\neq m$. Commonly proofs go through Brouwer's fixed point theorem, which is …

This is a follow-up of sorts to an earlier question on mine in that it should be easier to construct a positive example of this, if it exists. To be clear about definitions, a computable metric space …

Given a metric space $(X.d)$ the Samuel compactification of $X$, written $sX$, is the unique compactification with the property that if $Y$ is an arbitrary compact Hausdorff space and $f:X\rightarrow …

Suppose that $(X,d)$ is a locally compact connected homogeneous metric space, where by homogeneous I mean that for any $x_0,x_1 \in X$ there exists an isometry $f:X\rightarrow X$ such that $f(x_0)=x_1 …

Both of the commonly studied $\sigma$-ideals (meager sets and null sets) in Polish spaces with a natural measure (i.e. $\mathbb{R}$, $[0,1]$, $[0,1]^\omega$, $2^{\omega}$, etc.) have the nice property …

A topological space $X$ has the fixed-point property if any continuous map $f : X \to X$ has a fixed point (i.e., an $x$ such that $f(x) = x$). It's well known that certain topological spaces, such as …

I'm largely following the definitions of this paper, but I will replicate the relevant ones here. I'm taking a pseudotopological space to be a set $X$ together with a relation $\rightarrow$ on the se …

Let $X$ be a compact metrizable space and let $\mathcal{K}_{ne}(X)$ be the collection of non-empty closed subsets of $X$ with the Vietoris topology (i.e. the topology induced by the Hausdorff metric f …

It's well known that while there is a natural topological construction of a nearly algebraically closed field of characteristic $0$, algebraically closed fields of positive characteristic seemingly ne …

Fix a relational language $\mathcal{L}$. (I don't think relational really matters that much but I don't want to worry about it.) A topological $\mathcal{L}$-structure is an $\mathcal{L}$-structure $M$ …

It is a well known fact that if $\mathcal{F}$ is a non-principal ultrafilter on $\omega$, then the set $\{ \alpha \in 2^\omega : \alpha \in \mathcal{F}\}$ (conflating binary strings with subsets of $\ …