[過去ログ] 大学学部レベル質問スレ 8単位目 [無断転載禁止]©2ch.net (1002レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
571: 2017/10/08(日)22:56 ID:62Wk3QBs(9/9) AAS
>>570
すまんしらん
572
(2): 2017/10/08(日)23:11 ID:mD3UoXUa(1/2) AAS
離散数学なんだけど
これってどう証明すればいいの?
数学っぽく解こうとしたけど言葉でしか説明できない

画像リンク[jpg]:i.imgur.com
573
(1): 2017/10/08(日)23:14 ID:Ny9wx+R+(1/2) AAS
冪集合の定義はどのようになってるんですか?
574
(1): 2017/10/08(日)23:20 ID:mD3UoXUa(2/2) AAS
>>573
教科書見返したけどよく分からん
画像リンク[jpg]:i.imgur.com
575: 2017/10/08(日)23:32 ID:Ny9wx+R+(2/2) AAS
素朴な直感的な言葉で定義されているわけですね
なら自明、でいいんじゃないですか?
576: 2017/10/09(月)00:26 ID:Kt44Cz1i(1) AAS
P(A)={x|x⊂A}
577
(2): 2017/10/09(月)00:30 ID:JxNtmseV(1) AAS
べき集合: P(A) := { x | x ⊂ A } 定義より明らか。

それでは身も蓋もないので、背後には次のような構造があると考えるとよいかもです。
2変数述語: Pred(x,y) := x ⊂ y ----(a)
べき集合: P(A) := { x | Pred(x, A) } ---(b)
X ⊂ A ⇄ X ∈ P(A)
1. (→) X ⊂ A → (a)より Pred(X, A) → (b)より X ∈ P(A)
2. (←) X ∈ P(A) → (b)より Pred(X, A) → (a)より X ⊂ A
578: 2017/10/09(月)02:01 ID:pWnqu3Rx(1) AAS
>>572
しょもない問題じゃの
定義から自明なのに
579: 2017/10/09(月)09:54 ID:Wbtd0Hoy(1) AAS
おら、似た問題で、自明って書いたら、0点もらえた。
580: 2017/10/09(月)10:09 ID:ds5G+LM5(1) AAS
部分集合とべき集合の定義をオウム返ししろ、という問題?
581
(1): 2017/10/10(火)00:44 ID:8LIkDhsj(1) AAS
>>572
べき集合をどう定義したかによる
582: 2017/10/10(火)01:18 ID:IqN7kRQU(1) AAS
>>581
>>574,577
583: 2017/10/10(火)07:37 ID:b+AZraNZ(1) AAS
>>577って、すごく馬鹿っぽいですよね(笑)
述語知ったばかりや高校生みたい
584: 2017/10/10(火)19:25 ID:L+r5Ulkh(1) AAS
なるほど
585
(1): 2017/10/13(金)17:38 ID:2dHgFmKw(1) AAS
>>566
Jech:Set theory
586: 2017/10/13(金)23:58 ID:i1j4mUu6(1) AAS
>>585
高いですな…
図書室にあるかしら
587: ¥ ◆2VB8wsVUoo 2017/10/23(月)21:51 ID:Dl6USvMt(1/10) AAS

588: ¥ ◆2VB8wsVUoo 2017/10/23(月)21:52 ID:Dl6USvMt(2/10) AAS

589: ¥ ◆2VB8wsVUoo 2017/10/23(月)21:52 ID:Dl6USvMt(3/10) AAS

590: ¥ ◆2VB8wsVUoo 2017/10/23(月)21:52 ID:Dl6USvMt(4/10) AAS

1-
あと 412 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 1.106s*