Una transformación que reemplaza un polinomio o una aplicación no expresada en forma multilineal por una aplicación explícitamente multilineal que codifica sus componentes homogéneas multilineales (la forma polarizada o análoga). Sirve para aislar las partes k-lineales de un término homogéneo de grado k y para representar operaciones no lineales como tensores o formas simétricas multilineales.

Principio

Separar los grados homogéneos y expresar cada polinomio homogéneo de grado k como la restricción diagonal de una aplicación k-multilineal simétrica (única cuando las divisiones necesarias son posibles); equivalentemente, obtener estructura multilineal por polarización y simetrización para aplicar técnicas de álgebra tensorial.

Demostración

Dado un polinomio cúbico homogéneo f en un espacio vectorial V sobre un cuerpo de característica cero, construir la forma trilineal simétrica F(u,v,w) mediante polarización, de modo que f(v)=F(v,v,v). Concretamente, para f(x)=a x^3 en una variable, la aplicación trilineal asociada es F(x,y,z)=a x y z salvo el factor de normalización combinatoria.

Aplicación incorrecta

Aplicar la multilinearización sin cuidado sobre anillos con torsión esperando que las mismas fórmulas funcionen: la división por factoriales puede no ser válida, generando compañeros multilineales no únicos o inexistentes. También es engañoso tratar una aplicación analítica no polinomial como si tuviera una multilinearización finita sin especificar truncamiento.

Consecuencia

La multilinearización produce invariantes multilineales y representantes tensores de datos algebraicos no lineales, permitiendo el uso de teoría de representaciones, contracciones de tensores y construcciones multilineales universales; aclara simetrías y reduce ciertos problemas no lineales a álgebra lineal en potencias tensoriales.

Inversión

La perspectiva inversa es la evaluación diagonal o el colapso por simetrización: recuperar el polinomio homogéneo original evaluando la forma multilineal en argumentos repetidos, lo que hace perder la flexibilidad multilineal y amalgama las posiciones tensoriales.

Límite

Se aplica principalmente a mapas polinomiales homogéneos o a mapas que admiten una expansión polinómica de grado finito; sobre anillos donde no se permite división por enteros, la normalización canónica puede fallar. No se aplica en general a funciones no polinomiales arbitrarias, a mapas no homogéneos sin descomposición ni a estructuras intrínsecamente no multilineales.

Tensión semántica

Surge tensión entre polarización (construir una forma multilineal simétrica desde un polinomio) y la linealización ingenua (aproximación de primer orden): la multilinearización es algorítmica y dependiente del grado, mientras que la linealización es local y pierde información de grado superior.

Síntesis

La multilinearización es el proceso algebraico de extraer, mediante polarización y simetrización, tensores k-lineales a partir de las componentes homogéneas de un polinomio, sujeto a restricciones del anillo de base; convierte datos no lineales homogéneos en objetos multilineales aptos para técnicas tensoriales, señalando límites y condiciones de existencia.