Se mostrara primero su historia y despues que los modulos son ricos en Sean M y N R-Modulos. El producto tensorial de M y N sobre R escrito propiedades y tienen una estrucutura muy divertida, los teoremas son como M ⊗R N, es el R-modulo generado por los simbolos m ⊗ n para utiles para tener una idea clara de lo que es el producto tensorial de m ∈ M, r ∈ R y n ∈ N con las relaciones: modulos,en los ejemplos se puede ilustrar como se hace un producto de a. m ⊗ 0 = 0 y 0 ⊗ n = 0 Kronecker para 2 matrices de tamaño 2x2 o cualquier tamaño. b. rm ⊗ n= m ⊗ rn=r (m ⊗ n) Introducción c. m ⊗ (a + b) = m ⊗ a + m ⊗ b El producto tensorial de modulos satisface una propiedad Universal que Producto de kronecker se puede utlizar para deducir mas propiedades del producto tensorial de Dada una matriz mxn A y una matriz pxq B, su producto de Kronecker modulos, y ademas de estas propiedades podemos extraer ejemplos o C = A ⊗R B,esta defnido como una matriz de dimensiones (mxp)x(nxq), aplicaciones de productos tensoriales. Las aplicaciones son: Producto dada por: ai,j son las componentes de a para i = 1, 2...m y tensorial de 2 bases de un espacio vectorial, producto de Kronecker o j = 1, 2, ..., n, multipicada por matrices por bloques B de tamaño pxq.. producto tensorial de 2 matrices de tamaño cualquiera para ver de a1,1B a1,2B a1,3B · · · a1,n−1B a1,n B forma mas amigable la teoria. a2,1B a2,2B a2,3B · · · a2,L−1B a2,LB Historia C := a3,1B a3,2B a3,3B · · · a3,n−1B a3,n B . (1) . . . . . Referencia historica la denotaremos por [ ] . . . . . Tensor proviene del latı́n tendere, que significa ”estirar”. En 1822 am,1B am,2B am,3 · · · am,n−1B am,n B Cauchy introdujo el tensor de tensión de Cauchy en la mecánica del continuo, y en 1861 Riemann creó el tensor de curvatura de Ejemplos Riemann en geometrı́a, pero no usaron esos nombres. En 1884, El primer ejemplo lo haremos con 2 bases: Gibbs[2.chap3] introdujo productos tensoriales de vectores en de R[X ] = {1, x, x 2, ....}], R[Y ] = {1, y , y 2, ....}] y dim(V ) = 3 con la etiqueta ”producto indeterminado” 3 y lo R[X , Y ] = {1, x, x 2, ....1, y , y 2, ..., xy , xy 2, x 2y , ...}. Note que aplicó para estudiar tensión en un cuerpo. Extendió el producto R[x] ⊗R R[y ]= R[X , Y ], porque 5x 2 ⊗ y = x 2 ⊗ 5y =5(x 2 ⊗ y ) y indeterminado a n dimensiones en 1886[3]. Voigt usó tensores para finalmente (x 2 + x) ⊗ y = x 2 ⊗ y + x ⊗ y , otro ejemplo puede ser describir la tensión y la tensión en los cristales en 1898[4], y el R[x] ⊗C R[y ]= R[X , Y ]. término tensor apareció por primera vez con su significado fı́sico Multiplicacion de 2 matrices 2x2 moderno allı́. En geometrı́a, Ricci usó tensores a fines del siglo . el producto de Kronecker de Matrices 2x2 es B es la matriz XIX y su artı́culo de 1901[5] con Levi-Civita (en inglés[6]) fue identidad y A sera la siguiente matriz: crucial en el trabajo de Einstein sobre la relatividad general. El 23 El resultado sera multiplicar por bloques cada componente y amplio uso del término ”tensor” en fı́sica y matemáticas se debe a 45 Einstein; Ricci y Levi-Civita llamaron tensores por el nombre quedara una matiz 4x4, multiplicando cada componente deA por ”sistemas”.la notación ⊗ se debe a Murray y von Neumann en 2030 1936[7.chap 2] para productos tensoriales (escribieron “productos 2B 3B 0 2 0 3 bloques. Luego el resultado A ⊗R B = directos”) de espacios de Hilbert. El producto tensorial de los 4B 5B 4 0 5 0 grupos abelianos A y B, con ese nombre pero escrito como A ◦ B 0405 en lugar de A ⊗Z B, se debe a Hassler Whitney[8] en 1938. Los Referencias productos tensoriales de módulos sobre un anillo conmutativo se deben a Bourbakien 1948[9]. [1] Schafer, R. D. An Introduction to Nonassociative Algebras. New York: Dover, p. 12, 1996. Teorema(Propiedad Universal de producto tensorial) [2]. J. W. Gibbs, On Multiple Algebra, Proceedings of the American Sea R un anillo y M,N dos R-Modulos,un R-modulo T junto con una Association for the Advancement of Science, 35 (1886). aplicacion bilineal B :M X N→ T , es un producto tensorial de M y N sobre R si satisface la siguiente propiedad: Para cualquier R-,odulo S , si [3].J. W. Gibbs, “Elements of Vector Analysis Arranged for the Use of H :M X N → S es una trasnformacion bilineal entonces existe u unico Students in Physics,” Tuttle, Morehouse Taylor, New Haven, 1884. homomorfismo de R-Modulos ϕ : T → S, tal que H = ϕ ◦ B, es decir, [4]. W. Voigt, Die fundamentalen physikalischen Eigenschaften der que hace que el diagrama conmuta. Krystalle in elementarer Darstellung, Verlag von Veit Comp., Leipzig, MxN B T / 1898.
ϕ [5].G. Ricci, T. Levi-Civita, Methodes de Calcul Differentiel Absolu et H=ϕ◦B # S Leurs Applications, Math. Annalen 54 (1901), 125–201 Teoremas principales [6]. R. Hermann, “Ricci and Levi-Civita’s Tensor Analysis Paper” 1. Para cualquier R-modulo M se tiene que M ⊗R R = M. Math Sci Press, Brookline, 1975. 2. El producto tensorial es conmutativo , es asociativo y es distributivo, es decir: [7]. F. J. Murray and J. von Neumann, On Rings of Operators, Annals a. M ⊗R N= N ⊗R M Math. 37 (1936), 116–229 b. (Z ⊗R M) ⊗R N= Z ⊗R (M ⊗R N) [8]. H. Whitney, Tensor Products of Abelian Groups, Duke Math. c. ⊕i∈I (Mi ) ⊗R N= ⊕i∈I (Mi ⊗R N). Journal 4 (1938), 495–528. [9]. N. Bourbaki, Livre II Alg‘ebre Chapitre III (etat 4) Alg‘ebre Multilineaire Agradecimientos Profesora Eddy Pariguan por seguimiento del proyecto. Pontificia Universidad javeriana, Bogota D.C 2019