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 work of Dwork (as explained systematically by Serre) in the 1960s on the Weil conjectures. For more recent work see [here][1] and [here][2], and [here][3]. There is a book on this subject by [Schneider][4].

[1]: http://www.math.uchicago.edu/~fcale/Files/Cole2.pdf 
[2]: http://math.stanford.edu/~conrad/papers/aws.pdf
[3]: http://perso.ens-lyon.fr/laurent.berger/autrestextes/hangzhou.pdf
[4]: https://books.google.com/books/about/Nonarchimedean_Functional_Analysis.html?id=UDnwX-ng1qIC