• 解決済み

    @H4CHI

    2023/11/21 20:54

    1 回答

    以下の論理式の意味合いをどなたか教えてください。

    (1) +:K×K→K+: K \times K \to K

    (2) ∃1∈K\{0},∀a∈K:a1=a\exists 1 \in K \backslash\{0\}, \forall a \in K : a1=a


    ((1)は加法を、(2)は情報単位元を表すことはなんとなく理解できるのですが、

    ::, →\to, K\{0}K\backslash \{0\} などの記号の意味がわかりません。)

    1. 高校生
    2. 数学

    ベストアンサー

    ベストアンサー

    削除済みユーザー

    2023/11/21 23:20

    f:A→Bf : A \rightarrow B は「ff は AA を定義域，BB を値域とする写像（定義域全体で定義された一価関数）である」の意味です（だから「_:_→_\_ : \_ \rightarrow \_」の形でワンセットです。）


    一般の集合 A,BA, B に対して，A\BA \backslash B は「AA の元全体から BB の元を除いた集合」です。つまり次で定義されます：

    A\B:={x∣x∈A∧x∉B} A \backslash B := \{x \mid x \in A \land x \not\in B\}

    だから K\{0}K \backslash \{0\} は加法単位元を除いた KK の元全体です。

    質問者からのお礼コメント

    質問者からのお礼コメント

    なるほど。とてもよく理解できました。

    ありがとうございます。

    そのほかの回答（0件）

    関連する質問

    もっとみる