P-adic Number is Limit of Unique P-adic Expansion

From ProofWiki
Jump to navigation Jump to search


Let $p$ be a prime number.

Let $\struct {\Q_p, \norm {\,\cdot\,}_p}$ be the $p$-adic numbers.

Let $x \in \Q_p$.

Then $x$ is the limit of a unique $p$-adic expansion.


Let $\Z_p$ be the $p$-adic integers.

From P-adic Number times Integer Power of p is P-adic Integer:

$\exists m \in \Z_{\ge 0} : x p^m \in \Z_p$

From P-adic Integer is Limit of Unique P-adic Expansion, there exists a unique $p$-adic expansion of the form:

$\displaystyle \sum_{n \mathop = 0}^\infty d_n p^n$

such that:

$\displaystyle \lim_{n \mathop \to \infty} \sum_{i \mathop = 0}^n d_i p^i = x p^m$

From Multiple Rule for Sequences in Normed Division Ring:

$\displaystyle \lim_{n \mathop \to \infty} \sum_{i \mathop = 0}^n d_i p^{i-m} = x$

Re-indexing from $-m$:

$\displaystyle \lim_{n \mathop \to \infty} \sum_{i \mathop = -m}^n d_i’ p^i = x$


$\forall n \in \Z_{\ge -m} : d_i’ = d_{i+m}$

Then the $p$-adic expansion $\displaystyle \sum_{n \mathop = -m}^\infty d_n’ p^n$ converges to $x$.