arXiv++ Combinatorics

Let $X$ be a set, $\ka$ be a cardinal number and let $\iH$ be a family of subsets of $X$ which covers each $x\in X$ at least $\ka$ times. What assumptions can ensure that $\iH$ can be decomposed into $κ$ many disjoint subcovers? We examine this problem under various assumptions on the set $X$ and on the cover $\iH$: among other situations, we consider covers of topological spaces by closed sets, interval covers of linearly ordered sets and covers of $\real^{n}$ by polyhedra and by arbitrary convex sets. We focus on these problems mainly for infinite $κ$. Besides numerous positive and negative results, many questions turn out to be independent of the usual axioms of set theory.

For $f \colon [0,1] \rar \real^{+}$, consider the relation $\mathbf{E}_{f}$ on $[0,1]^ω$ defined by $(x_{n}) \mathbf{E}_{f} (y_{n}) \Leftrightarrow \sum_{n < ω} f(|y_{n} - x_{n}|) < \infty.$ We study the Borel reducibility of Borel equivalence relations of the form $\mathbf{E}_{f}$. Our results indicate that for every $1 \leq p < q < \infty$, the order $\leq_{B}$ of Borel reducibility on the set of equivalence relations $\{\bE \colon \bE_{\Id^{p}} \leq_{B} \bE \leq_{B} \bE_{\Id^{q}}\}$ is more complicated than expected, e.g. consistently every linear order of cardinality continuum embeds into it.