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

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

233: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/26(火) 11:17:28.16 ID:nzEtO0b1

>>232 追加引用

”ω1 は多少エキゾチックに聞こえるかもしれないが実は有用な概念である。応用例は可算の操作に関して「閉じるようにする」ことである”
百回音読してねｗ

(参考)
https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AC%E3%83%95%E6%95%B0
アレフ数（英: aleph number）
アレフ・ワン
→「最小の非可算順序数」も参照
ℵ1 はすべての可算順序数からなる集合の濃度で、ω1 あるいは（ときに）Ω と呼ばれる。この ω1 はそれ自身順序数でありすべての可算順序数より大きく、したがって不可算集合である。それゆえ、ℵ1 は ℵ0 とは異なる。ℵ1 の定義は、（選択公理のない ZF、ツェルメロ・フレンケル集合論において） ℵ0 と ℵ1 の間に基数は存在しないことを意味している。選択公理 (AC) を使えば、さらに次のことが証明できる。基数のクラスは全順序でありしたがって ℵ1 は 2 番目に小さい無限基数である。AC を使って集合 ω1 の最も有用な性質の 1 つを証明できる。ω1 の任意の可算部分集合は ω1 において上界をもつ。（このことは AC の最もよくある応用の 1 つである可算集合の可算和は可算であるという事実から従う。この事実は ℵ0 における状況に類似である。すなわち、自然数からなるすべての有限集合は再び自然数である最大元を持ち、有限集合の有限和は有限である。

ω1 は多少エキゾチックに聞こえるかもしれないが実は有用な概念である。応用例は可算の操作に関して「閉じるようにする」ことである。例えば、部分集合の任意の集まりによって生成されるσ-代数を明示的に記述しようとすること（例えばボレル階層を見よ）。これは代数（ベクトル空間や群など）における「生成」のたいていの明示的な記述よりも難しい。なぜならばこれらのケースにおいて有限の操作 - 和、積、などに関して閉じているだけでよいからだ。各可算順序数に対して、超限帰納法を経由して、ありとあらゆる可算和と補集合を「投げ込んで」集合を定義し、ω1 のすべてに渡ってすべてのそれの和集合をとる、ということをその操作（σ-代数の生成）は含む。

（同じ個所のen.wikipedia）
https://en.wikipedia.org/wiki/Aleph_number
Aleph number
Aleph-one
"Aleph One" redirects here. For other uses, see Aleph One (disambiguation).
An example application of the ordinal
ω1 is "closing" with respect to countable operations; e.g., trying to explicitly describe the σ-algebra generated by an arbitrary collection of subsets (see e.g. Borel hierarchy). This is harder than most explicit descriptions of "generation" in algebra (vector spaces, groups, etc.) because in those cases we only have to close with respect to finite operations – sums, products, etc. The process involves defining, for each countable ordinal, via transfinite induction, a set by "throwing in" all possible countable unions and complements, and taking the union of all that over all of
ω1.

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

281: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/26(火) 15:14:24.73 ID:nzEtO0b1

>>233 補足
>ω1 は多少エキゾチックに聞こえるかもしれないが実は有用な概念である。応用例は可算の操作に関して「閉じるようにする」ことである。例えば、部分集合の任意の集まりによって生成されるσ-代数を明示的に記述しようとすること（例えばボレル階層を見よ）。これは代数（ベクトル空間や群など）における「生成」のたいていの明示的な記述よりも難しい。なぜならばこれらのケースにおいて有限の操作 - 和、積、などに関して閉じているだけでよいからだ

”σ-代数”下記だね（演算を可算無限回まで含めて順序完備（英語版）化したもの）
そういえば、箱入り無数目で 測度論オチコボレさんで、大学の確率論テキストが読めない人たちが居たね　；ｐ）

(参考)
https://ja.wikipedia.org/wiki/%E3%83%9C%E3%83%AC%E3%83%AB%E9%9A%8E%E5%B1%A4
ボレル階層
ボレル集合
→詳細は「ボレル集合」を参照
任意の位相空間においてのボレル代数とは、全ての開集合を含んでいて可算和と補集合を取る操作について閉じている最小の集合族である。ボレル代数は可算交叉についても閉じている

https://wiis.info/math/measure/measure-space/sigma-algebra/
測度空間
σ-代数（完全加法族）の定義と具体例

https://ja.wikipedia.org/wiki/%E5%AE%8C%E5%85%A8%E5%8A%A0%E6%B3%95%E6%97%8F
完全加法族
完全加法族（英: completely additive class [of sets], completely additive family [of sets]）とは、主な用途として測度を定義することに十分な特定の性質を満たす集合の集合である。特に測度が定義される集合全体を集めた集合族は完全加法族になる。

可算加法族（英: countably additive class [of sets], countably additive family [of sets]）、(σ-)加法族（英: σ-additive family [of sets]）、σ-集合代数（英: σ-algebra [of subsets over a set], σ-set algebra）、σ-集合体（英: σ-field [of sets]）[注 1]ともいうこの概念は、解析学ではルベーグ積分に対する基礎付けとして重要であり、また確率論では確率の定義できる事象全体の成す族として解釈される。完全加法族を接頭辞「完全」を付けずに単に「加法族」と呼ぶことも多い（つまり、有限加法族の意味ならば接頭辞「有限」を省略しないのがふつう）ので注意が必要である

この概念は、解析学ではルベーグ積分に対する基礎付けとして重要であり、また確率論では確率の定義できる事象全体の成す族として解釈される。完全加法族を接頭辞「完全」を付けずに単に「加法族」と呼ぶことも多い（つまり、有限加法族の意味ならば接頭辞「有限」を省略しないのがふつう）ので注意が必要である[1]。

演算を可算無限回まで含めて順序完備（英語版）化したものになっている

動機付け
望むべくは、互いに素な集合の和の測度が、個々の集合の測度の和になること、特にそれが互いに素な集合の無限列に関してさえも成り立つことである。
σ-集合代数 Σ は、可算無限回の演算まで含めて完備である

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

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.039s