09/05/10 05:35:20
偶然にも流れに乗って、記号のことで質問です。
線形写像のところで突然、
f: [[x[1]], [x[2]]] ト→ [[x[1] - 2x[2]], [5x[1] + 7x[2]]]
のように使われる"ト→"という記号が出てきました。
普通の矢印の尻尾に短い縦線が入っている記号です。
これはなんと呼ばれていて、どういう時に使われるんですか？
ちなみに写像の定義のところでは
f: X → Y
のように縦線の付かない普通の矢印が使われています。
09/05/10 05:35:20
偶然にも流れに乗って、記号のことで質問です。
線形写像のところで突然、
f: [[x[1]], [x[2]]] ト→ [[x[1] - 2x[2]], [5x[1] + 7x[2]]]
のように使われる"ト→"という記号が出てきました。
普通の矢印の尻尾に短い縦線が入っている記号です。
これはなんと呼ばれていて、どういう時に使われるんですか？
ちなみに写像の定義のところでは
f: X → Y
のように縦線の付かない普通の矢印が使われています。