現代数学の系譜工学物理雑談古典ガロア理論も読む77

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む77 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

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

233: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/16(月) 10:38:29.68 ID:Snw5PyNp

>>188
(引用開始)
１）素朴集合の元（要素）として
・大工道具セットの箱A（ノコギリ、金槌、ドライバー）
・釣り道具セットの箱B（釣り竿、釣り針、釣り糸）
・ケースに入れたノコギリ＝{ノコギリ} （一元集合とする（ノコギリはよく使うため））
・大工道具セットの箱C（金槌、ドライバーのみ）（ノコギリを出した）
(引用終り)

別の素朴集合論の例を考えてみよう
１）ある会社A社があって、事業部が３つ、第一、第二、第三
２）各事業部には、部が３つ、第一、第二、第三
３）各部には、課が３つ、第一、第二、第三
４）A社＝{第一事業部、第二事業部、第三事業部}
　以下同様に、集合で、部、課などとつづく
５）第一事業部第一部第一課の課員に、aさんというヒトがいるとする
　a∈第一事業部第一部第一課 です！
６）一方、普通は、aさんは、A社の社員でもありますから
　a∈A社 なんですよね、素朴集合論では（＾＾；

公理的集合論と（アトムのある）素朴集合論とで、∈の意味づけが、微妙に違うのかもね
もっとも、「∈の定義は？」と聞いても、
集合論では”「集合」と「属する」は「無定義用語」”らしいので（下記ご参照）
その答えは出ないようですが（＾＾；

なお、>>232 http://www.ivis.co.jp/text/20190619.pdf 代替集合論 （Alternative Set Theories）の調査 2019/6/19 古賀明彦 わかみず会用資料
も、ご参照

（>>199-200より）
https://martbm.hatenabloｇ.com/entry/20170723/1500777080
martingale & Brownian motion
2017-07-23
ＺＦＣの圏論での「代替」には意味があるのか？
(抜粋)
集合論の圏論的な公理のうち評判のよいものを一つ選ぶと、形式ばらない要約は次のようになる。
ようするに、上記の引用にある圏論的な公理は
集合論ではない（「集合」と「属する」という「無定義用語」によって、公理系を記述していない。あくまで「圏論」流に、「対象Ａから対象Ｂへの射」という「無定義用語」しか本質的に使っていない。
一見、「集合論」的な無定義用語は出現するが、それはあくまで「定義」という、用語上の簡易性から導入されているにすぎない。）

http://rio2016.5ch.io/test/read.cgi/math/1568026331/233

257: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/16(月) 20:30:53.60 ID:Snw5PyNp

>>246
ベン図に要素を書くことは可能だよ（下記 集合演算とヴェン図 橋本康二）
オイラー図ともいうが
http://www.u.tsukuba.ac.jp/~hashimoto.kouji.fu/paper/set_operations.html
集合演算とヴェン図 橋本康二
(抜粋)
この要素を列挙する集合の表記法は言語的というよりもむしろ図形的と言えるかもしれない。右の三つの列挙表記の二つの波括弧の部分を変形して接合して円にし、読点を省略し、数字を並び替えると、それぞれ図37?39のようになる。
これらを重ね合わせ、図39の円だけ凸レンズ状に変形すると図40になる。
http://www.u.tsukuba.ac.jp/~hashimoto.kouji.fu/paper/set_operations_40.jpg

http://gihyo.jp/dev/serial/01/java-calculation/0022
はじめMath! Javaでコンピュータ数学 Gihou.jp
第22回　図で論理を視覚的にとらえよう［前編］20071225 平田敦
(抜粋)
コラム　ベン図とオイラー図
「集合や論理で用いられる図」としてベン図を紹介しました。ここで細かいことを言うと，集合論で用いられる図はオイラー図といいます。図22.5の（a）を見てください。
http://image.gihyo.co.jp/assets/images/book/serial/2007/java-calculation/thumb/TH400_0022-05.jpg
論理を扱う場合にはベン図，集合を扱う場合にはオイラー図なのですが，高校数学の教科書では，単にベン図とのみ表記されることが多いようです。教科書によってはオイラー・ベン図，またはベン・オイラー図と表現して，あまり明確に区別しないようです。
オイラー図のオイラーとは，オイラーの公式で有名な数学者レオンハルト・オイラー（Leonhard Euler,1707-1783）です。ベン図のベンとは，イギリスの修道士で数学者ジョン・ベン（John Venn,1834-1923）です。それぞれ図の考案者であることからその名前がとられました。
注3）
本文中では論理変数と書きました。その方がプログラム中のboolean型と対応させやすいと考えたからです。

https://ja.wikipedia.org/wiki/%E3%82%AA%E3%82%A4%E3%83%A9%E3%83%BC%E5%9B%B3
オイラー図
(抜粋)
オイラー図は集合の相互関係を表す図。
考案者であるレオンハルト・オイラーの名をとってオイラー図と名付けられた。ベン図と似ているが、ベン図とは異なり、各集合を表す円が必ずしも重なっている必要はない（右図参照）

http://rio2016.5ch.io/test/read.cgi/math/1568026331/257

261: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/17(火) 00:06:22.15 ID:tQvoYsxH

メモ
https://elecello.com/works.html
elecello.com 近藤 友祐 (KONDO, Yusuke)
所属： 神戸大学 大学院システム情報学研究科 情報科学専攻 情報基礎講座 情報数理グループ(CS32) 博士課程前期課程
つくったもの集合論ノート
公理的集合論の話題を断片的に。 話題の順序には特に意味もなく，self-containedでもないし体系的でもありません。 小さなミスから致命的なミスまで，間違いが多く混入していると思います。これらのPDFの内容を鵜呑みにしないでください。
インターネットは常に有益であってほしいと願っています。インターネットの海を汚染したくないので， 誤りがあればメール等でご指摘いただけると有難く思います。修正または取り下げをします。
文書作成にあたって，テキストの丸写しにならないように心がけていますが，著作権的に問題がある箇所があればご一報願います。
https://elecello.com/doc/set/set0005.pdf
集合論ノート 0005 モストフスキ崩壊補題 (Mostowski Collapse Lemma) 近藤友祐 初稿: 2018/02/22 更新: 2019/09/16

本稿では，集合論の推移的 ∈-モデルを作るにあたって重要な，モストフスキ崩壊補題について述べる．

系7 (集合版モストフスキ崩壊補題). 二項関係R が集合A 上整礎かつ外延的であると仮定する．このと
き，(A,R)〜= (M, ∈) を満たす推移的集合M がただ一つ存在する．

次の系は，例えば強制法においてZFC の十分大きな部分を満たす可算推移モデルをとって云々する流儀に
おいて有用である．反映原理でZFC のデカい部分のモデルをとり，レーヴェンハイム＝スコーレムでサイズ
を可算に落とし，モストフスキで潰して推移的にし，ラショーヴァ＝シコルスキの補題でジェネリックフィル
ターをとる，という流れは必殺技のコンボっぽくてカッコいい．

系8 (∈-モデルに関するモストフスキ崩壊補題). 基礎の公理を仮定する．(A, ∈) |= 外延性公理ならば，
同型(A, ∈)〜= (M, ∈) を成り立たせる推移的集合M が唯一つ存在する．

系9. 任意の整列集合に対し，それと順序同型な順序数が一意に存在する．したがって整列集合(X,<)
の順序型type(X,<) を，”(X,<) と順序同型な唯一の順序数” として定めることができる．

http://rio2016.5ch.io/test/read.cgi/math/1568026331/261

264: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/17(火) 07:41:00.38 ID:V89w8T2p

>>263
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ
論破しますｗ

>自然数全体の集合 = {偶数全体の集合, 奇数全体の集合}は正しくない
>自然数全体の集合 = 偶数全体の集合 ∪ 奇数全体の集合は正しい
>ベン図で偶数の集合と奇数の集合を書けば当然交わらない

(>>193より、おれが書いたこと)
別の例を挙げよう（最初は素朴集合論ベースとして）
１）自然数の集合N、偶数の集合N2、奇数の集合Nodd
２）集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合)
　明らかに
　N ＝ N2∪Nodd ≠ N’
３）ですが、集合N’とNは似ています
　例えば、ｓ＝{2,4,6}という集合は、NとN’両方に含まれます（部分集合）
(引用終り)

つまり、
自然数全体の集合N’ = {偶数全体の集合, 奇数全体の集合}
自然数全体の集合N　 = 偶数全体の集合 ∪ 奇数全体の集合
N ≠ N’
そして、N’のベン図は描けて、
一番外の丸がN’
その中に、偶数全体の集合と奇数全体の集合を表わす丸が並列してあって
その中に、2,4,6,・・・と、1,3,5,・・・と描けば良い
「ベン図にのみこだわっているから間違った結論に走る」
のは コケコッコーのみならず、おサルもだな（>>260より）

>第一事業部は(A社の)第一事業部というのが暗黙の前提でしょ
>一方でB社＝{第一事業部, 第二事業部, 第三事業部, 第四事業部}
>などと定義すれば
>「a∈第一事業部第一部第一課」ならば「a∈A社」とはいえないですね

完全に、おサル（三歳児）の主張である。アホ丸出し
B社だったら、”「a∈第一事業部第一部第一課」ならば「a∈B社」”ですよ
それだけ

ほんと、コケコッコー（おれ）もレベル低いけど、おサルも低レベルだな〜ｗ（＾＾
（つーか、いまふと思ったが、彼のサイコパス性格（屁理屈を使ってでも相手に反論しないと気が済まない）が出ているなー(>>2ご参照）。すげー、低レベルの屁理屈反論ｗ（＾＾； ）

http://rio2016.5ch.io/test/read.cgi/math/1568026331/264

285: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/18(水) 06:47:12.95 ID:3KrCaRK2

>>281 追加
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ
論破しますｗ

(引用開始)
おサルの主張は、（>>236）
「会社は部の集合ではありませんｗ
（ついでにいうと部は課の集合ではないｗ）
　会社は社員の集合ですからｗ」
(引用終り)

「A社＝{第一事業部、第二事業部、第三事業部}　
　a∈第一事業部第一部第一課 です！
　一方、普通は、aさんは、A社の社員でもありますから
　a∈A社 なんですよね、素朴集合論では」

さて、A社は、組織改革で、AI研究所を作りました
A社＝{第一事業部、第二事業部、第三事業部、AI研究所}
メンバーは同じです（aさんは、人事異動でAI研究所所属になりました）
おサルの主張だと
A社の組織改革前と後とを、集合として明確に表現できない

あと（>>276より）
＜アトム＝原子のアナロジーで追加例＞で
ヒトの身体が、兆の上の京で、1000京の原子から出来ているとします
可付番ですから、
水素原子1,2,3・・、酸素原子1,2,3・・、炭素原子1,2,3・・、鉄元素1,2,3・・、・・・とできます
ヒトの身体＝{水素原子1,2,3・・、酸素原子1,2,3・・、炭素原子1,2,3・・、鉄元素1,2,3・・、・・・}
と、原子からできているという見方ができます
しかし、そんな見方をしても仕方ない
ヒトの身体＝{｛頭｝、{ボディー}、{右腕}、{左腕}、{右足}、{左足} }とかね
ボディーも、{心臓}とか{肺}とか、適切なレベルで切らないと
医学のレベルでは、”ヒトの身体は原子からできている”という見方は、普通の医学の議論には邪魔なだけ

(>>264より)
ほんと、コケコッコー（おれ）もレベル低いけど、おサルも低レベルだな〜ｗ（＾＾
（つーか、いまふと思ったが、彼のサイコパス性格（屁理屈を使ってでも相手に反論しないと気が済まない）が出ているなー(>>2ご参照）。すげー、低レベルの屁理屈反論ｗ（＾＾； ）

低レベルの屁理屈反論合戦かｗ（＾＾

http://rio2016.5ch.io/test/read.cgi/math/1568026331/285

289: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/18(水) 07:38:35.48 ID:3KrCaRK2

>>261 補足説明
(引用開始)
https://elecello.com/doc/set/set0005.pdf
集合論ノート 0005 モストフスキ崩壊補題 (Mostowski Collapse Lemma) 近藤友祐 初稿: 2018/02/22 更新: 2019/09/16
(引用終り)

ここに出てくる”推移的”、”set-like”、”整礎的”、”外延的”、”クラス”の補足、下記ご参照

（参考）
https://ja.wikipedia.org/wiki/%E4%BA%8C%E9%A0%85%E9%96%A2%E4%BF%82
二項関係
(抜粋)
集合上の関係
集合 X 上の二項関係のいくつか重要なクラスとして、以下のようなものを挙げることができる：
・推移的 (transitive)
X の各元 x, y, z について、x?R?y かつ y?R?z ならば x?R?z となるとき、関係 R は推移的であるという。
「先祖である」という関係は推移的である。実際、x が y の先祖で、y が z の先祖ならば、x は z の先祖である。
・集合的 (set-like)
集合 X の任意の元 x に対して、y?R?x となるような y 全体の成すクラスが集合であるような関係は、集合的（あるいは集合状、集合様）であるという。
（これは真のクラス上の関係を認める場合でないと意味を持たない）
順序数全体の成すクラス上の通常の順序関係 "<" は集合的関係だが、その逆順序 ">" は集合的ではない。
・整礎的 (well-founded)
X の任意の空でない部分集合Aが極小元a(Aのどの元xもxRaとならない)を持つときR は整礎的であるという。
自然数上の大小関係"?"は整礎的である。正則性公理を仮定すると∈は任意の集合上で整礎的である。
・外延的 (extensive)
X の任意の元 x, y について、X の任意の元 z について zRx ⇔ zRy　が成り立てば必ず x = y となるとき R は外延的であるという。
全順序は外延的である。∈は任意の集合上で外延的である。

反射的、対称的かつ推移的な関係は同値関係（あるいは等値関係）と呼ばれる。
反射的、反対称的かつ推移的な関係は半順序である。半順序が完全ならば全順序、単純順序、線型順序あるいは鎖などと呼ばれる[3]。
整礎的な線型順序は整列順序と呼ばれる。
ある関係が対称、推移的かつ連続的ならば必ず反射的である。
(引用終り)

つづく

http://rio2016.5ch.io/test/read.cgi/math/1568026331/289

290: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/18(水) 07:38:58.55 ID:3KrCaRK2

>>289
つづき

https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%B9_(%E9%9B%86%E5%90%88%E8%AB%96)
クラス (集合論)
(抜粋)
公理的集合論におけるクラス
ZFではクラスの概念を定式化することはできないので、クラスはメタ言語による同値な言明で置き換えることで扱うことになる。
例えば、AをZFを解釈する構造として、メタ言語での表現  {x｜ x=x} のAにおける解釈は、Aの議論領域に属する要素全ての集まり（つまり、Aにおける集合すべての集まり）である。
ゆえに、「全ての集合の成すクラス」を述語 x = xと（あるいはそれに同値な述語と）同一視することができる。

ZF集合論ではクラスを厳密に扱うことができないので、ZF の公理系をそのままクラスに関する言明に適用することはできない。
しかし、到達不能基数 K の存在を仮定すれば「それよりランクの小さな集合全体」は ZF のモデル（グロタンディーク宇宙）になり、その部分集合を「クラス」として考えることができる。

別な方法として、ノイマン-ベルナイス-ゲーデルの公理系 (NBG) を例に挙げよう。
この理論ではクラスは基本的な対象であり、集合は別のクラスの要素であるクラスとして定義される。
しかしながら、NBGにおける集合の存在公理は、クラスの上を亘るのではなく、集合の上を亘る量化のみに制限されている。これにより、NBG は ZF の保存拡大となる。

モース-ケリー集合論 (MK) は（NBG のように）真クラスを基礎的な対象として認めるものだが、集合の存在公理の中で全ての真クラスを走る量化をも許す。これにより、MKはZFやNBGより真に強い。

新基礎集合論 (NF) や半集合の理論のようなほかの集合論でも、「真の類」の概念は意味を成す（必ずしも全ての類は集合でない）が、集合性 (sethood) の判定規準が部分集合を作る操作の下で閉じていない。
例えば、普遍集合を備える任意の集合論は集合の部分類となるような真の類を持つ。
(引用終り)
以上

http://rio2016.5ch.io/test/read.cgi/math/1568026331/290

309: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/18(水) 20:48:32.06 ID:3KrCaRK2

>>307
>キューネン著　藤田博司訳「集合論」（日本評論社）

下記だね。英文版あるよ（＾＾
（いまやってみたら、リンクは有効だね）
モストフスキまで、読んだ方が良いと思うよｗ（＾＾；
スレ75 https://rio2016.5ch.net/test/read.cgi/math/1565872684/313
より
スレ61 https://rio2016.5ch.net/test/read.cgi/math/1551963737/55-
Kunen, Kenneth (1980), Set TheoryのPDFなど見つけたんだよね
これは、藤田 博司先生の日本語版を持っている人には役に立つだろう（＾＾

スレ61 https://rio2016.5ch.net/test/read.cgi/math/1551963737/58-
(抜粋)
Kunen, Kenneth (1980), Set Theory: An Introduction to Independence Proofs, Elsevier, ISBN 978-0-444-86839-8
検索すると、海賊版かもしらんが、下記PDFヒット
これ、しばしばお世話になっている藤田 博司先生の和訳があるかな？
http://blacaman.tripod.com/cursos/pdf/2012-2_0941.pdf
An Introduction to Independence Proofs K KUNEN 著 First edition: 1980 Seventh impression: 1999

https://www.amazoｎ.co.jp/dp/4535783829/ref=pd_lpo_sbs_14_t_1?_encoding=UTF8&psc=1&refRID=8NKTZE2Q63MR3BRQEWQX
集合論―独立性証明への案内 単行本 ? 2008/1/1
(抜粋)
ケネス キューネン (著), Kenneth Kunen (原著), 藤田 博司 (翻訳)
ナラバ博士
5つ星のうち5.0
第２章の章末問題はとくに面白い
2009年4月5日
形式: 単行本
集合論のうち，とくに２０世紀第３四半期における強制法（フォーシング）の研究に焦点をあてた入門書である。
数学科（数理科学コース）の１・２年向けの集合論の授業では，数学全分野のための予備知識として１９世紀後半の集合論を扱うのがふつうであろう。
本書が扱うのはより高度な話題である。原書は研究分野としての集合論への入門書として評価が高い。
評者は大学院修士課程１年生のときに原書を通読した。
強制法への伏線として第２章でマーティンの公理を扱っており，この章の章末問題には面白いものが多いと感じた。
時間をかけて翻訳した本書の訳は大変読みやすく，ところどころに親切な訳注が添えられている。

http://rio2016.5ch.io/test/read.cgi/math/1568026331/309

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

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

ぬこの手ぬこTOP 0.033s