Definition:P-adic Number

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\norm {\,\cdot\,}_p$ be the p-adic norm on the rationals $\Q$.

By P-adic Norm is Non-Archimedean Norm then $\norm {\,\cdot\,}_p$ is a non-archimedean norm on $\Q$ and the pair $\struct {\Q, \norm {\,\cdot\,}_p}$ is a valued field.


$p$-adic Norm Completion of Rational Numbers

The p-adic numbers, denoted $\struct {\Q_p, \norm {\,\cdot\,}_p}$, is the unique (up to isometric isomorphism) non-Archimedean valued field that completes $\struct {\Q, \norm {\,\cdot\,}_p}$.


Quotient of Cauchy Sequences in $p$-adic Norm

Let $\mathcal C$ be the commutative ring of Cauchy sequences over $\struct {\Q, \norm {\,\cdot\,}_p}$.

Let $\mathcal N$ be the set of null sequences in $\struct {\Q, \norm {\,\cdot\,}_p}$.

Let $\Q_p$ denote the quotient ring $\mathcal C \, \big / \mathcal N$.

Let $\norm {\, \cdot \,}_p:\Q_p \to \R_{\ge 0}$ be the norm on the quotient ring $\Q_p$ defined by:

$\displaystyle \forall \sequence {x_n} + \mathcal N: \norm {\sequence {x_n} + \mathcal N }_p = \lim_{n \mathop \to \infty} \norm{x_n}_p$

By Corollary to Quotient Ring of Cauchy Sequences is Normed Division Ring, then $\struct {\Q_p, \norm {\, \cdot \,}_p}$ is a valued field.


The p-adic numbers is the valued field $\struct {\Q_p, \norm {\,\cdot\,}_p}$


$p$-adic Norm on $\Q_p$

The norm $\norm {\,\cdot\,}_p$ on $\Q_p$ is called the $p$-adic norm on $\Q_p$.


Also denoted as

The $p$-adic numbers are often simply denoted as $\Q_p$ where the $p$-adic Norm is implied.


Also see


Sources