SearcharxivSearch

arXiv subjects

William R. Brian

Publications and source records attributed to William R. Brian.

3 recordsLinked to original sources

Quotients of $\mathbb{N}^*$, $ω$-limit sets, and chain transitivity

$\mathbb{N}^* = β\mathbb{N} \setminus \mathbb{N}$ has a canonical dynamical structure provided by the shift map, the unique continuous extension to $β\mathbb{N}$ of the map $n \mapsto n+1$ on $\mathbb{N}$. Here we investigate the question of what dynamical systems can be written as quotients of $\mathbb{N}^*$. We prove that a dynamical system is a quotient of $\mathbb{N}^*$ if and only if it is isomorphic to the $ω$-limit set of some point in some larger system. This provides a full external characterization of the quotients of $\mathbb{N}^*$. We also prove, assuming MA$_{σ\text{-centered}}(κ)$, that a dynamical system of weight $κ$ is a quotient of $\mathbb{N}^*$ if and only if it is chain transitive. This provides a consistent partial internal characterization of the quotients of $\mathbb{N}^*$, and a full internal characterization for metrizable systems.

math.DS

P-sets and minimal right ideals in N*

Recall that a $P$-set is a closed set $X$ such that the intersection of countably many neighborhoods of $X$ is again a neighborhood of $X$. We show that if $\mathfrak{t} = \mathfrak{c}$ then there is a minimal right ideal of $(β\mathbb N,+)$ that is also a $P$-set. We also show that the existence of such $P$-sets implies the existence of $P$-points; in particular, it is consistent with ZFC that no minimal right ideal is a $P$-set. As an application of these results, we prove that it is both consistent with and independent of ZFC that the shift map is (up to isomorphism) the unique chain transitive autohomeomorphism of $\mathbb N^*$.

math.GN

Partitions of 2^ω and completely ultrametrizable spaces

We prove that, for every n, the topological space ω_n^ω (where ω_n has the discrete topology) can be partitioned into ω_n copies of the Baire space. Using this fact, the authors then prove two new theorems about completely ultrametrizable spaces. We say that Y is a condensation of X if there is a continuous bijection from X to Y. First, it is proved that the Baire space is a condensation of ω_n^ω if and only if it can be partitioned into ω_n Borel sets, and some consistency results are given regarding such partitions. It is also proved that it is consistent with ZFC that, for any n < ω, the continuum is ω_n and there are exactly n+3 similarity types of perfect completely ultrametrizable spaces of size continuum. These results answer two questions of the first author from a previous paper.

math.GN