Skip to main content
2 of 2
Corrected spelling of the title.
Stefan Kohl
  • 19.6k
  • 21
  • 75
  • 137

A question on Haar measure on local field.

Let $F$ be a local field of characteristic 0, and $f:F\rightarrow \mathbb{C}$ be an integrable function. Is the following formulation valid?

$ \int_{F^\times}f(x^2) d^\times x=\int_{F^{\times 2}}f(x) d^\times x $

where $d^\times x$ is a chosen multiplicative measure on $F^\times$.

It seems if $F=\mathbb{R}$, this is true. But is it true for any local field?

Windi
  • 833
  • 4
  • 8