ハール測度
ここで、実数体や複素数体についても考察する。これらの絶対値に対して付値環は定義できないので、ハール測度として1次元または2次元の実数空間上のルベーグ測度を考える。 formula_46 に対して、"K" の加法群としてのハール測度を formula_47、乗法群 formula_1 のハール測度を formula_49 とし、formula_9 を "K" の正規付値とすれば