純粋・応用数学・数学隣接分野（含むガロア理論）20

[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

657: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/06/21(土) 09:11:42.32 ID:sEkgudR9

>>655-656
ふっふ、ほっほ

>>”ω を 0 を含み、かつ後続集合によって閉じられたすべての集合の共通集合（したがって包含の意味で最小）として定義することにより実現される
>共通集合って書いてあるじゃんｗ

その通りだよ。やろうとしているのは、カントールの順序数理論の 公理的集合論による構築なのだから
「順序数」 https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
を百回音読してね
結論は、”ω を 0 を含み、かつ後続集合によって閉じられたすべての集合の共通集合（したがって包含の意味で最小）として定義することにより実現される”だよ
これを、(例えば)ZFC公理系で実現することだ

>>Set theorists will sometimes write "⋂M"
>って書かれてるけど、「範囲が書かれてない！　尽くされてるか保証が無い！」って発狂しないのかい？ｗ

そこ君のつまみ食いだろｗ 全文引用するから、百回音読してね
Intersection (set theory) https://en.wikipedia.org/wiki/Intersection_(set_theory)
Arbitrary intersections
Further information: Iterated binary operation
The most general notion is the intersection of an arbitrary nonempty collection of sets.
If M is a nonempty set whose elements are themselves sets, then x is an element of the intersection of M if and only if for every element A of M, x is an element of A.
In symbols:
(x∈⋂A∈M A)⇔(∀A∈M, x∈A).
The notation for this last concept can vary considerably. Set theorists will sometimes write "⋂M", while others will instead write "⋂A∈M A".
The latter notation can be generalized to "⋂i∈I Ai", which refers to the intersection of the collection {Ai:i∈I}.
Here I is a nonempty set, and Ai is a set for every i∈I.
In the case that the index set I is the set of natural numbers, notation analogous to that of an infinite product may be seen:
⋂i=1〜∞ Ai.
When formatting is difficult, this can also be written "A1∩A2∩A3∩⋯".
This last example, an intersection of countably many sets, is actually very common; for an example, see the article on σ-algebras.

http://rio2016.5ch.net/test/read.cgi/math/1745503590/657

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.035s