4. Analyse p-adique
On peut développer une théorie des fonctions analytiques de variables p-adiques en définissant de telles fonctions par des développements en séries entières convergentes (cf. fonctions analytiques - Fonctions analytiques d'une variable complexe).
Par exemple, la série exponentielle :
converge dans le « disque ouvert » de
Qp défini par l'inégalité :
en effet :
et le nombre d'entiers
k ≤
n tels que v
p(
k) ≥
r est égal à la partie entière [
n/pr] du nombre rationnel
n/pr, ce qui donne :
en désignant par
sn la somme des coefficients du développement
p-adique de
n (si
n = Σ
aipi avec 0 ≤
ai ≤
p − 1, on a
sn = Σ
ai) ; on en déduit facilement que v
p(1/
n !)/
n converge vers − 1/(
p − 1) pour
n infini, c'est-à-dire que |1/
n !|
1/n converge vers
p1/(p−1). On peut donc définir une fonction exponentielle
x ↦ exp
x pour |
x| <
p−1/(p−1) ; il est clair que l'on a :
et que la fonction exponentielle ne s'annule pas dan […]
… pour nos abonnés, l'article se prolonge sur 7 pages…