Inter-universal geometry と ABC予想 (応援スレ) 74

Inter-universal geometry と ABC予想 (応援スレ) 74 (956ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

442: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/28(木) 11:10:15.93 ID:BOT/TM68

>>438-441
ご苦労様です

>無限線型結合なるものを認めるのは線形位相空間
>形式級数は実は和をとってない
>自然数から各項の係数への写像があればいい
>写像の値同士を足すことで、級数同士の和が定義できる

さて (参考)
https://ja.wikipedia.org/wiki/%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB%E7%A9%BA%E9%96%93
ベクトル空間、線型空間（英: linear space）は、ベクトルと呼ばれる元からなる集まりの成す数学的構造である
導入
ベクトル空間の概念について、特定の二つの場合を例にとって簡単に内容を説明する
平面上の有向線分
略
数の順序対
略
定義
集合 V が、その上の二項演算 + と、体 F の V への作用 ◦ をもち、これらが任意の u, v, w ∈ V; a, b ∈ F[nb 1]に関して次の公理系を満たすとき、三組 (V, +, ◦) は「体 F 上のベクトル空間」と定義される[1][2]。
公理： 加法の結合律、可換律、逆元の存在・・
歴史
ベクトル空間の重要な発展がアンリ・ルベーグによる函数空間の構成によって起こり、後の1920年ごろにステファン・バナフとダフィット・ヒルベルトによって定式化された。その当時、代数学と新しい研究分野であった関数解析学とが相互に影響し始め、 p-乗可積分函数の空間 Lp やヒルベルト空間などの重要な概念が生み出されることとなる。そうして無限次元の場合をも含むベクトル空間の概念は堅く確立されたものとなり、多くの数学分野において用いられ始めた
(引用終り)

「形式級数は実は和をとってない
　自然数から各項の係数への写像があればいい」
という メンタルピクチャー（加藤文元>>8）を否定はしない
複雑な対象は、多面的な切り口で見るべしが、私の流儀だから

だが、形式的冪級数環>>429は 上記のja.wikipedia ベクトル空間の公理を満たすよ
だから、形式的冪級数環は ベクトル空間の一種であり
収束を考えないのが 形式的冪級数の根本なのだから
素朴かつ単純に無限和と考えても 収束を考えない以上 矛盾は生じない

>有理数の無限列Q^Nにおけるコーシー列の全体は部分線形空間をなす

余談だが、Formal power series 下記 "形式的な冪級数を関数として解釈する"
がある
f(x)= Σ n >= 0 a_n*x^n ＝a0 + a1 x +a2 x^2 +a3 x^3 +・・・
で 10進小数展開を考える。 x=1/10 として  a1 ,a2,a3,・・が 0〜9の整数で
和や積では 各項の演算は 通常算術の通り繰り上がり 繰り下がりを導入して
a0は 任意整数とする
これで 形式的な冪級数を使った 無限10進少数展開を考えることができる
これが 従来のコーシー列の収束による実数の定義と一致することは  賢い人は少し考えれば分かるだろう
（私は 賢くないので略しますｗ ；ｐ）

(参考)
https://en.wikipedia.org/wiki/Formal_power_series
Formal power series
(google訳)
形式冪級数
形式的な冪級数を関数として解釈する
数学解析において、すべての収束する冪級数は、実数または複素数の値を持つ関数を定義します。特定の特殊環上の形式的な冪級数も関数として解釈できますが、定義域と余域には注意が必要です
f(x)= Σ n >= 0 a_n*x^n (nは自然数全体を渡る)

http://rio2016.5ch.net/test/read.cgi/math/1755784703/442

443: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/28(木) 12:09:19.66 ID:BOT/TM68

形式的冪級数環は なんの役に立つ？
あれ、山下剛先生がいる　（＾＾

https://www.kurims.kyoto-u.ac.jp/~gokun/DOCUMENTS/ohnosan.pdf
p進多重ゼータ値,p進多重L値,次元予想
2005年3月東京大学大学院数理科学研究科　
山下　剛(GoYAMASHITA) GraduateSchoolofMathematicalSciences,UniversityofTokyo
P6
ABを変数に持つCp係数の非可換形式的冪級数環をCp<<A,B>>で表す.

https://www.ms.u-tokyo.ac.jp/~yasuyuki/msj05.pdf
共形場理論と作用素環，頂点作用素代数
河東泰之(かわひがしやすゆき)東京大学大学院数理科学研究科 2005年3月30日
P4
Diff(S1)に関する共変性はVirasoro 元と呼ばれるV の特別な元ω に関する条件として公理化される．このω に対応する形式的べき級数の係数たちが，Virasoro 代数の関係式を満たすというのが公理である．
ここに自然にcentral charge c が現れる．さらに局所性の公理について説明しよう．V の元v,wに対する形式的べき級数v(z),w(z)は本来作用素値超関数だったはずなので，・・・

http://yuyamatsumoto.com/index_j.html
松本雄也
東京理科大学 創域理工学部 数理科学科 講師（2023年4月―）
http://yuyamatsumoto.com/ed.html
授業資料
代数幾何 http://yuyamatsumoto.com/ed/alggeom1.pdf
代数幾何入門コース [2021/01/26] 138 pages. スキームを定義してエタール基本群やエタールコホモロジーの話をします．証明の肝心なところは書いていません． 目次：【導入／（可換）環と素イデアル／層／スキーム／スキームの射に関する諸性質
代数学
環論入門コース [2023/03/05]
http://yuyamatsumoto.com/ed/kanron.pdf
環論講義ノート 松本雄也(matsumoto.yuya) 2023年03月05日
目次
B環の例 . . .66
B.1多項式環の亜種：モノイド環，群環. . .. 66
B.2形式冪級数環と収束冪級数環. . .. . . . 67

P67
B.2 形式冪級数環と収束冪級数環
本小節では環は可換とする．
B.2.1 形式冪級数環
P68
B.2.2 収束冪級数環
Aに適切な構造が入っていれば，冪級数の収束や収束半径を考えることができる．

http://rio2016.5ch.net/test/read.cgi/math/1755784703/443

447: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/28(木) 14:38:05.20 ID:BOT/TM68

>>443 補足
>https://www.ms.u-tokyo.ac.jp/~yasuyuki/msj05.pdf
>共形場理論と作用素環，頂点作用素代数
>河東泰之(かわひがしやすゆき)東京大学大学院数理科学研究科 2005年3月30日

これは、もとをいろいろ調べると
下記 日本数学会，企画特別講演， 日本大学，2005年3月 関連ですね
なお、河東泰之の論文リスト から
”[45] Y. Kawahigashi, R. Longo, Local conformal nets arising from framed vertex operator algebras”
を貼っておきます

(参考)
https://www.ms.u-tokyo.ac.jp/~yasuyuki/talks.htm
河東泰之の講演リスト
171. 共形場理論と作用素環，頂点作用素代数
日本数学会，企画特別講演， 日本大学，2005年3月．

https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1507-7.pdf
数理解析研究所講究録
1507 巻2006 年75-87
共形場理論と作用素環, 頂点作用素代数
河東泰之(Yasuyuki Kawahigashi)
東京大学大学院数理科学研究科
この原稿は, 日本数学会2005 年企画特別講演の予稿[24], 作用素論作用素環論
研究会の報告集[25] が元になっていることを最初にお断りしておく.

https://www.ms.u-tokyo.ac.jp/~yasuyuki/bib.htm
河東泰之の論文リスト
[45] Y. Kawahigashi, R. Longo, Local conformal nets arising from framed vertex operator algebras,
Adv. Math. 206 (2006), 729-751. PDF file math.OA/0407263 ScienceDirect MathSciNet
https://www.ms.u-tokyo.ac.jp/~yasuyuki/framed6.pdf
2004年春にローマでやった．2005年春にローマで改良して自己同型群が本当にモンスターであることを示せてよかった． かなり役に立つ結果だ．

http://rio2016.5ch.net/test/read.cgi/math/1755784703/447

458: １３２人目の素数さん [] 2025/08/28(木) 18:04:36.40 ID:kP4qetJ1

大学卒（特に数学科以外）の人が理解できて、かつ有用で難しい数学を考えるとき、以下の点を考慮します：

理解可能性: 数学科以外の人が学ぶには、抽象的すぎず、直感的な応用例や現実世界とのつながりがある分野が適しています。
高度な数学的背景がなくても、努力次第で理解可能な領域が望ましいです。
有用性: 科学、工学、経済、データサイエンスなど、現代社会で広く応用されている分野が候補になります。
難しさ: ある程度の挑戦性があり、大学レベルの基礎知識（例えば微積分や線形代数）を前提に、さらに一歩進んだ内容であること。

これらを踏まえると、確率論・統計学（特に確率過程やベイズ統計）と離散数学（特にグラフ理論や組み合わせ論）が、バランスの取れた候補として挙げられます。
その中でも、確率過程（例：マルコフ連鎖やブラウン運動）は、難しいが有用で、理解しやすい直感的な応用例が多いため、特に推薦したいと思います。

理由
確率過程の特徴:
内容: 確率過程は、ランダムに変化する現象を時間軸上でモデル化する数学です。
マルコフ連鎖（状態が次の状態にのみ依存するモデル）やブラウン運動（ランダムな動きを記述）は、比較的直感的な概念から始まりますが、
理論を深めると高度な数学（例えば確率微分方程式）に繋がります。
理解可能性: 大学で学んだ微積分や基本的な確率・統計の知識があれば、マルコフ連鎖の基本（遷移確率行列など）は理解可能です。
視覚的な例（天気予報モデルやGoogleのページランクアルゴリズム）を通じて、直感的に学べます。
有用性: 確率過程は、以下のような分野で広く応用されています：
金融工学: 株価やオプション価格のモデル（ブラック・ショールズモデルなど）。
データサイエンス: 機械学習（例：隠れマルコフモデルや時系列分析）。
物理学・工学: ランダムな信号処理や分子運動のモデル化。
社会科学: 感染症モデル（SIRモデルなど）や経済の動態解析。

難しさ: 基本的なマルコフ連鎖は理解しやすいですが、定常分布の計算や確率微分方程式（例：伊藤の公式）になると、数学的に挑戦的です。
数学科以外の人がこれをマスターするには努力が必要ですが、不可能ではありません。

http://rio2016.5ch.net/test/read.cgi/math/1755784703/458

468: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/29(金) 07:43:37.26 ID:QS2EkFr7

>>442 追加
>10進小数展開を考える。 x=1/10 として a1 ,a2,a3,・・が 0〜9の整数で
>和や積では 各項の演算は 通常算術の通り繰り上がり 繰り下がりを導入して
>a0は 任意整数とする
>これで 形式的な冪級数を使った 無限10進少数展開を考えることができる
>これが 従来のコーシー列の収束による実数の定義と一致することは 賢い人は少し考えれば分かるだろう

下記、”形式的冪級数環R[[x]]は、多項式環R[X]の（x）進完備化として見ることができる”
に関連して
有理数環Q(実は体)を係数とする多項式Q[X]で 上記同様に
”x=1/10 として a1 ,a2,a3,・・が 0〜9の整数で
和や積では 各項の演算は 通常算術の通り繰り上がり 繰り下がりを導入して
a0は 任意整数とする”ことで
有限小数環（これをUとする）ができる
有理数Qを完備化すると、実数Rを得ると同様に
有限小数環Uを完備化すると、R[X]→R[[x]]同様に 実数Rを得る■

形式的冪級数環R[[x]]を、どうメンタルピクチャー（>>8 加藤文元）として とらえるか？
それは各人自由だが
『形式冪級数は収束の概念とは独立して考えられる無限和』（下記）
と考えるのも ”あり”だろう

(参考)
https://en.wikipedia.org/wiki/Formal_power_series
Formal power series
（google訳）
形式冪級数
形式冪級数は収束の概念とは独立して考えられる無限和であり、級数に対する通常の代数演算（加算、減算、乗算、除算、部分和など）で操作することができます。
A formal power series with coefficients in a ring R is called a formal power series over R.
The formal power series over a ring R form a ring, commonly denoted by R[[x]].
(It can be seen as the (x)-adic completion of the polynomial ring
R[x], in the same way as the p-adic integers are the p-adic completion of the ring of the integers.)
環R上の係数を持つ形式的な冪級数Rは、R環上の形式的冪級数環を形成する。
環R上の形式的冪級数は、一般的にはR[[×]]と書かれる。
（これは多項式環R[×]の（x）進完備化として見ることができる、p進整数が整数環のp進完備化であるのと同じです）

http://rio2016.5ch.net/test/read.cgi/math/1755784703/468

478: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/29(金) 15:39:07.34 ID:qJbWNB4x

>>474-475
>凡庸な学生に数学を教える教授の人生は無駄ですか？
>読売新聞を構うほどではない

ID:8hn3mZ12 は、御大か。巡回ご苦労様です
囲碁プロ棋士でも、アマ指導碁を打つことはある
非凡な将来プロ棋士になりそうな人とは別に
昔は財界の大物とか 政治家もいた。後者は お客さんでもあった

数学も いつから プロ化したかは不明だが
ニュートンあたりですかね
もっとも、ニュートンが数学者か物理学者かは 議論のあるところだろう

さて 21世紀 現在のプロ数学者は だいたいが アカデミックポストないし
数学研究所のポストを得て、プロとして成り立っている
（日本では、文科省の予算で成り立つ面も多い）

大学で、凡庸な学生もいれば たまに非凡な学生もいる
凡庸な学生が、数学科に紛れ込んだ以上 それなりに 数学を教えるのも仕事のうち
一般社会は、天才だけで成り立っているわけではない

例えば、下記 気象庁の天気予報に使う コンピュータシステムと予報プログラムなど
眞鍋 淑?ｶ氏が、2021年ノーベル物理学賞受賞を受賞したことを思い出す人もいるだろうが
天気予報のコンピュータシステム 担当者が 「数学はさっぱり分からない」では つらいだろう

そういう人に、「そも (流体の)偏微分方程式とは何か？」から教えること
これは、将来数学研究者をめざす 非凡な学生とは 別だね
その人たちが、何年度かにまた 新しい 気象予報コンピュータシステムを更新するのです

そういえば、ミレニアム懸賞問題で、流体の偏微分方程式が出されていたな（下記）

(参考)
https://scj2025.supercomputing-japan.org/wp-content/uploads/SCJ2025/A-3-Katsuhiko_Gantsu.pdf
気象庁の新スーパーコンピュータシステムについて
令和7年2月3日
気象庁情報基盤部数値予報課プログラム班
雁津克彦
本日は以下の紹介を予定している– 気象庁でのHPCの利用 〜数値予報について〜– 気象庁のスーパーコンピュータについて– スーパーコンピュータ上でのプログラムの実行について• 特に昨年令和6年3月に導入した第11世代スーパーコンピュータシステムを中心に紹介する

https://ja.wikipedia.org/wiki/%E7%9C%9E%E9%8D%8B%E6%B7%91%E9%83%8E
眞鍋 淑?ｶ（まなべ しゅくろう、新字体：真鍋 淑郎、英語: Syukuro "Suki" Manabe、1931年（昭和6年）9月21日 - ）は、日系アメリカ人一世の地球科学者（気象学[1]・気候学[1]）
2021年ノーベル物理学賞受賞

https://ja.wikipedia.org/wiki/%E3%83%8A%E3%83%93%E3%82%A8%E2%80%93%E3%82%B9%E3%83%88%E3%83%BC%E3%82%AF%E3%82%B9%E6%96%B9%E7%A8%8B%E5%BC%8F%E3%81%AE%E8%A7%A3%E3%81%AE%E5%AD%98%E5%9C%A8%E3%81%A8%E6%BB%91%E3%82%89%E3%81%8B%E3%81%95
ナビエ–ストークス方程式の解の存在と滑らかさ
Clay Mathematics Institute（クレイ数学研究所）は2000年5月にこの問題を、数学の 7つのミレニアム懸賞問題の一つとした。最初にこの問題の解を与えたものに$1,000,000を賞金として進呈すると約束した[1]。

http://rio2016.5ch.net/test/read.cgi/math/1755784703/478

480: １３２人目の素数さん [] 2025/08/29(金) 16:34:54.40 ID:qJbWNB4x

ICM2026 Plenary Lectures Dennis.Gaitsgory
へー

https://en.wikipedia.org/wiki/Geometric_Langlands_correspondence
Geometric Langlands correspondence

Status
The geometric Langlands conjecture was proved for
GL(1) by Pierre Deligne and for
GL(2) by Drinfeld in 1983.[6][7]
Laurent Lafforgue proved the geometric Langlands conjecture for
GL(n,K) over a function field
K in 2002.[2]

A claimed proof of the categorical unramified geometric Langlands conjecture was announced on May 6, 2024 by a team of mathematicians including Dennis Gaitsgory.[8][9]
The claimed proof is contained in more than 1,000 pages across five papers and has been called "so complex that almost no one can explain it". Even conveying the significance of the result to other mathematicians was described as "very hard, almost impossible" by Drinfeld.[10]

https://ja.wikipedia.org/wiki/%E5%B9%BE%E4%BD%95%E5%AD%A6%E7%9A%84%E3%83%A9%E3%83%B3%E3%82%B0%E3%83%A9%E3%83%B3%E3%82%BA%E5%AF%BE%E5%BF%9C
幾何学的ラングランズ対応

https://ja.wikipedia.org/wiki/%E3%83%87%E3%83%8B%E3%82%B9%E3%83%BB%E3%82%B2%E3%82%A4%E3%83%84%E3%82%B4%E3%83%AA
デニス・ゲイツゴリー (Dennis Gaitsgory、1973年10月31日 - )はユダヤ系アメリカ人の数学者。現在はマックス・プランク数学研究所に所属[1]。専門は代数、表現論、代数幾何学。
幾何学的ラングランズ対応に関するベイリンソン・ドリンフェルドのプログラムにおける貢献で著名である。博士論文において保型形式の幾何学化プログラムに対する貢献。アファイングラスマン多様体上に同変偏屈層の畳み込みの理論を構成し、ある種の表現の作用がグラスマン多様体に反映することを示した。
受賞歴
2000年 ヨーロッパ数学会賞
2025年 数学ブレイクスルー賞[2]

https://en.wikipedia.org/wiki/Dennis_Gaitsgory
Dennis Gaitsgory
Honors and awards
In 2025, he received the Breakthrough Prize in Mathematics.[3]

http://rio2016.5ch.net/test/read.cgi/math/1755784703/480

483: １３２人目の素数さん [] 2025/08/29(金) 23:10:01.20 ID:QS2EkFr7

追加
川崎徹郎
”集合の議論では無限個のものの合併や共通部分が、
極限の操作を経ずに、いっぺんに定まる。
無限個の集合の合併や共通部分を、
有限個の集合の合併や共通部分の極限として扱うことは無理があり、
正しくない結論を導くことがある。”

https://pc1.math.gakushuin.ac.jp/~kawasaki/
川崎研究室文庫
https://pc1.math.gakushuin.ac.jp/~kawasaki/HTML-isou-nyuumon-enshuu/html-16isou-nyuumon-enshuu.html
位相入門テキスト(演習問題)
https://pc1.math.gakushuin.ac.jp/~kawasaki/HTML-isou-nyuumon-enshuu/16isou-nyuumon-text.pdf
位相入門 川崎徹郎2016

P11
集合の議論では無限個のものの合併や共通部分が、
極限の操作を経ずに、いっぺんに定まる。
無限個の集合の合併や共通部分を、
有限個の集合の合併や共通部分の極限として扱うことは無理があり、
正しくない結論を導くことがある。

1.5 集合族
集合族に対してもそれらの共通部分、合併集合が定義できる。

P26
3 距離空間の開集合、閉集合

P40
5 連続写像
写像または関数の連続性を厳密に定義し、それを用いて厳密な証明を組み立てることは、なかなか難しいことであった。
高校数学では、「限りなく近づくとき」という言葉を用いて表現された。
すなわち、yがxに限りなく近づくとき、f(y)がf(x)に限りなく近づくならば、関数f は連続である、と定義したのである。
この定義は十分に厳密なのであるが、大規模な一般論を展開するには不便である。
たとえば、連続関数の極限が連続関数になるための条件、一様収束性を、このような論法で述べるのは困難であろう。
そこで登場するのが、いわゆる、ε-δ論法である。
略

P42
定理5.13
2つの距離空間[X,dX],[Y,dY]の間の写像f : X →Y に関する条件(A)〜(D) はすべて同値である。
(A) f は連続である。
(B) U をY の開集合とすると、f^−1(U)はXの開集合である。
(C) F を Y の閉集合とすると、f^−1(F)はX の閉集合である。
(D) X の任意の部分集合Aに対して、f(A^-)⊂f(A)^-である。

https://researchmap.jp/read0049674
川崎 徹郎
カワサキ テツロウ  (Tetsuro Kawasaki)

http://rio2016.5ch.net/test/read.cgi/math/1755784703/483

493: １３２人目の素数さん [] 2025/08/30(土) 08:27:30.26 ID:jE3Cs7nW

>>491
>そもそも極限を考えるには距離が定義されてないとダメなんだが、集合間の距離をどう定義するの？

"ひろゆき名言「それってあなたの感想ですよね」"(下記)
なお、君は勉強不足
下記 フィルター (filter) とネット（有向点族）を、百回音読してね
距離が定義されていない空間での 極限・収束を扱える■

(参考)
https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A3%E3%83%AB%E3%82%BF%E3%83%BC_(%E6%95%B0%E5%AD%A6)
フィルター (filter) とは半順序集合の特別な部分集合のことである。実際には半順序集合として、特定の集合の冪集合に包含関係で順序を入れた物が考察されることが多い。フィルターが初めて用いられたのは一般位相幾何学の研究であったが、現在では順序理論や束の理論でも用いられている。順序理論的な意味でのフィルターの双対概念はイデアル（英語版）である。
類似の概念として1922年にエリアキム・H・ムーアと H. L. スミスによって導入されたネットの概念がある。
例
超積
超積は超準解析の最も簡単なモデルを与えている
位相幾何学におけるフィルター
位相幾何学や解析学において、距離空間での点列の収束の類似として、一般的な収束の概念を定式化するためにフィルターが用いられる。
位相空間論の諸結果は次のように全てフィルターを用いた議論に言い換えられる：
１．X 上の任意のフィルターの極限が高々一つ（つまり、多くても一つの点にしか収束していない）のとき、およびそのときに限って X はハウスドルフ空間になる。

https://ja.wikipedia.org/wiki/%E6%9C%89%E5%90%91%E7%82%B9%E6%97%8F
有向点族(ネット (net))
有向点族とその極限
有向点族とその収束の定義は点列とその収束性の定義を自然に有向集合の場合に拡張する事で得られる。
例
・(実数値関数の極限) 同様に実変数関数の極限limx→∞ f(x)も、有向点族
　(f(x))x∈Rの極限ととらえる事ができる。
・(リーマン和) リーマン積分の定義におけるリーマン和も有向点列の極限とみなせる。この例において考える有向集合は、積分区間の全ての分割が成す集合に包含関係が定める順序で向きを入れたものである。リーマン＝スティルチェス積分においても同様のことを考えることができる。

>>453再録
ひろゆき氏、名言「それってあなたの感想ですよね」
https://www.sanspo.com/article/20240513-MVSJEG4GAJGYNALSNLHLBTSMBA/
サンスポ
ひろゆき氏、名言「それってあなたの感想ですよね」を発した理由
2024/05/13

http://rio2016.5ch.net/test/read.cgi/math/1755784703/493

500: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/30(土) 09:56:01.82 ID:jE3Cs7nW

>>119 戻る
(引用開始)
１）
https://ufcpp.net/study/math/set/natural/
Copyright Nobuyuki Iwanaga since 2000 ++C++; // 未確認飛行 C について
自然数の定義
まず、何でもいいので1つ無限集合 a を選びます。 また、「x は無限集合である」という命題を M(x) とし、 以下のような集合 a^ を作ります。
a^ ＝ {x ∈P(a) | M(x)}
P (a) は a の「冪集合」です。 すなわち、a^ は a の部分集合のうち、無限集合になるようなもの全てを集めた集合です。
そして、a^ の全ての元の共通部分を取ります。
ωa ＝ ∩a^
証明は省きますが、このようにして得られた無限集合 ωa は、 元の無限集合 a のとり方によらずただ1つに定まります。
略す
２）
https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86
ペアノの公理
自然数の集合論的構成
N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
ここでAは無限公理により存在する集合を任意に選んだものである
(引用終り)

この ペアノの公理らにおいて 自然数で 集合積∩を使う点を >>485 位相入門 川崎徹郎2016 の立場から批判する
まず 下記無限公理の”無限集合Iから自然数を抽出する”において
『おおざっぱに言うとすべての帰納的な集合の共通部分をとりたいわけである』
とあって、”無限公理と分出公理を使って証明”している
この場合は、無限集合Iの具体的な性質として ”Iは 帰納的な(無限集合N(自然数))集合を含む”
という無限公理から N(自然数)を 分出公理を取り出している

で、上記 集合積∩を使う問題点を >>485 位相入門 川崎徹郎2016 の立場からは
集合積∩を使うには、集合の無限列が必要なのだ
いま、下記無限公理に規定された無限集合として 非可算の集合I（つまり上記ペアノの公理ではA）
を取ると、この集合積∩を使う集合の無限列は、非可算の長さの列になるだろう

つまり、ZFC公理系のごく最初の部分で さあ いまから最初の可算集合N(自然数)を定義しようとするにあたって
非可算の集合積∩を使うのは、いかにも大袈裟でまずいってことだ
分出公理で簡単に済む話に わざわざ 集合積∩ね
繰り返すが 『おおざっぱに言うとすべての帰納的な集合の共通部分をとりたい』
なのだが それに とらわれて集合積∩を使うのは まずい■

(参考)
https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86
無限公理
定義
集合を構築する記法を用いた場合は
∃I(∅∈I∧∀x(x∈I⇒(x∪{x})∈I)).
である

つづく

http://rio2016.5ch.net/test/read.cgi/math/1755784703/500

515: １３２人目の素数さん [] 2025/08/30(土) 15:35:34.40 ID:fr4NlS//

>>483
https://pc1.math.gakushuin.ac.jp/~kawasaki/HTML-isou-nyuumon-enshuu/16isou-nyuumon-text.pdf

>p11
>”集合の議論では無限個のものの合併や共通集合が、極限の操作を経ずに、いっぺんに定まる。

いきなりここからはじまってるけど、
その前の”無限個のものの合併や共通集合”の定義が
見つけられなかったのかな？
それは、ここ↓だよ

p10
M1, M2, . . . を集合の列とする。
すなわち，各 i ∈ N に対して，集合 Mi が定まっているものとする。
そのときすべての Mi の共通集合が
∩(i=1〜∞)Mi = {m | ∀i∈N.m ∈ Mi（すべての i に対して m ∈ Mi）}
によって定義される。
同様に，すべての Mi の合併集合は
∪(i=1〜∞)Mi = {m | ∃i∈N.m ∈ Mi（ある i に対して m ∈ Mi）}
により定義される。　
∩(i=1〜∞)Mi の代わりに∩(n∈N)Mn または，単に ∩(n)Mnもよく用いられる。
これに似た記号は有限個の集合の列の共通集合，合併集合に対しても使われる。

>>484
>無限合併・交叉は、無限回の演算ではく一回の演算。

然り　無限個の共通集合∩と合併集合∪は
それぞれ述語論理の限量子∀と∃によって
一回で定義される

>>485
>話は真逆だよ　わざわざそこを引用した意図は真逆

君の意図が、ってことね

>AとBの合併集合はA∪B＝{x|x∈A ⋁ x∈B}
>AとBの共通集合はA∩B＝{x|x∈A ⋀ x∈B}
>このように、∪と∩とを 2項演算として定義しているよ

そう、２つの集合の∪と∩は
それぞれ⋁と⋀を使って定義されるね

>そのうえで、集合の無限列の共通部分と合併集合を・・・定義している

上でわざわざコピペしたように
集合の無限列の共通部分と合併集合も
それぞれ述語論理の限量子∀と∃によって
一回で定義される

で、述語論理が分かってない人は
∀を無限回の⋀の適用
∃を無限回の⋁の適用
と勝手に思い込んでるけど、そうではないよ

特に∀xP(x)を証明するのに
無限個存在し得る各対象aについて、それぞれP(a)が正しいと示す
なんてことは述語論理では一切してないよ

これ肝心ね

http://rio2016.5ch.net/test/read.cgi/math/1755784703/515

518: １３２人目の素数さん [] 2025/08/30(土) 16:13:03.47 ID:jE3Cs7nW

>>515
(引用開始)
p10
M1, M2, . . . を集合の列とする。
すなわち，各 i ∈ N に対して，集合 Mi が定まっているものとする。
そのときすべての Mi の共通集合が
∩(i=1〜∞)Mi = {m | ∀i∈N.m ∈ Mi（すべての i に対して m ∈ Mi）}
によって定義される。
同様に，すべての Mi の合併集合は
∪(i=1〜∞)Mi = {m | ∃i∈N.m ∈ Mi（ある i に対して m ∈ Mi）}
により定義される。　
∩(i=1〜∞)Mi の代わりに∩(n∈N)Mn または，単に ∩(n)Mnもよく用いられる。
これに似た記号は有限個の集合の列の共通集合，合併集合に対しても使われる。
(引用終り)

ご高説は賜った
では、上記 その川崎徹郎氏の ”∩(i=1〜∞)Mi = {m | ∀i∈N.m ∈ Mi（すべての i に対して m ∈ Mi）}”
を適用して、下記

>>500 より
https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86
ペアノの公理
自然数の集合論的構成
N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
ここでAは無限公理により存在する集合を任意に選んだものである
https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86
無限公理
定義
集合を構築する記法を用いた場合は
∃I(∅∈I∧∀x(x∈I⇒(x∪{x})∈I)).
である
(引用終り)

ここで、「Aは無限公理により存在する集合を任意に選んだものである」として
１）Aが 可算無限集合の場合（そのような集合を一つ選べ）
２）Aが アレフ・ワン 非可算無限集合の場合（そのような集合を一つ選べ）
この二つの場合について
「N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}」
の証明を書け！！ｗｗ

https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AC%E3%83%95%E6%95%B0
アレフ数
アレフ数（アレフすう、英: aleph number）は無限集合の濃度（あるいは大きさ）を表現するために使われる順序数のクラスである。
アレフ・ワン
→「最小の非可算順序数」も参照
ℵ1 はすべての可算順序数からなる集合の濃度で、ω1 あるいは（ときに）Ω と呼ばれる。この ω1 はそれ自身順序数でありすべての可算順序数より大きく、したがって不可算集合である

http://rio2016.5ch.net/test/read.cgi/math/1755784703/518

上下前次 1-新書関写板覧索設栞歴

あと 435 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.016s