[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
663(3): 2019/09/29(日)14:42 ID:s0bEnY0r(6/16) AAS
>>658
>>661はなし。>>659の
>すると、N≠Φ だが、0について、任意の正整数xに対し 0∈x となって正則性公理に反する。
の部分は
>すると、任意の2以上の正整数xについて x≠Φ、0∈x だが、
>任意の x-1 以下の正整数tに対して、0∈t となって正則性公理に反する。
に訂正。
664: 2019/09/29(日)14:48 ID:s0bEnY0r(7/16) AAS
>>662
論理記号の扱いには慣れていない。
665: 2019/09/29(日)15:01 ID:s0bEnY0r(8/16) AAS
>>662
公理的集合論は多くの数学では出て来ないだろ？
どこで使うんだ？
>こんなのに危なっかしくて仕事頼めないもんなｗ
経済の話になるが、給料を得る代わりに労働時間を会社に与えている。
いうまでもなく、経済的には、時間と金のうち、どちらかを犠牲にしている。
666: 2019/09/29(日)15:09 ID:s0bEnY0r(9/16) AAS
>>662
まあ、現実的には、時間だけでなく、精神的疲れ(ストレス)や体の疲れなどが伴うから、給料を得る代わりに犠牲にしているモノはもっとある。
667(1): 2019/09/29(日)15:24 ID:WcBxaUNf(6/11) AAS
>>663
>任意の2以上の正整数xについて x≠Φ、0∈x だが、
ID:s0bEnY0rは、ID:NoBnYUlZと全く同じ間違いをしてる
{}∈{{}} {{}}∈{{{}}} だから {}∈{{{}}}、というのは誤り
668: 2019/09/29(日)15:30 ID:s0bEnY0r(10/16) AAS
>>667
私は、公理的集合論とかの話は知らない。
669(1): 2019/09/29(日)15:39 ID:GqnEepIO(5/5) AAS
公理的集合論なんてレベルの話じゃない
∈の定義から直ちに出て来る話
670(2): 2019/09/29(日)15:50 ID:s0bEnY0r(11/16) AAS
>>669
公理的集合論のwiki
外部ﾘﾝｸ:ja.wikipedia.org
の正則性公理を見たが、説明がサッパリ分からない。
何で交わるの記号に「⊂、⊃」でなく「∈、∋」を使っているんだ？
671(1): 2019/09/29(日)16:02 ID:WcBxaUNf(7/11) AAS
そもそもID:s0bEnY0rは {}∈{{{}}} と思ってる時点で間違ってる
これ初歩レベル ホントに大学出たのか？
672: 2019/09/29(日)16:06 ID:s0bEnY0r(12/16) AAS
>>671
どうせ、{}∈{ {} } だろw といいたいのだろう。
こんなことは、勿論知っている。
673(1): 2019/09/29(日)16:18 ID:WcBxaUNf(8/11) AAS
ID:s0bEnY0rは
{}∈{{}} {{}}∈{{{}}}
だから {}∈{{{}}}
だと思ってるか？
674(2): 2019/09/29(日)16:29 ID:s0bEnY0r(13/16) AAS
>>673
この理屈は間違い。
>>670にも書いたように、公理的集合論のwikiで、「⊂、⊃」と「∈、∋」の区別が付かない。
675(1): 2019/09/29(日)16:36 ID:WcBxaUNf(9/11) AAS
>>674
＞この理屈は間違い。
ではどういう理屈で>>663で
＞任意の2以上の正整数xについて x≠Φ、0∈x
といったのか？
おかしいだろう
676(2): 2019/09/29(日)16:54 ID:s0bEnY0r(14/16) AAS
>>675
>ではどういう理屈で>>663で
>＞任意の2以上の正整数xについて x≠Φ、0∈x
>といったのか？
理屈も何も、>>670や>>674に書いた通り説明が分からない。
wikiの公理的集合論の正則性公理
>空でない集合は必ず自分自身と交わらない要素を持つ。
を記号で書くと
>∀A( A≠Φ → ( ∃x∈A∀t∈A ¬(t⊂x) ) )
だろうな。最後の ¬(t⊂x) が ¬(t∈x) になっている理由が分からん。
677(1): 2019/09/29(日)17:01 ID:WcBxaUNf(10/11) AAS
>>676
>正則性公理
>空でない集合は必ず自分自身と交わらない要素を持つ。
>を記号で書くと
>∀A( A≠Φ → ( ∃x∈A∀t∈A ¬(t⊂x) ) )
>だろうな。
いや
∀A( A≠Φ → ( ∃x∈A.A∩＝Φ)
だろう。
∀t∈A ¬(t∈x) ⇔ A∩x＝Φ
678(1): 2019/09/29(日)17:02 ID:WcBxaUNf(11/11) AAS
>>676
>正則性公理
>空でない集合は必ず自分自身と交わらない要素を持つ。
>を記号で書くと
>∀A( A≠Φ → ( ∃x∈A∀t∈A ¬(t⊂x) ) )
>だろうな。
いや
∀A( A≠Φ → ( ∃x∈A.A∩x＝Φ)
だろう。
∀t∈A ¬(t∈x) ⇔ A∩x＝Φ
679: 2019/09/29(日)17:08 ID:s0bEnY0r(15/16) AAS
>>677-678
定義通り、交わるの記号∩に従えばそうなる。
680(1): 2019/09/29(日)17:34 ID:s0bEnY0r(16/16) AAS
それじゃ、おっちゃんもう寝る。
681: 2019/09/29(日)18:38 ID:NoBnYUlZ(14/14) AAS
>>680
おっちゃんどうも
スレ主です
お疲れ様
おやすみなさい(^_^)
682: 2019/09/29(日)20:52 ID:rVYV+GdK(1) AAS
5245
かずきち@dy_dt_dt_dx 9月29日
京大オープン経済190/550しか取ってないやつにマウント取られて草
お前より90点高いんだよ黙って勉強しろ
Twitterﾘﾝｸ:dy_dt_dt_dx
Twitterﾘﾝｸ:5chan_nel (5ch newer account)
上下前次1-新書関写板覧索設栞歴
あと 320 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.019s