>>629
>={x>0::p-ε<#(A∩[-x/k,x/k])/2x<p+ε}
={ky>0::p-ε<#(A∩[-y,y])/2ky<p+ε}
=k{y>0::kp-kε<#(A∩[-y,y])/2y<kp+kε}
まず
kF⊂F
でなくてはダメだな
（kF={kX::X∈F}={{kx::x∈X}::X∈F}）
それが言えれば
k{y>0::kp-kε<#(A∩[-y,y])/2y<kp+kε}∈F
から
{y>0::kp-kε<#(A∩[-y,y])/2y<kp+kε}∈F
が出て
p(A)=kp=kp(kA)
となる