Search Results

Suppose $f:C\to C$ is a homeomorphism, where $C=\{0,1\}^{\mathbb N}$ is Cantor space. Suppose $f$ preserves $=^*$ (equality on all but finitely many coordinates). Does it follow that $f$ also reflects …

Can there be an uncountable set $S\subseteq\mathbb R$ such that for each subset $D\subseteq S$, there is an open set $U$ with $D=S\cap U$? I'm asking merely out of curiosity, but I'll mention that thi …

What conditions can we impose on $T$ that guarantee $[T]$ contains a 1-generic member? An element that is 1-generic relative to $T$ will not be on $[T]$ unless $[T]$ contains a whole clopen cone $[\ …

Seems like this structure must be pretty complicated. For example, consider Brownian motion $\{W_t\}_{t\ge 0}$ with the equivalence relations $$t\sim_\omega s\iff W_t(\omega)=W_s(\omega).$$ Here $\ome …

This seems well described by the notion of interior $\mathrm{Int\ }M$ of a manifold with boundary $M$. See the Wikipedia subentry Manifold: Boundary and interior.

Couldn't read the Russian image text but I'll take a stab at it: If there are no restrictions on $M\mapsto\overline M$ at all then it's just a unary set operation: a function from the power set of $R …

No, let $X$ be the set of those irrationals in $x\in (0,1)$ with binary expansion $$x=0.x_1x_2\dots$$ such that if we define $x^{\text{even}}, x^{\text{odd}}$ by $$x^{\text{even}}=0.x_2x_4x_6\dots$$ $ …

Claim: Any such $\varphi$ would have to map into a set on which all homomorphisms of $\text{Top}^{T_1}(\kappa)$ are constant. This follows from Theorems 1 and 2 of Hartmanis, Juris, On the latti …

So apparently the Krylov-Bogoliubov theorem says that every continuous function $f:X\to X$ on a compact metrizable space $X$ has an invariant probability measure $\mu$. Of course, if $X$ is just a si …

The countable atomless Boolean algebra is a counterexample. See E.S. Northam, The interval topology of a lattice, 1953 (Propositions 2 and 3).

In philosophy, this would be called family resemblance -- if $E_i\cap E_j\ne\emptyset$ and $E_j\cap E_k\ne\emptyset$ then $E_i$ and $E_k$ have a family resemblance. That is, perhaps I have no common …

According to https://arxiv.org/abs/1210.1008 Example 2(c)... yes, they are all homeomorphic to $\mathbb Q$!

Infinite, complete, separable linear order with at most countably many jumps and not both a greatest and least element. See http://www.math.uni-hamburg.de/home/geschke/papers/SeparableLinearOrders2. …

Inspired by Hausdorff dimension, we can try to let $X$ consist of numbers whose decimal expansion is of the form $$ 0.x_100x_4x_5x_60000\dots $$ and $Y$ consist of the "complementary" numbers: $$ 0.0x …

According to https://mathoverflow.net/a/8994/4600, $\log_2$ of the number of topologies on $n$ elements is $\sim n^2/4$. So let's say there are $2^{n^2/4}$ topologies. Then the number of topologies on …