Haar measure
実数直線上のルベーグ測度は局所コンパクト群上のハール測度のもっとも簡単な例のひとつである。