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

テンプレです
>Jech, T The Axiom of Choice. North-Holland. Jelonek 1973
>CH.2, THE COUNTABLE AXIOM OF CHOICE
>P21の画像 を見て貰えば分るが
>THE COUNTABLE AXIOM OF CHOICEは
>コーシー列の収束を証明するのに重要な役割をしている

テンプレです
>異なる自然数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>書かれている自然数の大きい方が勝ち
>さてA,Bの勝つ確率は？
>(引用終り)
>
>１）全体集合を場合分けする
>　ケース１ ある大きなしかし有限の自然数Mを取って 0〜Mのカードで考える
>　ケース２ 無限集合の自然数N全体を考える
>２）ケース１では、0〜Mのカードは 離散一様分布を成す（下記）
>　期待値（平均値）や 分散も存在する
>　この場合、A,Bの勝つ確率は おのおの1/2
>３）ケース２では、確率は考えられない
>　なぜならば、無限集合たる自然数N全体は、非正則分布を成すから（下記）

テンプレです
>(引用開始)
>偶数と奇数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>偶数を引いた方が勝ち
>さてA,Bの勝つ確率は？
>(引用終り)
>
>良い指摘だ
>いま、箱の中は 偶数1枚と奇数1枚の計2枚のみとする
>全体の数が2枚で有限だから
>普通に確率計算が可能で
>A,Bの勝つ確率は 各1/2ずつ

テンプレです
>・箱入り無数目 は、私が立てた
>・IUTのシン応援スレも 私
>・各種ガロアスレのうち
>　純粋・応用数学・数学隣接分野（含むガロア理論）21 (816)
>　ガロア第一論文と乗数イデアル他関連資料スレ19 (247)
>　の2つは私が立てた
>
>因みに、下記の数学勢いランキング
>1〜11で 4、5、7、10の4つを除く
>7個は 全部私が立てたんだよね

テンプレです
>>（ランダムってのは確率空間の話では？定義も無くてランダムとはね）
>
>素人か（＾＾
>下記乱数分かりますか？
>乱数も知らずに 箱入り無数目を論じるかね？ｗ
>
>箱入り無数目>>1 において 箱に 下記 乱数列を発生させて入れていく
>箱入り無数目で当てられるとすれば、乱数の定義に反する
>まさに 縦と矛 矛盾なり！
>
>真の乱数列とは？ 他の数を見ても 当てることはできない！！
>他の数を見て 当てることができるならば・・、それは真乱数ではない！！ｗｗｗ
>
>まあ、素人には理解できないだろうね
>（この議論は、１０年以上前 箱入り無数目の初期に書いている）

テンプレです
>”その「御大」も底が知れてる”？ まあ、そこは同意だよ。

テンプレです
>誤：（Setはモノイダル圏だけどテンソル圏とは呼ばれないみたい）
>　↓
>正：（Setは単なる集合の圏で積の定義なし。一方モノイダル圏即ちテンソル圏はテンソル積が定義された圏である。集合の圏Setは、なんらの積も定義されていないので、テンソル積が定義された圏であるモノイダル圏即ちテンソル圏とは、全く異なる圏である■）

テンプレです
>ところが、天才グロタンディクは 圏論を使う代数幾何には
>ZFCじゃ狭い！ だから 広くしようぜと言った
>それが グロタンディク宇宙で ちょうど研究されていた到達不能基数の理論とマッチングアプリ

テンプレート

箱入り無数目で出題も確率事象とする場合

r∈R^N　d(r)が可測なら　max(d(r1),…,d(rn))も可測
そして　P(d(r)<=max(d(r1),…,d(rn)) = n/(n+1)

これを、dが可測でない場合にも延長できる・・・かもしれないという話

テンプレート

X^Nが確率関数だとしても、
X^Nからn個、元をとったときの
条件つき確率で考える　というのがミソ

n=2とする

n1およびn2は決まっている

例えばn1<n2とする

n1を選ぶ確率は1/2
n2を選ぶ確率は1/2

n1を選べば勝てる
n2を選べば負ける

それだけの話

上記が成立しても、
Xをサイコロの目の集合{1,2,3,4,5,6}としたとき
サイコロの出る目の確率1/6は否定されない

ということで
箱入り無数目の正否問題は
「正しい」と決着しました

このスレ終了

（完）

前スレより
https://rio2016.5ch.io/test/read.cgi/math/1789040887/953
(引用開始)
�B
Xが確率空間であるにせよそうでないにせよ
Ω={1,…n}
はそれとは全く別の確率空間であるとの認識に至らないこと
こんなところかな
�Bについては次の問題に答えると理解できる
箱を１００個用意する
出題者は、箱に１つずつ多項式を入れる
どんな多項式をいれても構わない
回答者は１００の箱のうち１つをランダムに選ぶ
他の９９個を開けて中の多項式の次数の最大値Ｄを得る
さて回答者はここで予言をする
「箱の中の多項式の次数はたかだかＤである」
さてこの予言があたる確率は？
(引用終り)

(ですね)人か
１）その問題の答えは 札つき>>4 より
https://imgur.com/wHI3DZv
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 5 P64 251220.jpg
・この問題の方法は成り立たない
・n1,n2は確率変数になっていないから
https://imgur.com/iR4UNuV
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 6 P66 251220.jpg
・”ランダムに選んだ自然数のどちらが大きいか”みたいな話に結局なっちゃう
・なるほどな 確かにそうだよな！
(引用終り)
　にある通り
２）補足すると 可算無限集合たる自然数Nから ”ランダムに選んだ自然数 n1,n2のどちらが大きいか”
　P(n1<n2)=1/2 という論法は 不成立
　ゆえに サイコロの出る目の確率1/6を否定することはできないということ
３）上記で 多項式 １００個→２個 とする
　そうすると
　可算無限次元空間たる多項式環 F[x]（>>19 代数学I 都築暢夫 広島大より）から
”ランダムに選んだ二つの多項式の次数 n1,n2のどちらが大きいか”
”P(n1<n2)=1/2 という論法は 不成立”となる
　２個→１００個でも結論は同じ

蛇足だが 可算無限が絡むと ”ランダムに選んだ”を 安易に許すことはできないってこと■

よいよい、終わんないの？w

＞可算無限が絡むと ”ランダムに選んだ”を 安易に許すことはできない

単に　0<1/ℵ0　ってだけだろ（笑）

くだらん

n個の多項式を選んだ時点でその次数d1,…,dnが定まる
そこから
Dk=max(d1,…,^dk,…,dn)
とすると
Dk<dk ⇔ d1,…,^dk,…,dn <dk
#{k∈{1,…,n}::Dk<dk}=0 or 1
P(Dk<dk)=0 or 1/n
ですね

>>103
ちょっと違うでしょ
まず濃度は割り算できない
それと
ランダムを一様分布と解釈すると
可算無限個の根元事象の確率空間が
（通常の完全加法性を持つようには）
定義できないということ
時枝さんが後半の最初に書いている
「測度論で定義するのがカノニカルとしなくていいかも」
というのは
時枝さんが何を言いたかったかハッキリしないところだけど
自分の想像だと有限加法性は満たすが完全加法性を満たさないような確率の定義をおぼろげに想像したので無いかな
たとえばZ上に
A⊂Z
に対して
P(A)=lim[n→∞]#(A∩[-n,n])/(2n+1)
みたいな定義で
完全加法性は持たないが有限加法性を持つ「確率」みたいなのを定義は出来るみたい

四則演算考えるなら
Knuthの数学小説で扱われている超現実数が良いと思うんだよな
超実数でも良いけど
これなら全ての順序数が埋め込まれていて四則演算もできる（が通常の順序数の演算とは異なる）

>>105
実数上の集合のルベーグ測度に関して
1/(2^ℵ0)=0
ℵ0/(2^ℵ0)=0
で、0でない測度を持つのは
やはり2^ℵ0の濃度を持つもの
というナイーブな理解がある

ただし濃度2^ℵ0でも
測度0の集合はあるし
また選択公理を設定した場合
非可測な集合も存在する

>>101
つべこべ言わずに
Ω={1,2,・・・,100} を認めるか？
にYesかNoだけ答えて　YesかNo以外一切書かなくてよい

>>105
>完全加法性は持たないが有限加法性を持つ「確率」みたいなのを定義は出来るみたい
逆に、基数κは、κのべき集合上のκ加法的確率測度でシングルトンの測度が0であるものが存在するなら実数値可測と呼ばれ、すべての可測基数は実数値可測、かつ実数値可測な基数は連続体濃度より大きいときそのときに限り可測基数。
つまり可算加法性は確率測度の絶対条件ではなく、いろいろな加法性が考えられている。

https://en.wikipedia.org/wiki/Measurable_cardinal
Measurable cardinal
In mathematics, specifically in set theory, a measurable cardinal is a certain kind of large cardinal number. In order to define the concept, one introduces a two-valued measure on a cardinal
κ, or more generally on any set. For a cardinal
κ, it can be described as a subdivision of all of its subsets into large and small sets such that κ itself is large, the empty set and all singletons
{α} with α∈κ
are small, complements of small sets are large and vice versa. The intersection of fewer than
κ large sets is again large.[1]

It turns out that uncountable cardinals endowed with a two-valued measure are large cardinals whose existence cannot be proved from ZFC.[2]

The concept of a measurable cardinal was introduced by Stanis?aw Ulam in 1930.[3]

Real-valued measurable
A cardinal κ is called real-valued measurable if there is a
κ-additive probability measure on the power set of
κ that vanishes on singletons. Real-valued measurable cardinals were introduced by Stefan Banach (1930). Banach & Kuratowski (1929) showed that the continuum hypothesis implies that
c is not real-valued measurable. Stanislaw Ulam (1930) showed (see below for parts of Ulam's proof) that real valued measurable cardinals are weakly inaccessible (they are in fact weakly Mahlo). All measurable cardinals are real-valued measurable, and a real-valued measurable cardinal κ is measurable if and only if
κ is greater than c. Thus a cardinal is measurable if and only if it is real-valued measurable and strongly inaccessible. A real valued measurable cardinal less than or equal to
c exists if and only if there is a countably additive extension of the Lebesgue measure to all sets of real numbers if and only if there is an atomless probability measure on the power set of some non-empty set.

Solovay (1971) showed that existence of measurable cardinals in ZFC, real-valued measurable cardinals in ZFC, and measurable cardinals in ZF, are equiconsistent.

「可算無限集合たる自然数Nから ”ランダムに選んだ自然数 n1,n2のどちらが大きいか”」
というのが箱入り無数目だというのは京大マンガの誤謬
それを無批判に（自分で考えず）受容しようとするだけの彼の人
ランダムに選んだ（ランダムで無くてもいい）自然数の集合{n1,n2}を標本空間とし（面倒を避けるためn1≠n2としよう）
そこから一様分布によって取り出した値をX,残った値をYとするとき
P(X>Y)=1/2
を考えているのが箱入り無数目の本質
取り出すのは{n1,n2}からであってこれは定数

[1] arXiv:2609.21657 [pdf, html, other]
Cesàro operator induced by a Bergman kernel
Oscar Blasco, Atte Pennanen
Subjects: Complex Variables (math.CV); Functional Analysis (math.FA)
[2] arXiv:2609.21121 [pdf, html, other]
Two new proofs of Chui's Conjecture in Weighted Bergman Spaces
Georgia Corbett
Comments: 23 pages
Subjects: Complex Variables (math.CV)
[3] arXiv:2609.21014 [pdf, html, other]
Orbits of Exceptional CR Quadrics and Their Variations
V. K. Beloshapka
Subjects: Complex Variables (math.CV)
[4] arXiv:2609.20988 [pdf, html, other]
Boundary geometry and linear accessibility of functions with positive real derivative
Shota Hoshinaga, Ikkei Hotta, Li-Mei Wang
Comments: 13 pages
Subjects: Complex Variables (math.CV)
[5] arXiv:2609.21977 (cross-list from math.DS) [pdf, html, other]
A counterexample to Eremenko's conjecture
David Martí-Pete, Lasse Rempe, James Waterman
Comments: 10 pages, 1 figure
Subjects: Dynamical Systems (math.DS); Complex Variables (math.CV)

前スレの単純化した例はあまり面白くないので
別のアプローチを考えてみた
C=[0,1)上に一様分布のボレル測度を考えて確率空間と見る
VをCのVitali集合（の1つ）として固定し
W=[0,1/2)×V∪[1/2,1)×cV⊂C×C
と定義する（cVはCにおけるVの補集合）
Aはy∈Cを自由に選びWのy切片
Wy={x∈C::(x,y)∈W}
を紙に書いて伏せておく
さてここで
Bはx∈Cをランダムに選びその値をAに告げ
Aはx∈WyであればBに1元与える
さもなくばBから1元貰う（-1元与える）
このゲームにおけるBの収支の期待値は何元？

[6] arXiv:2609.21528 (cross-list from math.DG) [pdf, html, other]
Continuous solutions to the quaternionic Monge-Ampère equation on locally flat HKT manifolds
Giovanni Gentili, Antonio Trusiani, Luigi Vezzoni
Comments: 34 pages. All comments are welcome
Subjects: Differential Geometry (math.DG); Complex Variables (math.CV)
[7] arXiv:2609.21007 (cross-list from math.AG) [pdf, html, other]
Abelian Relations are Liouvillian
Gabriel Fazoli, Jorge Vitório Pereira
Subjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)

X,Yを可測空間とし
A⊂X×Y
に対してy切片を
Ay={x∈X::(x,y)∈A}
とし
S={A⊂X×Y::∀y∈Y:Ay:Xの可測集合}
とするとこれはX×Y上の完全加法族
それは切片（を取る操作）が和積補集合と可換だから
可測なI⊂X,J⊂YについてI×J∈Sなので
Sの完全加法性により
I×Jで生成される完全加法族すなわちX×Yの可測集合をすべて含む
よって
X×Yの可測集合のy切片は全てXで可測

Δ:X^2→N^2→Z
を決定番号dの差を対応させる写像とし
A={(x,y)∈X^2::Δ(x,y)>0}
とする
これがX^2の可測集合だとすると
Ay={x∈X::Δ(x,y)>0}
はどれもXで可測のはずだけど
特定のyについて
Δ(x,y)=d(x)-d(y)>0
とは
d(x)>d(y)（定数）
であることなのでnが確率変数では無いことから
どのAyも非可測
よってAも非可測

この確率空間で決定番号nである実数の集合とは
Fn={(sm)::sm=0 for all m≧n}
En=Fn＼Fn-1
であるEnと
代表元の全体Vについて
（Vは(0,0,…)の代表元を除く）
V+En={v+e::v∈V,e∈E}
に対応する集合Xn⊂[0,1)のことで
Xn=X0+Dn（DnはEnに対応する有限2進小数の集合）
となる（X0はVに対応する集合）
X=[0,1]＼D
D=ΣDn（直和）={有限２進小数}
は
X=ΣXn（直和）
かつ
ボレル測度は平行移動で不変なので
X0（Vに対応する集合）
が可測なら
Dnが有限集合かつ
V+En=Σ{V+e::e∈En}（直和）
なので
Xn=X0+Dn
も可測で
P(Xn)=|Dn|P(X0)
よって
1=P(X)=ΣP(Xn)=Σ|Dn|P(X0)=|D|P(X0)
のはずだが
|D|=∞
なのでP(X0)は定義できない
すなわち
X0は非可測集合

よって
決定番号を与える写像は非可測
よって
Xから独立な2つの実数（すなわち2^N＼Fの元）を取っても
それらに定義される決定番号m,nについて
この確率空間ではP(m>n)は定義されない
しかし
{(m,0).(n,1)}は2^NでもXでもないただの2元集合なので
ここからランダムに(x,i)を選び(y,j)を残った方とすると
P(x>y)
は
m=nのとき0でｍ≠nのとき1/2

Mon, 21 Sep 2026 (showing 7 of 7 entries )
[1] arXiv:2609.21657 [pdf, html, other]
Cesàro operator induced by a Bergman kernel
Oscar Blasco, Atte Pennanen
Subjects: Complex Variables (math.CV); Functional Analysis (math.FA)
[2] arXiv:2609.21121 [pdf, html, other]
Two new proofs of Chui's Conjecture in Weighted Bergman Spaces
Georgia Corbett
Comments: 23 pages
Subjects: Complex Variables (math.CV)
[3] arXiv:2609.21014 [pdf, html, other]
Orbits of Exceptional CR Quadrics and Their Variations
V. K. Beloshapka
Subjects: Complex Variables (math.CV)
[4] arXiv:2609.20988 [pdf, html, other]
Boundary geometry and linear accessibility of functions with positive real derivative
Shota Hoshinaga, Ikkei Hotta, Li-Mei Wang
Comments: 13 pages
Subjects: Complex Variables (math.CV)

Subjects: Complex Variables (math.CV)
[5] arXiv:2609.21977 (cross-list from math.DS) [pdf, html, other]
A counterexample to Eremenko's conjecture
David Martí-Pete, Lasse Rempe, James Waterman
Comments: 10 pages, 1 figure
Subjects: Dynamical Systems (math.DS); Complex Variables (math.CV)
[6] arXiv:2609.21528 (cross-list from math.DG) [pdf, html, other]
Continuous solutions to the quaternionic Monge-Ampère equation on locally flat HKT manifolds
Giovanni Gentili, Antonio Trusiani, Luigi Vezzoni
Comments: 34 pages. All comments are welcome
Subjects: Differential Geometry (math.DG); Complex Variables (math.CV)
[7] arXiv:2609.21007 (cross-list from math.AG) [pdf, html, other]
Abelian Relations are Liouvillian
Gabriel Fazoli, Jorge Vitório Pereira
Subjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)

Subjects: Complex Variables (math.CV)
[5] arXiv:2609.21977 (cross-list from math.DS) [pdf, html, other]
A counterexample to Eremenko's conjecture
David Martí-Pete, Lasse Rempe, James Waterman
Comments: 10 pages, 1 figure
Subjects: Dynamical Systems (math.DS); Complex Variables (math.CV)
[6] arXiv:2609.21528 (cross-list from math.DG) [pdf, html, other]
Continuous solutions to the quaternionic Monge-Ampère equation on locally flat HKT manifolds
Giovanni Gentili, Antonio Trusiani, Luigi Vezzoni
Comments: 34 pages. All comments are welcome
Subjects: Differential Geometry (math.DG); Complex Variables (math.CV)
[7] arXiv:2609.21007 (cross-list from math.AG) [pdf, html, other]
Abelian Relations are Liouvillian
Gabriel Fazoli, Jorge Vitório Pereira
Subjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)

Fri, 18 Sep 2026 (showing 12 of 12 entries )
[8] arXiv:2609.20675 [pdf, html, other]
Limit theorems for Coulomb gases on a Jordan curve in an external potential
Kurt Johansson, Thomas Wolfs
Comments: 45 pages
Subjects: Complex Variables (math.CV)
[9] arXiv:2609.20607 [pdf, html, other]
On Simply Connected Domains Supporting an Unbounded Analytic Function with Bounded Derivative
Cameron MacMahon
Comments: 15 Pages, 4 Figures
Subjects: Complex Variables (math.CV)
[10] arXiv:2609.20288 [pdf, other]
Coefficient estimates and Hankel determinant for the class of leaf shaped starlike function
Shantanu Panja, Abhijit Banerjee, Sujoy Majumder
Subjects: Complex Variables (math.CV)

>>118
>{(m,0).(n,1)}は2^NでもXでもないただの2元集合なので
>ここからランダムに(x,i)を選び(y,j)を残った方とすると
>P(x>y)
>は
>m=nのとき0でｍ≠nのとき1/2
これの方がイイかな
{m,n}からランダムにxを選びy=m+n-xとすると
P(x>y)
は
m=nのとき0でm≠nのとき1/2

Bergman Kernel Asymptotics for Semipositive Line Bundles near Curvature-Degenerate Points
Yueh-Lin Chiang
We study the asymptotic behavior of Bergman kernels for high tensor powers of
semipositive line bundles over Hermitian manifolds.
At points where the curvature degenerates, the classical asymptotic
expansion may fail. In this paper, we establish a full local asymptotic
expansion and rapid off-diagonal decay near degenerate points at which
the metric admits a local decoupled model. More generally, we make the
following two spectral hypotheses: a localized mild spectral gap for
the Kodaira Laplacian and a spectral gap for the rescaled local model.
Under these assumptions, we prove a localization property and the rapid
off-diagonal decay for the Bergman kernel. Furthermore, if the metric has
a local quasi-homogeneous structure,
we obtain a full local asymptotic expansion in the C∞-topology.

やっぱもっと単純化しよう
Aは{0,1}のどちらかを書いて隠しておく
ここで
Bが{0,1}からランダムに数を選び
AとBは同時に公開する
一致していればBの勝ち
そうでなければAの勝ち
A,Bの勝つ確率は？

>>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)に一致する（自由超フィルターだからフレシェフィルターを包含する）

>>126
>可測集合はP(Z)全体
A=Z
のときはp(Z)=1と定義されるのは自明
以下
A⊂≠Z
としよう
xn=#(A∩[-n,n])/(2n+1)
として数列(xn)を定義すると
xn=1 ⇔ A⊃[-n,n]
なので
{n∈N::xn=1}は有限集合となりフレシェフィルターを含む自由帳フィルターFの元にならない
つまり
{n∈N::xn<1}∈F
そこで
A⊂≠Z
であるAについてのみ考察し
L1={n∈N::0≦xn<1/2}
R1=cL1={n∈N::1/2≦xn<1}
のいずれか一方がFの元（超フィルターだから）
L1∈Fのときy1=0
R1∈Fのときy1=1/2
とすると上記の定義より
N1={n∈N::y1≦xn<y1+1/2}∈F
次に
N1⊃L2={n∈N::y1≦xn<y1+1/4}
N1⊃R2=N1＼L2={n∈N::y1+1/4≦xn<y1+1/2}
のいずれか一方がFの元（超フィルターだから）
L2∈Fのときy2=y1
R2∈Fのときy2=y1+1/4
とすると上記の定義より
N1⊃N2={n∈N::y2≦xn<y2+1/4}∈F
これを繰り返して
∀m∈N:Nm={n∈N::ym≦xn<ym+1/2^m}∈F
となるymを定義できる（y0=0）
0=y0≦y1≦y2≦…≦y2+1/4≦y1+1/2≦y0+1=1
に区間縮小法を使うことで
ym≦p≦ym+1/2^m
となるpがただ1つ定義できて
∀ε>0,∃m∈N::1/2^m<ε
だからそのようなmを考えると
p-ε<p-1/2^m≦ym<ym+1/2^m≦p+1/2^m<p+ε
より
{n∈N::p-ε<xn<p+ε}⊃{n∈N::ym<xn<ym+1/2^m}=Nm∈F
なので
{n∈N::p-ε<xn<p+ε}∈F
がどんなε>0についても成立する

有限加法性は互いに素なA,B⊂Zについて
xn=#(A∩[-n,n])/(2n+1)
yn=#(B∩[-n,n])/(2n+1)
とすると
xn+yn=#((A∪B)∩[-n,n])/(2n+1)
であることから自由超フィルターの性質を使えばほぼ自明かな

ただ
このp(A)はどんな値になるのか想像付かない
もちろん
P(A)=lim[n→∞]#(A∩[-n,n])/(2n+1)
が存在する場合のイメージは沸くのだが
それ以外のAについてはいったいどんななのかな

まあいずれにせよP(Z)全部を可測にする有限加法性を持つ確率測度が作れることが分かって嬉しい

>>129
>が存在する場合のイメージは沸くのだが
沸かないこともないのだが
にトーンダウンしておこっと

ついでに書くと
このp(A)については
p(-A)=p(A)
p(A+n)=p(A)
が成立することは定義からすぐ出るはず
前者はホントニすぐ（xn(-A)=xn(A)）
後者はズレがどんどん無くなっていくから大丈夫のはず
でも1倍（自分自身）-1倍（-A）以外の
k倍（0≠k∈R::A,kA⊂Z）についても
p(A)=kp(kA)
とするにはどうしたらいいんだろ
自由帳フィルターFにさらに条件を課す必要は有りそう
（0倍は0A={ }もしくは{0}でいずれもp(0A)=0なので0倍というよりは∞倍みたいな感じね）

>>126
εN論法をフィルタで書くならフレシェでよいのでは？
それなら選択公理を必要としないが、自由超フィルタはオーバースペックで選択公理を必要とする。

>>129
もしかしてεN論法以上のことをやろうとしてる？それで自由超フィルタ？
その場合、pは非構成的なフィルタに依存するので存在しか言えない。確率測度とするには無理がある。
自由超フィルタは例えば超積構成等フィルタ依存性を問題視しない場合にしか有用でない。

>>131
確率測度の存在だけを問題視してるならアリだと思うけど、確率計算ができない確率測度に意味があるやなしや。

>>135
>確率計算ができない確率測度に意味があるやなしや
意味のある例
Real-valued measurable
A cardinal κ is called real-valued measurable if there is a
κ-additive probability measure on the power set of
κ that vanishes on singletons.

>>133
>それなら選択公理を必要としないが、自由超フィルタはオーバースペックで選択公理を必要とする。
なるほど
けど途中でAとcAのどちらかを含むという性質を使っているので
フレシェフィルターでは上記の話はうまくいかないと思う
ただそれが>>135
>確率計算ができない確率測度に意味があるやなしや。
ではありますね
lim[n→∞]#(A∩[-n,n])/(2n+1)
が存在する場合それと一致するのでそこが頼りです
今は>>132
>k倍（0≠k∈R::A,kA⊂Z）についても
>p(A)=kp(kA)
>とするにはどうしたらいいんだろ
を考えているところです

Tue, 22 Sep 2026 (showing 26 of 26 entries )
[1] arXiv:2609.24869 [pdf, html, other]
Bergman Kernel Asymptotics for Semipositive Line Bundles near Curvature-Degenerate Points
Yueh-Lin Chiang
Subjects: Complex Variables (math.CV); Differential Geometry (math.DG)
[2] arXiv:2609.24853 [pdf, html, other]
CSC Bergman metrics are Einstein on pseudoconvex domains
Xiaoshan Li, Taishun Liu
Comments: 11 pages
Subjects: Complex Variables (math.CV)
[3] arXiv:2609.24484 [pdf, html, other]
New examples of tame families of Stein manifolds
Franc Forstneric, Finnur Larusson
Subjects: Complex Variables (math.CV)
[4] arXiv:2609.24258 [pdf, html, other]
Parameter Dependence of Weighted Bergman Kernels Beyond Smoothness
George Marinescu, Xu Xing
Subjects: Complex Variables (math.CV)
[5] arXiv:2609.24154 [pdf, html, other]
Exponential polynomials with Baker omitted value
Sukanta Das, Subhasis Ghora, Tarakanta Nayak
Comments: 26 Pages, 4 Figures. Comments are welcome
Subjects: Complex Variables (math.CV); Dynamical Systems (math.DS)

[6] arXiv:2609.24041 [pdf, html, other]
A sharp stability inequality of Liouville's theorem for quasiregular mappings on bounded domains
Yi Ru-Ya Zhang
Comments: We compress the original proof of Reshetnyak from 200+ pages to 84 pages. While preparing this manuscript, the author employed AI to improve the writing and to help draft technical and routine proofs, particularly those included in the Appendix. The core concepts, theoretical insights, and interpretations were developed and articulated solely by the author
Subjects: Complex Variables (math.CV)
[7] arXiv:2609.24035 [pdf, html, other]
Asymptotic perimeter estimates for spirallike functions
Zain Shayim Alsharari, Toshiyuki Sugawa
Comments: 13 pages, 1 figure
Subjects: Complex Variables (math.CV)
[8] arXiv:2609.24013 [pdf, html, other]
Componentwise rigidity of holomorphic isometric maps from the complex unit ball to bounded symmetric domains
Ming Xiao
Comments: 17 pages
Subjects: Complex Variables (math.CV)
[9] arXiv:2609.24008 [pdf, html, other]
Solving non-oscillatory solutions of the Hill equation via the Tumura--Clunie method
Yueyang Zhang
Comments: 31 pages
Subjects: Complex Variables (math.CV); Dynamical Systems (math.DS)
[10] arXiv:2609.23674 [pdf, html, other]
The modified Cartan conjecture
Alexandre Eremenko, Zongben Xu, Teng Zhang
Comments: 25 pages
Subjects: Complex Variables (math.CV)

[11] arXiv:2609.23572 [pdf, html, other]
Sampling and Interpolation in Gaussian Mixed-Norm Fock Spaces
Xiang Fang, Pham Trong Tien
Comments: 41 pages
Subjects: Complex Variables (math.CV); Functional Analysis (math.FA)
[12] arXiv:2609.23530 [pdf, html, other]
Weighted regularity and plurithinness in Cn
Nurbek Kh. Narzillaev
Comments: 22 pages
Subjects: Complex Variables (math.CV)
[13] arXiv:2609.23236 [pdf, html, other]
A computer-assisted lower bound for Landau's constant
Frank Wikström
Comments: 20 pages
Subjects: Complex Variables (math.CV)
[14] arXiv:2609.22996 [pdf, html, other]
A Demailly-type approximation of singular Finsler metrics
Zhuo Liu
Comments: 10 pages
Subjects: Complex Variables (math.CV)
[15] arXiv:2609.22699 [pdf, html, other]
A Product Principle for Harmonic Schwarz Lemmas: Boxes, Polydiscs, and Metric Geometry
Miljan Knežević, Miodrag Mateljević
Comments: 30 pages
Subjects: Complex Variables (math.CV)

（荒らしは迷惑）

お仕事に関係のある論文なのか…？

>>142

ものすごく関係がある↓

[1] arXiv:2609.24869 [pdf, html, other]
Bergman Kernel Asymptotics for Semipositive Line Bundles near Curvature-Degenerate Points
Yueh-Lin Chiang
Subjects: Complex Variables (math.CV); Differential Geometry (math.DG)

（ここにはまったく関係ない）

>>143
あら、御大じゃないんですか？
語り口調が御大らしくない…。

いや、御大か…。

（誰だろうが荒らし）

まあ、どなたでも良いか。
何かお考えがあってのコピペだろう。

私は私の勉強をしよう。
飲んでばかりだがw

ベルグマン核はあまり覚えていない(汗)

>>148
荒らしには無いと思うけどね

>>150
お前はニキスレから出てくんんあ

>>152
5chのルールに則って排除したまえよw
ルール無用のSNSではないよ。

人に迷惑かけることが楽しいって暴走族と同じ精神構造

通常
(X,Σ,μ)が確率空間のとき
X^2を確率空間にするのは
Σ×Σを含む（生成する）最小の完全加法族を可測集合にして
μ(I×J)=μ(I)μ(J)
から拡張して測度を定義するが
C=[0,1)のように可換群になって平行移動（や逆元？）で不変なハール測度から始める場合
I×Jからでなくて
f:J→C（なんでもよし）
でシフトして
I←J={(x,y)::x∈I+f(y),y∈J}（半直積）
μ(I←J)=μ(I)μ(J)
から始められないかな
イメージとしては
通常のC^2で通常の意味で可測ではないが
逐次積分で値が出るようなもの

[2] arXiv:2609.24853 [pdf, html, other]
CSC Bergman metrics are Einstein on pseudoconvex domains
Xiaoshan Li, Taishun Liu
Comments: 11 pages
Subjects: Complex Variables (math.CV)

擬凸領域上のCSC Bergman metricは
境界が実解析的ならEinstein

A⊂C^2
に対して
Ax={y∈C::(x,y)∈A}⊂C
と定義して
μ(A)=∫dμ(x)∫Axdμ(y)
が定まるAを可測集合およびその測度と定義する
ね

通常の意味での可測集合は全て可測になってその測度も（フビニの定理により）同じ値
しかし
f:C→C
を任意の写像として
fA={(x,y+f(x))::(x,y)∈A}
と定義すると
fAx={y∈C::(x,y)∈fA}={y+f(x)::(x,y+f(x))∈fA}={y+f(x)::(x,y)∈A}=Ax+f(x)
なので
μ(fA)=∫dμ(x)∫fAxdμ(y)=∫dμ(x)∫fAxdμ(y)=∫dμ(x)∫(Ax+f(x))dμ(y)=∫dμ(x)∫Axdμ(y)=μ(A)

[4] arXiv:2609.24258 [pdf, html, other]
Parameter Dependence of Weighted Bergman Kernels Beyond Smoothness
George Marinescu, Xu Xing

[11] arXiv:2609.23572 [pdf, html, other]
Sampling and Interpolation in Gaussian Mixed-Norm Fock Spaces
Xiang Fang, Pham Trong Tien
Comments: 41 pages
Subjects: Complex Variables (math.CV); Functional Analysis (math.FA)

この確率空間
(C^2,Σ,μ)
で考えれば
C=2^N＼F
x∈Cを2進展開したとき有限小数は使わなければ一意に表せる
則ち2^Nだが有限項以外0であるFではない数列に対応
π:C=2^N＼F→(2^N/F)＼[0]（[0]とは2^Nの単位元(0)の同値類）
のセクションを選択公理によって構成しV⊂Cとすると
通常の確率空間で非可測な
A=V×[0,1/2)+cV×[1/2,1)
もこの確率空間では
μ(A)=1/2
と確率測度が定義される

>>132
>k倍（0≠k∈R::A,kA⊂Z）についても
>p(A)=kp(kA)
1<k∈Nについて
p(kA)=qと置いてみるか
考察すべきは
p(A)=kq
となるような自由帳フィルターFの満たすべき条件
まず
p(kA)の定義から
∀ε>0,{n∈N::q-ε<#{kA∩[-n,n])/(2n+1)<q+ε}∈F
ここで
0≦r<k
について
#{kA∩[-kn-r,kn+r])=#{A∩[-n,n])
#{kA∩[-kn-r,kn+r])/(2(kn+r)+1)=#{A∩[-n,n])/(2(kn+r)+1)=#{A∩[-n,n])/(2n+1)・(2n+1)/(2(kn+r)+1)
∀ε>0:F∋{n∈N::q-ε<#{kA∩[-n,n])/(2n+1)<q+ε}
={n∈N::q-ε<#{A∩[-n,n])/(2n+1)・(2n+1)/(2(kn+r)+1)<q+ε}
={n∈N::(q-ε)・(2(kn+r)+1)/(2n+1)<#{A∩[-n,n])/(2n+1)<(q+ε)・(2(kn+r)+1)/(2n+1)}
ここで
k≧2
なので
(2(kn+r)+1)/(2n+1)<k+1
であるから
{n∈N::(q-ε)・(2(kn+r)+1)/(2n+1)<#{A∩[-n,n])/(2n+1)<(q+ε)・(2(kn+r)+1)/(2n+1)}⊂{n∈N::(k+1)(q-ε)<#{A∩[-n,n])/(2n+1)<(k+1)(q+ε)}
でFがフィルターだから
{n∈N::(k+1)(q-ε)<#{A∩[-n,n])/(2n+1)<(k+1)(q+ε)}∈F
よって
δ=(k+1)ε
と置けば
∀δ>0:{n∈N::(k+1)q-δ<#{A∩[-n,n])/(2n+1)<(k+1)q+δ}∈F
が成立することになり
p(A)=(k+1)q
あれれれれ？どこか間違っているな

ちょっとクールダウンしよう

あれれー、おかしいぞーw

>>163
>#{kA∩[-kn-r,kn+r])/(2(kn+r)+1)=#{A∩[-n,n])/(2(kn+r)+1)=#{A∩[-n,n])/(2n+1)・(2n+1)/(2(kn+r)+1)
>∀ε>0:F∋{n∈N::q-ε<#{kA∩[-n,n])/(2n+1)<q+ε}
={kn+r∈N::q-ε<#{kA∩[-kn-r,kn+r])/(2(kn+r)+1)<q+ε}
={kn+r∈N::q-ε<#{A∩[-n,n])/(2n+1)・(2n+1)/(2(kn+r)+1)<q+ε}
={kn+r∈N::(q-ε)・(2(kn+r)+1)/(2n+1)<#{A∩[-n,n])/(2n+1)<(q+ε)・(2(kn+r)+1)/(2n+1)}
Fについては
{kn+r∈N::(q-ε)・(2(kn+r)+1)/(2n+1)<#{A∩[-n,n])/(2n+1)<(q+ε)・(2(kn+r)+1)/(2n+1)}∈F
であるとき
δ=kεとして
{n∈N::kq-δ<#{A∩[-n,n])/(2n+1)<kq+δ}∈F
が言えるようなFでなくてはいけないわけだな
F∋{kn+r∈N::(q-ε)・(2(kn+r)+1)/(2n+1)<#{A∩[-n,n])/(2n+1)<(q+ε)・(2(kn+r)+1)/(2n+1)}
={kn+r∈N::(q-ε)・(2(kn+r)+1)<#{A∩[-n,n])<(q+ε)・(2(kn+r)+1)}
={n∈N::(q-ε)(2n+1)<#{A∩[-(n-r)/k,(n-r)/k])<(q+ε)(2n+1)}
={n∈N::q-ε<#{A∩[-(n-r)/k,(n-r)/k])/(2n+1)<q+ε}

[1] arXiv:2609.24869 [pdf, html, other]
Bergman Kernel Asymptotics for Semipositive Line Bundles near Curvature-Degenerate Points
Yueh-Lin Chiang
Subjects: Complex Variables (math.CV); Differential Geometry (math.DG)
[2] arXiv:2609.24853 [pdf, html, other]
CSC Bergman metrics are Einstein on pseudoconvex domains
Xiaoshan Li, Taishun Liu
Comments: 11 pages
Subjects: Complex Variables (math.CV)
[3] arXiv:2609.24484 [pdf, html, other]
New examples of tame families of Stein manifolds
Franc Forstneric, Finnur Larusson
Subjects: Complex Variables (math.CV)
[4] arXiv:2609.24258 [pdf, html, other]
Parameter Dependence of Weighted Bergman Kernels Beyond Smoothness
George Marinescu, Xu Xing
Subjects: Complex Variables (math.CV)
[5] arXiv:2609.24154 [pdf, html, other]
Exponential polynomials with Baker omitted value
Sukanta Das, Subhasis Ghora, Tarakanta Nayak
Comments: 26 Pages, 4 Figures. Comments are welcome
Subjects: Complex Variables (math.CV); Dynamical Systems (math.DS)

>>167
人に迷惑かけるの楽しい？

(n-r)/k=[n/k]
だな
つまり
{n∈N::q-ε<#{A∩[-[n/k],[n/k]])/(2n+1)<q+ε}∈F
のとき
F∋{n∈N::k(q-ε)<#{A∩[-n,n])/(2n+1)<k(q+ε)}
={n∈N::q-ε<#(A∩[-n,n])/k(2n+1)<q+ε}
が言えるようなFか
うーむどういう性質があればいいだろ

>>168
荒らしはそれが楽しいんだと思います

[13] arXiv:2609.23236 [pdf, html, other]
A computer-assisted lower bound for Landau's constant
Frank Wikström
Comments: 20 pages
Subjects: Complex Variables (math.CV)
[14] arXiv:2609.22996 [pdf, html, other]
A Demailly-type approximation of singular Finsler metrics
Zhuo Liu
Comments: 10 pages
Subjects: Complex Variables (math.CV)
[15] arXiv:2609.22699 [pdf, html, other]
A Product Principle for Harmonic Schwarz Lemmas: Boxes, Polydiscs, and Metric Geometry
Miljan Knežević, Miodrag Mateljević
Comments: 30 pages
Subjects: Complex Variables (math.CV)
[16] arXiv:2609.22279 [pdf, html, other]
Geometric index theorems for holomorphic foliations and curves
César Camacho, Rudy Rosas
Comments: 25 pages, 1 figure
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG); Differential Geometry (math.DG); Dynamical Systems (math.DS)
[17] arXiv:2609.24614 (cross-list from math.FA) [pdf, html, other]
Compactness of Toeplitz Operators on the Bergman Space
Guangfu Cao, Li He, Shuqing Zhang
Comments: 29
Subjects: Functional Analysis (math.FA); Complex Variables (math.CV)
[18] arXiv:2609.24610 (cross-list from math.MG) [pdf, html, other]
Quasihyperbolic domains are CAT(2)
Toni Ikonen, Abhishek Pandey
Comments: 39 pages

>>162
Dが群で（左不変）ハール測度が定義されるとして
(C,ΣC,μC)×(D,ΣD,μD)
にも同様の確率測度を定義できるな
A∈C×D
に
μ(A)=∫dμC∫AxdμD=∫μD(Ax)dμC
が存在するAを可測集合およびその測度と定義
f:C→D（何でも）
に対して
Ax={y∈D::(x,y)∈A}
fA={(x,f(x)y)::(x,y)∈A}
と定義すると
fAx={f(x)y∈D::(x,y)∈A}=f(x)Ax
なので
μ(fA)=∫μD(fAx)dμC=∫μD(f(x)Ax)dμC=∫μD(Ax)dμC=μ(A)

ふむふむ、為になる論文w

A Demailly-type approximation of singular Finsler metrics
Zhuo Liu

We establish a Demailly-type approximation theorem for singular
Finsler metrics satisfying the multiple coarse \(L^p\) extension
property on holomorphic vector bundles. As an application,
we obtain a new proof of the fact that the multiple coarse \(L^p\)
extension property characterizes Griffiths positivity,
as shown by Deng--Wang--Zhang--Zhou.

ん～、為になるw

この確率測度を使うと
C^n×Z/nZ
で（C^nは普通の積）
d:C→N:決定番号
が普通の意味で非可測であっても
確率を計算できそう？

A Demailly-type approximation of singular Finsler metrics
Zhuo Liu
We establish a Demailly-type approximation theorem for singular Finsler metrics satisfying the multiple coarse \(L^p\) extension property on holomorphic vector bundles. As an application, we obtain a new proof of the fact that the multiple coarse \(L^p\) extension property characterizes Griffiths positivity, as shown by Deng--Wang--Zhang--Zhou.

>>175
もしかしたらこれはホントに為になるかも？

論文てどうやって探すのよ。
まあ、探したところで分からんから、とりあえずは市販の本を読む。

arXiv (complex variables)
スタバで見れる

arxivはなんか見るわ。

>>172
>μ(A)=∫dμC∫AxdμD=∫μD(Ax)dμC
>が存在するAを可測集合およびその測度と定義
μ(cA)=∫μD(cAx)dμC=∫(1-μD(Ax))dμC=1-∫μD(Ax)dμC=1-μ(A)
μ(ΣAn)=∫μD(ΣAn)dμC=Σ∫μD(An)dμC=Σμ(An)
により完全加法性を持つことが知れる

>>182
>μ(ΣAn)=∫μD(ΣAn)dμC=Σ∫μD(An)dμC=Σμ(An)
μ(ΣAn)=∫μD((ΣAn)x)dμC=∫μD(Σ(An)x)dμC=Σ∫μD((An)x)dμC=Σμ(An)

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が任意）

A Conditional Oka Complex Structure of the Six-Sphere
Zhangchi Chen
Alpöge constructs a compact complex threefold Y fibred
over P1 by complex two-tori away from three special points.
We prove that Y is an Oka manifold. The proof applies to
every admissible period parameter with the same logarithmic
twists and cusp gluing. If one also accepts the identification
of the underlying smooth manifold with S6 in Alpöge's Theorem~8.1,
then the six-sphere admits
an Oka complex structure. This topological identification
is not used in the Oka proof.

[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)
[3] arXiv:2609.26504 [pdf, html, other]
Ample vector bundles without Griffiths-semipositive metrics
Yun-Heng Du, Song-Yan Xie
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG)

>>186
この話はZ上に有限加法性を持つ確率測度が作れたということから始まっているけれど
それ自体は箱入り無数目との関連が薄いので別のスレに移ろう
>>176
この話は箱入り無数目そのものではないがその拡張との関連が深いのでここで続けよう

[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)

物凄く単純化した箱入り無数目
{m,n}からランダムにxを選びy=m+n-xとすると
P(x>y)
は
m=nのとき0でm≠nのとき1/2

アホ「m,nは裾の重い分布だからあああああああああ」
時枝「m,nが確率変数なんて一言も言ってないんだが」

>>192
ですね

ACOUNTEREXAMPLETOFUCHS’SCONJECTURE
ALEXANDREEREMENKOANDTENGZHANG
Abstract. Foreveryρ∈(0,1/2),weconstructanentire functionFof orderandlower
orderρwhose logarithmicderivativehaszeroasadeficientvalue, that is, δ(0,F′/F)>0.
ThisdisprovesanoldconjectureofW.H.J.Fuchs

転載「おにぃのルベーグ積分勉強スレ」より
https://rio2016.5ch.io/test/read.cgi/math/1789470073/767
2026/09/24(木)ID:XXU0IwBF
出張してきました （＾＾

>御大が論文をコピペされる理由でも真面目に考えなよ。

これは全く同意です
御大が論文コピペ爆撃される理由：
１）時枝箱入り無数目（の結論）：ｘ
　吉田大学 札つきマンガ（の結論）：〇
　cf https://rio2016.5ch.io/test/read.cgi/math/1789954413/1-4
２）［数字であそぼ。］絹田村子への援護爆撃（吉田大学OBとして応援）
３）加えて、学会などで 確率論学者と情報交換の話をされた
　その上で 上記１）２）を確信された
これが、私が予想する御大の心中です

>「ストローマン」は彼の人の口癖だった
>「Scholze Stixはストローマン論法」
>というのが常だったからね
>Leanで分が悪くなって？使わなくなったかも

１）正しくは「静観している」だ
２）望月氏IUT数学は 事実はともかく ZFCの外だと主張する
　これを正とすると、従来のLeanがZFCの内が主だとして
　そこからはみ出る部分がある可能性は大いにある
３）ゆえにポイントは、何かが不足していて Leanが通らない
　そこをうまい形で 何かを追加して Leanが通せるか否かだ
４）「Scholze Stixはストローマン論法」は、Scholze氏の主張が
　相手の数学の定義を 書き換えて 書き換えた定義で矛盾が出るという主張だから
　これが ストローマン論法であることは 恒真で確定しているが

繰り返すが、いまは「静観している」が正しい
(引用終り)

C×Dでなくて
x∈Cに対して定まる確率空間Dxで
(C,Dx)={(x,y)::x∈C,y∈Dx}
についても
A⊂(C,Dx)
に対して
μ(A)=∫μ(Dx)dμC
が定まるAを可測集合とすれば
(C,Dx)
を完全加法性を持つ普通の確率空間と見なせるかな

（彼の人はストローマン論法を反省もしないか）

>>196
>μ(A)=∫μ(Dx)dμC
μ(A)=∫μD(Ax)dμC
>が定まるAを可測集合とすれば
この積分が定まるとは
f(x)=μD(Ax)
がC上の可測関数であるということ
それがAについての条件

>>198
(C,Dx)考えてたんだから
A⊂(C,Dx)
で
f(x)=μDx(Ax)
がC上の可測関数であるとき
μ(A)=∫μDx(Ax)μC
と測度を定義だな

>>199
より正確には
各AxがDx上の可測集合であって
>f(x)=μDx(Ax)
>がC上の可測関数であるとき
だな

>>195
🐎🦌　減らず口を叩く

相変わらず身の程を知らぬエテ公

通常のC×Dで可測なAは(C,D)でも可測
(C,D)={(x,y)::x∈C,y∈D}だからC×Dと集合として同じだが
より多くの可測集合が定義されるため別の記号で書こう

(C,D)とか(C,Dx)とかだと対称に見えちゃうかな特に前者
C>DとかC>Dxとかはどうかな>は関係演算子に見えちゃうかな
C＆DとかC＆Dxがいいかもね特に前者はC×Dと集合としては同じだから非対称な中置記号にした方がよさそう

[21] 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)
[22] 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)
[23] arXiv:2609.26504 [pdf, html, other]
Ample vector bundles without Griffiths-semipositive metrics
Yun-Heng Du, Song-Yan Xie
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG)
[24] arXiv:2609.26154 [pdf, html, other]
Radii of Concavity for Subclasses of Univalent Functions Associated with the Exponential Mapping
Pradip Das, Nabadwip Sarkar
Subjects: Complex Variables (math.CV)
[25] arXiv:2609.25644 [pdf, html, other]
Möbius Maps, Reflections and Lipschitz Constants
Alan F. Beardon, Toshiyuki Sugawa, Matti Vuorinen
Comments: 14 pages, 2 figures
Subjects: Complex Variables (math.CV)
[26] arXiv:2609.26716 (cross-list from math.DG) [pdf, html, other]
Compact Kähler surfaces with semipositive anticanonical bundle
Yifan Chen, Simion Filip, Song Sun, Valentino Tosatti, Junsheng Zhang
Subjects: Differential Geometry (math.DG); Complex Variables (math.CV); Dynamical Systems (math.DS)

>>195
つべこべ言わずに
Ω={1,2,・・・,100} を認めるか？
にYesかNoだけ答えて　YesかNo以外一切書かなくてよい

オラオラですか？

>>200
特に
どんなCでも{{ },C}は完全加法族で
μC({ })=0, μC{C}=1
はC上一様な確率測度
（ただし各x∈Cに確率は定義されない）
この確率測度についての可測関数とは
C上の定数関数
よって確率空間
C&Dxの可測集合とは
μDx(Ax)=a（定数関数）
である
A⊂C＆Dx
であり
このとき
μ(A)=a

つまり
Cが確率空間として定義されていなくても
x∈Cに対するDxがそれぞれ確率空間であれば
C&Dxを確率空間と考えられるな
箱入り無数目は
Dd={(1,d1),…,(n,dn)}にp((k,dk))=1/n
と定義する一様分布において成立する話だが
あえて拡張して（確率空間でもそうで無くても）
C=(R^N)^n
で考えて
C&Dd
を考えているようなものか

お兄たんのまったりルベーグ積分勉強スレ
rio2016.5ch.io/test/read.cgi/math/1790311792/

よろしくね

ヨロピクw

(R^N)^n&{1,…,n}={(s1,…,sn,k)::s1,…,sn∈R^N,1≦k≦n}
で
A={(s1,…,sn,k)::max{d(s1),…,^d(sk),…,d(sn)}≧d(sk)}
（^d(sk)は除外の意）
はやはり非可測か
#{k::max{d(s1),…,d(sn)}=d(sk)}≧2
の場合は
#{k::max{d(s1),…,^d(sk),…,d(sn)}≧d(sk)}=n
よって
P({k::max{d(s1),…,^d(sk),…,d(sn)}≧d(sk)})=1
で
#{k::max{d(s1),…,d(sn)}=d(sk)}=1
の場合は
#{k::max{d(s1),…,^d(sk),…,d(sn)}≧d(sk)}=n-1
よって
P({k::max{d(s1),…,^d(sk),…,d(sn)}≧d(sk)})=1-1/n
で
(R^N)^n上定数で無いからな
やっぱ
この線での箱入り無数目の拡張は無理かな

>>211
>#{k::max{d(s1),…,d(sn)}=d(sk)}≧2
(R^N)^n⊃M={(s1,…,sn)::#{k::max{d(s1),…,d(sn)}=d(sk)}≧2}
が測度0みたいな扱いになればいいか
それは
U=(R^N)^n
の可測集合として
{{ },M,cM,U}
を考えて
P({ })=P(M)=0,P(cM)=P(U)=1
と確率を定義するかな

なぜ>>212
>(R^N)^n⊃M={(s1,…,sn)::#{k::max{d(s1),…,d(sn)}=d(sk)}≧2}
>が測度0みたいな扱いになればいいか
というと
(R≧0)^n⊃Mk={(d1,…,dn)::#{j::max{d1,…,dn}=dj}=k}
によって
(R≧0)^n=Σ{Mk::1≦k≦n}
で
dimMk=n-k+1
なのでね

ルベーグ非可測集合Aが
ルベーグ可測集合B,Cに挟まれる
つまり
B⊂A⊂C
のとき
μ(A)
自体は確定しないが（存在しないが）
m(A)=sup{μ(B)::A⊃B:measurable}：ルベーグ内測度
M(A)=inf(μ(C)::A⊂C:measurable}：ルベーグ外測度
は存在するので
ある程度こんな感じで賄えないかな

デンプスター・シェファーの証拠理論というものでは
信頼度(belief)：m(A)=sup{P(B):A⊃B:measurable}（劣確率）
尤度(plausibility)：M(A)=inf{P(C)):A⊂C:measurable}（優確率）
と呼ぶみたいね

>>211
箱入り無数目をあえて拡張し
Ω=(R^N)^n&{1,…,n}={(s1,…,sn,k)::s1,…,sn∈R^N,1≦k≦n}
⊃A={(s1,…,sn,k)::max{d(s1),…,^d(sk),…,d(sn)}≧d(sk)}
（^d(sk)は除外の意）
としてもAは非可測
しかし
m(A)=sup{P(B)::A⊃B:measurable}=1-1/n
M(A)=inf{P(C)::A⊂C:measurable}=1
とはなるわけだな

あるいは>>212,213
に書いたように
可測集合をもうちょっと増やせたらいいのだが

箱入り無数目の結論

実数全体から一つのアタリの実数を引く
は誤読で
100箱から99箱以上のアタリの箱を引く
が正しい

>>218
ですね

(転載)
https://rio2016.5ch.io/test/read.cgi/math/1791094141/709
みんな大好きお兄さん~集合論(数理論理学)・確率論勉強
20261011
>クソを理解するのは大変そう

"箱入りクソ"の理解のためには、下記の二つを理解するだけで良い
１）重川P7 の可算無限列サイコロの目を理解する
２）次に、P21 "独立同分布" iid=independent identically distribution 確率変数列
　を理解する
(重川でなくとも どの確率論にもある)

「可算無限列で "独立同分布" iid 」が
箱入りの反例になる
1)「可算無限列で "独立同分布" iid 」→ どの箱の確率も全て同じ(例外はない)
2)箱入りは、「可算無限列で ある例外の箱の確率99/100」
つまり、上記1)と2)とは 矛盾
(くどいが 可算無限列で "独立同分布" iidで サイコロの目を考えると 全ての箱の目の的中確率1/6で例外なし。箱入りのクソは例外があり99/100なるという。数学的に正しいのは上記1)の方ｗ)

(参考)
https://www.math.kyoto-u.ac.jp/~ichiro/index_j.html
https://www.math.kyoto-u.ac.jp/~ichiro/lectures/2013bpr.pdf
2013年確率論基礎 重川一郎
P7
確率空間例サイコロ投げの場合
確率空間として次のものを準備すればよい．
Ω＝{1,2,・・・,6}^N∋ω＝{ω1,ω2,・・・}
ωnは1,2,・・・,6のいずれかで，n回目に出た目を表す．
確率はη1,η2,・・・ηnを与えて
P(ω1=η1,ω2=η2,・・・ωn=ηn)＝(1/6)^n
と定めればよい．これが実際にσ-加法的に拡張できることは明らかではないが，Kolmogorovの拡張定理と呼ばれる定理により証明できる．
P21
独立かつ同分布な確率変数列(簡単に，iid=independent identically distribution 確率変数列)
(注:"独立同分布"と略される)

https://rio2016.5ch.io/test/read.cgi/math/1791094141/712
みんな大好きお兄さん~集合論(数理論理学)・確率論勉強
2026/10/11
>「可算無限列で "独立同分布" iid 」が
>箱入りの反例になる

同じ事を Sergiu Hart氏が書いている
即ち 下記 Some nice puzzles: Choice Games November 4,2013
P2 Remark
ここで Sergiu Hart氏は
1)iidという用語を、あえて使わず
"independently and uniformly on [0, 1] and {0, 1,..., 9}, respectively"
と表現している
2)"finite"と ボカす。finite→infinite成立 は、大学レベル確率論では自明

Sergiu Hart氏は、このChoice Games不成立を
分っていて オチをRemarkを書いている。それが 大学レベル確率論を学べば分る

(参考)
https://rio2016.5ch.io/test/read.cgi/math/1789954413/6
http://www.ma.huji.ac.il/hart/
http://www.ma.huji.ac.il/hart/#puzzle
Some nice puzzles: Sergiu Hart
http://www.ma.huji.ac.il/hart/puzzle/choice.pdf
Choice Games 2013
P2
Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2, by choosing
the xi independetly and uniformly on [0, 1] and {0, 1,..., 9}, respectively.

（ストローマンを止めない彼の人）

>>220
>（箱入り無数目は）「可算無限列で ある例外の箱の確率99/100」

この読解が誤り

箱入り無数目ではどこにもそんなことはいっていない
毎回選ばれる箱が違うのだから、一定の「ある例外の箱」は存在しない

>(転載)
マルチすんじゃねーよクソ

>>1　
時枝正「箱入り無数目」改変版

実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，
i番目から先のしっぽが一致するn >= m → sn＝ s'n とき同値s 〜 s'と定義しよう
(iは自然数であればよいが、どれか一つに決めるものとする）

この同値関係をi尻尾同値とする

i尻尾同値 〜 は R^N を類別する
sの代表系は、1番目からi-1番目までが0で、i番目以降がsと一致する列とできる
つまり、1番目からi-1番目までが0で、i番目以降が任意の列全体を代表系とすることができる

このとき以下が成り立つ

１．ランダムにr∈R^Nを選んだ場合、決定番号がiである確率は1
２．このとき、i+1番目から先を開けてもどの同値類かは特定できない
３．したがって箱入り無数目戦略は確実に失敗する

さて、i<j のとき i尻尾同値⇒j尻尾同値が言える

つまり　sのi尻尾同値類　⊊　sのj尻尾同値類

そして　箱入り無数目のもともとの同値類は
ある自然数iが存在して、2列はi尻尾同値
という形で定義できる
そしてsの尻尾同値類は任意の自然数iについての
sのi尻尾同値類の和集合 (∪(i∈N)sのi尻尾同値類)
となる

しかしながら上記同値類の代表元は
i尻尾同値類のときと異なり
自然な形では定義できない

仕方ないので、選択公理で代表元を選ぶとする

このとき以下が成り立つ

１．ランダムにr∈R^Nを選んだ場合、各決定番号の確率は求まらない（非可測）
２．一方どの自然数iについても、i+1番目から先を開ければどの同値類か特定でき代表が選べる
３．選んだ列の決定番号よりも選んだ箱の番号が大きければ箱入り無数目は成功する
４．しかし出題がランダムの場合、成功する確率が計算できない

※なお、もともとの「箱入り無数目」では、出題は確率事象ではなく固定

>>224のような形で整理すると、
不自然（？）な結論の元凶は
選択公理による代表元の選定
にあるように思う

※別に選択公理が間違ってるとはいっていない

自分は決定番号を与える写像が非可測であっても確率を定義できるような拡張が出来ないかとも考えたけれど
それも上手く行かなかった>>215
>デンプスター・シェファーの証拠理論というものでは
>信頼度(belief)：m(A)=sup{P(B):A⊃B:measurable}（劣確率）
>尤度(plausibility)：M(A)=inf{P(C)):A⊂C:measurable}（優確率）
という（ある意味胡散臭い）「理論」があるらしいが
それにしても多分モヤモヤは払拭できそうに思えないので
拡張考えるのは無理じゃないかなとペンディング中

>>225
>選択公理による代表元の選定
>にあるように思う
というより非可測性の問題だから
実数の部分集合がすべて可測になる
ルベーグ測度を拡張したσ加法的確率測度の存在は
超巨大な可測基数の存在を公理とすれば示せるらしい
その世界では実数の濃度はℵ1にはならず
ℵ2以上となるらしい（ℵ2であるようにも出来るらしい）

>>227
>実数の部分集合がすべて可測になる
>ルベーグ測度を拡張したσ加法的確率測度の存在

それは選択公理と両立するのかい？

>>228
平行移動不変性は成り立たないけれどACとは両立するらしいよ

このページが詳しいらしい
https://konn-san.com/math/measurable-cardinals.html

https://en.wikipedia.org/wiki/Measurable_cardinal
If a measurable cardinal exists, every set of reals at level Σ21 of the projective hierarchy is Lebesgue-measurable.
可測基数の存在を仮定してもルベーグ可測なのはΣ21（上が1・下が2）レベルまでのようです。

なお可測基数の存在を仮定すれば、κ加法的確率測度μ:2^κ→{0,1}の存在（2^κ上のκ交叉性を持つ自由超フィルタUの存在と同値）が言えますが、ルベーグ測度と違って0と1のみを取る確率になります。

>>229
>平行移動不変性は成り立たないけれど
ああ、そういうことね

だから、ヴィタリ集合もルベーグ可測ではないけど
(平行移動不変性を犠牲にして)拡張した測度で可測ってことか

Rのあるいは[0,1]の全ての部分集合を可測にするには
ルベーグ測度を拡張するらしいよ
その世界では実数の濃度は最小の可測基数になるらしい

>>224
個人的には
「有限列だとダメだが無限列ならOK」
っていいかたは頭悪いとおもってたんで
「尻尾の開始位置を固定した i尻尾同値だとダメだが
尻尾の開始位置の制限を外した尻尾同値ならOK」
っていうほうが分かりやすいと感じている

拡張だから
ルベーグ可測集合については測度は通常のものであるため
ルベーグ可測集合については平行移動不変性が成り立つけれど
ルベーグ非可測集合についてはそうではないということで
ヴィタリ集合も平行移動それぞれで別々の測度になるみたいね
可算個の平行移動の直和で覆えるわけだから
合計したら1になるような適当な測度の値を取れるのかな

けれど可測基数はとんでもなく大きな基数で
その存在を公理Mとして導入すると
ZFC+MはZFC+Uの無矛盾性を証明できるらしい

その拡張測度μでのヴィタリ集合Vの測度μ(V)は？

>>238
さあ？多分何でもありだと思うよ
そんなものが存在するということが言えるらしいが
具体的には計算できないんだろうし

Mというのは任意の可測基数が存在するという主張？
「任意」じゃなく「ある」だとそのある可測基数より大きい到達不能基数が存在するからZFC+Uの無矛盾性を証明できないはず

>>240
到達不能基数の全体KはOrdと順序同型なクラスで
k:Ord→Kをその順序同型とするとき
おそらく可測基数μはkの不動点になるんだと思う
k(μ)=μなので
μより小さな到達不能基数全体について
∀α<μ.∃β∈K:α<β
が言えるので
VμがZFC+Uのモデルになる
（同様の考察を基礎論スレに書いているけれどそっちは可測基数は関係ない）

>>241
>∀α<μ.∃β∈K:α<β
∀α<μ.∃β∈K:α<β<μ

Mはだから可測基数が1つ存在すればよいという公理で良いんだと思う

U⇔Cだから、ZFC+Uからある可測基数μに対しそれより大きい強到達不能基数κの存在を言える。つまり ∃κ:(μ<κ) を証明できる。
一方、¬κ∈VμだからVμはZFC+Uのモデルになりえないと思うけど。

モデル内に到達不能基数が全部なくてもいいでしょう
そのモデル内のすべての順序数について
それより大きな到達不能基数が必ずそのモデル内にあればいい
U::=∀α∈Ord.∃β∈Ord:β∈K
だから
VκがUのモデルであるためには
∀α:∈Ord∩Vκ.∃β∈Ord∩Vκ:β∈K∩Vκ
が成立すればいいわけで

>>245
>∀α:∈Ord∩Vκ.∃β∈Ord∩Vκ:β∈K∩Vκ
Ord∩Vκ=κなのでこれは
∀α:<κ.∃β<κ:β∈K∩κ
順序同型k:Ord→Kの不動点がκなら
α<κに対してα<k(α)<k(κ)=κ
なのでこれが言える

>VμがZFC+Uのモデルになる
Vμにはμより大きな強到達不能基数は入ってない、よろしい？
ZFC+Uからμより大きな強到達不能基数の存在が言える、よろしい？
VμはZFC+Uを充足しない、よろしい？
VμはZFC+Uのモデル足りえない、よろしい？

よろしくない場合は何がなぜよろしくないか答えて

>>247
>Vμにはμより大きな強到達不能基数は入ってない、よろしい？
これはいい
>ZFC+Uからμより大きな強到達不能基数の存在が言える、よろしい？
μより大きい順序数は考えなくて良い
それは
Uが∀α.∃κ:α<κ∈K
という論理式で
これをVμで解釈すると
∀α∈Vμ.∃κ∈Vμ:α<κ∈K∩Vμ
すなわち
∀α<μ.∃κ<μ:α<κ<μ∧κ∈K
でこれはμが
k(μ)=μ
を満たせば成立するよね？
つまり
VμはUを充足するよ

>>247
>ZFC+Uからμより大きな強到達不能基数の存在が言える、よろしい？
Uで言っているのは
どんな順序数にもそれより大きな到達不能基数がある
と言うことで
「どんな順序数」があるかはモデルに依存した話
Vμの持つ順序数はμ未満だから
その範囲でUが充足されていれば良いのよ

ただ
可測基数μが
k(μ)=μ
を満たすことはよく分からない
けど
ZFC+MからZFC+Uの無矛盾性が言えるそうだから
k(μ)=μ
を満たすんだろうなと思ったんだな
だってこれを満たさないと
∀α<μ.∃κ<μ:α<κ<μ∧κ∈K
は言えないはずだからさ

kはOrdとKの順序同型だから連続
つまり
α<μならk(α)<k(μ)
さらに
α+1<μだからk(α)<k(α+1)<k(μ)
α≦k(α)なのは
k(α)<αである順序数が存在したら
kは順序同型にならないから
よって
α≦k(α)<k(α+1)<k(μ)
なので
κ=k(α+1)∈K
とすれば
α<κ<k(μ)
だけど
μ<k(μ)
だとここから
α<κ<μ
が出ないはず
だから
μ≧k(μ)
すなわち
μ=k(μ)
である必要がある

Uは
∀α.∃κ:α≦κ∈K
と定義した方がイイかも
それだと
α≦k(α)<k(μ)=μ
だけで
κ=k(α)
とすればいいから1つずらさなくて言い

>>251
>kはOrdとKの順序同型だから連続
連続ではあるけどここで使ってるのはそれじゃなくて単調性だね
α<β→k(α)<k(β)
順序数から順序数へのクラス関数fが連続とは
f(∪α)=∪{f(β)::β<α}
謹んで訂正します

>>248
>∀α<μ.∃κ<μ:α<κ<μ∧κ∈K
これが成立するならVμは宇宙公理を充足するね

>でこれはμが
>k(μ)=μ
>を満たせば成立するよね？
なぜ？

>>254
それは>>246,252

>∀α:<κ.∃β<κ:β∈K∩κ
>順序同型k:Ord→Kの不動点がκなら
>α<κに対してα<k(α)<k(κ)=κ
>なのでこれが言える
k(α)∈Kが言えるのはなぜ？

>>256
k:Ord→Kは順序同型

>k(μ)=μ
が成り立つのはなぜ？

成り立てばということ
ZFC+MでZFC+Uの無矛盾性が言えると言うことだから
多分この流れでそれが示せるんだろうと思ったわけ
自分では証明できてるわけではないが
証明できるような気がする
ZFC+Mで言えるのは可測基数μの存在だけ
そのμでZFC+Uのモデルの存在が言えるというのは
おそらくVμがZFC+Uのモデルになるということだろうと思って
そこから>>246,252のように考えたけど
自分が言えたのは
κ=k(α+1)とすることで
∀α<μ.∃κ<k(μ):α<κ∈K
までで
これではVμがZFC+Uのモデルにならない
k(μ)≧μは一般に成り立つけれど
k(μ)=μでないとVμがZFC+Uのモデルにならないと思うんだよな

>成り立てばということ
じゃモデルと言えないね

しかし実はモデルと言えるらしい。
可測基数がマーロ基数である（これを理解するには巨大基数論の知識が必要）ことからVμ内で強到達不能基数の全体が非有界と言えて
>∀α<μ.∃κ<μ:α<κ<μ∧κ∈K
が成立するらしい。

以後宇宙公理は
U::=∀α.∃κ:α≦κ∈K
にする
VμがZFC+Uのモデルなら
∀α<μ.∃κ<μ:α≦κ∈K
が言えねばならない
k:Ord→K:順序同型
から
∀α≦k(α)∈K
∀α<∀β:k(α)<k(β)
は言えているので
∀α<μ:α≦k(α)<k(μ)
までは言える
ここで
もし
μ<k(μ)
だとすると
ｋが連続なので
μ<k(μ)=k(∪μ)=∪{k(α)::α<μ}
より
∃α<μ:μ<k(α)
となり
∀α<μ:α≦k(α)<k(μ)
に矛盾するので
μ=k(μ)
ああスッキリした

∀α<μ.∃κ<μ:α≦κ∈K
を充たすκは
κ=k(α)∈K
てことね
ああスッキリ

あいや
>ｋが連続
これを証明しなくてはいけないかな
順序同型なだけではこれが言えない
K={到達不能基数}
について
その部分「集合」L⊂Kを考えると
supL=min{α::∀κ∈L:κ≦α}∈K
を示せなくてはね
強到達不能基数κの条件は
∀λ<κ:p(λ)<κ（p(λ)=|P(λ)|・P(A)はAの冪集合）
と
κ=cf(κ)=min{α::∃f:α→κ:∀λ<κ.∃β<α:λ≦f(β)}
および
ω0<κ（これはこの際なくてもいい）
ちょっとこっちのスレに長居しすぎたので
以後基礎論スレに移ります

集合L⊂Kの順序型をλとし
f:λ→L:全単射
をとると
β<supL=sup{f(α)::α<λ}
についてあるα<λで
β<f(α)∈L⊂K
となるので
p(β)<f(α)
より
p(β)<supL
はOK

あ
スレを間違えた

箱入り無数目と囚人の帽子とまぜこぜにした問題をAIに作って貰った

悪魔が囚人たち（無限にいます）に、あるゲームを提案します。

1. 部屋に無限個の箱が1番から順番に並んでおり、それぞれの箱には「何らかの実数（1.414...や3.1415...など）」が書かれた紙が入っています。
2. 囚人たちは1人ずつ部屋に呼ばれます。
3. 呼ばれた囚人は、「1つの箱」を除いた、残りすべての無限個の箱を開けて中身を確認することができます。
4. そして、最後に残した「開けていないその1つの箱」の中身（実数）をピタリと当てなければなりません。実数は無限にあるため、勘で当たる確率は完全にゼロです。
5. 囚人同士の相談は、ゲームが始まる前に1回だけ許されますが、ゲーム中の合図などは一切禁止です。
6. 囚人達の記憶能力や情報処理能力は無限大とします。

この絶望的な状況で、囚人たちが事前に作戦を立てると、なんと「無限にいる囚人のうち、外れるのは『たった有限人数』だけで、残りの無限の囚人は全員ピタリと的中させることができる」という必勝法が存在します。

時枝正氏はなぜStanford大学教授になれたか？
URI:rio2016.5ch.io/test/read.cgi/math/1793833383/

Stanford大学教授　時枝正
「第k列のD番目の箱に入った実数はS^k(D)＝r(D)と賭ければ，めでたく確率99/100で勝てる.確率1-εで勝てることも明らかであろう.」

Kusiel-Vorreuter大学教授　Sergiu Hart
「For every ε>0 Player 2 has a mixed strategy in game1 guaranteeing him a win with probability at least 1-ε.」

Baylor大学教授　Alexander Pruss
「What we have then is this: For each fixed opponent strategy, if i is chosen uniformly independently of that strategy (where the "independently" here isn't in the probabilistic sense), we win with probability at least (n-1)/n. That's right.」

Notre Dame大学教授 David Hamkins
「Incredible as it may seem, we can win! There is a strategy ensuring that we shall all predict correctly, except at most one of us guessing in error.」

r/mathコミュニティ dechu4
「Amazingly, this strategy guarantees that at least 99 of the mathematicians will guess correctly!」