多変数の場合、ユークリッド空間の相対コンパクト近傍上での函数の(算術)平均はformula_6で定義される。