Bounded tiles in Q_p are compact open sets

From MaRDI portal
Publication:2287791



Abstract: Any bounded tile of the field mathbbQp of p-adic numbers is a compact open set up to a zero Haar measure set. In this note, we give a simple and direct proof of this fact.


Let \(G\) be a locally compact abelian group and \(\Omega \subset G\) be a Borel set of positive and finite Haar measure. The set \(\Omega\) is called a tile of \(G\) if there exists a set of translates \(T \subset G\) such that \(\sum_{t \in T}1_{\Omega}(x - t) = 1\) for almost all \(x \in G\), where \(1_A\) denotes the indicator function of a set \(A\). We also say that \(\Omega\) tiles \(G\) by translation. \par For the field of real numbers considered as an additive group \(G\), compact sets of positive measure that tile the set of real numbers were extensively studied. \par In the paper the field of \(p\)-adic numbers is considered as an additive group \(G\). The authors give two proofs of the theorem that any bounded tile of the field of \(p\)-adic numbers is a compact open set up to a set of zero Haar measure.











This page was built for publication: Bounded tiles in \(\mathbb{Q}_p\) are compact open sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2287791)