Una construcción bilineal universal que, dada dos álgebras de módulos o espacios vectoriales sobre un mismo anillo o cuerpo, produce un nuevo objeto cuyas aplicaciones lineales corresponden exactamente a las aplicaciones bilineales del producto cartesiano de los factores.

Principio

Caracterizado por la propiedad universal: para A y B, el producto tensorial A ⊗ B viene con una aplicación bilineal canónica A×B → A⊗B tal que cualquier aplicación bilineal A×B → X factoriza de manera única por una aplicación lineal A⊗B → X.

Demostración

Para espacios vectoriales V y W sobre un cuerpo k, tomando bases {v_i} y {w_j}, V⊗_k W es el espacio vectorial sobre k generado por símbolos formales v_i⊗w_j sujetos a relaciones de bilinealidad; las aplicaciones lineales V⊗W → X corresponden a las bilineales V×W → X. Sobre Z, Z/2Z ⊗_Z Z/2Z ≅ Z/2Z muestra comportamientos de torsión característicos.

Aplicación incorrecta

Confundir el producto tensorial con el producto cartesiano o suponer que preserva todas las cantidades límites y colímites. Otro error habitual es usar el producto tensorial algebraico para espacios vectoriales topológicos sin completarlo (ignorar el tensor topológico completado), o no respetar las acciones izquierda/derecha en el caso de bimódulos sobre anillos no conmutativos.

Consecuencia

Formado correctamente, el producto tensorial linealiza operaciones bilineales y aporta herramientas estándar: cambio de base, álgebra multilineal, estructuras monoidales en categorías de módulos y la adjunción Hom–tensor Hom(A⊗B,X) ≅ Bilin(A×B,X). Muchas construcciones (potencias exteriores o simétricas) se construyen a partir de tensores iterados más relaciones.

Inversión

La perspectiva dual es Hom / Hom interno: en lugar de formar el receptor universal de las aplicaciones bilineales salientes de A×B, el Hom interno representa aplicaciones desde un factor hacia los morfismos lineales del otro. En categorías monoidales la inversión consiste en representar morfismos hacia una diana fija en lugar de morfismos bilineales desde los factores.

Límite

Definido en categorías algebraicas como módulos sobre un anillo o espacios vectoriales sobre un cuerpo; para anillos no conmutativos hay que usar productos tensoriales balanceados de bimódulos y seguir las acciones izquierda/derecha. No es lo mismo que el producto cartesiano y no está automáticamente completado en contextos topológicos; su existencia y propiedades dependen de la categoría ambiente.

Tensión semántica

A menudo se confunde con suma directa o producto directo porque todos combinan objetos, pero el producto tensorial codifica bilinealidad y se caracteriza por propiedades universales más que por operaciones por componentes. Se distingue además de productos simétricos o exteriores que imponen relaciones adicionales.

Síntesis

El producto tensorial es la construcción algebraica universal que convierte la dependencia bilineal entre dos factores en dependencia lineal en un único objeto, obtenible como cociente del módulo libre sobre el producto cartesiano por las relaciones de bilinealidad.