[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
739: 06/30(月)07:07 ID:hP9iLhqs(1/19) AAS
∩Mの定義は上記の通り明確だから、あとはMが明確なら∩Mも明確。
M={x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}={x∈2^A|P(x)}
Aの部分集合でP(x)を満たすもの全体からなる集合がM。
以上の通りMも、従って∩Mも明確。よって>>726-727はまったくの言いがかり。
言いがかりはやめましょうね。チンピラじゃないんだから。
747: 06/30(月)07:39 ID:hP9iLhqs(2/19) AAS
空集合{}を元として含み、後者関数 S(x)=x∪{x} について閉じている、すなわち ∀x∈X⇒S(x)∈X である集合Xを帰納的集合と呼ぶ。
無限公理は帰納的集合の存在を謳っている。従ってAは帰納的集合である。
∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}は、Aの部分集合で帰納的集合であるもの全体の共通部分である。
帰納的集合は例えば{{{}}}を元として含んでも含まなくてもよいから共通部分には含まれない。
従って外延的に書けば∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}={{},{{}},{{},{{}}},{{},{{}},{{},{{}}}},・・・}。
はい、オチコボレ君大惨敗。
てか共通部分すら分からないんじゃ住んでる世界が違い過ぎてはじめから勝負にすらなってない。
748: 06/30(月)07:46 ID:hP9iLhqs(3/19) AAS
IQが違い過ぎると会話が成立しないと言われるが、まさにそれだね。
オチコボレ君に数学は無理なので数学板から去ることを推奨する。
751: 06/30(月)08:01 ID:hP9iLhqs(4/19) AAS
定義より帰納的集合は
{},{{}},{{},{{}}},{{},{{}},{{},{{}}}},・・・
を元として含む。
且つ、上記以外の元を含むことは必須ではない。
よって上記が含むことが必須な元のすべてである。
従って、あらゆる帰納的集合の共通部分は{{},{{}},{{},{{}}},{{},{{}},{{},{{}}}},・・・}となる。
752: 06/30(月)08:07 ID:hP9iLhqs(5/19) AAS
この程度のことも分からずに無限公理ガー、自然数ガー、集合論ガーとか語っちゃうんだから笑止千万、まったく話にならない
754(1): 06/30(月)08:40 ID:hP9iLhqs(6/19) AAS
てか∩が分からないのに集合論もクソも無いだろうにｗ
756: 06/30(月)10:32 ID:hP9iLhqs(7/19) AAS
DQNにお礼言ってる暇あったら初歩の初歩の初歩から勉強し直した方がよいよ
てか諦めて数学板から去った方がよい
758: 06/30(月)11:35 ID:hP9iLhqs(8/19) AAS
>>757
おサルか
いつも、逃亡
ごくろうさんｗ ；ｐ）
759: 06/30(月)11:38 ID:hP9iLhqs(9/19) AAS
>>757
おサルさん、他スレでも同じような事言われてて草
（引用開始）
何も言い返せなくなってスルーとか敗北宣言するしかなくなった
完全な負け犬ですな
次生まれたら 数学には手を出すなよ 死ぬぞ
（引用終了）
761: 06/30(月)13:24 ID:hP9iLhqs(10/19) AAS
>>760
{},{{}},{{},{{}}},{{},{{}},{{},{{}}}},・・・のいずれも有限集合（n番目の元はn-1元集合）だからその通り。
尚、いかなる集合xについても x≠x∪{x} だから帰納的集合は無限集合。
765(1): 06/30(月)15:27 ID:hP9iLhqs(11/19) AAS
>>763
もちろん存在する。
N上の通常の大小関係を>と書くと、(N,>)は整列集合だから、空でない任意の部分集合は>についての最小元を持つ。
さて、f:N→N を f(n)=s_n で定義する。
X:={f(n)∈N|n∈N}はNの空でない部分集合だから>についての最小元を持つ。
780(1): 06/30(月)18:33 ID:hP9iLhqs(12/19) AAS
>>766
>２）少し掘り下げると、{},{{}},{{},{{}}},{{},{{}},{{},{{}}}},・・・
> の極限として 素朴に無限を考えることは 正当化できる
集合列の極限の定義を書いてみて。
書きもしないで妄言語るのはやめてね。
>補足すると
>１）公理的集合論の立場と、日常数学（含む素朴集合論）の立場とあって
∩すら理解できない君は集合論を語らない方が良い。
君の嘘八百の補足は害悪でしかないからチラシの裏で誰の目にも触れないようにやってね。
781(1): 06/30(月)19:30 ID:hP9iLhqs(13/19) AAS
>>766
>公理的集合論でも無限公理を認める立場では、無限集合は含む
はい、早速大間違い。
無限公理が存在を謳う集合は元として無限集合を必ず含むとは言えません。
実際、無限公理は {{},{{}},{{},{{}}},{{},{{}},{{},{{}}}},・・・} の存在を謳っているが、この集合は無限集合を元として含みません。
口から出まかせにデマ吐くのはやめて下さいね。
783: 06/30(月)23:28 ID:hP9iLhqs(14/19) AAS
>>782
>>766でのおまえの引用は
（引用開始）
>定義より帰納的集合は
>{},{{}},{{},{{}}},{{},{{}},{{},{{}}}},・・・
>を元として含む。
>無限集合を含むとは限らないわけですな。
（引用終了）
じゃねーかｗ なら「含む」は元が属すって意味だろｗ 小学校の国語からやり直せバカ
784: 06/30(月)23:31 ID:hP9iLhqs(15/19) AAS
バカはどこまで行ってもバカだな ４ねよ バカに生きる権利は無い
785: 06/30(月)23:37 ID:hP9iLhqs(16/19) AAS
>>782
>”含む”には、もう一つ 部分集合の意味で、含むがあるのです
>下記の通りです
>基礎論ド素人は、それを知らないｗ ；ｐ）
部分集合族を知らなかった、教えてやっても理解できなかったバカがどの口で言ってんだよｗ
バカはどこまで行ってもバカだな ４ねよ バカに生きる権利は無い
786: 06/30(月)23:43 ID:hP9iLhqs(17/19) AAS
バカって部分集合族だの集合の内包的表記だの集合族の共通部分だのといった数学の初歩の初歩の初歩も分かってないくせにイッチョマエにマウント取ることだけには執心するのなｗ
愚かだね どーしよーもなく愚かだね
789: 06/30(月)23:53 ID:hP9iLhqs(18/19) AAS
人間じゃなくサルなんだろうな
人間は本能的に向上心を持つから教えられたら理解しようとする
サルだからマウント取ることしか頭に無いｗ 数学板から去ってサル山へ行った方が良い
790: 06/30(月)23:58 ID:hP9iLhqs(19/19) AAS
>>787
(引用開始)
>>766
>２）少し掘り下げると、{},{{}},{{},{{}}},{{},{{}},{{},{{}}}},・・・
> の極限として 素朴に無限を考えることは 正当化できる
集合列の極限の定義を書いてみて。
書きもしないで妄言語るのはやめてね。
(引用終り)
>おサルさん>>5、勉強不足では？ ；ｐ）
> >>766の”一点コンパクト化”の話は、下記に再録する通りで
>すでに数学として確立された手法だよ
集合列の極限の定義を書いてみてと書いたんだけど、君、字が読めないの？ なら小学校の国語からやり直し
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.037s