[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
253(1): 2019/09/16(月)17:59 ID:680EMxic(5/5) AAS
>>246
幼稚な主張だな
254: 2019/09/16(月)20:15 ID:4OYL0rf4(12/14) AAS
>>251-253
負け犬 吠えるｗｗｗ
255: 2019/09/16(月)20:16 ID:4OYL0rf4(13/14) AAS
スマホからアクセスとか完全にネットジャンキー
もう人間失格だね
256: 2019/09/16(月)20:17 ID:4OYL0rf4(14/14) AAS
AA省
257: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/16(月)20:30 ID:Snw5PyNp(4/6) AAS
>>246
ベン図に要素を書くことは可能だよ（下記 集合演算とヴェン図 橋本康二）
オイラー図ともいうが
外部ﾘﾝｸ[html]:www.u.tsukuba.ac.jp
集合演算とヴェン図 橋本康二
(抜粋)
この要素を列挙する集合の表記法は言語的というよりもむしろ図形的と言えるかもしれない。右の三つの列挙表記の二つの波括弧の部分を変形して接合して円にし、読点を省略し、数字を並び替えると、それぞれ図37?39のようになる。
これらを重ね合わせ、図39の円だけ凸レンズ状に変形すると図40になる。
画像ﾘﾝｸ[jpg]:www.u.tsukuba.ac.jp
外部ﾘﾝｸ:gihyo.jp
省15
258(1): 2019/09/16(月)20:32 ID:rsjGzKX5(1) AAS
> ベン図を、勝手に狭く解釈して(゜ロ゜;
> ダメダメだな
いつものスレ主らしい行動パターンだけれどもベン図にのみ
こだわっているから間違った結論に走るんだよね
別にベン図以外の他の方法を用いればよいだけのこと
外部ﾘﾝｸ:ja.wikipedia.orgハッセ図
> { x, y, z } の冪集合には包含による半順序があり、
> 次のようなハッセ図で表される
259(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/16(月)21:13 ID:Snw5PyNp(5/6) AAS
>>236
(引用開始)
＞別の素朴集合論の例を考えてみよう
＞１）ある会社A社があって、事業部が３つ、第一、第二、第三
＞２）各事業部には、部が３つ、第一、第二、第三
＞３）各部には、課が３つ、第一、第二、第三
＞４）A社＝{第一事業部、第二事業部、第三事業部}
＞ 以下同様に、集合で、部、課などとつづく
はい、ここ！４）！全くの誤りね
ヒエラルキー馬鹿の会社人間が必ず陥るミスだけど
省14
260(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/16(月)21:23 ID:Snw5PyNp(6/6) AAS
>>258
(引用開始)
ベン図にのみ
こだわっているから間違った結論に走るんだよね
別にベン図以外の他の方法を用いればよいだけのこと
外部ﾘﾝｸ:ja.wikipedia.orgハッセ図
> { x, y, z } の冪集合には包含による半順序があり、
> 次のようなハッセ図で表される
(引用終り)
そうそう
省9
261(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/17(火)00:06 ID:tQvoYsxH(1/2) AAS
メモ
外部ﾘﾝｸ[html]:elecello.com
elecello.com 近藤 友祐 (KONDO, Yusuke)
所属： 神戸大学 大学院システム情報学研究科 情報科学専攻 情報基礎講座 情報数理グループ(CS32) 博士課程前期課程
つくったもの集合論ノート
公理的集合論の話題を断片的に。 話題の順序には特に意味もなく，self-containedでもないし体系的でもありません。 小さなミスから致命的なミスまで，間違いが多く混入していると思います。これらのPDFの内容を鵜呑みにしないでください。
インターネットは常に有益であってほしいと願っています。インターネットの海を汚染したくないので， 誤りがあればメール等でご指摘いただけると有難く思います。修正または取り下げをします。
文書作成にあたって，テキストの丸写しにならないように心がけていますが，著作権的に問題がある箇所があればご一報願います。
外部ﾘﾝｸ[pdf]:elecello.com
集合論ノート 0005 モストフスキ崩壊補題 (Mostowski Collapse Lemma) 近藤友祐 初稿: 2018/02/22 更新: 2019/09/16
省11
262: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/17(火)00:14 ID:tQvoYsxH(2/2) AAS
メモ（ちょっと古いが、この程度のものを読んでおく方が、21世紀のテキストを読むにも役立つように思う）
外部ﾘﾝｸ:www.jstage.jst.go.jp
特集 数学基礎論 科学基礎論研究 September 1961
(抜粋)
プロローグ
以下のものを数学基礎論特集号と呼ぶことにはいくらかの弁明と解説とが必要であろう.
略
ともあれ我が国に於ける数学基礎論のグループの一断面を浮彫にするという点で数学基礎論特集号の名にふさわしいもの
と信ずるのである.(竹内外史)
集合論について 竹内外史
省3
263(1): 2019/09/17(火)02:01 ID:LgBBL85s(1) AAS
>>259
>>260
「スレ主の耳に数学」なだけで根拠は書き込んでありますよ
たとえば2 := {1}と定義できるがその場合1∈{1}, {1} = 2, 2∈偶数で
あっても1∈偶数ではないということです
いくらスレ主でも1は偶数ではないでしょ？
ベン図で偶数の集合と奇数の集合を書けば当然交わらない
> A社＝{第一事業部、第二事業部、第三事業部} と定義
省16
264(10): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/17(火)07:41 ID:V89w8T2p(1/4) AAS
>>263
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ
論破しますｗ
>自然数全体の集合 = {偶数全体の集合, 奇数全体の集合}は正しくない
>自然数全体の集合 = 偶数全体の集合 ∪ 奇数全体の集合は正しい
>ベン図で偶数の集合と奇数の集合を書けば当然交わらない
(>>193より、おれが書いたこと)
別の例を挙げよう（最初は素朴集合論ベースとして）
１）自然数の集合N、偶数の集合N2、奇数の集合Nodd
２）集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合)
省24
265(1): 哀れな素人 2019/09/17(火)08:05 ID:llJL+lru(1) AAS
スレ主よ、僕は今、以下のスレに書いている。
0.99999……は１ではない
2chｽﾚ:math
現代数学はインチキだらけ
2chｽﾚ:math
で、予想した通りだが、サル石が荒らしにやってきた（笑
で、サル石がどういう男か、2chの人間に知らせる絶好の機会だから、
サル石のこれまでの狂気の殺人願望や狂気の連投を、
ときどきでいいから、上のスレに貼ってくれ（笑
僕もこいつがどういう男であるかはメモしているから、
省4
266(2): 2019/09/17(火)08:26 ID:cqXT1Im6(1/2) AAS
>>264
> 自然数全体の集合N' = {偶数全体の集合, 奇数全体の集合}
> 自然数全体の集合N = 偶数全体の集合 ∪ 奇数全体の集合
> N ≠ N'
> そして、N'のベン図は描けて、
そりゃN'をベン図では書けますよ
ただしそれば自然数全体の集合Nのベン図ではないですよ
> その中に、2,4,6,・・・と、1,3,5,・・・と描けば良い
N'においてはこれが間違い
>>193
省13
267(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/17(火)18:06 ID:wyj1PwPR(1/2) AAS
>>265
哀れな素人さん、どうもスレ主です。
(引用開始)
0.99999……は１ではない
2chｽﾚ:math
現代数学はインチキだらけ
2chｽﾚ:math
(引用終り)
ああ、この二つは、哀れな素人さんが立てたスレでしたかｗ（＾＾
いやはや いやはやｗ
省19
268(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/17(火)18:22 ID:wyj1PwPR(2/2) AAS
>>266
どうもスレ主です。
おサルさん？
間違われるのがいやなら、コテつけてくれｗ（＾＾；
>そりゃN'をベン図では書けますよ
>ただしそれば自然数全体の集合Nのベン図ではないですよ
もともと
私スレ主が、「N ≠ N'」と言っているのだが？
>> その中に、2,4,6,・・・と、1,3,5,・・・と描けば良い
>N'においてはこれが間違い
省16
269(2): 2019/09/17(火)20:10 ID:mfJeWOr2(1/9) AAS
>>264
>自然数の集合N、偶数の集合N2、奇数の集合Nodd
>集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合)
>N ＝ N2∪Nodd ≠ N’
>ですが、集合N’とNは似ています
>例えば、ｓ＝{2,4,6}という集合は、NとN’両方に含まれます（部分集合）
これはヒドイｗ
s⊂Nだが、Not(s⊂N')だぞ
こんなウソ書いて恥ずかしくないのか、貴様
270(2): 2019/09/17(火)20:14 ID:mfJeWOr2(2/9) AAS
>>268
>笑える
こいつが「笑える」とほざいたら「もう勘弁して」の合図ｗ
>自分が言っていることが矛盾していること、分かりますか？ｗ
貴様のいってることのほうが矛盾
{N2,Nodd｝は、{}の中にも2も4も6もないのに
{2,4,6}が部分集合だとほざく貴様は真性の☆チガイ
271(2): 2019/09/17(火)20:17 ID:mfJeWOr2(3/9) AAS
>>267
＞論争には負けず嫌いで、なので屁理屈をこねくり回す
そりゃ、1、貴様だろｗ
公理でもなんでもない∈の推移性とかいう嘘理屈を根拠に
x∈y y∈z ならば x∈z だとほざく貴様は真性のサイコパス
これから貴様がスレを立てるたびに
貴様の恥ずかしい嘘理屈を書いて思いっきり嘲り笑ってやる
ギャハハハハハハ ハハハハハハハ！！！！！！！
272: 2019/09/17(火)20:36 ID:mfJeWOr2(4/9) AAS
AA省
273: 2019/09/17(火)20:38 ID:mfJeWOr2(5/9) AAS
AA省
274(1): 2019/09/17(火)20:39 ID:cqXT1Im6(2/2) AAS
>>268
> 自分が言っていることが
> 矛盾していること、分かりますか？ｗ（＾＾
スレ主の論理を使うと矛盾が生じることを示しているんですよ
全く自覚がないみたいだけど
>>264
> > 自然数全体の集合N’ = {偶数全体の集合, 奇数全体の集合}
> > 自然数全体の集合N = 偶数全体の集合 ∪ 奇数全体の集合
> > N ≠ N’
> > そして、N’のベン図は描けて、
省9
275(2): 2019/09/17(火)20:50 ID:mfJeWOr2(6/9) AAS
>>274
０＝{}
１＝｛０｝={{}}
２＝｛１｝＝{{{}}}
・・・
ってやり方だと、0∈1∈2だけど、0∈2にならないんだよね
０＝{}
１＝｛０｝={{}}
２＝｛０，１｝＝{{},{{}}}
・・・
省1
276(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/17(火)21:02 ID:V89w8T2p(2/4) AAS
>>269-271
こっち（ID:mfJeWOr2）が、ピエロ本体かｗ（＾＾
（>>266より）ID:cqXT1Im6さんの二つの主張アとイと
ア：B社＝{第一事業部, 第二事業部, 第三事業部, 第四事業部}
第一事業部第一部第一課の課員に、aさんというヒトがいるとする
a∈第一事業部第一部第一課 です！（>>233）
で B社だったら、一番外の丸が「B社だったら」という前提では当然「a∈B社」
イ：自然数全体の集合N' = {偶数全体の集合, 奇数全体の集合}
だから一番外の丸が「N'だったら」という前提では「偶数全体の集合」が
1つの(部分集合の)単位になるから「2 not∈N'」になるんですよ
省23
277: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/17(火)21:10 ID:V89w8T2p(3/4) AAS
>>276 訂正追加
３）まさか、{ヒトの身体}＝｛水素原子、酸素原子、炭素原子、鉄元素、・・・｝ではないよね
↓
３）{ヒトの身体}＝｛水素原子、酸素原子、炭素原子、鉄元素、・・・｝という見方も無くはないが、これだと魚類とかの差がなくなる
かな？ いろんな見方があっても良いと思うけどねー（＾＾；
278(1): 2019/09/17(火)21:18 ID:mfJeWOr2(7/9) AAS
>>276
＞B社だったら、一番外の丸が「B社だったら」という前提では当然「a∈B社」
それ、ID:cqXT1Im6の主張じゃなくて、貴様の>>264の主張の引用
＞B社だったら、”「a∈第一事業部第一部第一課」ならば「a∈B社」”ですよ
貴様、日本語も正しく読めない馬鹿か？ｗ
279(1): 2019/09/17(火)21:21 ID:mfJeWOr2(8/9) AAS
>>276
＞ >>269-271で一体全体、主張は、何なのだ？ｗ
分からないなら貴様に数学は無理だからもうこの板に書くな アホウ
280(1): 2019/09/17(火)22:11 ID:mfJeWOr2(9/9) AAS
>>276
＞{ヒトの身体}＝{｛頭｝、{ボディー}、{右腕}、{左腕}、{右足}、{左足} }
左辺は１つの要素しかない
右辺は６つの要素がある
この時点で間違ってるｗ
281(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/17(火)23:32 ID:V89w8T2p(4/4) AAS
>>278-280
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ
論破しますｗ
（>>278より）
＞B社だったら、一番外の丸が「B社だったら」という前提では当然「a∈B社」
それ、ID:cqXT1Im6の主張じゃなくて、貴様の>>264の主張の引用
１）おれの主張は、（>>233）
「A社＝{第一事業部、第二事業部、第三事業部}
a∈第一事業部第一部第一課 です！
一方、普通は、aさんは、A社の社員でもありますから
省15
282: 2019/09/17(火)23:43 ID:potPwQHR(1/3) AAS
>>264
>例えば、ｓ＝{2,4,6}という集合は、NとN’両方に含まれます（部分集合）
↑が大間違いであることは既に示している。なにが論破しますだバカ。
アホのくせに間違いの指摘を読むことすらしない大柄さに只々呆れるばかり。
もうおまえいいから死ねよ
283: 2019/09/17(火)23:58 ID:potPwQHR(2/3) AAS
指摘されて気付く普通のバカは救い様が有る
サル畜生は救い様が無い
284: 2019/09/17(火)23:58 ID:potPwQHR(3/3) AAS
救い様の無いバカは死ぬしかない
さっさと死ね
285(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/18(水)06:47 ID:3KrCaRK2(1/10) AAS
>>281 追加
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ
論破しますｗ
(引用開始)
おサルの主張は、（>>236）
「会社は部の集合ではありませんｗ
（ついでにいうと部は課の集合ではないｗ）
会社は社員の集合ですからｗ」
(引用終り)
「A社＝{第一事業部、第二事業部、第三事業部}
省23
286(1): 2019/09/18(水)06:54 ID:wvXbGob9(1/19) AAS
>>281
誤 論破します
正 論破されました
P.S.
>じゃ
>ヒトの身体＝{｛頭｝、{ボディー}、{右腕}、{左腕}、{右足}、{左足} }
>に訂正します。これだったら、どうだ？ｗ
なんで頭、ボディー、右腕、左腕、右足、左足に
いちいち｛｝がついてんの？ アタマおかしい？ｗ
287(2): 2019/09/18(水)07:00 ID:wvXbGob9(2/19) AAS
>>285
＞ボディーも、{心臓}とか{肺}とか、適切なレベルで切らないと
なんで心臓や肺に｛｝ついてんの？アタマおかしい？ｗ
別にボディーはヒトの身体の要素でなく部分集合でいいし
心臓や肺もさらにボディーの要素でなく部分集合でいい
ついでにいえば、原子いや素粒子（陽子とか中性子とか
もっといえばクォークとかｗ）も要素でなく部分集合でいい
その場合アトムはなんなのかということになるが、
数学的には空間R^3の部分集合だから、
アトムはR^3上の点だな
省2
288(1): 2019/09/18(水)07:27 ID:wvXbGob9(3/19) AAS
AA省
289(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/18(水)07:38 ID:3KrCaRK2(2/10) AAS
>>261 補足説明
(引用開始)
外部ﾘﾝｸ[pdf]:elecello.com
集合論ノート 0005 モストフスキ崩壊補題 (Mostowski Collapse Lemma) 近藤友祐 初稿: 2018/02/22 更新: 2019/09/16
(引用終り)
ここに出てくる”推移的”、”set-like”、”整礎的”、”外延的”、”クラス”の補足、下記ご参照
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
二項関係
(抜粋)
省21
290: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/18(水)07:38 ID:3KrCaRK2(3/10) AAS
>>289
つづき
外部ﾘﾝｸ:ja.wikipedia.org
クラス (集合論)
(抜粋)
公理的集合論におけるクラス
ZFではクラスの概念を定式化することはできないので、クラスはメタ言語による同値な言明で置き換えることで扱うことになる。
例えば、AをZFを解釈する構造として、メタ言語での表現 {x｜ x=x} のAにおける解釈は、Aの議論領域に属する要素全ての集まり（つまり、Aにおける集合すべての集まり）である。
ゆえに、「全ての集合の成すクラス」を述語 x = xと（あるいはそれに同値な述語と）同一視することができる。
ZF集合論ではクラスを厳密に扱うことができないので、ZF の公理系をそのままクラスに関する言明に適用することはできない。
省9
291(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/18(水)07:40 ID:3KrCaRK2(4/10) AAS
>>288
あほサルのお得意AAね
おっさん、アホか（＾＾；
292(1): 2019/09/18(水)07:41 ID:wvXbGob9(4/19) AAS
>>289
〇〇の一つのモストフスキｗｗｗ
でも、根本的にわかってないからダメダメだね
293: 2019/09/18(水)07:42 ID:wvXbGob9(5/19) AAS
AA省
294: 2019/09/18(水)07:43 ID:wvXbGob9(6/19) AAS
AA省
295(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/18(水)07:43 ID:3KrCaRK2(5/10) AAS
>>286-287
＞なんで頭、ボディー、右腕、左腕、右足、左足に
＞いちいち｛｝がついてんの？ アタマおかしい？ｗ
＞ボディーも、{心臓}とか{肺}とか、適切なレベルで切らないと
大して意味はないが
例えば、{心臓}が、原子から成る集合だということを強調しているだけ（＾＾；
296(1): 2019/09/18(水)07:46 ID:wvXbGob9(7/19) AAS
>>295
＞＞なんで頭、ボディー、右腕、左腕、右足、左足に
＞＞いちいち｛｝がついてんの？ アタマおかしい？ｗ
＞大して意味はないが
意味のないことするのが馬鹿の特徴ｗ
＞例えば、{心臓}が、原子から成る集合だということを強調しているだけ
それなら 心臓＝｛原子１、原子２、・・・｝だな
｛｝の中に心臓をいれたら、心臓が要素という意味
お前、集合論の初歩から全然わかってないなｗｗｗｗｗｗｗ
297(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/18(水)07:46 ID:3KrCaRK2(6/10) AAS
>>292
モストフスキが分かっていないのは、おまえの>>275
あとで、教えてやるよ（＾＾；
298(2): 2019/09/18(水)07:48 ID:wvXbGob9(8/19) AAS
>>297
無理無理、お前、全然分かってないもん
もう、モストフスキは忘れろ
お前、初歩から間違ってる白痴だからｗｗｗｗｗｗｗ
299(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/18(水)07:58 ID:3KrCaRK2(7/10) AAS
>>296
>それなら 心臓＝｛原子１、原子２、・・・｝だな
>｛｝の中に心臓をいれたら、心臓が要素という意味
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ
論破しますｗ
(引用開始)
おサルの主張は、（>>236）
「会社は部の集合ではありませんｗ
（ついでにいうと部は課の集合ではないｗ）
会社は社員の集合ですからｗ」
省17
300(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/18(水)07:58 ID:3KrCaRK2(8/10) AAS
>>298
モストフスキにおびえるサルｗ（＾＾；
301(1): 2019/09/18(水)09:57 ID:zy3SeO75(1/2) AAS
おっちゃんです。
自然数の定義やベン図の話しているのか。
0＝Φ、
1＝{0}＝{Φ}、
2＝{0、1}＝{Φ、{Φ}}、
3＝{0、1、2}＝{Φ、{Φ}、{Φ、{Φ}}}、
……
というように、各正整数 i＝1,2,3,… に対して、集合iをすべてのiより小さい自然数からなる集合族で定義する。
以降、同様に正整数iの集合iをすべてのiより小さい自然数からなる集合族として、
iの正整数の大小が小さい方から帰納的に定義して行く。
省7
302(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/18(水)10:06 ID:fhLrN2ai(1/3) AAS
メモ
外部ﾘﾝｸ:www.nikkei.com
IT企業の売上高、5社で7割稼ぐ 勝者総取りの力学
Neo economy(2)姿なき富を探る
2019/9/17 23:00日本経済新聞 電子版
(抜粋)
自らの知識やアイデアを極め、ヒトのように動くロボットをつくりたい――。
そんな夢を追う元東大助教の中西雄飛氏が当時の米グーグルの上級副社長、アンディ・ルービン氏から「20年かけてでも大きな夢を実現しよう」と誘われたのは2013年。
仲間と立ち上げた二足歩行ロボットの開発ベンチャー「シャフト」を売却するきっかけだった。ところがルービン氏が退社すると、グーグルは短期の収益が期待できないとして18年にシャフトを解散。5年で見切りを付けた。
まだ形になっていない技術革新の芽を次々と買うグーグルなど「GAFA」。
省2
303: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/18(水)10:07 ID:fhLrN2ai(2/3) AAS
>>301
おっちゃん、どうも、スレ主です。
お元気そうでなによりです。（＾＾
304: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/18(水)10:09 ID:fhLrN2ai(3/3) AAS
>>302
関連追加
外部ﾘﾝｸ:www.nikkei.com
企業価値の源は8割無形 重み増す知識、割食う賃金
Neo economy（1）姿なき富を探る
2019/9/16 23:30日本経済新聞 電子版
知識やデータなど姿なき資産が富の源泉となり、経済はモノや距離、時間といった物理的な制約から解き放たれ始めた。どんな豊かさやリスクが広がるのか。
【関連記事】
・識者に聞く（1） 無形資産の果実、消費者に
・無形資産投資、米欧はGDP比10%超も 日本出遅れ
省1
305: 2019/09/18(水)16:52 ID:zy3SeO75(2/2) AAS
それじゃ、おっちゃんもう寝る。
306(1): 2019/09/18(水)19:12 ID:wvXbGob9(9/19) AAS
>>299
誤 論破します
正 論破されました
>集合A社＝{第一事業部、第二事業部、第三事業部、AI研究所}も、
>集合N’＝{N2,Nodd}も禁止されているわけではない
「社員が要素だ」といいたいのなら、上記のA社は×
「個々の自然数が要素だ」といいたいのなら、上記のN'は×
部分集合だと考えればいいものをわざわざ要素にするのが馬鹿
mod2の算術を考えるのに、
余りによる同値類の集合ということで
省18
307(3): 2019/09/18(水)19:19 ID:wvXbGob9(10/19) AAS
午後、書店に立ち寄ったら
キューネン著 藤田博司訳「集合論」（日本評論社）
があったので、ちょっと中身を見てみたら
「第１章 公理的集合論の基礎」の「7 順序数」（ｐ２１）
のところで、推移的集合でない集合の例として{{{}}}（文中では{{0}}）
順序数でない集合の例として{{{{}}},{{}}.{}}（文中では{{{0}},{0},0}）
がしっかりでてたぞ
これで1が間違ってることは確定したなｗ
どうした？モストフスキｗ
（キューネンにもモストフスキ云々は出てくるがもっと後ｗ）
308: 2019/09/18(水)19:23 ID:wvXbGob9(11/19) AAS
>>307
誤 順序数でない集合
正 順序数でない推移的集合
309(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/18(水)20:48 ID:3KrCaRK2(9/10) AAS
>>307
>キューネン著 藤田博司訳「集合論」（日本評論社）
下記だね。英文版あるよ（＾＾
（いまやってみたら、リンクは有効だね）
モストフスキまで、読んだ方が良いと思うよｗ（＾＾；
スレ75 2chｽﾚ:math
より
スレ61 2chｽﾚ:math
Kunen, Kenneth (1980), Set TheoryのPDFなど見つけたんだよね
これは、藤田 博司先生の日本語版を持っている人には役に立つだろう（＾＾
省22
310(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/18(水)20:53 ID:3KrCaRK2(10/10) AAS
>>307
＞キューネン著 藤田博司訳「集合論」（日本評論社）
＞があったので、ちょっと中身を見てみたら
下記の方の理解は進んだかい？ｗ（＾＾
（>>299より）
(引用開始)
おサルの主張は、（>>236）
「会社は部の集合ではありませんｗ
（ついでにいうと部は課の集合ではないｗ）
会社は社員の集合ですからｗ」
省12
311: 2019/09/18(水)20:56 ID:wvXbGob9(12/19) AAS
AA省
312: 2019/09/18(水)20:58 ID:wvXbGob9(13/19) AAS
AA省
313: 2019/09/18(水)21:01 ID:wvXbGob9(14/19) AAS
AA省
314: 2019/09/18(水)21:04 ID:wvXbGob9(15/19) AAS
AA省
315: 2019/09/18(水)21:07 ID:wvXbGob9(16/19) AAS
AA省
316: 2019/09/18(水)21:10 ID:Z1DjOgU6(1/3) AAS
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は素数) のとき必ず素数になる
317: 2019/09/18(水)21:11 ID:wvXbGob9(17/19) AAS
AA省
318: 2019/09/18(水)21:12 ID:Z1DjOgU6(2/3) AAS
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
319: 2019/09/18(水)21:14 ID:wvXbGob9(18/19) AAS
AA省
320: 2019/09/18(水)21:15 ID:Z1DjOgU6(3/3) AAS
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
321: 2019/09/18(水)21:18 ID:wvXbGob9(19/19) AAS
AA省
322: 2019/09/18(水)22:49 ID:DounDdrn(1/5) AAS
>>287
>別にボディーはヒトの身体の要素でなく部分集合でいいし
要素と部分集合の区別がつかないんでしょうね
頭悪過ぎて
323: 2019/09/18(水)22:53 ID:DounDdrn(2/5) AAS
>>291
アホはどう見てもおまえ
早く近所の中学生に教わってこい
324: 2019/09/18(水)22:55 ID:DounDdrn(3/5) AAS
>>295
近所の中学生に要素と部分集合の違いを教わってこいバカ
325: 2019/09/18(水)23:00 ID:DounDdrn(4/5) AAS
>>299
>コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ
自惚れるな
おまえはレベルが低いなんていう次元じゃない、ランク外
中学生はお前みたいなアホなこと言わんぞ？
326: 2019/09/18(水)23:15 ID:DounDdrn(5/5) AAS
2chｽﾚ:math
が証明になってると信じて疑わないアホに数学は到底無理
327: 2019/09/19(木)00:01 ID:CKGg5Ajl(1) AAS
往生際が悪すぎ
328(6): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)00:48 ID:MSw7Rbq1(1/14) AAS
>>306
(引用開始)
その場合、個々の自然数を要素とすることはしませんよ
同値類から代表元をとって
{0,1}という別集合を考える
というのはありますがね
(引用終り)
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ
論破しますｗ
(引用開始)
省25
329(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)00:49 ID:MSw7Rbq1(2/14) AAS
>>328
つづき
（参考）
外部ﾘﾝｸ:math.shinshu-u.ac.jp
代数入門 花木章秀 信州大学理学部数学科
外部ﾘﾝｸ[pdf]:math.shinshu-u.ac.jp
代数学入門
花木 章秀
2013 年前期
(2013/04/01)
省19
330: 2019/09/19(木)06:31 ID:7GQwcv+X(1/9) AAS
>>328
>”同値類全体の集合は
>Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}”
>Z/nZは、明らかに有限集合ではない
完全な誤りｗ
Z/nZは、明らかに有限集合
>Z/nZは無限集合を類別した集合ですし、
省16
331: 2019/09/19(木)06:33 ID:7GQwcv+X(2/9) AAS
>>329
＞サイコパス性格（屁理屈を使ってでも相手に反論しないと気が済まない）が出ているな
1のサイコパス性格がでているな
Z/nZが無限集合とか、どんだけ低レベルの馬鹿なんだよｗｗｗｗｗｗｗ
332: 2019/09/19(木)06:40 ID:7GQwcv+X(3/9) AAS
＞コケコッコー（おれ）もレベル低いけど、おサルも低レベルだな〜
1が実に初歩レベルの誤りを繰り返してるだけ
貴様にモストフスキとか無理だし無駄だから
そういう高レベルな話をしないだけ
333: 2019/09/19(木)06:42 ID:7GQwcv+X(4/9) AAS
>>328
＞そう考えないと、代数学（入門）は難しくなりますよ
同値類の集合すら理解できないんじゃ
1が正規部分群を誤解するのも無理ないな・・・
334: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)07:06 ID:MSw7Rbq1(3/14) AAS
>>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}
↓
省2
335(7): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)07:40 ID:MSw7Rbq1(4/14) AAS
(引用開始)
>”同値類全体の集合は
>Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}”
>Z/nZは、明らかに有限集合ではない
完全な誤りｗ
Z/nZは、明らかに有限集合
(引用終り)
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ
論破しますｗ
下記、大学数学の”「同一視する」という考え方”、分かりますか〜ｗ（＾＾；
省24
336(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)07:41 ID:MSw7Rbq1(5/14) AAS
>>335
つづき
例をあげるなら、平面上の4点A, B, C, Dに対して、ABCDが平行四辺形となっている場合、[ベクトルAB]と[ベクトルDC]は等しいと定義され、[ベクトルAB]=[ベクトルDC]という等号で結ばれる。
しかし、よくよく考えると、ABのある場所とDCのある場所は異なっているのだから、どう見ても、これは異なるもののように思える。なのに、等号で結べるのはどうしてか、といえば、それは「同じと見なす」と定義をしているからに他ならない。
実は、こういうことは、それ以前にも知らず知らずのうちに何回も経験しているのだ。ただ、そう意識していないから、記憶に残らないだけなのである。
(引用終り)
(>>264より)
ほんと、コケコッコー（おれ）もレベル低いけど、おサルも低レベルだな〜ｗ（＾＾
（つーか、いまふと思ったが、彼のサイコパス性格（屁理屈を使ってでも相手に反論しないと気が済まない）が出ているなー(>>2ご参照）。すげー、低レベルの屁理屈反論ｗ（＾＾； ）
以上
337(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)07:51 ID:MSw7Rbq1(6/14) AAS
"∈による順序"について、分り易い説明を思いついたので書いてみるよ（＾＾
１）まず、>>310の追加補足
(おサル >>275より）
０＝{}
１＝｛０｝={{}}
２＝｛１｝＝{{{}}}
・・・
ってやり方だと、0∈1∈2だけど、0∈2にならないんだよね
０＝{}
１＝｛０｝={{}}
省28
338(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)07:52 ID:MSw7Rbq1(7/14) AAS
>>337
つづき
２）さて、下記のように考えてみよう
（参考）
外部ﾘﾝｸ:www.sci.shizuoka.ac.jp 数学基礎論サマースクール 選択公理と連続体仮説
外部ﾘﾝｸ[pdf]:www.sci.shizuoka.ac.jp
公理的集合論の基礎 酒井 拓史 神戸大学 2019 年 数学基礎論サマースクール
(抜粋)
P3
公理的集合論の枠組み
省28
339(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)07:55 ID:MSw7Rbq1(8/14) AAS
>>338
つづき
３）こう考えると、上記のwikipediaの単純な自然数構成でも
∈Rを使って
0 = {} ∈R {{}} ∈R {{{}}} ∈R {{{{}}}} = 3
と、二項関係∈Rで、綺麗な順序が構成できる
こうして構成した二項関係∈Rには、モストフスキ崩壊補題により
”推移的集合Mによる (M, ∈) と順序同型で、順序同型な順序数が一意に存在する” （>>261 近藤 友祐 神戸大学 ）
この考えによれば、二項関係∈Rの意味で
>>299のA社＝{第一事業部、第二事業部、第三事業部、AI研究所}で
省13
340: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)08:02 ID:MSw7Rbq1(9/14) AAS
>>338 蛇足だが
(引用開始)
３）∈と二項関係の”∈R”との違いについて説明すると、
∈は公理的集合論の集合を構成するカナメの記号だが
”∈R”は、出来上がった集合の二項関係を示すためだけの機能に限定するものとする（集合を構成する力はない）
(引用終り)
公理的集合論の集合を構成するカナメの記号∈が、強力すぎる機能を持たせると
パラドックスを生じる危険性がある
だから、公理的集合論の中では、∈をできるだけ限定した機能として作用させているのだろう
しかし、日常の自然言語における”所属”とか”属する”は、公理的集合論に捕らわれず、我々は広い意味で使っている
省1
341: 2019/09/19(木)08:19 ID:gcv8MKKh(1/3) AAS
>>328
>Z/nZは、明らかに有限集合ではない
バカ丸出し
342: 2019/09/19(木)19:33 ID:7GQwcv+X(5/9) AAS
>>335
>大学数学の”「同一視する」という考え方”、分かりますか〜ｗ
★チガイの戯言ｗ
>Z/nZ→Z：圏論の忘却函手みたいなのを考えて、Z/nZを忘れたらZに戻るってこと
忘却函手が何かも知らずに、忘却だけで脊髄反射してるなこの馬鹿ｗ
ああ、忘却函手でサーチした結果を読まずにコピペとか要らないからｗｗｗ
省8
343: 2019/09/19(木)19:33 ID:7GQwcv+X(6/9) AAS
>>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)
省4
344: 2019/09/19(木)19:34 ID:7GQwcv+X(7/9) AAS
>>339
モストフスキ崩壊補題を持ち出したところで
「A ∈R C ならば A ⊂ C」
は言えんので前スレ845の１）
2chｽﾚ:math
＞１）二つの集合A,Bで、A ∈ B → A ⊂ B
の正当化にはならんよ
したがって全く無意味
> 二項関係∈Rの意味で
> >>299のA社＝{第一事業部、第二事業部、第三事業部、AI研究所}で
省10
345: 2019/09/19(木)19:39 ID:7GQwcv+X(8/9) AAS
>>336
＞サイコパス性格（屁理屈を使ってでも相手に反論しないと気が済まない）
サイコパスは １ お前自身だよ
馬鹿のくせにリコウぶるな クソったれ
346(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)21:19 ID:MSw7Rbq1(10/14) AAS
おサルさん、踊ってくれてありがとう
お陰で、このガロアスレの勢い２位で 34です （＾＾
（参考）
外部ﾘﾝｸ[html]: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
省10
347: 2019/09/19(木)21:24 ID:7GQwcv+X(9/9) AAS
>>346
「二つの集合A,Bで、A ∈ B → A ⊂ B」
とトンデモ馬鹿踊りしてるのは貴様一匹
348: 2019/09/19(木)22:43 ID:gcv8MKKh(2/3) AAS
>>335
>この視点では、Z/nZは無限集合
これは酷い
349: 2019/09/19(木)22:45 ID:gcv8MKKh(3/3) AAS
>>もし、Z/nZが完全な有限集合なら、どうやっても、無限集合とすることはできないよね
>なんで、無限集合にしたがるの？
ﾜﾛﾀ
350(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)23:15 ID:MSw7Rbq1(11/14) AAS
>>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）
省12
351: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)23:17 ID:MSw7Rbq1(12/14) AAS
>>350
つづき
忘却関手をイメージすると、Grp の対象である群の台集合をそのまま Set の対象とし、Grp の射である準同型写像をそのまま Set の射に写す。集合の圏では演算は定義されていないので f(xy) = f(x)f(y) という等式は意味がなくなってしまう。
つまり、忘却関手とは群の圏から演算を取り去ってしまって、そのまま集合の圏の部分圏に写しだしたものと考えると良い。忘却関手の像の射の集合は集合の圏の射の集合の部分集合になっている。
したがって、忘却関手のイメージとは、群の圏を、集合の圏の部分圏へ写す関手と考える事ができる。
一方自由群は集合から作る事ができる。集合の圏の対象である文字集合をその上の自由群に対応させ、文字集合間の写像を対応する自由群間の準同型写像に対応させる関手（自由関手）を考えると、これは忘却関手とは反対方向の Set -> Grp の関手になる。
自由関手は忘却関手の左随伴である。したがって、自由関手と忘却関手の関係が分かれば、随伴の実例のひとつを理解できることになる。
外部ﾘﾝｸ:m-hiyama.hatenabloｇ.com/entry/20101021/1287620286
檜山正幸のキマイラ飼育記 (はてなBlog)
2010-10-21
省9
352(2): 2019/09/19(木)23:24 ID:tlqWBAH8(1) AAS
スレ主よ、サル石が僕のスレを荒らしに来たから、
サル石がお前に毎日噛みついていることを
スレ民に教えてやった（笑
サル石がどういう男であるかも、すでに教えてある（笑
そのうちこいつは2chの全員から嫌われるようになるだろう（笑
上下前次1-新書関写板覧索設栞歴
あと 650 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.100s