In number theory there are $p$-adic Banach spaces and $p$-adic Banach algebras (e.g., the Tate algebras), and more generally there is the whole subject of $p$-adic functional analysis. Applications of $p$-adic functional analysis go back to the 1960s in work of Dwork (as explained systematically by Serre, go here for an English translation by Jay Pottharst) on the Weil conjectures. For more recent work see here, here, and here. There is a book on this subject by Schneider.
KConrad
- 50.6k
- 9
- 196
- 277