The Haar Measure on the Field of p-Adic Numbers

In this post we study the canonical Haar measure on $Q_p$, and give a explicit definition just as the Lebesgue measure.