スレタイ箱入り無数目を語る部屋35(あほ二人の”アナグマの姿焼き"Part9ｗ)

Wed, 23 Sep 2026 (showing 12 of 12 entries )
[1] arXiv:2609.26706 [pdf, html, other]
A Conditional Oka Complex Structure of the Six-Sphere
Zhangchi Chen
Comments: 19 pages. With Open problems at the end
Subjects: Complex Variables (math.CV)
[2] arXiv:2609.26528 [pdf, html, other]
A first-jet characterization of Griffiths positivity
Yun-Heng Du, Song-Yan Xie
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG)

もう一度自由超フィルターの満たすべき条件を定式化してみよう
q=p(kA)の定義から
∀ε>0,{n∈N::q-ε<#{kA∩[-n,n])/(2n+1)<q+ε}∈F
であるとき
示したいのは
p(A)=kq
ということ
つまり
∀δ>0,{m∈N::kq-δ<#(A∩[-m,m])/(2m+1)<kq+δ}∈F
ここで考慮すべきは（2≦k）
#(kA∩[-n,n])=#(A∩[-n/k,n/k])
（縮小しただけ）
#(A∩[-n/k,n/k])=#(A∩[-[n/k],[n/k]])
（A⊂ZなのでZ∩[-n/k,n/k]=[-[n/k],[n/k]]）
ここで
m=[n/k]
とすると
n=km+r（0≦r<k）
と表せ
#(kA∩[-n,n])/(2n+1)=#(A∩[-m,m])/(2(km+r)+1)=#(A∩[-m,m])/(2m+1)・(2m+1)/(2(km+r)+1)
ここで
q-ε<#{kA∩[-n,n])/(2n+1)<q+ε
とすると
q-ε<#(A∩[-m,m])/(2m+1)・(2m+1)/(2(km+r)+1)<q+ε
よって
(2(km+r)+1)/(2m+1)(q-ε)<#(A∩[-m,m])/(2m+1)<(2(km+r)+1)/(2m+1)(q+ε)
ここで
(2(km+r)+1)/(2m+1)≒k
だけど等しくは無いんだよなあ
(2(km+r)+1)/(2m+1)<2k
だから
δ=2kε
とすれば
(2(km+r)+1)/(2m+1)q-δ<#(A∩[-m,m])/(2m+1)<(2(km+r)+1)/(2m+1)q+δ
となってδの方は上手く片が付くけれど
(2(km+r)+1)/(2m+1)q≒kq
なだけではダメなのよな
うーんFにどんな性質が必要なんだろ

>>185
>となってδの方は上手く片が付くけれど
F∋{m∈N::(2(km+r)+1)/(2m+1)(q-ε)<#(A∩[-m,m])/(2m+1)<(2(km+r)+1)/(2m+1)(q+ε)}⊂{m∈N::(2(km+r)+1)/(2m+1)q-δ<#(A∩[-m,m])/(2m+1)<(2(km+r)+1)/(2m+1)q+δ}
なのでFがフィルタだから
F∋{m∈N::(2(km+r)+1)/(2m+1)q-δ<#(A∩[-m,m])/(2m+1)<(2(km+r)+1)/(2m+1)q+δ}
（ε>0が任意 ⇔ δ>0が任意）