[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
182(1): １３２人目の素数さん [sage] 2019/09/15(日) 00:11:38.19 ID:g2F0dADR(1/20) AAS
>>181
＞袋Xの中にも、確かにノコギリは入っている
＞但し、大工道具セットの箱Aの中ではあるが
＞この場合に、「ノコギリ∈袋X」だよというのが、
＞ニワトリの主張です（多分ヒトも）
悪いがヒトはニワトリほど馬鹿じゃないよ
X={A,B}
A={ノコギリ、金槌、ドライバー、・・・}
B={釣り竿、釣り針、釣り糸、・・・}
この場合
ノコギリ、金槌、ドライバー、・・・
釣り竿、釣り針、釣り糸、・・・
のいずれもXの要素ではない
というのがヒトの結論です
Y={ノコギリ、金槌、ドライバー、・・・、釣り竿、釣り針、釣り糸、・・・}
XとYは集合として異なります
183: １３２人目の素数さん [sage] 2019/09/15(日) 00:15:45.83 ID:g2F0dADR(2/20) AAS
ニワトリの考え方では、ZFCの集合は全部空集合に等しくなるｗ
なぜならZFCに集合でないアトムは存在しないから
{}がどんな風に重なり合っていても、
{}の中にアトムがないから
ニワトリにとって中身は空っぽであるｗ
184: １３２人目の素数さん [sage] 2019/09/15(日) 00:17:14.98 ID:g2F0dADR(3/20) AAS
今夜はニワトリの丸焼きでパーティだな
祭りだ！祭りだ！！祭りだ！！！祭りだ！！！！
https://www.youtube.com/watch?v=oO7Y8NsnkRg
185: １３２人目の素数さん [sage] 2019/09/15(日) 00:25:27.25 ID:g2F0dADR(4/20) AAS
ニワトリとヒトの差は、指原莉乃と中元すず香くらい違う
っていおうとおもったけど
今見たらさしこ結構歌上手いじゃんｗ
ってことでこの喩えは撤回ねｗ
指原莉乃
https://www.youtube.com/watch?v=jV0nPk-wR8Y
186: １３２人目の素数さん [sage] 2019/09/15(日) 00:33:52.93 ID:g2F0dADR(5/20) AAS
ま、しかし「ゆび祭り」にBABYMETALを呼ばなかったのは
さしこ一生の不覚だろうｗ
https://www.youtube.com/watch?v=stmFt7GaM-Q
190(1): １３２人目の素数さん [sage] 2019/09/15(日) 08:02:43.15 ID:g2F0dADR(6/20) AAS
>>188
＞５）ノコギリが集合だと考えると
＞ ・ノコギリ⊂{ノコギリ} （包含関係）
＞よって
＞ ・ノコギリ⊂Z
＞ つまり、ノコギリはZに包含されているのです
これはヒドイｗ
もちろん誤り
ノコギリ＝{{}}とする
{{}}⊂{{{}}} ではない
なぜなら、{{{}}}}の要素は{{}}だけであって{}はないから
{{}}⊂{{},{{}}} なら正しいが
したがって
＞・上記５）の「ノコギリ∈Z」のように考える方が、正解なのです
は全くの誤り
＞・こう考えないと、
＞「整礎的関係 Rを集合X 上の二項関係 基礎公理により，
＞ すべての集合X に対して，
＞ ∈｜ X := {(x, y) ∈ X × X | x ∈ y}
＞ はX 上の整礎的な二項関係」
＞ は理解できないでしょう
いや、あなたが整礎的関係を誤解してるだけ
整礎である、というために、∈が推移的である必要はない
＞（特に”すべての集合X に対して”に対し、
＞ {{{{}}}}が反例になるが、それはおかしい）
おかしくない
{{{{}}}}が整礎的でないとはいってない
要素をたどっていく操作は必ず有限回でおわる
（これが整礎）
しかし{{}}∈{{{}}}∈{{{{}}}}から
{{}}∈{{{{}}}}が言える必要はない
191: １３２人目の素数さん [sage] 2019/09/15(日) 08:06:28.40 ID:g2F0dADR(7/20) AAS
>>188
＞・⊂と∈との違いは・・・
⊂は推移的だが、∈は一般的に推移的ではない、ということ
ということで根本的に似てない
192: １３２人目の素数さん [sage] 2019/09/15(日) 08:08:39.84 ID:g2F0dADR(8/20) AAS
蛇足
>>189
＞分かると思うが
ニワトリの言い訳根性が実に卑しい
196(1): １３２人目の素数さん [sage] 2019/09/15(日) 08:26:12.37 ID:g2F0dADR(9/20) AAS
>>193
＞１）自然数の集合N、偶数の集合N2、奇数の集合Nodd
＞２）集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合)
＞３）ｓ＝{2,4,6}という集合は、NとN’両方に含まれます（部分集合）
これまたヒドイｗ
ｓ⊂N s⊂N2 だが、s⊂N'ではない
＞５） {2}は、NとN’両方に含まれます（両方の部分集合）
これもヒドイｗ
{2}⊂N {2}⊂N2 だが、{2}⊂N'ではない
＞６）明らかに、2∈N
＞ しかし、2 not∈N’なのでしょうか？
＞ {2}⊂Nであるにも関わらず
ヒドすぎるｗｗｗ
{2}⊂N’でないので、2∈N’ではないですね（バッサリ）
＞７）素朴集合論では、些末なことなので、この程度のことはどうでも良い
＞ というか、適当で良い
いや、全然ダメだよｗ
＞ しかし、公理的集合論では、適当ではすまないのです
＞ 2 ∈N2 かつ N2 ∈N’で、∈の推移律により、2 ∈N’と考えるべき
いや、そもそも、公理的集合論に∈の推移律なんてないからｗ
∈が推移的なのは、推移的集合だけ
しかも遺伝的に推移的になるのは、順序数だけ
いいかげん、根本的な誤りに気づきなよ
＞酒井拓史 神戸大
＞「基礎公理により，すべての集合X に対して・・、∈は・・整礎的な二項関係」
〇〇の一つ覚えのように書いてるけど
「∈は・・整礎的な二項関係」は「∈は推移的」を導かないからｗ
197: １３２人目の素数さん [sage] 2019/09/15(日) 08:27:53.03 ID:g2F0dADR(10/20) AAS
>>194
＞要素をたどっていく操作は、∈関係によります
∈関係が推移的である必要はありません
R.I.P
198(1): １３２人目の素数さん [sage] 2019/09/15(日) 08:32:34.81 ID:g2F0dADR(11/20) AAS
>>193
追伸
＞集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合)
ニワトリはN2⊂N’だと思い込んでるだろうけど、も・ち・ろ・ん、違うよｗ
219: １３２人目の素数さん [sage] 2019/09/15(日) 15:33:34.41 ID:g2F0dADR(12/20) AAS
>>202
＞s⊂N2⊂N’なので
ニワトリは一歩歩くたびに一つ間違うねｗ
N’＝{N2,Nodd}だから、N2⊂N’でない
なんでこんな簡単なことが分からんかな この馬鹿はｗ
220: １３２人目の素数さん [sage] 2019/09/15(日) 15:38:18.69 ID:g2F0dADR(13/20) AAS
ニワトリ 〇〇の一つ覚え
>酒井 拓史 神戸大学
>https://www.sci.shizuoka.ac.jp/~math/yorioka/ss2019/sakai0.pdf
>P17
>整礎的関係
>R を集合X 上の二項関係とする．
>基礎公理により，すべての集合X に対して，
>∈｜ X := {(x; y) ∈ X × X | x ∈ y}
>はX 上の整礎的な二項関係．
酒井氏もこんなのにまとわりつかれて迷惑だろうな
ツイッターはやってないから直接聞けないが
こんなことなら、他の集合論専門家に聞いても
同じ回答返すから聞けばいい
「∈は推移的ですよね？」ってｗ
速攻で否定されるけどなｗ
上記の文章のどこにも∈は推移的とは書いてない
何妄想してんだ この馬鹿はｗ
222(1): １３２人目の素数さん [sage] 2019/09/15(日) 15:41:56.74 ID:g2F0dADR(14/20) AAS
>>206
＞集合N’の正規の元は、たった二つ
＞では、集合N’は二つの元から成る有限集合か？
ああ、そうだよ。
ニワトリはそんなこもと分からないほどの、スーパー馬鹿なの？
＞無限集合を内包していると考えるべしだろ？（＾＾
何いってんだ？この馬鹿はｗ
N’の２つの元が無限集合でも、
N'が有限集合であることに何のかわりもない
223: １３２人目の素数さん [sage] 2019/09/15(日) 15:49:28.78 ID:g2F0dADR(15/20) AAS
>>207
支離滅裂だなｗ
ｘが集合だというだけで、ｘ⊂｛ｘ｝になると思うのが誤り
例えばωを自然数全体の集合としよう
ω＝｛0,1,2,…｝
この場合
ω⊂｛ω｝ は ×
2∈｛ω｝ も ×
224: １３２人目の素数さん [sage] 2019/09/15(日) 15:51:27.60 ID:g2F0dADR(16/20) AAS
>>212-214
サルじゃなくニワトリね
サルは哺乳類だからもっと賢い
あれはホントに鳥類並に脳みそがちょびっとしかないｗ
225: １３２人目の素数さん [sage] 2019/09/15(日) 15:52:44.12 ID:g2F0dADR(17/20) AAS
>>215
その通りですね
>>222に書いた通りです
226: １３２人目の素数さん [sage] 2019/09/15(日) 15:55:53.15 ID:g2F0dADR(18/20) AAS
>>216
{{{}}}の要素は{{}}だけなんだから、
{{}}の要素は{}だけ
{{}}しか要素がない集合が
{}を要素にもつ集合を
包含するわけないのは
三歳児でもわかること
それがわからないんだから
ニワトリはもう人類どころか霊長類、いや哺乳類ですらないねｗ
227(2): １３２人目の素数さん [sage] 2019/09/15(日) 16:01:00.60 ID:g2F0dADR(19/20) AAS
>>221
対応関係が一つずれてた
V0={{}}
こ・れ・で、君も自分の誤りを認められるかい？ｗ
228: １３２人目の素数さん [sage] 2019/09/15(日) 16:15:07.12 ID:g2F0dADR(20/20) AAS
∈は親子関係みたいなもの
AはBの子、BはCの子 だからといって AはCの子にはならないｗ
{{{}}}の場合{}を追加して{{},{{}}}とすれば
AはCの子になったから、そこではじめて推移的になるｗ
{{{{}}}}の場合も{}と{{}}を追加して{{},{{}},{{{}}}}とすればいい
ただこの場合{{},{{}}}や{{},{{}},{{{}}}}が推移的になっただけで
それぞれの要素集合が推移的かどうかまでは確かめてない
{{},{{}}}の場合は{}も{{}}も推移的だが
{{},{{}},{{{}}}}の場合は{{{}}}が推移的ではない
{{},{{}},{{},{{}}}}で要素集合まで推移的になる
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.051s