Haar measure
測度論の標準的な定理により、 の -ノルムによる完備化はハール測度に関して可積分な函数（のふつうはハール測度零の集合上でのみ異なるような函数を同一視したもの）全体の成す空間に同型である。