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

前スレが1000近く又は1000超えになったので、新スレを立てる
(”ヘンテコスレ”が別にあります https://rio2016.5ch.io/test/read.cgi/math/1711570726/ 箱入り無数目を語る部屋19 )

https://rio2016.5ch.io/test/read.cgi/math/1789040887/
前スレ スレタイ箱入り無数目を語る部屋34(あほ二人の”アナグマの姿焼き"Part8ｗ)

(参考)時枝記事
https://imgur.com/uMqtRwr
時枝 箱入り無数目（数学セミナー201511月号の記事）の最初
https://imgur.com/YAdz2Mz
時枝 箱入り無数目（数学セミナー201511月号の記事）の後

数学セミナー201511月号「箱入り無数目」
https://rio2016.5ch.io/test/read.cgi/math/1620904362/401-406 純粋・応用数学（含むガロア理論）8 より
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」

２．続けて時枝はいう
　私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.
任意の実数列s に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる.
更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
(補足)
sD+1， sD+2，sD+3，・・・：ここでD+1などは下付添え字

つづく

よきテンプレです
>>>無数目で理解が難しいのなら、選択公理が効果的にはたらく、少しレベルを落とした話でもしたら良いのにと思っていた。
>彼の人は自分が「理解」していると見せかけたいだけだから
>たぶん無駄ですよ
>異なる自然数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>書かれている自然数の大きい方が勝ち
>さてA,Bの勝つ確率は？

これはよきテンプレです
>箱入り無数目の確率空間は{1,2,…,n}ですが
>時枝さんの記事の最後の部分
>彼の人が理解に至らない罠のような記述の
>独立な確率変数の無限族についての考察は
>それ自体は面白い話だと思いますね
>ここが箱入り無数目と直接関係ないのは
>Xkが確率変数であって箱入り無数目で設定するような任意実数ではないことから明白ですが
>そのひとつひとつの値がXk=xkとなったとき
>xkは定数ですから独立という用語が意味を持たないにもかかわらず
>s=(x1,x2,…)という数列を箱入り無数目で出題すれば
>いくらでも1に近い確率1-1/nで
>その中の特定の番号（nやsに依存）の数xdが他の数x1,…,^xd,…から推測できるわけですので
>確率変数の独立性とはなんぞやと
>彼の人のようにあるいは京大マンガのように
>誤解・疑問を生むことになる訳です
>言わば「箱入り無数目の応用」により
>安直な（つまり彼の人や京大マンガのような）独立性の誤解をしてはならないとの反省材料がもたらされたわけです

テンプレです
>>「実数の構成に選択公理が必要」という君の独自説がそんなに面白いかい？
>
>必要だ。簡単に カントールの実数の構成 有理コーシー列を使う場合に限定するよ
>有理コーシー列は、加算無限有理数列だ。要するに、有理数Qから有理数を取り出して
>q0,q1,q2,・・,qi,・・ なる無理数rに収束する列を作る（細かくは rに収束する列は一つに限らないから 同値類を考える）
>q0,q1,q2,・・,qi,・・は、集合の元を整列させているってこと
>つまりは、整列可能定理が使える
>列長さが ω（＝最初の無限順序数）のときは、可算選択公理で足りる
>が、なんらの選択公理の不使用 つまり 可算選択公理さえ使わないならば
>加算無限有理数列は、構成できない！

テンプレです
>>そもそもQを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い
>
>笑える。下記の東北大 尾畑研 第16章整数・有理数・実数 P249 「■実数論」を 百回音読してね
>『Qを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い』か・・
>独自説だねぇ〜、ユニークで笑える、が面白すぎｗｗ（＾＾

テンプレです
>冪集合公理により 任意の有限集合の類に対して、デカルト積を定義することが出来る
>この対偶命題：
>冪集合公理により デカルト積を定義することが出来ない集合は、有限集合ではない

テンプレです
>>Nは無限集合ですからQ^Nは普通はデカルト積とは呼ばないでしょうね
>赤ペン
>１）”Nは無限集合ですから”がダメ
>２）デカルト先生は R^2でデカルト積 (r1,r2) ｜r1,r2∈R
>　を考えた故事をしらないんだね
>　”Rは無限集合ですから”って デカルト先生に言ってあげようｗ

テンプレです
>・一方、Dedekind Cutsを使うと なんらの選択公理は不要だが
>　完備であることの証明はできない

テンプレです
>実数の公理を裏口から密輸している
>ZFC公理系で 実数の公理なんて使えないぞ
と
>で https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>を見ると、ZF公理系の話では無いだろ
>例えば
>Tarski's axiomatization of the reals
>とか
>それ 笑えるんだけど？（＾＾

テンプレです
>可算選択公理さえ仮定しない ZFのみでは・・
>1）コーシー列とデデキントカットの同値は言えない（別物？）

テンプレです
>おかしいねよ？ 可算選択公理ACω なしで 実数の構成できると言った人がいたけど
>たしかに、形式的には デデキントカット、コーシー列も それらしい まねごとは出来たとしても
>ガウスやコーシー、リーマン、ワイエルシュトラス、デデキント、カントール、ヒルベルト
>らが思っている実数（それは我々が求めている実数でもある）とはほど遠いよね
>
>可算選択公理ACω なしで構成した 実数の責任は？
>だれが どうとる？

テンプレです
>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)
スタバで見れる