Una construcción bilineal que, dada una pareja de módulos o espacios vectoriales sobre un mismo anillo o cuerpo, produce otro módulo o espacio vectorial cuyas aplicaciones lineales corresponden precisamente a las aplicaciones bilineales de la pareja; los elementos son sumas finitas de tensores simples v ⊗ w.

Principio

Caracterizado por una propiedad universal: las aplicaciones bilineales desde el producto se factoran de forma única por una aplicación lineal desde el producto tensorial, haciendo del tensor un adjunto por la izquierda de Hom en las variables adecuadas.

Demostración

Para espacios vectoriales V y W de dimensión finita sobre un campo, al escoger bases, V ⊗ W tiene por base los productos tensoriales de los vectores de base, y cualquier aplicación bilineal V×W→X se factoriza mediante una aplicación lineal V⊗W→X con v⊗w ↦ f(v,w).

Aplicación incorrecta

Confundir el producto tensorial con el producto cartesiano o suponer que todos los elementos son tensores simples; no todos los elementos lo son y en módulos no planos el tensor puede colapsar torsión.

Consecuencia

Permite linearizar fenómenos bilineales, posibilita álgebra multilineal, cambio de escala y estructuras monoidales en categorías de módulos; es functorial y bajo condiciones distribuye sobre sumas directas.

Inversión

Sustituir el producto tensorial por el producto directo o por Hom invierte la propiedad universal: Hom representa aplicaciones lineales desde un factor, mientras que el producto recoge tuplas sin linearizar, alterando los roles de representación.

Límite

Requiere un anillo/campo base común y es sensible a la planitud y torsión en módulos sobre anillos no cuerpos; los tensores infinitos necesitan decisiones de completado y estructuras topológicas cuando aplican.

Tensión semántica

A menudo se confunde con el producto de Kronecker o con productos coordenada por coordenada en contextos aplicados; el tensorial es un cociente del módulo libre sobre el producto cartesiano por relaciones de bilinealidad, no un producto coordenado.

Síntesis

El producto tensorial es el objeto lineal canónico que codifica interacciones bilineales: universaliza aplicaciones bilineales en lineales y construye un módulo de sumas formales de tensores simples sujeto a relaciones de bilinealidad.