>>105
>たとえばZ上に
>A⊂Z
>に対して
>P(A)=lim[n→∞]#(A∩[-n,n])/(2n+1)
>みたいな定義で
>完全加法性は持たないが有限加法性を持つ「確率」みたいなのを定義は出来るみたい
N上の自由超フィルターF⊂P(N)を考えて固定し
A⊂Zに対して
∃p∈[0,1],∀ε>0:F∋{n∈N::p-ε<#(A∩[-n,n])/(2n+1)<p+ε}
となるとき
このp（存在すれば1つしかない）を
p(A)=p
と定めると可測集合はP(Z)全体で
有限加法性を持つ確率測度になる
また上記のP(A)が存在すればそれはこのp(A)に一致する（自由超フィルターだからフレシェフィルターを包含する）