09/05/10 06:54:46
>>898
矢印自体に特に名前は無いけど
f: X -> Y (定義域と値域), f: x |-> y (元と対応先) と区別して使われる．
後者は f(x) = y ということ．
TeXの記号で言うと前者が \to で後者が \mapsto
09/05/10 06:54:46
>>898
矢印自体に特に名前は無いけど
f: X -> Y (定義域と値域), f: x |-> y (元と対応先) と区別して使われる．
後者は f(x) = y ということ．
TeXの記号で言うと前者が \to で後者が \mapsto