Considere la posibilidad de $\mathbb{C}$ espacio vectorial $V$ = span$(e_1,\cdots,e_n)$. Considere el siguiente álgebra de incrustación
$$ \mathbb{C}[X_1,\cdots,X_n]\hookrightarrow F(V,\mathbb{C})$$ where $f\mapsto(\sum_i a_i e_i\mapsto f(a_1,\cdots,a_n))$. Denote the image as $O(V)$, call its elements polynomials on $V$. Define a polynomial to be homogeneous of degree $p$ if $f(tv) = t^p f(v)$ for all $v\V$ and $t\in\mathbb{C}$.
Estoy pensando en una manera diferente de la caracterización de los polinomios homogéneos de grado $p$. Considerar el mapa de $i_p:V\to S^p(V)$ envío de $v\mapsto \underbrace{v\otimes\cdots\otimes v}_{p}$, si tenemos alguna lineal mapa de $g:S^p(V)\to \mathbb{C}$, entonces quiero mostrar
1) $g\circ i_p$ es de $O(V)$ (y claramente homogénea de grado p)
2) Cada polinomio homogéneo puede ser obtenida de esta manera.
Está por encima de la verdad, y la forma de mostrar que?
Si es cierto, entonces puedo generalizar y definir los polinomios homogéneos de grado p de $V$ a un espacio vectorial $W$ el uso de la segunda forma. Definir una función $f$ a ser el polinomio de grado $p$ $V$ $W$si no es lineal mapa de $g:S^p(V)\to W$ tal que $f = g\circ i_p$.
Es lo mismo como todos los de la función de $V$ $W$tal que $f(tv) = t^pf(v)$ todos los $v\in V$$t\in\mathbb{C}$? Y es esta una buena forma de definir el espacio de polinomios homogéneos entre dos espacios vectoriales?
