English

Packing index of subsets in Polish groups

General Topology 2010-02-13 v1 Combinatorics

Abstract

For a subset AA of a Polish group GG, we study the (almost) packing index \indP(A)\ind_P(A) (resp. \IndP(A)\Ind_P(A)) of AA, equal to the supremum of cardinalities S|S| of subsets SGS\subset G such that the family of shifts {xA}xS\{xA\}_{x\in S} is (almost) disjoint (in the sense that xAyA<A|xA\cap yA|<|A| for any distinct points x,ySx,y\in S). Subsets AGA\subset G with small (almost) packing index are small in a geometric sense. We show that \indP(A)\IN{0,\cc}\ind_P(A)\in \IN\cup\{\aleph_0,\cc\} for any σ\sigma-compact subset AA of a Polish group. If AGA\subset G is Borel, then the packing indices \indP(A)\ind_P(A) and \IndP(A)\Ind_P(A) cannot take values in the half-interval [\sq(Π11),\cc)[\sq(\Pi^1_1),\cc) where \sq(Π11)\sq(\Pi^1_1) is a certain uncountable cardinal that is smaller than \cc\cc in some models of ZFC. In each non-discrete Polish Abelian group GG we construct two closed subsets A,BGA,B\subset G with \indP(A)=\indP(B)=\cc\ind_P(A)=\ind_P(B)=\cc and \IndP(AB)=1\Ind_P(A\cup B)=1 and then apply this result to show that GG contains a nowhere dense Haar null subset CGC\subset G with \indP(C)=\IndP(C)=κ\ind_P(C)=\Ind_P(C)=\kappa for any given cardinal number κ[4,\cc]\kappa\in[4,\cc].

Keywords

Cite

@article{arxiv.0804.1333,
  title  = {Packing index of subsets in Polish groups},
  author = {Taras Banakh and Nadya Lyaskovska and Dušan Repovš},
  journal= {arXiv preprint arXiv:0804.1333},
  year   = {2010}
}
R2 v1 2026-06-21T10:28:56.922Z