- 大学学部レベル質問スレ 9単位目
307 ：１３２人目の素数さん[]：2018/02/14(水) 19:01:39.46 ID:aL0v3Mz0 - >>297
まずXiはどのように定義されましたか
それはあるXにおいての
ξ:I->2^X
のことでしたね
てすから
ΠXi={f:I->X|fi∈Xi}
とは
ε⊂X×2^X
を
ε={(x,A)|x∈A⊂X}
と定義したとき
ΠXi={f:I->X|∃g:I->ε(g=(f×ξ)Δ)}
と定義されるのです
I=φ
のときは
まずξやfは空集合の包含写像0しかあり得ず
空集合の包含写像をgとして条件成立しますので
ΠXi={0}
です
|
- 大学学部レベル質問スレ 9単位目
308 ：１３２人目の素数さん[]：2018/02/14(水) 19:08:14.18 ID:aL0v3Mz0 - >>298
>はR×Rの
部分集合ですね？
logx>y
とは
∃z((x,z)∈log∧(z,y)∈>)
ということですので
log-1>1
は偽の命題です
|
- 大学学部レベル質問スレ 9単位目
309 ：１３２人目の素数さん[]：2018/02/14(水) 19:09:08.90 ID:aL0v3Mz0 - 上記は>>300
|
- 大学学部レベル質問スレ 9単位目
310 ：１３２人目の素数さん[]：2018/02/14(水) 19:10:34.40 ID:aL0v3Mz0 - >>298
そのようなxが
存在しませんので
真の命題です
|
- 大学学部レベル質問スレ 9単位目
311 ：１３２人目の素数さん[]：2018/02/14(水) 19:11:47.75 ID:aL0v3Mz0 - >>302
NGです
|