Abstract:Any bounded tile of the field $\mathbb{Q}_p$ 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.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the properties of tiles in the \(p\)-adic number field. Specifically, the author studied the problem of whether bounded tiles in the \(p\)-adic number field \(\mathbb{Q}_p\) are compact - open sets.
### Problem Background
In mathematics, especially in a locally compact Abelian group \(G\), a Borel set \(\Omega\subset G\) is called a tile if there exists a translation set \(T\subset G\) such that for almost all \(x\in G\), the following equation holds:
\[
\sum_{t\in T}1_{\Omega}(x - t)=1
\]
where \(1_A\) represents the indicator function of the set \(A\). In this case, \(T\) is called the tiling complement of \(\Omega\), and \((\Omega, T)\) is called a tiling pair.
### Research Object
This paper pays special attention to the situation in the \(p\)-adic number field \(\mathbb{Q}_p\). Given a Haar measure \(m\) such that \(m(\mathbb{Z}_p) = 1\), where \(\mathbb{Z}_p\) is the \(p\)-adic integer ring. A Borel set \(\Omega\subset\mathbb{Q}_p\) is called an almost compact - open set if there exists a compact - open set \(\Omega'\) such that \(m(\Omega\setminus\Omega')=m(\Omega'\setminus\Omega) = 0\).
### Main Problem
The main problem of the paper is to prove that: if \(\Omega\subset\mathbb{Q}_p\) is a bounded Borel set and has a positive finite Haar measure, and at the same time \(\Omega\) can cover \(\mathbb{Q}_p\) by translation, then \(\Omega\) must be an almost compact - open set.
### Solution
The author gives a simple and direct proof by means of Fourier analysis. The specific steps include:
1. **Definition and Notation**: Introduce the basic symbols and concepts of \(p\)-adic numbers, such as absolute value, fractional part, characteristic function, etc.
2. **Fourier Transform**: Use the Fourier transform to transform the tiling problem into properties in the frequency domain.
3. **Lemma and Corollary**: Through a series of lemmas (such as the Fourier transform of the indicator function of the ball, local constancy, etc.) gradually derive the main conclusion.
4. **Theorem Proof**: Finally, it is proved that if \(\Omega\) is a bounded tile, then its Fourier transform must be zero under certain conditions, so it is concluded that \(\Omega\) is equal almost everywhere to the union of a finite number of disjoint balls, that is, \(\Omega\) is an almost compact - open set.
### Conclusion
This paper proves by a direct and easy - to - understand method that bounded tiles in \(\mathbb{Q}_p\) must be almost compact - open sets, which provides an important theoretical basis for the tiling theory in the \(p\)-adic number field.