求证以下函数是否为映成函数f:R^2→R^2,(x,y)^T→(y,-x,2y)^T