現代数学の系譜　カントル　超限集合論

[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

180: 現代数学の系譜 雑談 ◆e.a0E5TtKE  [] 2019/10/06(日) 20:18:43.44 ID:d8OQiN+r

>>175
商集合は、分出公理を使うのか
https://unaguna.jp/article/archives/25
U-naguna
シリーズ: 集合論の言葉を使おう (準備編) > 同値関係と同値類
(抜粋)
同値類
例として「偶奇という点で同じ」ことを表す同値関係を定義しよう。その場合たとえば
M={?x,y?∈ω×ω?∃z∃w[x+2z=y+2w]}
と定義すればよい (

この定義の下では xMy であることと、x+2z=y+2w を満たす自然数 z, w が存在すること (x と y が2の倍数加算の違いを除いて一致すること) が一致する。

定理 2.上で定義した関係 M は同値関係である。

M の定義文の中の 2 の部分を他の非零自然数 n に変えることで「n で割った時の余りという点で同じ」ことを表す関係も作れる。自然数同士のそのような関係は n を法とする合同関係と呼ばれる。
2 の部分を 0 にすると、aMb と a=b が一致するので、通常の「等しい・同じ」を表す関係になる。

同値類
同値類は同値関係 R によって同じと見なされるモノだけがすべて属する集合である。例えば上で例示した ω 上の同値関係 M の同値類を考えると
Mo={1,3,5,7,9,…}
Me={0,2,4,6,8,…}
という二つの同値類がある。たとえば 1M3 だから 1 と 3 は同じ同値類に属し、2M3 ではないから 2 と 3 は異なる同値類に属する。

同値類は、それに属する1つの元を用いて表すことができる。R を x 上の同値関係としたとき、「a と同値なモノがすべて属し、そうでないモノは属さない集合」である
{y∈x?yRa}
は a の同値類と呼ばれ、[a] や [a]R と書く。
例えば上の Mo は「1が属する同値類」という意味で [1] とも表現する。
1が属する同値類と3が属する同値類は同じ Mo を指しているので [1]=[3] である。
この例の 1 や 3 のように同値類に属するモノのうち同値類の表現に使われたモノをその同値類の代表元とよぶ。
原則としてどのモノを代表元に選んでもよい。

商集合
商集合は、同値関係 R による同値類だけがすべて属する集合のことである。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1570237031/180

299: 現代数学の系譜 雑談 ◆e.a0E5TtKE  [] 2019/10/12(土) 15:51:09.44 ID:0oc9Ztsl

>>227
>・順序対 (x,y)と集合 {{x},{x,y}}との同一性。

追加
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E5%AF%BE
順序対
(抜粋)
目次
1 一般論
2 直観的な定義
3 集合論による順序対の定義
3.1 ウィーナーの定義
3.2 ハウスドルフの定義
3.3 クラトフスキーの定義
3.4 クワイン?ロッサーの定義
3.5 カントール?フレーゲの定義
3.6 モースの定義
4 圏論

一般論
数学の広範な分野において記号 (a, b) はざまざまな意味で用いられ、そうしたものの中で顕著な例はたとえば実数直線上の開区間を挙げることができるだろう。記号の意味は文脈に完全に依存しており、意味を取るためには文脈に注意しなければならない

直観的な定義
門書の類いにおいては、順序対の定義としてやや不正確だが直観的に
二つの対象 a, b に対し、順序対 (a, b) とは、対象 a, b をこの順番で指定する記法である[3]
というような形で与えるものがある。
このような「定義」は、記述的に与えられたにすぎず、また並べる「順番」というのも直観的に与えられたものでしかないから、厳密な意味での定義と呼ぶには不十分である。

もっともよく用いられるのがカシミール・クラトフスキーによるもの（後述）であり、その定義は1970年に出版されたブルバキ『集合論』の第二版で用いられた。順序対を直観的に導入する教科書でも、クラトフスキーによる厳密な定義に演習問題の中で言及するといったものも少なくない。
集合論による順序対の定義
クラトフスキーの定義
Kuratowski (1921) は今日的に広く受け入れられている順序対 (a, b) の定義[5][注 4]

(a,b)_K:={{a},{a,b}}}
を提唱した。注目すべきは、これが第一成分と第二成分が等しいときにも

p=(x,x)={{x},{x,x}}={{x},{x}}={{x}}
として有効な定義になっていることである。

圏論
集合の圏における圏論的な直積 A × B は、第一成分が A に属し、第二成分が B に属する順序対全体の成す集合を表現する。この文脈では上で述べた順序対の特徴づけは、直積の普遍性と集合 X の元が（ある一元集合）1 から X への射と同一視されるという事実とからの帰結である。別の対象が同じ普遍性を持つかもしれないが、それらはすべて自然同型である。

http://rio2016.5ch.net/test/read.cgi/math/1570237031/299

739: 現代数学の系譜 雑談 ◆e.a0E5TtKE  [] 2019/12/14(土) 15:14:38.44 ID:s6Tab8iq

（＾＾；
「∈列 有限長」ｗｗ
おサル＝ID:uZFmzNJe は、恥かき

”「集合のいかなる∈列も有限長で終わる」
というのが正則性公理ですから”ｗｗ

(>>636より)
Inter-universal geometry と ABC予想 42
https://rio2016.5ch.net/test/read.cgi/math/1572150086/
701 名前：１３２人目の素数さん[] 投稿日：2019/12/07(土) ID:uZFmzNJe [3/3]
>>697
＞正則性公理には反してませんよ、ZFCに反してませんよと強調したかった
しかし∈-loopsは、正則性公理とは矛盾しますけどね
「集合のいかなる∈列も有限長で終わる」
というのが正則性公理ですから
（それゆえ「基礎の公理」とも呼ばれる）

https://ja.wikipedia.org/wiki/%E6%95%B4%E7%A4%8E%E9%96%A2%E4%BF%82
整礎関係
(抜粋)
数学において、二項関係が整礎（せいそ、英: well-founded）であるとは、真の無限降下列をもたないことである。

定義
集合あるいはクラス X 上の二項関係 R が整礎であるとは、X の空でない任意の部分集合 S が R に関する極小元を持つことをいう[1]。

X が集合であるとき、従属選択公理（英語版）（これは選択公理よりも真に弱く可算選択公理よりも真に強い）を仮定すれば、同値な定義として、関係が整礎であることを可算無限降下列が存在しないこととして定められる[3]。

集合 x が整礎的集合 (well-founded set) であることは、∈ が x の推移閉包上で整礎関係となることと同値である。ZF における公理のひとつである正則性の公理は、全ての集合が整礎であることを要請するものである。

関係 R が X 上で逆整礎 (converse well-founded) または上方整礎 (upwards well-founded) であるとは、R の逆関係 R?1 が X 上の整礎関係であるときにいう。このとき R は昇鎖条件を満たすという。

例
全順序でない整礎関係の例。
・自然数の順序対全体の集合 N × N 上の、(n1, n2) < (m1, m2) ⇔ n1 < m1 かつ n2 < m2 となる順序。

整礎でない関係の例。
・負整数全体 {-1, -2, -3, …} の通常の順序。任意の非有界部分集合が最小元を持たない。
・有理数全体（または実数全体）の標準的な順序（大小関係）。たとえば、正の有理数（または正の実数）全体は最小元を持たない。
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1570237031/739

747: 現代数学の系譜 雑談 ◆e.a0E5TtKE  [] 2019/12/14(土) 21:58:33.44 ID:s6Tab8iq

>>743
>ωから降下していく場合、いきなり何かある自然数ｎに降下するから

おサルの墓穴は、笑えるわｗ

下記の
”定義 2.2
（ X, =< ）を全順序とする。Xに無限降下列
a0 > a1 > a2 > ・・・ (ai ∈ X)
が存在しないとき、（ X, =< ）を整列順序という。
別の言い方をすれば、整列順序とは空でないどんな部分集合 Y ⊆ X も最小元を持つよう
な全順序のことである。”

を、熟読しなよ、あほサル（＾＾；

http://www.kurims.kyoto-u.ac.jp/ja/zengaku-18.html
全学共通科目「現代の数学と数理解析」
数理解析研究所教員によるリレー式講義　（２０１８年度）

http://www.kurims.kyoto-u.ac.jp/~kenkyubu/zengaku/18/terui-zengaku2018.pdf
第７回
日時： ２０１８年６月１日（金）
１６：３０－１８：００
場所： 数理解析研究所　４２０号室
講師： 照井 一成　准教授
題目： NASH村の命名規則：整列擬順序の理論へ
要約：
人名をひらがなで表す。名前AがBに埋め込めるとは、Bからいくつか文字を取り除くと Aになることをいう。
たとえば「ゆか」は「ゆうか」や「かゆかゆ」に埋め込めるが 「かゆゆ」には埋め込めない。
さて、NASH村では次々と子供が生まれていくが、 新生児の命名にはひとつきまりがあり、過去に 生まれた子の名前が新生児の名前に埋め込めてはならないとする。
この命名規則は いつまでも維持可能だろうか？それともいつかは新生児に名前をつけられない事態が 生じるだろうか？
「生じる」というのがHigmanの定理(1952)である。
この定理はNash-WilliamsやKruskal等 多くの研究者によって一般化され、今でも研究は発展し続けている。
本講義ではこの問題を取り掛かりとして、整列擬順序理論の一端を紹介したい。

(抜粋)

定義 2.2
（ X, =< ）を全順序とする。Xに無限降下列
a0 > a1 > a2 > ・・・ (ai ∈ X)
が存在しないとき、（ X, =< ）を整列順序という。
別の言い方をすれば、整列順序とは空でないどんな部分集合 Y ⊆ X も最小元を持つよう
な全順序のことである。どんな集合上にも整列順序をいれられるというのが Zermelo の整列定理である。
これは選択公理と同値である。

http://rio2016.5ch.net/test/read.cgi/math/1570237031/747

945: 現代数学の系譜 雑談 ◆e.a0E5TtKE  [] 2019/12/20(金) 21:20:50.44 ID:ZaXFXilg

>>934
おサルの数学は面白いわ（＾＾

（>>794より）
<Zermelo構成>
https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
(抜粋)
形式的な定義
自然数の公理
集合論において標準的となっている自然数の構成は以下の通りである。

空集合を 0 と定義する。
0:=Φ ={}
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。
(引用終り)

この後を続けると
n := {n-1} = {・・{0}・・} （0のn重シングルトン）
　・
　・
ω:（0の可算無限重シングルトン）
ω+1:= {ω}（ωの1重シングルトン）
ω+2:= {ω}（ωの2重シングルトン）
ω+3:= {ω}（ωの3重シングルトン）
となる

これが一番自然でしょ（＾＾

おサルの主張は、
「”ω：（0の可算無限重シングルトン）”と考えると
　”ωから、無限降下列が構成される”から、正則性公理に反する」
ということだったろ？ｗ（＾＾

しかし、>>886に示したように、<Zermelo構成>による
後者関数による自然数の構成は、あくまで上昇列であって、「正則性公理に反することはない！」というのがヒトの数学だ！！
（実はZermelo構成に限らず、自然数の構成は、あくまで上昇列なのだよ。当たり前のことだが）

”ω:（0の可算無限重シングルトン）”の存在が、なぜ「正則性公理に反する」と言えるのかな？ｗ（＾＾
確かに、”ω:（0の可算無限重シングルトン）”以外の可能性も、あるかもな

しかし、今問題にしていることは
おサルの主張：『”ω:（0の可算無限重シングルトン）”の存在は、”正則性公理に反する”』なのだ

どうぞ、ご説明を
お願いしますよｗｗ（＾＾；

どこでどう、、”正則性公理に反する”のかのご説明をｗｗ
それできないに、１ペソ （：ｐ

http://rio2016.5ch.net/test/read.cgi/math/1570237031/945

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

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

ぬこの手ぬこTOP 2.135s*