- 【専門書】数学の本第75巻【啓蒙書】
525 ：１３２人目の素数さん[]：2018/02/14(水) 11:10:21.61 ID:e0Deyxfc - >>523
空写像がゼロ元ではないんですか？
|
- 大学学部レベル質問スレ 9単位目
294 ：１３２人目の素数さん[]：2018/02/14(水) 11:13:26.05 ID:e0Deyxfc - >>280
納得しました。ありがとうございました。
|
- 大学学部レベル質問スレ 9単位目
297 ：１３２人目の素数さん[]：2018/02/14(水) 12:55:19.98 ID:e0Deyxfc - Π_{i ∈ I} X_i := {(x_i)_{i ∈ I} ∈Map(I, X) | ∀i ∈ I x_i ∈ X_i}
I = φ のとき、
Π_{i ∈ I} X_i := {(x_i)_{i ∈ I} ∈Map(I, X) | ∀i ∈ I x_i ∈ X_i}
はどう考えればいいのでしょうか？ 👀
Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f)
|
- 大学学部レベル質問スレ 9単位目
298 ：１３２人目の素数さん[]：2018/02/14(水) 13:00:25.90 ID:e0Deyxfc - x ∈ φ ⇒ log(x) > 0
は命題ですか？
|
- 大学学部レベル質問スレ 9単位目
300 ：１３２人目の素数さん[]：2018/02/14(水) 13:02:49.64 ID:e0Deyxfc - log : {x ∈ R | x > 0} → R を対数関数とする。
このとき、
log(-1) > 0
は命題でしょうか？
|
- 大学学部レベル質問スレ 9単位目
302 ：１３２人目の素数さん[]：2018/02/14(水) 13:10:30.70 ID:e0Deyxfc - log = (Γ, R+, R)
とする。
log(x) > 0
を論理記号で書くと以下でOKですか？
∃y (y ∈ R ∧ (x, y) ∈ Γ ∧ (∃y' ((x, y') ∈ Γ)) ⇒ y = y') ∧ y > 0)
|
- 大学学部レベル質問スレ 9単位目
303 ：１３２人目の素数さん[]：2018/02/14(水) 13:12:51.10 ID:e0Deyxfc - log = (Γ, R+, R)
とする。
log(x) > 0
を論理記号で書くと以下でOKですか？
∃y (y ∈ R ∧ (x, y) ∈ Γ ∧ (∃y' (y' ∈ R ∧ (x, y') ∈ Γ) ⇒ y = y') ∧ y > 0)
|
- 大学学部レベル質問スレ 9単位目
304 ：１３２人目の素数さん[]：2018/02/14(水) 13:18:08.42 ID:e0Deyxfc - log = (Γ, R+, R)
とする。
∀x (x ∈ φ ⇒ ∃y (y ∈ R ∧ (x, y) ∈ Γ ∧ (∃y' (y' ∈ R ∧ (x, y') ∈ Γ) ⇒ y = y') ∧ y > 0)
|