arXiv++ Combinatorics

A ballean is a set $X$ endowed with some family $\F$ of its subsets, called the balls, in such a way that $(X,\F)$ can be considered as an asymptotic counterpart of a uniform topological space. Given a cardinal $κ$, we define $\F$ using a natural order structure on $κ$. We characterize balleans up to coarse equivalence, give the criterions of metrizability and cellularity, calculate the basic cardinal invariant of these balleans. We conclude the paper with discussion of some special ultrafilters on cardinal balleans.

Let $G$ be a group, $βG$ is the Stone-$\check{C}$ech compactification of $βG$ endowed with the structure of a right topological semigroup, $G^*=βG\setminus G$. Given any subset $A$ of $G$ and $p\in G^*$, we define the $p$-companion $\vt_p(A)=A^*\cap Gp$ of $A$, and characterize the subsets with finite and discrete ultracompanions.