[過去ﾛｸﾞ]
現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
現代数学の系譜 カントル 超限集合論 http://rio2016.5ch.net/test/read.cgi/math/1570237031/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
181: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/10/06(日) 20:20:14.94 ID:d8OQiN+r >>180 つづき 定義 5 (商集合).R を x 上の同値関係とする。このとき、「R による同値類がすべて属し、それ以外のモノが属さない集合」である {y∈P(x)?∃a[a∈x∧y=[a]R]} を商集合とよび x/R と書く。 商集合は直感的な内包的記法を使えば {[a]⊂x?a∈x} とも書けるだろう。こう書くほうがどのような集合かわかりやすいかもしれない (分出公理によって存在が保障されることはわかりにくいが)。 上で例示した ω 上の同値関係 M について考えると、その同値類は Mo と Me の2つであったので、商集合は ω/M={Mo,Me} となる。適当に代表元を定めて ω/M={[0],[1]} とも書ける。 http://home.p07.itscom.net/strmdrf/basic_com2.htm 数学の基礎 19．素朴集合論とZF集合論 さて、集合の概念で、最も便利な性質、すなわち任意に命題 P が与えられたとき、P を満たす x 全体の集合、というものを考えたいのですが、これをそのまま公理にしたのでは、Russellのパラドクスにより矛盾が生じてしまいます。 そこで、通常の数学で、このような集合を考えたいときには、いつもどのような状況にあるかということを考えると、既に集合であることがわかっている a の元のうち、P を満たすようなもの全体からなる集合、というものを考えていることがわかります。そこで、分出公理： ∀a ∃b ∀x [ x∈b U ( x∈a ∧ P ) ] を仮定しよう、という考え方があります。このような集合 b は、外延性公理により唯一つであることが証明できますから、これを { x∈a | P } と書きます。なお、ここで素直に「仮定します」と言わなかったのは、次のような、別の場面で必要となる公理があり、この分出公理はそこから導出できるからです。 つづく http://rio2016.5ch.net/test/read.cgi/math/1570237031/181
255: 第六天魔王 ◆y7fKJ8VsjM [] 2019/10/11(金) 07:03:15.94 ID:6s83KSTC 余談 BABYMETALのDa Da Dance すげぇｗ http://babymetalmatome.com/archives/53900298.html でもBxMxCはやっぱ変態だｗ http://babymetalmatome.com/archives/53897059.html http://rio2016.5ch.net/test/read.cgi/math/1570237031/255
372: ID:1lEWVa2s [sage] 2019/10/13(日) 18:36:32.94 ID:BCKVKYa1 金でゾイドビーストライガ〜買える 面白いだろ!!？？金の仕組みって価値って。 http://rio2016.5ch.net/test/read.cgi/math/1570237031/372
653: １３２人目の素数さん [sage] 2019/12/07(土) 16:38:42.94 ID:r8l5YtX/ >>652 それです。 http://rio2016.5ch.net/test/read.cgi/math/1570237031/653
876: Ｑ [sage] 2019/12/18(水) 23:37:54.94 ID:1Iara4Wc Ｑちゃんと申します。 おっちゃん？(*´∇｀)ヨロシＱ！ http://rio2016.5ch.net/test/read.cgi/math/1570237031/876
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.036s