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

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

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

(参考)時枝記事
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などは下付添え字

つづく

>>709
多分俺には怒っていない、多分w

>>711
自分に都合の良い解釈ここに極まる
彼の人と同じレベルに堕したな

>>712
俺は堕ちるどころか、これからルベーグスレを育てるんだよ。
育てる段階でトラブルはつきものさ。
大切なものは大事に根気よく育てるのよ。

>>694
>・フォン・ノイマン宇宙の完全性は、多分 下記ゲーデルの完全性定理の意味だろう
君、ゲーデルの完全性定理の意味知ってるの？　また連想ゲーム？　意味が通らない。

>・順序数の完全性は、想像だが カントールの順序数を その公理系からすべて導出可能ということだろう
トンチンカン。意味が通らない。

>・超限帰納法の完全性も、超限帰納法を使って 必要な定理が すべて導出可能ということだろう
トンチンカン。意味が通らない。

>なお、ゲーデルの不完全性定理の「完全」と、完全性定理の「完全」とは、意味が微妙に異なるとよく注意されることを指摘しておく
微妙じゃなくぜんぜん違う。ごまかそうとしても無駄。
完全性定理の完全性とは、任意の理論の任意のモデルで充足される文は証明可能であること、つまり論理の推論系の完全性（が十分であること）を言っている。
不完全性定理の完全性とは、初等数論を含む無矛盾な理論から証明も反証も不可能な文Gが存在すること、つまり理論の完全性（が不十分であること）を言っている。完全性定理と合わせて考えるとその理論のモデルにはGを充足するものとそうでないものいずれもが存在することになる。

>完全性定理の完全性とは、任意の理論の任意のモデルで充足される文は証明可能であること、つまり論理の推論系の完全性（が十分であること）を言っている。
完全性定理として紹介されることが多い定理「一階述語論理は完全である」は、実はより本質的な定理「無矛盾な理論はモデルを持つ。」の系。

>実はより本質的な定理「無矛盾な理論はモデルを持つ。」の系。
この定理の証明にリンデンバウムの補助定理が用いられる
https://scrapbox.io/mrsekut-p/%E3%83%AA%E3%83%B3%E3%83%87%E3%83%B3%E3%83%90%E3%82%A6%E3%83%A0%E3%81%AE%E8%A3%9C%E5%8A%A9%E5%AE%9A%E7%90%86

リンデンバウムの補助定理はBPI（ブール代数における素イデアルの存在定理）や超フィルタ補題と同値。

>>706
>それは些末な話だ
自分の間違いは些末であることにしちゃうんだねｗ

基数は順序数。任意の順序数が自分未満の順序数すべてを持つことは定義から自明。自明な話を自慢げに延々と語るのはよいが、だから何だと言いたいの？　そこが肝心なのに君のレスにはそれがすっぽり抜け落ちている。

>到達不能基数κは 対応する無限集合の存在と捉えることができて そこには 通常のZFC内の全基数と順序数を含む
対応する集合とは具体的には何？
ZFC内の基数と順序数ってなに？　「ZFC内の」ってどういう意味？

>グロタンディーク宇宙Uを 到達不能基数を含む集合論中にどう命名し定義するか？
>それは 名前だけの問題であって それは成書に従えば良い
>独自に定義したければ それでも良い（受け入れられるかどうかは知らずｗ）
はぁ？　君、何も分かってないんだね　口閉じれば？

>>707
また無駄コピペか　懲りないね

>>706
＞（群Gの正規部分群で、
＞自明な正規部分群では
＞G自分自身と
＞単位元eのみの{e}があるが如し）

昔、ある高卒🐒が、正規部分群の定義中の
「G の任意の元 g に対して gNg−1 = N が成り立つ」
の＝を”同型”と解釈する初歩的誤りを犯した

実際は”集合として同じ”の意味
素直に解釈すべきところをひねって誤った

この誤りが致命的なのは
全ての部分群Hで、 gHg−1 が H と同型だから
つまり、正規とつけて区別した意味がなくなる

こんな初歩的誤りを平然と犯し
しかも他人にいわれるまで気づかない
そんな人間にとって、大学の数学は
理解不能という意味で無縁

なぜ、高卒🐒が宇宙に固執してるのか知らんが

要するに
「順序数の中に強到達不可能基数があるかないかで
　φとVω以外のグロタンディク宇宙があるかないかが決まる」
というだけの話である

しかもこれはLとかVとかに、強到達不可能基数があるかどうかと無関係
Vは集合全体の固有クラスであり
Lは構成可能集合全体の固有クラスである
その中に強到達不可能基数があるかどうかは決定不能問題

物事を理屈として理解せず知識として暗記するだけの素人🐎🦌には決してわかるまいが

念仏を唱えるのは、唱えることでいつか理解できるから、ではない

むしろ、
知識を持つこと自体が救いの条件ではなく
知識をいかほど持ってもどうにもならないことがある
と喜づくためである

素人🐒はコピペすればするほど悟りから遠ざかる
他人の上に立つことの無意味さを悟るべし

南無阿弥陀仏

>>714-721
>>到達不能基数κは 対応する無限集合の存在と捉えることができて そこには 通常のZFC内の全基数と順序数を含む
>ZFC内の基数と順序数ってなに？　「ZFC内の」ってどういう意味？

ふっふ、ほっほ
ゴミレス一杯書いたね

これだけ
意図して
通常のZFC内
　↓
「ZFC内の」
と改ざんしたか？ｗ

通常のZFCとは、スッピンのZFC
コンピューター用語では、”デフォルト”と言ったり デファクトスタンダード と言ったりする

学部1年の集合論テキストでの ZFCが 通常のZFCで
「通常のZFC内の全基数と順序数」は
学部1年の集合論で論じられる 基数と順序数な

あとは、
三歳児レベルのばかサル>>96には 説明しても理解できまいｗ（＾＾

（いつもZFCとそのモデルを混同してますね）

>>722
>通常のZFCとは、スッピンのZFC
君、「素の」とか「すっぴんの」とか好きだね
で、そのすっぴんのZFCって何？　すっぴんじゃないZFCって何？　答えづらければ例でもいいよ

>コンピューター用語では、”デフォルト”と言ったり デファクトスタンダード と言ったりする
DSでないZFCというのが有るというのが君の持論ってこと？　で、それは具体的には何？　答えづらければ例でもいいよ

>学部1年の集合論テキストでの ZFCが 通常のZFCで
通常じゃないZFCって何？　答えづらければ例でもいいよ

>「通常のZFC内の全基数と順序数」は学部1年の集合論で論じられる 基数と順序数な
全世界の学部1年生が受講している集合論の授業は唯一？　そうでないなら君の定義はwell-definedでないからどんな基数と順序数を指してるのか不明。

正直に言っていい？　君、地頭が壊滅的に悪い　数学どころじゃない

>>722
>通常のZFCとは
>スッピンのZFC

>コンピューター用語では、
>”デフォルト”と言ったり
>デファクトスタンダード と言ったりする

>学部1年の集合論テキストでのZFCが
>通常のZFCで
>「通常のZFC内の全基数と順序数」は
>学部1年の集合論で論じられる基数と順序数な

素人🐒は
通常・スッピン・デフォルト・デファクトスタンダード・学部1年　では
(弱/強)到達不能基数は存在しねぇ　といってますが

それって、高校3年までの集合論では
可算無限ωは存在しねぇっていう感じですかね

>三歳児レベルには 説明しても理解できまい

生まれたての赤ん坊にも届かない🐒は🐒⛰に帰りなさい

数学が全く理解できなくても
念仏を唱えれば阿弥陀如来の慈悲によって悟れます

南無阿弥陀仏

>>723
その通り

素人🐒が理解できないこと

・実数、数列の収束、関数の各点連続、等の定義
・正方行列が線形同型写像となるための条件
・テンソル
・代数方程式の根がべき根で表せる場合、それを具体的に求める方法（注：べき根で表せる条件、の先の話）
・選択公理、順序数、基数、等の定義
・モデル

上記は
理工系学部１年生〜数学科３年生レベル
にあたるが、どれ一つ分かってないし知らない

素人🐒が生きていくには無縁なので、知らなくても構わないが
アマゾンのピダハンが、数を知らなくても生きていけるのと同じ

南無阿弥陀仏

[37] arXiv:2609.12939 [pdf, html, other]
A Cauchy--Riemann-Type CK Extension for Monogenic Functions
Dixan Peña Peña
Comments: 15 pages
Subjects: Complex Variables (math.CV)
[38] arXiv:2609.12654 [pdf, html, other]
Formal solution and strong asymptotic expansion of some initial value problem in two complex time variables, infinite order irregular singularities and Mahler transforms
Alberto Lastra, Stephane Malek
Subjects: Complex Variables (math.CV)
[39] arXiv:2609.12585 [pdf, html, other]
Mobius invariant weighted reduced quaternionic Qp-modules
Isidro Paulino-Basurto, José Oscar González-Cervantes, Juan Bory-Reyes, Lino Feliciano Reséndis-Ocampo
Subjects: Complex Variables (math.CV)
[40] arXiv:2609.12032 [pdf, html, other]
Relative Finite Energy Classes for Complex Hessian Equations with Prescribed Singularities
Truong Dinh Dat
Subjects: Complex Variables (math.CV)
[41] arXiv:2609.12838 (cross-list from math.NT) [pdf, html, other]
Projective Kernels and Replicability in Modular Function Theory
Hicham Saber, Abdellah Sebbar
Subjects: Number Theory (math.NT); Complex Variables (math.CV)
[42] arXiv:2609.12217 (cross-list from math.GT) [pdf, html, other]
Holomorphic realizations of pairs of foliations on Riemann surfaces
Nathaniel Sagman, Dragomir Saric
Subjects: Geometric Topology (math.GT); Complex Variables (math.CV); Differential Geometry (math.DG)

[1] arXiv:2609.19126 [pdf, html, other]
Beyond Sendov's conjecture: the quadratic Tang--Zhang inequality
Teng Zhang
Comments: 26 pages,3 figures. All comments are welcome!
Subjects: Complex Variables (math.CV)
[2] arXiv:2609.18785 [pdf, html, other]
Non-tangential ranges of holomorphic functions at Plessner points
Oleg Ivrii
Comments: 18 pages
Subjects: Complex Variables (math.CV)
[3] arXiv:2609.18557 [pdf, html, other]
A Uniform Divisor-Comparison Method for Meromorphic Identities
Henning Wunderlich
Subjects: Complex Variables (math.CV); Functional Analysis (math.FA)
[4] arXiv:2609.18171 [pdf, html, other]
An m-Hessian approach to Yau uniformization conjecture
Truong Dinh Dat
Subjects: Complex Variables (math.CV)
[5] arXiv:2609.18141 [pdf, html, other]
A solution to Berndtsson's problem and uniqueness of twisted KE currents
Yinji Li, Haoyuan Sun, Zhiwei Wang, Xiangyu Zhou
Comments: Comments welcome!
Subjects: Complex Variables (math.CV); Differential Geometry (math.DG)
[6] arXiv:2609.18579 (cross-list from math.DG) [pdf, html, other]
Chern-Ricci flow on Kato surfaces
Daniele Angella, Mauricio Corrêa
Subjects: Differential Geometry (math.DG); Complex Variables (math.CV)

[8] arXiv:2609.17114 [pdf, html, other]
Fejér-Rogosinski theorem for the Neil algebra
Nilanjan Das, Jaydeb Sarkar
Comments: 9 pages
Subjects: Complex Variables (math.CV); Functional Analysis (math.FA); Operator Algebras (math.OA)
[9] arXiv:2609.16676 [pdf, html, other]
When can a power series be analytically continued?
Kei Beauduin
Comments: 18 pages
Subjects: Complex Variables (math.CV)
[10] arXiv:2609.17513 (cross-list from math.AG) [pdf, html, other]
Chern bounds and tangent geometry of polarized Calabi-Yau threefolds
Atsushi Kanazawa
Subjects: Algebraic Geometry (math.AG); High Energy Physics - Theory (hep-th); Complex Variables (math.CV)
[11] arXiv:2609.17142 (cross-list from math.AG) [pdf, other]
A new degenerated second main theorem for meromorphic mappings with hypersurfaces
Gerd Dethloff (LMBA), Si Duc Quang
Journal-ref: Vietnam Journal of Mathematics, 2026
Subjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)
[12] arXiv:2609.17133 (cross-list from math.FA) [pdf, html, other]
Composition operators and Carleson embeddings for the Nevanlinna class of Dirichlet series
Vasudevarao Allu, Dipon Kumar Mondal
Comments: Comments are welcome. 38pp
Subjects: Functional Analysis (math.FA); Complex Variables (math.CV)

>>728-730
荒らし行為は遠慮してもらえますか？

認知症老人の宣伝行為は大目にみるけど
自己愛性人格障害のコピペ＆暴言マウンティングは撲滅対象

On a construction of hermitian metrics on holomorphic vector bundles
Laszlo Lempert
Comments: The abstract already appeared, by mistake, accompanying submission arXiv:2608.22689. The mistake has since been corrected; this abstract here belongs to the current submission
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG); Differential Geometry (math.DG)
[2] arXiv:2609.01561 [pdf, html, other]
Analytic discs and compactness of the ∂¯-Neumann operator
Qianyun Wang, Yuan Yuan, Xu Zhang
Subjects: Complex Variables (math.CV)
[3] arXiv:2609.02144 [pdf, html, other]
Integrable Generators of Polynomial Vector Fields for Complex Classical Lie Groups
Yiyang Jiang, Xudong Chen
Comments: 7 pages, 1 table
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG); Rings and Algebras (math.RA)
[4] arXiv:2609.02513 [pdf, html, other]
Prescribed Lelong Numbers for One-Pole Green Functions on Complex Projective Space
Xiangsen Qin
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG)
[5] arXiv:2609.02601 [pdf, html, other]
Energy asymptotics of holomorphic functions with application to Calderón-Zygmund theory in C
Hongrong Chen, Guokuan Shao, Jujie Wu, Wei Xia

>>733
やるなと言うとムキになってやるね

押すなよ、押すなよ…

服従したら他人の上に立てないから

>>685
>・『また、もし可測基数が存在するなら、冪集合操作を「定義可能な」程度に反復するよう抑えると、ゲーデルの構成可能宇宙 L が得られ、そこでは「可測基数が存在する」という主張は成立しなくなる (even though it contains the measurable cardinal as an ordinal)』
完全な嘘。
まず、LはVの内部モデルだから、L内にすべての順序数（したがって全ての基数）が存在する。つまり縦方向の高さはVと同じ。
もちろん可測基数λも存在する。但し、L内でλはその性質（λの存在⇒λ上の非自明なλ加法性を満たす測度の存在⇔λ完備な自由超フィルタの存在）を保てない、つまり有るけれどλと認識されない。
それが
>even though it contains the measurable cardinal as an ordinal
の意味。

まあ理論とモデルの区別すらあやふやなおサルさんの耳に念仏だろうけど