>>705
Vを全変動として、
今回は集合Uの境界∂Uの面積をV(χ_U)として表現しているのがミソ
全変動の場合は下半連続性がうまくいえる