を線形に拡張してできる写像formula_30を "evalutation map" という。