19/09/17 23:58:19.24 potPwQHR.net
指摘されて気付く普通のバカは救い様が有る
サル畜生は救い様が無い
310:１３２人目の素数さん
19/09/17 23:58:54.00 potPwQHR.net
救い様の無いバカは死ぬしかない
さっさと死ね
311:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/18 06:47:12.95 3KrCaRK2.net
>>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ご参照）。すげー、低レベルの屁理屈反論ｗ（＾＾； ）
低レベルの屁理屈反論合戦かｗ（＾＾
312:１３２人目の素数さん
19/09/18 06:54:11.73 wvXbGob9.net
>>281
誤 論破します
正 論破されました
P.S.
>じゃ
>ヒトの身体＝{｛頭｝、{ボディー}、{右腕}、{左腕}、{右足}、{左足} }
>に訂正します。これだったら、どうだ？ｗ
なんで頭、ボディー、右腕、左腕、右足、左足に
いちいち｛｝
313:がついてんの？ アタマおかしい？ｗ
314:１３２人目の素数さん
19/09/18 07:00:52.55 wvXbGob9.net
>>285
＞ボディーも、{心臓}とか{肺}とか、適切なレベルで切らないと
なんで心臓や肺に｛｝ついてんの？アタマおかしい？ｗ
別にボディーはヒトの身体の要素でなく部分集合でいいし
心臓や肺もさらにボディーの要素でなく部分集合でいい
ついでにいえば、原子いや素粒子（陽子とか中性子とか
もっといえばクォークとかｗ）も要素でなく部分集合でいい
その場合アトムはなんなのかということになるが、
数学的には空間R^3の部分集合だから、
アトムはR^3上の点だな
（公理的集合論ではRも集合だから、正直言うと
集合でないという意味のアトムはない）
315:１３２人目の素数さん
19/09/18 07:27:41.56 wvXbGob9.net
＿＿＿_
／ ＼ ／＼ ｷﾘｯ
. ／ （ー） （ー）＼
／ ⌒（__人__）⌒ ＼ ＜｛｝∈｛｛｝｝ ｛｛｝｝∈｛｛｛｝｝｝
| |r┬-| | よって∈の推移性により
＼ `ー'´ ／ ｛｝∈｛｛｛｝｝｝
ノ ＼
／´ ヽ
| ｌ ＼
ヽ -一''''''"～～｀`'ー--､ -一'''''''ー-､.
ヽ ＿＿＿＿(⌒)(⌒)⌒) ) (⌒＿(⌒)⌒)⌒))
＿＿＿_
／_ノ ヽ､_＼ ＜.だっておｗｗｗ
ﾐ ﾐ ﾐ oﾟ(（●）) (（●）)ﾟo ﾐ ﾐ ﾐ ∈の推移性なんて公理でも定理でもないだろｗ
/⌒)⌒)⌒. ::::::⌒（__人__）⌒:::＼ /⌒)⌒)⌒)
| / / / |r┬-| | (⌒)/ / / /／
| :::::::::::(⌒) | | | ／ ゝ :::::::::::/
| ノ | | | ＼ / ） /
ヽ / `ー'´ ヽ / ／
| | l||l 从人 l||l l||l 从人 l||l バ
ヽ -一''''''"～～｀`'ー--､ -一'''''''ー-､ ン
ヽ ＿＿＿＿(⌒)(⌒)⌒) ) (⌒＿(⌒)⌒)⌒)) バ
ン
316:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/18 07:38:35.48 3KrCaRK2.net
>>261 補足説明
(引用開始)
URLﾘﾝｸ(elecello.com)
集合論ノート 0005 モストフスキ崩壊補題 (Mostowski Collapse Lemma) 近藤友祐 初稿: 2018/02/22 更新: 2019/09/16
(引用終り)
ここに出てくる”推移的”、”set-like”、”整礎的”、”外延的”、”クラス”の補足、下記ご参照
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
二項関係
(抜粋)
集合上の関係
集合 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]。
整礎的な線型順序は整列順序と呼ばれる。
ある関係が対称、推移的かつ連続的ならば必ず反射的である。
(引用終り)
つづく
317:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/18 07:38:58.55 3KrCaRK2.net
>>289
つづき
URLﾘﾝｸ(ja.wikipedia.org)(%E9%9B%86%E5%90%88%E8%AB%96)
クラス (集合論)
(抜粋)
公理的集合論におけるクラス
ZFではクラスの概念を定式化することはできないので、クラスはメタ言語による同値な言明で置き換えることで扱うことになる。
例えば、AをZFを解釈する構造として、メタ言語での表現 {x｜ x=x} のAにおける解釈は、Aの議論領域に属する要素全ての集まり（つまり、Aにおける集合すべての集まり）である。
ゆえに、「全ての集合の成すクラス」を述語 x = xと（あるいはそれに同値な述語と）同一視することができる。
ZF集合論ではクラスを厳密に扱うことができないので、ZF の公理系をそのままクラスに関する言明に適用することはできない。
しかし、到達不能基数 K の存在を仮定すれば「それよりラン
318:クの小さな集合全体」は ZF のモデル（グロタンディーク宇宙）になり、その部分集合を「クラス」として考えることができる。 別な方法として、ノイマン-ベルナイス-ゲーデルの公理系 (NBG) を例に挙げよう。 この理論ではクラスは基本的な対象であり、集合は別のクラスの要素であるクラスとして定義される。 しかしながら、NBGにおける集合の存在公理は、クラスの上を亘るのではなく、集合の上を亘る量化のみに制限されている。これにより、NBG は ZF の保存拡大となる。 モース-ケリー集合論 (MK) は（NBG のように）真クラスを基礎的な対象として認めるものだが、集合の存在公理の中で全ての真クラスを走る量化をも許す。これにより、MKはZFやNBGより真に強い。 新基礎集合論 (NF) や半集合の理論のようなほかの集合論でも、「真の類」の概念は意味を成す（必ずしも全ての類は集合でない）が、集合性 (sethood) の判定規準が部分集合を作る操作の下で閉じていない。 例えば、普遍集合を備える任意の集合論は集合の部分類となるような真の類を持つ。 (引用終り) 以上
319:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/18 07:40:17.31 3KrCaRK2.net
>>288
あほサルのお得意AAね
おっさん、アホか（＾＾；
320:１３２人目の素数さん
19/09/18 07:41:13.99 wvXbGob9.net
>>289
〇〇の一つのモストフスキｗｗｗ
でも、根本的にわかってないからダメダメだね
321:１３２人目の素数さん
19/09/18 07:42:33.01 wvXbGob9.net
＿＿＿_
／ ＼ ／＼ ｷﾘｯ
. ／ （ー） （ー）＼
／ ⌒（__人__）⌒ ＼ ＜｛｝∈｛｛｝｝ ｛｛｝｝∈｛｛｛｝｝｝
| |r┬-| | よって∈の推移性により
＼ `ー'´ ／ ｛｝∈｛｛｛｝｝｝
ノ ＼
／´ ヽ
| ｌ ＼
ヽ -一''''''"～～｀`'ー--､ -一'''''''ー-､.
ヽ ＿＿＿＿(⌒)(⌒)⌒) ) (⌒＿(⌒)⌒)⌒))
＿＿＿_
／_ノ ヽ､_＼ ＜.だっておｗｗｗ
ﾐ ﾐ ﾐ oﾟ(（●）) (（●）)ﾟo ﾐ ﾐ ﾐ ∈の推移性なんて公理でも定理でもないだろｗ
/⌒)⌒)⌒. ::::::⌒（__人__）⌒:::＼ /⌒)⌒)⌒) 馬鹿、阿呆、戯けｗｗｗ
| / / / |r┬-| | (⌒)/ / / /／
| :::::::::::(⌒) | | | ／ ゝ :::::::::::/
| ノ | | | ＼ / ） /
ヽ / `ー'´ ヽ / ／
| | l||l 从人 l||l l||l 从人 l||l バ
ヽ -一''''''"～～｀`'ー--､ -一'''''''ー-､ ン
ヽ ＿＿＿＿(⌒)(⌒)⌒) ) (⌒＿(⌒)⌒)⌒)) バ
ン
322:１３２人目の素数さん
19/09/18 07:43:24.26 wvXbGob9.net
＿＿＿_
／ ＼ ／＼ ｷﾘｯ
. ／ （ー） （ー）＼
／ ⌒（__人__）⌒ ＼ ＜偶数全体も奇数全体も無限集合
| |r┬-| | よって｛偶数、奇数｝は無限集合
＼ `ー'´ ／
ノ ＼
／´ ヽ
| ｌ ＼
ヽ -一''''''"～～｀`'ー--､ -一'''''''ー-､.
ヽ ＿＿＿＿(⌒)(⌒)⌒) ) (⌒＿(⌒)⌒)⌒))
＿＿＿_
／_ノ ヽ､_＼ ＜.だっておｗｗｗ
ﾐ ﾐ ﾐ oﾟ(（●）) (（●）)ﾟo ﾐ ﾐ ﾐ 元が２つしかない有限集合だろがｗ
/⌒)⌒)⌒. ::::::⌒（__人__）⌒:::＼ /⌒)⌒)⌒) 貴様は数も数えられないのか
| / / / |r┬-| | (⌒)/ / / /／
| :::::::::::(⌒) | | | ／ ゝ :::::::::::/
| ノ | | | ＼ / ） /
ヽ / `ー'´ ヽ / ／
| | l||l 从人 l||l l||l 从人 l||l バ
ヽ -一''''''"～～｀`'ー--､ -一'''''''ー-､ ン
ヽ ＿＿＿＿(⌒)(⌒)⌒) ) (⌒＿(⌒)⌒)⌒)) バ
ン
323:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/18 07:43:47.21 3KrCaRK2.net
>>286-287
＞なんで頭、ボディー、右腕、左腕、右足、左足に
＞いちいち｛｝がついてんの？ アタマおかしい？ｗ
＞ボディーも、{心臓}とか{肺}とか、適切なレベルで切らないと
大して意味はないが
例えば、{心臓}が、原子から成る集合だということを強調しているだけ（＾＾；
324:１３２人目の素数さん
19/09/18 07:46:35.86 wvXbGob9.net
>>295
＞＞なんで頭、ボディー、右腕、左腕、右足、左足に
＞＞いちいち｛｝がついてんの？ アタマおかしい？ｗ
＞大して意味はないが
意味のないことするのが馬鹿の特徴ｗ
＞例えば、{心臓}が、原子から成る集合だということを強調しているだけ
それなら 心臓＝｛原子１、原子２、・・・｝だな
｛｝の中に心臓をいれたら、心臓が要素という意味
お前、集合論の初歩から全然わかってないなｗｗｗｗｗｗｗ
325:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/18 07:46:50.19 3KrCaRK2.net
>>292
モストフスキが分かっていないのは、おまえの>>275
あとで、教えてやるよ（＾＾；
326:１３２人目の素数さん
19/09/18 07:48:27.98 wvXbGob9.net
>>297
無理無理、お前、全然分かってないもん
もう、モストフスキは忘れろ
お前、初歩から間違ってる白痴だからｗｗｗｗｗｗｗ
327:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/18 07:58:10.23 3KrCaRK2.net
>>296
>それなら 心臓＝｛原子１、原子２、・・・｝だな
>｛｝の中に心臓をいれたら、心臓が要素という意味
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな～ｗ
論破しますｗ
(引用開始)
おサルの主張は、（>>236）
「会社は部の集合ではありませんｗ
（ついでにいうと部は課の集合ではないｗ）
会社は社員の集合ですからｗ」
(引用終り)
ええ、おサルの集合論は上記でしたね
で、ヒトの集合論は、A社＝{第一事業部、第二事業部、第三事業部、AI研究所}という集合を考えることができる
また、（>>193より）
”集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合)
明らかに
N ＝ N2∪Nodd ≠ N’”
のように、集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合)を考えることができるのです
集合A社＝{第一事業部、第二事業部、第三事業部、AI研究所}も、集合N’＝{N2,Nodd}も禁止されているわけではない
つまりは、ヒトの素朴集合論では、集合の要素としては、それがアトム（Urelement）の場合と、集合が要素になる場合と、二通りあるのよ
残念でしたｗ（＾＾
URLﾘﾝｸ(en.wikipedia.org)
Urelement
(>>264より)
ほんと、コケコッコー（おれ）もレベル低いけど、おサルも低レベルだな～ｗ（＾＾
（つーか、いまふと思ったが、彼のサイコパス性格（屁理屈を使ってでも相手に反論しないと気が済まない）が出ているなー(>>2ご参照）。すげー、低レベルの屁理屈反論ｗ（＾＾； ）
低レベルの屁理屈反論合戦かｗ（＾＾
328:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/18 07:58:51.84 3KrCaRK2.net
>>298
モストフスキにおびえるサルｗ（＾＾；
329:１３２人目の素数さん
19/09/18 09:57:21.88 zy3SeO75.net
おっちゃんです。
自然数の定義やベン図の話しているのか。
0＝Φ、
1＝{0}＝{Φ}、
2＝{0、1}＝{Φ、{Φ}}、
3＝{0、1、2}＝{Φ、{Φ}、{Φ、{Φ}}}、
……
というように、各正整数 i＝1,2,3,… に対して、集合iをすべてのiより小さい自然数からなる集合族で定義する。
以降、同様に正整数iの集合iをすべてのiより小さい自然数からなる集合族として、
iの正整数の大小が小さい方から帰納的に定義して行く。
i、j を i＜(＞)j なる任意の自然数とする。i、j は両方集合である。
このとき、通常の自然数の大小の不等号「＜(＞)」は「∈(∋)」か或いは集合の濃度の不等号「＜(＞)」を用いて
通常の自然数の大小 i＜(＞)j が i∈(∋)j 或いは card(i)＜(＞)card(j) で表される。
同じく、i、j を i≦(≧)j なる任意の自然数とする。i、j は両方集合である。
このとき、通常の自然数の大小の不等号「≦(≧)」は「⊂(⊃)」か或いは集合の濃度の不等号「≦(≧)」を用いて
通常の実数での自然数の大小 i≦(≧)j が i⊂(⊃)j 或いは card(i)≦(≧)card(j) で表される。
ここに、括弧「()」の中の不等号や包含関係などの記号については、複合同順。
330:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/18 10:06:53.29 fhLrN2ai.net
メモ
URLﾘﾝｸ(www.nikkei.com)
IT企業の売上高、5社で7割稼ぐ 勝者総取りの力学
Neo economy(2)姿なき富を探る
2019/9/17 23:00日本経済新聞 電子版
(抜粋)
自らの知識やアイデアを極め、ヒトのように動くロボットをつくりたい―。
そんな夢を追う元東大助教の中西雄飛氏が当時の米グーグルの上級副社長、アンディ・ルービン氏から「20年かけてでも大きな夢を実現しよう」と誘われたのは2013年。
仲間と立ち上げた二足歩行ロボットの開発ベンチャー「シャフト」を売却するきっかけだった。ところがルービン氏が退社すると、グーグルは短期の収益が期待できないとして18年にシャフトを解散。5年で見切りを付けた。
まだ形になっていない技術革新の芽を次々と買うグーグルなど「GAFA」。
21世紀のデジタル企業は20世紀型のものづくり企業と異なり、巨額の設備投資や増産コストが不要な身軽な巨人だ。生み出す価値は検索サービスのように利用者が多いほど情報がたまり、精度や利便性が高まる特性がある。
データなど無形資産を富の源泉とする経済ではシェアを押さえた勝者が果実を総取りする力学が働き、寡占が進む。
331:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/18 10:07:37.71 fhLrN2ai.net
>>301
おっちゃん、どうも、スレ主です。
お元気そうでなによりです。（＾＾
332:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/18 10:09:51.43 fhLrN2ai.net
>>302
関連追加
URLﾘﾝｸ(www.nikkei.com)
企業価値の源は8割無形 重み増す知識、割食う賃金
Neo economy（1）姿なき富を探る
2019/9/16 23:30日本経済新聞 電子版
知識やデータなど姿なき資産が富の源泉となり、経済はモノや距離、時間といった物理的な制約から解き放たれ始めた。どんな豊かさやリスクが広がるのか。
【関連記事】
・識者に聞く（1） 無形資産の果実、消費者に
・無形資産投資、米欧はGDP比10%超も 日本出遅れ
2018年12月、ダイキン工業は東京大学に10年間で100億円の研究開発費を投じると表明した。エアコン工場1棟分に当たる投資の狙いについて、責任者…
333:１３２人目の素数さん
19/09/18 16:52:41.55 zy3SeO75.net
それじゃ、おっちゃんもう寝る。
334:１３２人目の素数さん
19/09/18 19:12:26.15 wvXbGob9.net
>>299
誤 論破します
正 論破されました
>集合A社＝{第一事業部、第二事業部、第三事業部、AI研究所}も、
>集合N’＝{N2,Nodd}も禁止されているわけではない
「社員が要素だ」といいたいのなら、上記のA社は×
「個々の自然数が要素だ」といいたいのなら、上記のN'は×
部分集合だと考えればいいものをわざわざ要素にするのが馬鹿
mod2の算術を考えるのに、
余りによる同値類の集合ということで
{偶数、奇数}とするのはありますがね
その場合、個々の自然数を要素とすることはしませんよ
同値類から代表元をとって
{0,1}という別集合を考える
というのはありますがね
>ヒトの素朴集合論では、集合の要素としては、
>それがアトム（Urelement）の場合と、
>集合が要素になる場合と、
>二通りあるのよ
それ、∈の推移性と全然無関係だけどね
「集合Sの要素S'が
アトム（Urelement）でなく集合なら
S'の要素S''も、Sの要素として扱う」
なんていうルールはないｗ
(勝手にオレ様ルールをデッチ上げるなよ）
ザ・ン・ネ・ン・デ・シ・タｗ
>>300
正直言って、なんでモストフスキにこだわってるのか全然わからんｗ
335:１３２人目の素数さん
19/09/18 19:19:13.26 wvXbGob9.net
午後、書店に立ち寄ったら
キューネン著 藤田博司訳「集合論」（日本評論社）
があったので、ちょっと中身を見てみたら
「第１章 公理的集合論の基礎」の「7 順序数」（ｐ２１）
のところで、推移的集合でない集合の例として{{{}}}（文中では{{0}}）
順序数でない集合の例として{{{{}}},{{}}.{}}（文中では{{{0}},{0},0}）
がしっかりでてたぞ
これで1が間違ってることは確定したなｗ
どうした？モストフスキｗ
（キューネンにもモストフスキ云々は出てくるがもっと後ｗ）
336:１３２人目の素数さん
19/09/18 19:23:57.89 wvXbGob9.net
>>307
誤 順序数でない集合
正 順序数でない推移的集合
337:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/18 20:48:32.06 3KrCaRK2.net
>>307
>キューネン著 藤田博司訳「集合論」（日本評論社）
下記だね。英文版あるよ（＾＾
（いまやってみたら、リンクは有効だね）
モストフスキまで、読んだ方が良いと思うよｗ（＾＾；
スレ75 ｽﾚﾘﾝｸ(math板:313番)
より
スレ61 ｽﾚﾘﾝｸ(math板:55番)-
Kunen, Kenneth (1980), Set TheoryのPDFなど見つけたんだよね
これは、藤田 博司先生の日本語版を持っている人には役に立つだろう（＾＾
スレ61 ｽﾚﾘﾝｸ(math板:58番)-
(抜粋)
Kunen, Kenneth (1980), Set Theory: An Introduction to Independence Proofs, Elsevier, ISBN 978-0-444-86839-8
検索すると、海賊版かもしらんが、下記PDFヒット
これ、しばしばお世話になっている藤田 博司先生の和訳があるかな？
URLﾘﾝｸ(blacaman.tripod.com)
An Introduction to Independence Proofs K KUNEN 著 First edition: 1980 Seventh impression: 1999
URLﾘﾝｸ(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日
形式: 単行本
集合論
338:のうち，とくに２０世紀第３四半期における強制法（フォーシング）の研究に焦点をあてた入門書である。 数学科（数理科学コース）の１・２年向けの集合論の授業では，数学全分野のための予備知識として１９世紀後半の集合論を扱うのがふつうであろう。 本書が扱うのはより高度な話題である。原書は研究分野としての集合論への入門書として評価が高い。 評者は大学院修士課程１年生のときに原書を通読した。 強制法への伏線として第２章でマーティンの公理を扱っており，この章の章末問題には面白いものが多いと感じた。 時間をかけて翻訳した本書の訳は大変読みやすく，ところどころに親切な訳注が添えられている。
339:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/18 20:53:20.55 3KrCaRK2.net
>>307
＞キューネン著 藤田博司訳「集合論」（日本評論社）
＞があったので、ちょっと中身を見てみたら
下記の方の理解は進んだかい？ｗ（＾＾
（>>299より）
(引用開始)
おサルの主張は、（>>236）
「会社は部の集合ではありませんｗ
（ついでにいうと部は課の集合ではないｗ）
会社は社員の集合ですからｗ」
(引用終り)
ええ、おサルの集合論は上記でしたね
で、ヒトの集合論は、A社＝{第一事業部、第二事業部、第三事業部、AI研究所}という集合を考えることができる
また、（>>193より）
”集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合)
明らかに
N ＝ N2∪Nodd ≠ N’”
のように、集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合)を考えることができるのです
集合A社＝{第一事業部、第二事業部、第三事業部、AI研究所}も、集合N’＝{N2,Nodd}も禁止されているわけではない
つまりは、ヒトの素朴集合論では、集合の要素としては、それがアトム（Urelement）の場合と、集合が要素になる場合と、二通りあるのよ
残念でしたｗ（＾＾
(引用終り)
340:１３２人目の素数さん
19/09/18 20:56:25.06 wvXbGob9.net
>>309
まず誤りを認めて死にましょう
;y=ｰ( ﾟдﾟ)･∵. ﾀｰﾝ
＼／| y |)
341:１３２人目の素数さん
19/09/18 20:58:10.27 wvXbGob9.net
>>310
>ヒトの素朴集合論では、集合の要素としては、
>それがアトム（Urelement）の場合と、
>集合が要素になる場合と、
>二通りあるのよ
「集合Sの要素S'が
アトム（Urelement）でなく集合なら
S'の要素S''も、Sの要素として扱う」
なんていうルールは集合論にはない
勝手にオレ様ルールをデッチ上げないこと
人間失格の畜生の君は誤りを認めて死にましょう
;y=ｰ( ﾟдﾟ)･∵. ﾀｰﾝ
＼／| y |)
342:１３２人目の素数さん
19/09/18 21:01:29.14 wvXbGob9.net
1の「全ての集合は推移的」の主張
キューネン「集合論」で完全否定
;y=ｰ( ﾟдﾟ)･∵. ﾀｰﾝ
＼／| y |)
343:１３２人目の素数さん
19/09/18 21:04:16.53 wvXbGob9.net
1 自分の主張がテキストの第１章で否定されるとか恥の極みだよな（嘲
;y=ｰ( ﾟдﾟ)･∵. ﾀｰﾝ
＼／| y |)
344:１３２人目の素数さん
19/09/18 21:07:02.70 wvXbGob9.net
1へ
なんならキューネンの本を翻訳した藤田氏に直接聞いてみれば？
ツイッターやってるから
URLﾘﾝｸ(twitter.com)
ま、でも直接否定されたら
後は↓しかないかｗｗｗ
;y=ｰ( ﾟдﾟ)･∵. ﾀｰﾝ
＼／| y |)
(deleted an unsolicited ad)
345:１３２人目の素数さん
19/09/18 21:10:00.94 Z1DjOgU6.net
2*3*5*7*23*(1/2+1/3+1/5+1/7+1/23) mod (2*3*5*7) =11
2*3*5*7*31*(1/2+1/3+1/5+1/7+1/31) mod (2*3*5*7) =97
2*3*5*7*37*(1/2+1/3+1/5+1/7+1/37) mod (2*3*5*7) =109
2*3*5*7*41*(1/2+1/3+1/5+1/7+1/41) mod (2*3*5*7) =47
2*3*5*7*47*(1/2+1/3+1/5+1/7+1/47) mod (2*3*5*7) =59
2*3*5*7*X*(1/2+1/3+1/5+1/7+1/X) mod (2*3*5*7) (Xは素数) のとき必ず素数になる
346:１３２人目の素数さん
19/09/18 21:11:36.81 wvXbGob9.net
もともとは
ｽﾚﾘﾝｸ(math板:845番)
で突っ張ったのが破滅の始まり
ほんと、1は正真正銘のバカだねぇｗｗｗｗｗｗｗ
;y=ｰ( ﾟдﾟ)･∵. ﾀｰﾝ
＼／| y |)
347:１３２人目の素数さん
19/09/18 21:12:24.53 Z1DjOgU6.net
2*3*5*7*53*(1/2+1/3+1/5+1/7+1/53) mod (2*3*5*7) =71
2*3*5*7*53*(1/2+1/3+1/5+1/7*1/53) mod (2*3*5) =11
2*3*5*7*59*(1/2+1/3+1/5+1/7*1/59) mod (2*3*5)=23
348:１３２人目の素数さん
19/09/18 21:14:47.33 wvXbGob9.net
ｽﾚﾘﾝｸ(math板:845番)
＞１）二つの集合A,Bで、A ∈ B → A ⊂ B
＞ ∵ 集合Aの全ての元aは、集合Bの元だから
集合Aの元ａが集合Ｂの元にならない場合がある
A={{}} B={{{}}}
Aの元{}は、Bの元ではない
（Bの元は{{}}だけ）
;y=ｰ( ﾟдﾟ)･∵. ﾀｰﾝ
＼／| y |)
349:１３２人目の素数さん
19/09/18 21:15:07.24 Z1DjOgU6.net
2*3*5*7*59*(1/2+1/3+1/7+1/5*1/59) mod (2*3*7) =41
2*3*5*7*X*(1/2+1/3+1/7+1/5*1/X) mod (2*3*7) =41
2*3*7=42より小さく2,3,5,7,Xを素因数に持たない値になるため
得られる値は必ず素数になる
2*3*5*7*61*(1/2+1/3+1/7+1/5*1/61) mod (2*3*7)＝31
350:１３２人目の素数さん
19/09/18 21:18:49.68 wvXbGob9.net
ｽﾚﾘﾝｸ(math板:845番)
＞２）二つの集合A,Bで、A ⊂ B → A ∈ B
＞ ∵ 集合B中で、集合Aの全ての元aを集めて、内部に集合Aを構成できるから
集合B中で、集合Aが要素として存在しない場合がある
A={{{}}}、B={{},{{}}}
{{{}}}は、Bの要素でない
;y=ｰ( ﾟдﾟ)･∵. ﾀｰﾝ
＼／| y |)
351:１３２人目の素数さん
19/09/18 22:49:50.97 DounDdrn.net
>>287
>別にボディーはヒトの身体の要素でなく部分集合でいいし
要素と部分集合の区別がつかないんでしょうね
頭悪過ぎて
352:１３２人目の素数さん
19/09/18 22:53:15.25 DounDdrn.net
>>291
アホはどう見ても
353:おまえ 早く近所の中学生に教わってこい
354:１３２人目の素数さん
19/09/18 22:55:05.97 DounDdrn.net
>>295
近所の中学生に要素と部分集合の違いを教わってこいバカ
355:１３２人目の素数さん
19/09/18 23:00:14.94 DounDdrn.net
>>299
>コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな～ｗ
自惚れるな
おまえはレベルが低いなんていう次元じゃない、ランク外
中学生はお前みたいなアホなこと言わんぞ？
356:１３２人目の素数さん
19/09/18 23:15:23.25 DounDdrn.net
ｽﾚﾘﾝｸ(math板:845番)
が証明になってると信じて疑わないアホに数学は到底無理
357:１３２人目の素数さん
19/09/19 00:01:39.24 CKGg5Ajl.net
往生際が悪すぎ
358:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/19 00:48:54.17 MSw7Rbq1.net
>>306
(引用開始)
その場合、個々の自然数を要素とすることはしませんよ
同値類から代表元をとって
{0,1}という別集合を考える
というのはありますがね
(引用終り)
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな～ｗ
論破しますｗ
(引用開始)
おサルの主張は、（>>236）
「会社は部の集合ではありませんｗ
（ついでにいうと部は課の集合ではないｗ）
会社は社員の集合ですからｗ」
(引用終り)
ええ、おサルの集合論は上記でしたね
で、下記信州大 代数入門 （花木章秀先生）より
”同値類全体の集合は
Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n ? 1) + nZ}”
0 + nZ＝{・・,-2n,-n,0,n,2n,・・}
1 + nZ＝{・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・}
以下略
ですから、Z/nZは、整数の集合Zを整理してｎ個の袋に数を小分けした集合と考えれば良い
逆に、集合Z/nZで、中の小分けの袋を取ってしまえば、もとの整数の集合Zに戻る
Z/nZは、明らかに有限集合ではない
例えば、百万までの数を同じように類別することで、ｎ個の要素の集合はできるが
しかし、Z/nZは無限集合を類別した集合ですし、中の小分けの袋を取れば、元の無限集合Zになります
0 + nZ ∪ 1 + nZ ∪ ・・∪ (n ? 1) + nZ ＝Zですからね
だから、Z/nZとZを全く別ものと考えるよりも、
繰返すが
Zの中を類別したらZ/nZ
Z/nZの分類をやめたらZ
お互いに移りあえるという理解がよろしいと思いますよ
そう考えないと、代数学（入門）は難しくなりますよｗ（＾＾；
つづく
359:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/19 00:49:27.38 MSw7Rbq1.net
>>328
つづき
（参考）
URLﾘﾝｸ(math.shinshu-u.ac.jp)
代数入門 花木章秀 信州大学理学部数学科
URLﾘﾝｸ(math.shinshu-u.ac.jp)
代数学入門
花木 章秀
2013 年前期
(2013/04/01)
(抜粋)
P29
3.2 整数の合同によって定義される環
ある l ∈ Z が存在
して a ? b = nl となるとき a ≡ b (mod n) と書くことにする (問 1.2.1)。
このときこの
関係は同値関係である。その a を含む同値類は
a + nZ = {b ∈ Z | a ≡ b (mod n)} = {a + nl | l ∈ Z}
であった。異なる同値類全体の集合は
Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n ? 1) + nZ}
である。
(引用終り)
（なお、追加 2019 2019 年前期
(2019/03/25)講義テキストは下記（こちらの方がタイポが少ないか。しかし、目次がなくなっているぞー、おいｗ（＾＾ ））
URLﾘﾝｸ(math.shinshu-u.ac.jp)
(>>264より)
ほんと、コケコッコー（おれ）もレベル低いけど、おサルも低レベルだな～ｗ（＾＾
（つーか、いまふと思ったが、彼のサイコパス性格（屁理屈を使ってでも相手に反論しないと気が済まない）が出ているなー(>>2ご参照）。すげー、低レベルの屁理屈反論ｗ（＾＾； ）
低レベルの屁理屈反論合戦かｗ（＾＾
360:１３２人目の素数さん
19/09/19 06:31:39.89 7GQwcv+X.net
>>328
>”同値類全体の集合は
>Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}”
>Z/nZは、明らかに有限集合ではない
完全な誤りｗ
Z/nZは、明らかに有限集合
>Z/nZは無限集合を類別した集合ですし、
だから無限集合、というのは完全な誤りｗ
>中の小分けの袋を取れば、元の無限集合Zになります
中の小分けの袋を取れば、別の集合ｗ
>だから、Z/nZとZを全く別ものと考えるよりも、
全く別物です そう考えないのは誤り
そう考えられない貴様はバカｗ
>繰返すが
何度繰り返しても馬鹿
貴様は一生利口にはなれない
>Zの中を類別したらZ/nZ
>Z/nZの分類をやめたらZ
>お互いに移りあえるという理解がよろしいと思いますよ
移りあえるから同じ集合、というなら馬鹿
全く別の集合 という理解だけが正しい
「と思う」も要らない
ウソだと思うなら藤田博司氏にツイッターで訊いてみろｗ
361:１３２人目の素数さん
19/09/19 06:33:11.37 7GQwcv+X.net
>>329
＞サイコパス性格（屁理屈を使ってでも相手に反論しないと気が済まない）が出ているな
1のサイコパス性格がでているな
Z/nZが無限集合とか、どんだけ低レベルの馬鹿なんだよｗｗｗｗｗｗｗ
362:１３２人目の素数さん
19/09/19 06:40:26.87 7GQwcv+X.net
＞コケコッコー（おれ）もレベル低いけど、おサルも低レベルだな～
1が実に初歩レベルの誤りを繰り返してるだけ
貴様にモストフスキとか無理だし無駄だから
そういう高
363:レベルな話をしないだけ
364:１３２人目の素数さん
19/09/19 06:42:25.60 7GQwcv+X.net
>>328
＞そう考えないと、代数学（入門）は難しくなりますよ
同値類の集合すら理解できないんじゃ
1が正規部分群を誤解するのも無理ないな・・・
365:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/19 07:06:11.95 MSw7Rbq1.net
>>328-329 訂正
(n ? 1)とかの?の文字化け、これ-です
つまり、(n - 1)です。そう読み替えて下さい
あるいは、もっと良いのは、原文PDFを見ることな（＾＾
念のため
して a ? b = nl となるとき a ≡ b (mod n) と書くことにする (問 1.2.1)。
↓
して a - b = nl となるとき a ≡ b (mod n) と書くことにする (問 1.2.1)。
Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n ? 1) + nZ}
↓
Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}
です
366:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/19 07:40:40.03 MSw7Rbq1.net
(引用開始)
>”同値類全体の集合は
>Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}”
>Z/nZは、明らかに有限集合ではない
完全な誤りｗ
Z/nZは、明らかに有限集合
(引用終り)
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな～ｗ
論破しますｗ
下記、大学数学の”「同一視する」という考え方”、分かりますか～ｗ（＾＾；
Z/nZ→Z：圏論の忘却函手みたいなのを考えて、Z/nZを忘れたらZに戻るってこと
（Z/nZの要素の例えば、0 + nZ＝{・・,-2n,-n,0,n,2n,・・}の元からZ中の例えば2nに対応を付ければ良い）
この視点では、Z/nZは無限集合
一方、Z/nZ→{0,1,・・n}を考えると、有限集合
まあ、コウモリが、鳥か獣かという話みたいなもので、視点（数学では定義）によって、見方は変わる
しかし、もし、Z/nZが完全な有限集合なら、どうやっても、無限集合とはすることはできないよね
QED
（参考）
URLﾘﾝｸ(restmath.com)
大学数学 集合.8 「同一視する」という考え方 - レストの数学ブログ 2018/06/15
URLﾘﾝｸ(hiroyukikojima.hatenablo)ｇ.com/entry/20140606/1402035822
hiroyukikojima’s blog
2014-06-06
「同じと見なす」ことの素晴らしさと難しさ
(抜粋)
数学は世界をこう見る (PHP新書)
作者: 小島寛之
出版社/メーカー: PHP研究所
発売日: 2014/05/16
メディア: 新書
この本には、複数のコンセプトが込められているのだけど、その中で非常に大きいのが、「同じと見なす」という数学固有のテクニックをこれでもか、というぐらいに徹底的に解説することだ。
「同じと見なす」ということを、数学の専門の言葉では「同一視」という。この「同じと見なす」という数学の手法は、高校までの数学ではほとんど表れない。
というか、本当は随所でニアミスしているだけれど、高校までの数学教育で強調されることは(情熱のある特殊な先生を除けば)全くない。
つづく
367:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/19 07:41:06.37 MSw7Rbq1.net
>>335
つづき
例をあげるなら、平面上の4点A, B, C, Dに対して、ABCDが平行四辺形となっている場合、[ベクトルAB]と[ベクトルDC]は等しいと定義され、[ベクトルAB]=[ベクトルDC]という等号で結ばれる。
しかし、よくよく考えると、ABのある場所とDCのある場所は異なっているのだから、どう見ても、これは異なるもののように思える。なのに、等号で結べるのはどうしてか、といえば、それは「同じと見なす」と定義をしているからに他ならない。
実は、こういうことは、それ以前にも知らず知らずのうちに何回も経験しているのだ。ただ、そう意識していないから、記憶に残らないだけなのである。
(引用終り)
(>>264より)
ほんと、コケコッコー（おれ）もレベル低いけど、おサルも低レベルだな～ｗ（＾＾
（つーか、いまふと思ったが、彼のサイコパス性格（屁理屈を使ってでも相手に反論しないと気が済まない）が出ているなー(>>2ご参照）。すげー、低レベルの屁理屈反論ｗ（＾＾； ）
以上
368:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/19 07:51:39.39 MSw7Rbq1.net
"∈による順序"について、分り易い説明を思いついたので書いてみるよ（＾＾
１）まず、>>310の追加補足
(おサル >>275より）
０＝{}
１＝｛０｝={{}}
２＝｛１｝＝{{{}}}
・・・
ってやり方だと、0∈1∈2だけど、0∈2にならないんだよね
０＝{}
１＝｛０｝={{}}
２＝｛０，１｝＝{{},{{}}}
・・・
だと、0∈1∈2で、しかも0∈2にできるんだな
(引用終り)
確かに、下記の記述があり、単純な自然数の構成も可能だ
しかし、∈による順序付けには、大きな差があるように見える
これをどう考えたら良いのだろうか？（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
自然数
(抜粋)
それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
0 := {}
1 := suc(0) = {0} = {{}}
2 := suc(1) = {0, 1} = {0, {0}} = { {}, {{}} }
3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { {}, {{}}, { {}, {{}} } }
等々である。
このように定義された集合 n は丁度（通常の意味で）n 個の元を含むことになる。
また、これは有限順序数の構成であり、（通常の意味で）n <= m が成り立つことと n が m の部分集合であることは同値である。
以上の構成は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。
(引用終り)
つづく
369:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/19 07:52:36.81 MSw7Rbq1.net
>>337
つづき
２）さて、下記のように考えてみよう
（参考）
URLﾘﾝｸ(www.sci.shizuoka.ac.jp) 数学基礎論サマースクール 選択公理と連続体仮説
URLﾘﾝｸ(www.sci.shizuoka.ac.jp)
公理的集合論の基礎 酒井 拓史 神戸大学 2019 年 数学基礎論サマースクール
(抜粋)
P3
公理的集合論の枠組み
・集合論の言語L∈： 非論理記号は二項関係記号∈ のみ
遺伝的集合の集まりとそれら間の要素関係（∈-関係）
● 遺伝的集合： 要素もそのまた要素もすべて集合である集合
例： Φ，{Φ}，{Φ, {Φ, {Φ}}}
(引用終り)
上記神戸大酒井拓史先生の遺伝的というのが、空集合から初めて、冪集合を順々につくってもの
即ち、下記の二項関係の「先祖である」と同じと解してみよう
Φ∈{Φ}∈{Φ, {Φ}}∈{Φ, {Φ, {Φ}}}なのだが
Φが元で{Φ}を作って、{Φ}が元で{Φ, {Φ}}・・となる
さて、このような二項関係を示す記号を、∈Rと書こう
上記二項関係の”∈R”には、∈と類似のしかし、少しだけ異なる定義を与える
１）A∈Bのとき、二項関係 A ∈R B が成立っているとする
２）さらに、A∈B∈Cのとき、二項関係 A ∈R B とB ∈R C のみならず、A ∈R Cも成立っているとする（推移律）
くどいが、間にBを挟んだ間接的な場合にも、A ∈R Cも成立っているとする
３）∈と二項関係の”∈R”との違いについて説明すると、
∈は公理的集合論の集合を構成するカナメの記号だが
”∈R”は、出来上がった集合の二項関係を示すためだけの機能に限定するものとする（集合を構成する力はない）
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
二項関係
(抜粋)
集合上の関係
集合 X 上の二項関係のいくつか重要なクラスとして、以下のようなものを挙げることができる：
・推移的 (transitive)
X の各元 x, y, z について、xRy かつ yRz ならば xRz となるとき、関係 R は推移的であるという。
「先祖である」という関係は推移的である。実際、x が y の先祖で、y が z の先祖ならば、x は z の先祖である。
(引用終り)
つづく
370:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/19 07:55:39.86 MSw7Rbq1.net
>>338
つづき
３）こう考えると、上記のwikipediaの単純な自然数構成でも
∈Rを使って
0 = {} ∈R {{}} ∈R {{{}}} ∈R {{{{}}}} = 3
と、二項関係∈Rで、綺麗な順序が構成できる
こうして構成した二項関係∈Rには、モストフスキ崩壊補題により
”推移的集合Mによる (M, ∈) と順序同型で、順序同型な順序数が一意に存在する” （>>261 近藤 友祐 神戸大学 ）
この考えによれば、二項関係∈Rの意味で
>>299のA社＝{第一事業部、第二事業部、第三事業部、AI研究所}で
第一事業部に属する社員は、またA社にも属する（∈Rの意味で）と言える
しかし、それは、A社＝{ a、第一事業部、第二事業部、第三事業部、AI研究所}を意味する訳では無い
この見方を支える一つの柱が、モストフスキ崩壊補題ですｗ（＾＾；
日常の自然言語における”所属”とか”属する”は、この意味ですね
で、繰返すが、確かに、
0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる
そして、この自然数の構成は、厳密な意味での推移的集合による構成ではないが、推移的集合による構成と順序同型になるってこと（モストフスキ崩壊）
以上
371:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/19 08:02:35.41 MSw7Rbq1.net
>>338 蛇足だが
(引用開始)
３）∈と二項関係の”∈R”との違いについて説明すると、
∈は公理的集合論の集合を構成するカナメの記号だが
”∈R”は、出来上がった集合の二項関係を示すためだけの機能に限定するものとする（集合を構成する力はない）
(引用終り)
公理的集合論の集合を構成するカナメの記号∈が、強力すぎる機能を持たせると
パラドックスを生じる危険性がある
だから、公理的集合論の中では、∈をできるだけ限定した機能として作用させているのだろう
しかし、日常の自然言語における”所属”とか”属する”は、公理的集合論に捕らわれず、我々は広い意味で使っている
その隙間を埋めるのが、モストフスキかもね（＾＾；
372:１３２人目の素数さん
19/09/19 08:19:29.37 gcv8MKKh.net
>>328
>Z/nZは、明らかに有限集合ではない
バカ丸出し
373:１３２人目の素数さん
19/09/19 19:33:08.17 7GQwcv+X.net
>>335
>大学数学の”「同一視する」という考え方”、分かりますか～ｗ
★チガイの戯言ｗ
>Z/nZ→Z：圏論の忘却函手みたいなのを考えて、Z/nZを忘れたらZに戻るってこと
忘却函手が何かも知らずに、忘却だけで脊髄反射してるなこの馬鹿ｗ
ああ、忘却函手でサーチした結果を読まずにコピペとか要らないからｗｗｗ
>（Z/nZの要素の例えば、0 + nZ＝{・・,-2n,-n,0,n,2n,・・}の元からZ中の例えば2nに対応を付ければ良い）
それじゃ、Z内の有限集合への単射
全射にはならない
ということで
>この視点では、Z/nZは無限集合
は全くの嘘っぱちｗ
>もし、Z/nZが完全な有限集合なら、どうやっても、無限集合とすることはできないよね
なんで、無限集合にしたがるの？
374:１３２人目の素数さん
19/09/19 19:33:56.19 7GQwcv+X.net
>>338
> １）A∈Bのとき、二項関係 A ∈R B が成立っているとする
> ２）さらに、A∈B∈Cのとき、二項関係 A ∈R B とB ∈R C のみならず、A ∈R Cも成立っているとする（推移律）
> くどいが、間にBを挟んだ間接的な場合にも、A ∈R Cも成立っているとする
で？
まさか
「A ∈R C ならば A ⊂ C」
とかタワケたこと言わんだろうねｗ
君、A⊂Bの定義、知ってる？
∀x(x∈A⇒x∈B)
が成り立つ時だよ
決して
∀x(x ∈R A⇒x ∈R B)
が成り立つ時ではないからｗ
375:１３２人目の素数さん
19/09/19 19:34:32.62 7GQwcv+X.net
>>339
モストフスキ崩壊補題を持ち出したところで
「A ∈R C ならば A ⊂ C」
は言えんので前スレ845の１）
ｽﾚﾘﾝｸ(math板:845番)
＞１）二つの集合A,Bで、A ∈ B → A ⊂ B
の正当化にはならんよ
したがって全く無意味
> 二項関係∈Rの意味で
> >>299のA社＝{第一事業部、第二事業部、第三事業部、AI研究所}で
> 第一事業部に属する社員は、またA社にも属する（∈Rの意味で）と言える
貴様のクソ定義の穴を埋めるために、∈Rなんて考えるより
単純にA社の集合の要素を社員として、
部署をA社の部分集合にするほうが
はるかに簡単ｗ
> 日常の自然言語における”所属”とか”属する”は、この意味ですね
「社員aは、A社に属する」とまったく同じ意味で
「第一事業部は、A社に属する」と思う貴様が間違ってるｗ
所属と包含が区別できない馬鹿には困ったものだｗ
【結論】下手な考え、休むに似たりｗ
376:１３２人目の素数さん
19/09/19 19:39:15.43 7GQwcv+X.net
>>336
＞サイコパス性格（屁理屈を使ってでも相手に反論しないと気が済まない）
サイコパスは １ お前自身だよ
馬鹿のくせにリコウぶるな クソったれ
377:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/19 21:19:15.42 MSw7Rbq1.net
おサルさん、踊ってくれてありがとう
お陰で、このガロアスレの勢い２位で 34です （＾＾
（参考）
URLﾘﾝｸ(49.212.78.147)
数学：2ch勢いランキング 9月19日 21:10:27
順位 6H前比 スレッドタイトル レス数 勢い
1位 ↑1 【未解決問題】奇数の完全数が存在しないことの証明5 195 39
2位 ↓-1 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 345 34
3位 ↑1 分からない問題はここに書いてね456 277 25
4位 ↓-1 0.99999……は１ではない 149 25
5位 = 数学の本 第85巻 925 24
6位 = 素人には 8÷2(2+2) を16と答える馬鹿が居るらしい 955 20
7位 ↑1 Inter-unive
378:rsal geometry と ABC予想 41 539 19 8位 ↓-1 高校数学の質問スレPart401 270 19 9位 ↑1 現代数学はインチキだらけ 127 11 10位 ↓-1 数学と物理学って何で統合しないの？ 60 11 11位 = 分からない問題はここに書いてね456 114 10 12位 = 新しい数式何だが、どうだろう 73 10 13位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む58 875 4 14位 = ガロア優秀仮面理論についてwwwww 128 4
379:１３２人目の素数さん
19/09/19 21:24:34.12 7GQwcv+X.net
>>346
「二つの集合A,Bで、A ∈ B → A ⊂ B」
とトンデモ馬鹿踊りしてるのは貴様一匹
380:１３２人目の素数さん
19/09/19 22:43:24.17 gcv8MKKh.net
>>335
>この視点では、Z/nZは無限集合
これは酷い
381:１３２人目の素数さん
19/09/19 22:45:48.85 gcv8MKKh.net
>>もし、Z/nZが完全な有限集合なら、どうやっても、無限集合とすることはできないよね
>なんで、無限集合にしたがるの？
ﾜﾛﾀ
382:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/19 23:15:33.18 MSw7Rbq1.net
>>335 訂正と追加
＜訂正＞
Z/nZ→Z：圏論の忘却函手みたいなのを考えて、Z/nZを忘れたらZに戻るってこと
（Z/nZの要素の例えば、0 + nZ＝{・・,-2n,-n,0,n,2n,・・}の元からZ中の例えば2nに対応を付ければ良い）
↓
Z/nZ→Z：圏論の忘却函手みたいなのを考えて、Z/nZの同値類の構造を忘れたらZに戻るってこと
（Z/nZの要素の例えば、0 + nZ＝{・・,-2n,-n,0,n,2n,・・}の元2nからZ中の例えば2nに対応を付ければ良い）
＜補足＞
要するに、上記で言いたいことは、Z/nZの要素の各同値類の集合の要素と、集合Zとの元との対応がきちんとつくってこと
（例：上記の 0 + nZ∋2n→2n∈Z）
だから、全体としても、Z/nZが含んでいる自然数たちは、当然集合Zの元と対応がつくってこと
なお、忘却関手については、下記ご参照
（参考）
URLﾘﾝｸ(tnomura9.exblog.jp)
tnomuraのブログ 2014-08-29
忘却関手のイメージ
群は集合 G と二項演算 * の組 (G, *) だ。したがって、群 G と G' の間の準同型写像 f : G -> G' といっても基本的には集合と集合の間の写像と変わらない。つまり、全射や単射や全単射などの性質はそのまま残っている。
ただし、準同型写像の場合は f によって構造が保存される。つまり、写像 f によって演算が１対１に対応する。具体的には f(xy) = f(x)f(y) という等式がなりたつ。したがって、単射の準同型写像や、全射の準同型写像や、全単射の準同型写像や、全射でも単射でもない準同型写像があるということだ。
しかし、f(xy) = f(x)f(y) を満たさない写像は準同型写像とは言えない事に注意が必要だ。準同型写像全体の集合を考えると、それは集合の写像全体の集合の部分集合になる。（参考：準同型 - Wikipedia）
全ての群の圏 Grp とは群を対象とし、群と群との同型写像を射とする圏のことだ。また、小さな集合の圏 Set は集合を対象とし集合と集合の間の関数を射とする圏である。
群の圏から集合の圏への「忘却関手」U : Grp -> Set とは、Grp の対象である群を Set の対象である集合に対応させ、Grp の射である準同型写像を Set の射である写像に対応させる。
つづく
383:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/19 23:17:09.47 MSw7Rbq1.net
>>350
つづき
忘却関手をイメージすると、Grp の対象である群の台集合をそのまま Set の対象とし、Grp の射である準同型写像をそのまま Set の射に写す。集合の圏では演算は定義されていないので f(xy) = f(x)f(y) という等式は意味がなくなってしまう。
つまり、忘却関手とは群の圏から演算を取り去ってしまって、そのまま集合の圏の部分圏に写しだしたものと考えると良い。忘却関手の像の射の集合は集合の圏の射の集合の部分集合になっている。
したがって、忘却関手のイメージとは、群の圏を、集合の圏の部分圏へ写す関手と考える事ができる。
一方自由群は集合から作る事ができる。集合の圏の対象である文字集合をその上の自由群に対応させ、文字集合間の写像を対応する自由群間の準同型写像に対応させる関手（自由関手）を考えると、これは忘却関手とは反対方向の Set -> Grp の関手になる。
自由関手は忘却関手の左随伴である。したがって、自由関手と忘却関手の関係が分かれば、随伴の実例のひとつを理解できることになる。
URLﾘﾝｸ(m-hiyama.hatenablo)ｇ.com/entry/20101021/1287620286
檜山正幸のキマイラ飼育記 (はてなBlog)
2010-10-21
さまざまな忘却関手
(抜粋)
バエズがどこかで言ってました、「『忘却』のちゃんとした定義は難しい」と。関手の充満性／忠実性を使うとか、自由と忘却の随伴（自由 -
384:| 忘却）に根拠を求めるとかありますが、それで全てかどうかよく分かりません。 いくつかの例を考えてみます。 Grpを群の圏として、群Gの台集合をU(G)として、UをGrp→Setの関手まで拡張します。これは典型的な忘却関手です。 Catを小さい圏の圏として、圏C（Catの対象）に対して U(C) = |C| = (Cの対象の集合) とすると、Uは自然にCat→Setの関手とみなせます。この場合、圏の代数構造を忘れるだけではなくて、射の集合をゴッソリ忘れています。台集合の一部が欠損します。 Vectを係数体も自由に選んだベクトル空間全体からなる圏だとします。このVectはグロタンディーク構成で作れます。Vectの対象であるベクトル空間Vから係数体を取り出す操作をU(V)とします。U:Vect→Field という関手を作れますが、これもベクトル空間の本体を忘れて係数体だけを残す“忘却関手”と言えなくもないでしょう。 (引用終り) 以上
385:１３２人目の素数さん
19/09/19 23:24:48.55 tlqWBAH8.net
スレ主よ、サル石が僕のスレを荒らしに来たから、
サル石がお前に毎日噛みついていることを
スレ民に教えてやった（笑
サル石がどういう男であるかも、すでに教えてある（笑
そのうちこいつは2chの全員から嫌われるようになるだろう（笑
386:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/19 23:56:14.67 MSw7Rbq1.net
>>335
実数の部分集合として、次のようなものを考えよう
１）正の整数の集合Z+
２）負の整数の集合Z-
３）0 （これは元）
４）上記以外の有理数の集合Q’
５）超越数の集合Tr
６）上記１）～５）以外の実数の集合A’（代数的数で無理数である実数より成る集合）
さて、
１）上記１）～６）を要素とする集合をR#とする
R#＝{Z+,Z-,0,Q’,Tr,A’}
２）R#の中には、Rの数としての要素は全て含まれている
正負の整数の集合、0、有理数、超越数、代数的数
確かに、集合R#＝{Z+,Z-,0,Q’,Tr,A’}は、そこに含まれる元としては、6個にすぎない
では、R#を有限集合として良いのだろうか？ その元Z+とかは明らかに無限集合であるのに（＾＾
３）これは、>>335の”「同じと見なす」ことの素晴らしさと難しさ”（hiroyukikojima）に通じる話だ
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
実数（じっすう、英: real number）
URLﾘﾝｸ(ja.wikipedia.org)
有理数（ゆうりすう、英: rational number)
URLﾘﾝｸ(ja.wikipedia.org)
代数的数（だいすうてきすう、英: algebraic number）
URLﾘﾝｸ(ja.wikipedia.org)
超越数（ちょうえつすう、英: transcendental number）
387:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/19 23:59:18.52 MSw7Rbq1.net
>>352
哀れな素人さん、どうも。スレ主です。
>サル石がお前に毎日噛みついていることを
>スレ民に教えてやった（笑
>サル石がどういう男であるかも、すでに教えてある（笑
ありがとうございます
サル石は、キチガイサイコパスです（>>2ご参照）
まあ、世間のヒトには、キチガイサイコパスの生きた生態見本を見て貰えればと思いますｗ（＾＾；
388:１３２人目の素数さん
19/09/20 05:18:30.72 DPgtgKl0.net
>>352
サル石なんて奴はいないよ
俺はそっちのスレには書いてない
ここの1が馬鹿なのは有名
数学板の人間は1と同じ人間とはみなしてない
畜生を尊敬する馬鹿はいないよｗ
389:１３２人目の素数さん
19/09/20 05:23:26.80 DPgtgKl0.net
>>353
>R#＝{Z+,Z-,0,Q’,Tr,A’}
>集合R#＝{Z+,Z-,0,Q’,Tr,A’}は、そこに含まれる元としては、6個にすぎない
>では、R#を有限集合として良いのだろうか？
>その元Z+とかは明らかに無限集合であるのに
なんで集合Sの元が無限集合sだったら、
集合Sも無限集合にならなければいけない
と「発狂」するのか？ 精神異常か？ｗ
Z2=｛Even,Odd｝
（Evenは偶数全体の集合、Oddは奇数全体の集合｝
とした場合、Z2は有限集合だ
正常な人間なら、無限集合と考えない
390:１３２人目の素数さん
19/09/20 05:25:09.28 DPgtgKl0.net
1が
「二つの集合A,Bで、A ∈ B → A ⊂ B」
を主張しつづける限り、トンデモとして
永久永劫、数学板読者から侮蔑嘲笑されるｗ
391:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/20 06:37:57.14 ihE7M+Qz.net
>>355
サル石はいるよ（>>2）
お前のこと
哀れな素人さんのスレ＊）に書いているかどうかとは無関係に、サル石はいる
＊） 現代数学はインチキだらけ
ｽﾚﾘﾝｸ(math板:1番)-
>>356
>なんで集合Sの元が無限集合sだったら、
>集合Sも無限集合にならなければいけない
（定義）有限集合を、有限個の元からなり、その元の祖先をたどっていったとき、必ず有限集合かアトムからなる集合と定義する
それで終り。これは定義の問題だよ
これは、>>335の”「同じと見なす」ことの素晴らしさと難しさ”（hiroyukikojima）に通じる話
>>357
>「二つの集合A,Bで、A ∈ B → A ⊂ B」
それは、>>338に書いたように
∈と類似の二項関係の”∈R”に、類似のしかし、少しだけ異なる定義を与えれば
「二つの集合A,Bで、A ∈R B → A ⊂ B」と見ることができる
これも、>>335の”「同じと見なす」ことの素晴らしさと難しさ”（hiroyukikojima）に通じる話
これが分からないようじゃ、おサルには、大学数学は無理かもね（>>335より）（＾＾；
392:１３２人目の素数さん
19/09/20 06:51:34.87 DPgtgKl0.net
1 「x∈y y∈zなら∈の推移律によりx∈zでy⊂z」
読者「x={},y={{}},z={{{}}}だと成り立たないって
キューネンの「集合論」にはっきり書いてあるけど」
1 「（反論できずヤケクソで）新述語∈Rを導入して
x∈y なら x ∈R y
x∈y y∈z なら x∈R z
とすれば∈Rについては推移律が成立する」
読者「x ∈R z ならば、x⊂z、は云えないけど」
今ここｗ
---
今後の展開予想
1 「⊂Rを導入する
x ∈R A⇒x ∈R B のとき A ⊂R B
これで文句あるまい」
読者「要するにあんた、∈と⊂を
∈R と ⊂R と誤解したわけだ 馬鹿だね～」
1 語るに落ちて自爆死ｗ
393:１３２人目の素数さん
19/09/20 06:53:50.37 DPgtgKl0.net
>>358
＞（定義）有限集合を、有限個の元からなり、
その元の祖先をたどっていったとき、必ず有限集合かアトムからなる集合と定義する
＞それで終り。これは定義の問題だよ
1 独りよがりのボクちゃん定義を持ち出し自爆死
それじゃ大学数学は無理 諦めて首掻き切って死になw
あんた生きる価値も資格もないからｗｗｗ
394:１３２人目の素数さん
19/09/20 07:12:19.81 DPgtgKl0.net
1の今日の失言
「（定義）有限集合を、有限個の元からなり、
その元の祖先をたどっていったとき、
必ず有限集合かアトムからなる集合と定義する」
「有限集合を、有限個の元からなる集合と定義する」
と理解すればいいところをわざわざ
「その元の祖先をたどっていったとき、
必ず有限集合かアトムからなる」
というバカげた文言を追加する点に
1の白痴ぶりが表れている
395:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/20 07:12:34.61 ihE7M+Qz.net
>>350 補足
>Z/nZ→Z：圏論の忘却函手みたいなのを考えて、Z/nZの同値類の構造を忘れたらZに戻るってこと
>（Z/nZの要素の例えば、0 + nZ＝{・・,-2n,-n,0,n,2n,・・}の元2nからZ中の例えば2nに対応を付ければ良い）
一夜漬けで、圏論風に考えてみたのが下記
Z-加群の圏というのがあるんだ（＾＾；
で、Z-加群の圏で、mod n を考えて、かつ、集合Zを下記>>329 花木章秀 信州大にならって
Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}と類別し、これをZ-加群の圏の部分圏と考える
Z-加群の圏 函手→ Z/nZ （mod nと類別）
Z/nZ 函手→ Z-加群の圏 （mod nと類別を忘れる忘却函手）
かな（＾＾
(参考)
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
圏 (数学)
(抜粋)
例
圏と記号 対象の類 射の類 合成 大きさ 備考
アーベル群の圏 Ab 全てのアーベル群 全ての群準同型 写像の合成 大きい 群の圏の充満部分圏、Z-加群の圏と同じもの
URLﾘﾝｸ(ja.wikipedia.org)
環上の加群
(抜粋)
例
Z を有理整数環とすると、Z-加群の概念はアーベル群の概念に一致する。
すなわち、一意的な仕方で任意のアーベル群を Z 上の加群にすることができる。
これには、n > 0 に対して nx = x + x + ... + x（n-項の和）とし、0x = 0 および (-n)x = -(nx) とおけばよい。
このようにアーベル群を加群と見たものは必ずしも基底を持たない。
実際、ねじれ元を持つ
396:ような群は基底を持たない（ただし、有限体をそれ自身の上の加群と見たときは基底を持つ）。 つづく
397:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/20 07:12:55.78 ihE7M+Qz.net
>>362
つづき
（>>329 ）
URLﾘﾝｸ(math.shinshu-u.ac.jp)
代数入門 花木章秀 信州大学理学部数学科
URLﾘﾝｸ(math.shinshu-u.ac.jp)
代数学入門
花木 章秀
2013 年前期
(2013/04/01)
(抜粋)
P29
3.2 整数の合同によって定義される環
ある l ∈ Z が存在して
a - b = nl となるとき a ≡ b (mod n) と書くことにする。
このときこの
関係は同値関係である。その a を含む同値類は
a + nZ = {b ∈ Z | a ≡ b (mod n)} = {a + nl | l ∈ Z}
であった。異なる同値類全体の集合は
Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}
である。
(引用終り)
以上
398:１３２人目の素数さん
19/09/20 07:16:34.45 DPgtgKl0.net
>>358
1 は次からこのタイトルでスレ立てなｗ
「公理的集合論ZFCはインチキだらけ」
そうすれば貴様が●チガイだと読者にもはっきりわかる
399:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/20 07:18:36.78 ihE7M+Qz.net
>>361
>「有限集合を、有限個の元からなる集合と定義する」
>と理解すればいいところをわざわざ
ヒトの哲学的定義を否定するおサル
要するに、無限集合を”有限集合”以外と定義したいわけ
そして、”有限集合”の範疇を、常識的な有限集合に限定したいわけ
そうしないと、”有限集合”と”無限集合”の哲学的な分離ができないってわけさ
ヒトの”有限集合”と”無限集合”の哲学的定義を否定するおサルｗ（＾＾；
400:１３２人目の素数さん
19/09/20 07:20:10.55 DPgtgKl0.net
>>362
>Z/nZ 函手→ Z-加群の圏 （mod nと類別を忘れる忘却函手）
中身がないね
さすが1は正真正銘の白痴だねｗ
Z/nZの要素は0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZのn個だけ
そこからZへの全射は逆立ちしても不可能ｗｗｗｗｗｗｗ
401:哀れな素人
19/09/20 07:23:09.88 RIksxmlw.net
ID:DPgtgKl0
これはサル石である（笑
>諦めて首掻き切って死になw
こんなレスを書く奴はサル石しかいない（笑
402:１３２人目の素数さん
19/09/20 07:23:35.07 DPgtgKl0.net
>>365
＞ヒトの哲学的定義を否定するおサル
1はヒトに非ず サルどころかイヌですらない
哺乳類が有する知能を有していないｗ
＞要するに、無限集合を”有限集合”以外と定義したいわけ
＞そして、”有限集合”の範疇を、常識的な有限集合に限定したいわけ
1 一匹の常識は、人類の常識に非ず
＞そうしないと、”有限集合”と”無限集合”の哲学的な分離ができないってわけさ
1の哲学 ＝ ただの独善ｗ
1は人間失格だから、よその板でトンデモ集合論ネタでも書いときなｗ
403:１３２人目の素数さん
19/09/20 07:25:31.01 DPgtgKl0.net
>>367
君は本拠地に蟄居してなさいｗ
ボクはそっちには書かないから安心しなさい
君の書くことはどれもこれもつまらん
トンデモとしても二流だねｗ
404:１３２人目の素数さん
19/09/20 07:29:59.75 DPgtgKl0.net
1の今日の名言
「ヒトの”有限集合”と”無限集合”の哲学的定義」
1は「哲学者」ということらしいです
これからソンケーの念を込めてテツガクシャと呼んであげましょう
２１世紀のアリストテレス 爆誕ｗｗｗｗｗｗｗ
405:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/20 08:13:25.71 ihE7M+Qz.net
>>366
>Z/nZの要素は0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZのn個だけ
>そこからZへの全射は逆立ちしても不可能ｗｗｗｗｗｗｗ
（>>328より）
下記信州大 代数入門 （花木章秀先生）より
”同値類全体の集合は
Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ
で
0 + nZ＝{・・,-2n,-n,0,n,2n,・・}
1 + nZ＝{・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・}
以下略
だから
Z/nZ = {{・・,-2n,-n,0,n,2n,・・}, {・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・}, ・ ・ ・ ,{・・,-n-1,-1,n-1,2n-1,3n-1,・・}}
↓全射（内側の{}を外すだけ）
Z ={・・,-2n,-n,0,n,2n,・・ , ・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・ , ・ ・ ・ , ・・,-n-1,-1,n-1,2n-1,3n-1,・・}
逆立ちしたら”全射”ができました（＾＾
（参考）
URLﾘﾝｸ(math.shinshu-u.ac.jp)
代数学入門
花木 章秀
2013 年前期
(2013/04/01)
(抜粋)
P29
3.2 整数の合同によって定義される環
ある l ∈ Z が存在して
a - b = nl となるとき a ≡ b (mod n) と書くことにする。
このときこの
関係は同値関係である。その a を含む同値類は
a + nZ = {b ∈ Z | a ≡ b (mod n)} = {a + nl | l ∈ Z}
であった。異なる同値類全体の集合は
Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}
である。
(引用終り)
406:哀れな素人
19/09/20 10:18:45.70 RIksxmlw.net
>君の書くことはどれもこれもつまらん
>トンデモとしても二流だねｗ
お前のアホさがよく分る（笑
407:１３２人目の素数さん
19/09/20 10:23:44.25 Sovgh4Ov.net
>>367
哀れな素人さん、スレ主です。
レスありがとうございます
スマホからなので、とりあえず
お礼まで(^_^)
408:１３２人目の素数さん
19/09/20 13:19:40.38 KyAOfC1j.net
1945
かずきち@dy_dt_dt_dx 8月28日
学コン8月号Sコース1等賞1位とれました！
マジで嬉しいです！
来月からも理系に負けず頑張りたいと思います！
URLﾘﾝｸ(twi)
409:tter.com/dy_dt_dt_dx (deleted an unsolicited ad)
410:１３２人目の素数さん
19/09/20 18:57:51.11 DPgtgKl0.net
>>371
>Z/nZ = {{・・,-2n,-n,0,n,2n,・・}, {・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・}, ・ ・ ・ ,{・・,-n-1,-1,n-1,2n-1,3n-1,・・}}
> ↓全射（内側の{}を外すだけ）
>Z ={・・,-2n,-n,0,n,2n,・・ , ・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・ , ・ ・ ・ , ・・,-n-1,-1,n-1,2n-1,3n-1,・・}
>逆立ちしたら”全射”ができました
これはヒドイ・・・
{}を外すだけじゃ写像にならないことも分からん馬鹿なのか？
Q. Z/nZの元{・・,-2n,-n,0,n,2n,・・}はZのどの元に写像されるか？
Zの元を1つ挙げよ（2つ以上あったら写像ではない！）
411:１３２人目の素数さん
19/09/20 19:00:35.04 DPgtgKl0.net
馬鹿に問題だ
Z/2Z={{0,2,4,…},{1,3,5,…}}とする
1) Z/2Zの元を全て列挙せよ
2) Z/2Zの部分集合を全て列挙せよ
412:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/20 23:19:04.85 ihE7M+Qz.net
>>375
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな～ｗ（＾＾
論破しますｗ
>Z/nZ = {{・・,-2n,-n,0,n,2n,・・}, {・・,-2n+1,-n+1,1,n+1,2n+1,3n+1,・・}, ・ ・ ・ ,{・・,-n-1,-1,n-1,2n-1,3n-1,・・}}
> ↓全射（内側の{}を外すだけ）
>Z ={・・,-2n,-n,0,n,2n,・・ , ・・,-2n+1,-n+1,1,n+1,2n+1,3n+1,・・ , ・ ・ ・ , ・・,-n-1,-1,n-1,2n-1,3n-1,・・}
全射できてるよ（＾＾
（内側の{}を外して、展開すると下記だ）
Z/nZ→Z
・ →・
-2n→-2n
-n→-n
0 →0
n →n
2n→2n
-2n+1→-2n+1
-n+1→-n+1
n+1→n+1
2n+1→2n+1
3n+1→3n+1
-n-1→-n-1
-1→-1
n-1→n-1
2n-1→2n-1
3n-1→3n-1
以下同様です
内側の{}を外すだけで、即全射ｗ（＾＾
要するに、
0 + nZ＝{・・,-2n,-n,0,n,2n,・・}
1 + nZ＝{・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・}
・
・
は、各無限集合です
Zをｎ個の無限集合に、合同で分けたものがZ/nZと考えれば、これは無限集合でしょう（＾＾
（参考）
URLﾘﾝｸ(hiroyukikojima.hatenablo)ｇ.com/entry/20140606/1402035822
hiroyukikojima’s blog
2014-06-06
「同じと見なす」ことの素晴らしさと難しさ
413:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/20 23:20:21.93 ihE7M+Qz.net
>>376
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな～ｗ（＾＾
必死の論点そらし、ご苦労さん
まあ、下記でもご参照
「表記と慣例」
「同値類を表すのに代表元に施す角括弧をしばしば省略して、代表元とそれが属する合同類とを同じ文字で表す」
「合同類を表す符牒が無数にあるという不定性を除くために、各合同類から「標準的」(canonical) な代表元を選んで、それと合同類とを同一視することもよく行われる」
そのうえでの、「Z/2Z = {0, 1} 」ってですよ（＾＾；
同一視は、上記の”hiroyukikojima” ”「同じと見なす」ことの素晴らしさと難しさ”
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
剰余類環
(抜粋)
本項は剰余類環 Z/nZ の代数的な定義と性質について述べる。合同類別に関するより平易な導入については整数の合同を参照のこと。
定義
n >= 2 を自然数とする。n で割った剰余が等しい整数をすべて集めたものを、「n を法とする」合同類あるいは剰余類と呼ぶ。
代表元 (representive, Vertreter)
a の属する剰余類を [a] と表
表記と慣例について
Z/nZ と書くのが、面倒だがもっとも誤解は少ないだろう。
記号の濫用だが、記述の面倒を避けるため慣例的に、同値類を表すのに代表元に施す角括弧をしばしば省略して、代表元とそれが属する合同類とを同じ文字で表す。
同じ合同類を表すのに無数の符牒が与えられていることになる。
慣例的に合同類を表す符牒が無数にあるという不定性を除くために、各合同類から「標準的」(canonical) な代表元を選んで、それと合同類とを同一視することもよく行われる。
性質
任意の自然数 n >= 2 に対して Z/nZ は、nZ を零元、1 + nZ を単位元とする可換環を成す。
慣例的に合同類を表す符牒が無数にあるという不定性を除くために、各合同類から「標準的」(canonical) な代表元を選んで、それと合同類とを同一視することもよく行われる。
2 を法とする剰余類環
整数を 2 で割った剰余は 0 か 1 となるから、Z/2Z = {0, 1} であり、これはすべての剰余類環のなかで位数最小のものである。また、2 は素数なのでこれは位数最小の有限体 F2 とも一致する。
つづく
414:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/20 23:21:17.83 ihE7M+Qz.net
>>378
つづき
一般化
剰余類の概念は整数環ではないほかの環に対しても考えることができる。イデアルの概念を定義して、イデアルを法とする剰余類を構成すれば、それらの全体は再び環を成し、環のイデアルによる剰余（類）環あるいは商環と呼ばれる。
URLﾘﾝｸ(ja.wikipedia.org)
整数の合同
(抜粋)
合同類環 Z/nZ
加法: 二つの剰余類 a, b に対して剰余類 a + b modulo n を割り当てる。理論的には整数の加法と異なる和であるから別の記号で表すべきであるかもしれないが、簡便さを保つために整数の和と同じ記号 "+" をそのまま使うことも多い。
合同類環 Z/nZ の構成は環のイデアルによる商構成である。環 Z/nZ の代数的性質に関しては合同類環の項へ譲る。
(引用終り)
以上
415:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/20 23:37:26.42 ihE7M+Qz.net
>>374
>学コン8月号Sコース1等賞1位とれました！
おめでとう
それは、良かったですね（＾＾
416:１３２人目の素数さん
19/09/21 00:17:32.58 svbXdWN6.net
整数は偶数と奇数という２種類しか無い。
だからZ/2Zは2元集合であって3元集合でも無限集合でもない。
「～の視点で見れば…」などという主観が入り込む余地は無い。
そもそも主観に依存するならそれは数学ではない。
バカ丸出し
417:１３２人目の素数さん
19/09/21 00:25:45.49 svbXdWN6.net
>>335
>まあ、コウモリが、鳥か獣かという話みたいなもので、視点（数学では定義）によって、見方は変わる
と商集合の定義も理解できないバカが申しております
418:１３２人目の素数さん
19/09/21 00:33:01.47 svbXdWN6.net
>>371
>だから
>Z/nZ = {{・・,-2n,-n,0,n,2n,・・}, {・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・}, ・ ・ ・ ,{・・,-n-1,-1,n-1,2n-1,3n-1,・・}}
> ↓全射（内側の{}を外すだけ）
>Z ={・・,-2n,-n,0,n,2n,・・ , ・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・ , ・ ・ ・ , ・・,-n-1,-1,n-1,2n-1,3n-1,・・}
>逆立ちしたら”全射”ができました（＾＾
外すだけってｗ 外したら全く違う集合になるんだがｗ
キチガイ過ぎるｗ
419:１３２人目の素数さん
19/09/21 05:55:57.99 s+bHRCsH.net
>>377
>Zをｎ個の無限集合に、合同で分けたものがZ/nZと考えれば、
>これは無限集合でしょう
これはヒドイ・・・
>・ →・
>-2n→-2n
>-n→-n
>0 →0
>n →n
>2n→2n
左辺はZ/nZの要素ではないので×
以下同様ｗ
ホント頭悪いね
420:１３２人目の素数さん
19/09/21 06:05:59.58 s+bHRCsH.net
>>378
>必死の論点そらし、ご苦労さん
必死の回答拒否、ミットモナイｗ
>>376の質問に答えられない時点で
テツガクシャ1は要素と部分集合が理解できてない
と白状したわけだｗ
>Z/2Z={{0,2,4,…},{1,3,5,…}}とする
>1) Z/2Zの元を全て列挙せよ
答えは{0,2,4,…}と{1,3,5,…}の２つ
0,1,2,3,4,5,…とか答えるテツガクシャ1は
正真正銘の白痴ｗ
>2) Z/2Zの部分集合を全て列挙せよ
答えは{},{{0,2,4,…}},{{1,3,5,…}},{{0,2,4,…},{1,3,5,…}}の４つ
{0,2}とか{1,3}とか答えるテツガクシャ1は
正真正銘の白痴ｗ
ついでにいえば{{0,2,4,…},{1,3,5,…}}と{0,1}は別の集合
「同じとみなす」を「同じである」と読むのは白痴ｗ
421:１３２人目の素数さん
19/09/21 06:16:11.78 s+bHRCsH.net
>>381
テツガクシャ1は、実にしばしば
「ある意味…」「～の視点で見れば…」
という言葉を吐くが、はっきりいって
他人の言葉を理解せず、自分勝手な先入見を
正当化したいための詭弁にすぎない
教科書で言葉を定義した瞬間、
読者の自分勝手な「オレ様定義」は
入り込む余地がなくなる
クライアントが要求を出した瞬間、
設計者がそれを変更する余地はなくなる
テツガクシャ1は、クライアントの要求を誤解した時点で設計者失格
もし、こいつが仕事でプログラム書いてるなら、バグが出るのは必至
客「なんでZ/2Zの要素で２とか３とか出てくるんだ？バグだろ！」
１「バグじゃありません。そういう仕様ですから。」
馬鹿丸出しの言い訳ｗｗｗ
422:１３２人目の素数さん
19/09/21 06:25:31.84 s+bHRCsH.net
■集合{…}から要素を取り出す最も簡単な方法
一番外側の{}を外すだけｗ
そこで現れた要素が集合であって、{}で括られてたからといって
さらに{}を外す奴は正真正銘の馬鹿ｗ
■集合{…}から部分集合を作る最も簡単な方法
一番外側の{}だけを外し、そこで現れた各要素の中から
勝手に選んで、再度{}をつけるだけ
内側の{}なんかまったくいじる必要がない
内側の{}まで外そうとする奴は正真正銘の馬鹿ｗ
423:１３２人目の素数さん
19/09/21 06:32:17.88 s+bHRCsH.net
>>365
アリストテレス以来、哲学者というのは
「自分勝手な先入見を、真実であるかの如く語る●違い」
と相場が決まっている
この板でも、「２１世紀のホッブス
424:」である惨めな素人が 無限小数なんて存在しない！と発●しつづけている 我々は アリストテレスに対するアルキメデス ホッブスに対するウォリス の立場で発言し続ける それが「反哲学者」としての数学者というものだ
425:１３２人目の素数さん
19/09/21 06:43:21.67 s+bHRCsH.net
>>379
＞コウモリが、鳥か獣か
今やDNA解析で系統樹は構築されるので
「ある意味…」「～の視点で見れば…」
という言い訳はここでも無意味である
426:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/21 07:34:34.45 RSxZzkRi.net
>>378 補足
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな～ｗ（＾＾
必死の論点そらし、ご苦労さん
もう一度纏めます（＾＾
１）ヒトは、「同一視」と「同一」の区別ができる。おサルはできない。それに尽きるのかも
２）整数Zに合同（≡又はmod）を定義して、あるnによる同値類とその集合Z/nZを考える
３）Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}である
４）各0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZたちは、無限集合である
５）Z/nZは、剰余類環の表記と慣例により、各合同類から「標準的」(canonical) な代表元を選んで、
Z/nZ = {0, 1, ・ ・ ・ , (n - 1)} と簡素に表記される
（”=”は、「同一視」で、「同一」ではない）
なお、Z/2Z = {0, 1} である
正確に書けば、Z/2Z = {[0], [1]} で、[0], [1]は同値類。0, 1は、標準的な代表元である
６）だから、Z/nZから、合同による類別をやめれば、Zが復元できる
この意味で、Z/nZには、Zの元が全て入っている（集合論の厳密な”∈”とは別の意味で）
７）Z/nZの中の任意の整数mと、Zの元の中の任意の整数mとは、対応が付く
対応を、写像と考えることができる
８）繰返すが、ヒトは「同一視」と「同一」の区別ができる
Z/2Z = {0, 1} の”=”は、「同一視」だが、これを完全に「同一」と思い込んでしまうのはおサルです（＾＾
（参考）
URLﾘﾝｸ(hiroyukikojima.hatenablo)ｇ.com/entry/20140606/1402035822
hiroyukikojima’s blog 小島寛之
2014-06-06
「同じと見なす」ことの素晴らしさと難しさ
(抜粋)
この本には、複数のコンセプトが込められているのだけど、その中で非常に大きいのが、「同じと見なす」という数学固有のテクニックをこれでもか、というぐらいに徹底的に解説することだ。
「同じと見なす」ということを、数学の専門の言葉では「同一視」という。この「同じと見なす」という数学の手法は、高校までの数学ではほとんど表れない。
つづく
427:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/21 07:36:06.47 RSxZzkRi.net
>>390
つづき
URLﾘﾝｸ(math.shinshu-u.ac.jp)
代数学入門 花木 章秀 信州大 2013
(抜粋)
P29
3.2 整数の合同によって定義される環
ある l ∈ Z が存在して
a - b = nl となるとき a ≡ b (mod n) と書くことにする。
このときこの関係は同値関係である。その a を含む同値類は
a + nZ = {b ∈ Z | a ≡ b (mod n)} = {a + nl | l ∈ Z}
であった。異なる同値類全体の集合は
Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}である。
(引用終り)
URLﾘﾝｸ(ja.wikipedia.org)
剰余類環
(抜粋)
定義
n >= 2 を自然数とする。n で割った剰余が等しい整数をすべて集めたものを、「n を法とする」合同類あるいは剰余類と呼ぶ。
代表元 (representive, Vertreter)
a の属する剰余類を [a]
表記と慣例について
Z/nZ と書くのが、面倒だがもっとも誤解は少ないだろう。
記号の濫用だが、記述の面倒を避けるため慣例的に、同値類を表すのに代表元に施す角括弧([ ])をしばしば省略して、代表元とそれが属する合同類とを同じ文字で表す。
同じ合同類を表すのに無数の符牒が与えられていることになる。
慣例的に合同類を表す符牒が無数にあるという不定性を除くために、各合同類から「標準的」(canonical) な代表元を選んで、それと合同類とを同一視することもよく行われる。
性質
任意の自然数 n >= 2 に対して Z/nZ は、nZ を零元、1 + nZ を単位元とする可換環を成す。
2 を法とする剰余類環
整数を 2 で割った剰余は 0 か 1 となるから、Z/2Z = {0, 1} であり、これはすべての剰余類環のなかで位数最小のものである。また、2 は素数なのでこれは位数最小の有限体 F2 とも一致する。
URLﾘﾝｸ(ja.wikipedia.org)
整数の合同
(抜粋)
合同類環 Z/nZ
加法: 二つの剰余類 a, b に対して剰余類 a + b modulo n を割り当てる
理論的には整数の加法と異なる和であるから別の記号で表すべきであるかもしれないが、簡便さを保つために整数の和と同じ記号 "+" をそのまま使うことも多い。
(引用終り)
以上
428:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/21 07:49:35.47 RSxZzkRi.net
>>391 補足
(引用開始)
2 を法とする剰余類環
整数を 2 で割った剰余は 0 か 1 となるから、Z/2Z = {0, 1} であり、これはすべての剰余類環のなかで位数最小のものである。また、2 は素数なのでこれは位数最小の有限体 F2 とも一致する。
(引用終り)
”Z/2Z = {0, 1}”の”=”は、環としての「同一視」ですね
これを完全に「同一」とすることはできない
左辺と右辺とは、集合としては、完全に別ものですから（＾＾
429:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/21 08:03:13.33 RSxZzkRi.net
>>309 補足
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
アンジェイ・モストフスキ
(抜粋)
アンジェイ・モストフスキ(Andrzej Mostowski, 1913年9月1日 ? 1975年8月22日)はポーランドの数学者。モストフスキ崩壊補題で有名。 オーストリア＝ハンガリー帝国のリヴィウで生まれる。
生涯
1931年ワルシャワ大学に入学。クラトフスキ、アドルフ・リンデンバウム（英語版）、タルスキの影響を受ける。1939年博士号取得。公式にはクラトフスキに指導を受けたとされているが、実際には若かったタルスキから指導を受けていた。
彼はドイツのポーランド侵攻の後、会計士になった。しかし、隠れてワルシャワ大学で研究を続けていた。
1944年のワルシャワ蜂起の後、ナチスは彼を強制収容所に入れようとしたが、ポーランド人看護師
430:の助けを借りて病院に逃れた。 食糧を持っていくため、研究成果の詰まったノートを置いていくしかなかった。戦後、その一部は彼が再構成したがほとんどは不明のままである。 彼の研究の大部分は再帰理論と決定不能性についてである。1946年からカナダのバンクーバーで死去するまで、彼はワルシャワ大学で研究を続けた。その時の研究の大部分は、一階述語論理とモデル理論である。 子息 彼の息子のタデウスも数学者になり、微分幾何学の研究している[1]。Krzysztof Kurdykaとアダム・パルシンスキーと共に、ルネ・トムの en:gradient conjectureを2000年に解決した。 https://en.wikipedia.org/wiki/gradient_conjecture Gradient conjecture
431:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/21 08:07:52.98 RSxZzkRi.net
>>393 補足
モストフスキ崩壊補題の原論文PDFが下記にあるね
”1949,?theorem 3”らしい
URLﾘﾝｸ(en.wikipedia.org)
Mostowski collapse lemma
(抜粋)
In mathematical logic, the Mostowski collapse lemma, also known as the Shepherdson?Mostowski collapse, is a theorem of set theory introduced by Andrzej Mostowski (1949,?theorem 3) and John Shepherdson (1953).
References
URLﾘﾝｸ(matwbn.icm.edu.pl)
Mostowski, Andrzej (1949), "An undecidable arithmetical statement" (PDF), Fundamenta Mathematicae, Institute of Mathematics Polish Academy of Sciences, 36 (1): 143?164
432:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/21 08:33:30.48 RSxZzkRi.net
>>394 補足
>John Shepherdson (1953).
下記の”Akihiro Kanamori”のReferencesに、多く”Google Scholar”のリンクが張ってあって
jstorの”Full-text is available ”などに辿り着けるね
URLﾘﾝｸ(www.cambridge.org)
Bulletin of Symbolic Logic
Volume 2, Issue 1March 1996 , pp. 1-71
The Mathematical Development of Set Theory from Cantor to Cohen
Akihiro Kanamori
Extract
What follows is an account of the development of set theory from its beginnings through the creation of forcing based on these contentions, with an avowedly Whiggish emphasis on the heritage that has been retained and developed by current set theory. The whole transfinite landscape can be viewed as the result of Cantor's attempt to articulate and solve the Continuum Problem.
References
[1953] Shepherdson, John C., Inner models for set theory?Part III, The Journal of Symbolic Logic, vol. 18, pp. 145?167.CrossRef | Google Scholar
URLﾘﾝｸ(scholar.google.com)
↓（Google Scholar）
URLﾘﾝｸ(www.jstor.org)
Inner Models for Set Theory--Part III
JC Shepherdson - The Journal of Symbolic Logic, 1953 - JSTOR
Full-text is available
433:１３２人目の素数さん
19/09/21 11:12:38.79 svbXdWN6.net
>>390
>６）だから、Z/nZから、合同による類別をやめれば、Zが復元できる
> この意味で、Z/nZには、Zの元が全て入っている（集合論の厳密な”∈”とは別の意味で）
これは酷い
>７）Z/nZの中の任意の整数mと、Zの元の中の任意の整数mとは、対応が付く
> 対応を、写像と考えることができる
これは酷い
434:１３２人目の素数さん
19/09/21 11:41:52.87 s+bHRCsH.net
>>390-392
1は同一視という言葉で自分の主張をどう正当化したいのか不明
単に煙に巻きたいだけなら、そんなのこの板では通用しない
この板では1より馬鹿なヤツはまずいないｗ
そもそも1は>>376の質問に回答できなかった時点で負け犬ｗ
>>385で予想したようなトンチンカン回答は図星だったんだろうｗ
>>393-394
1はどういうつもりでモストフスキに固執するのか不明だが
そもそも∈や⊂の定義はモストフスキと無関係
自分の理解できないレベルの文章を読み間違えて
基本的な∈や⊂の理解すら間違える1は正真正銘の馬鹿ｗ