Thursday, August 23, 2012

Producto Tensorial $latex V\otimes W$

Un tema importante para el estudio de muchas estructuras algebraicas es el producto tensorial, éste lo estudié mucho en mi curso de geometría diferencial al estudiar variedades diferenciables, pero se presenta en muchos lados como en teoría de R-Módulos que en estos momentos estoy usando para estudiar espectros de anillos, voy a intentar dar una idea general porque es muy importante por lo que explicaré ahora de la propiedad universal y la manera de relacionar formas bilineales con formas lineales

Realmente, todo está basado en la propiedad universal de productos tensoriales, la cual nos dice que una función bilineal la puedes hacer lineal.

En símbolos:

Sean $latex V,W$ dos espacios vectoriales de dimensión finita sobre $latex K$ El producto tensorial $latex V\otimes W$ tiene la propiedad universal de que si $latex g:V\times W \rightarrow X$ es una función bilineal (i.e. lineal en sus dos componentes) hacia un espacio vectorial $latex X$, entonces existe una única función lineal $latex u$ tal que

$latex u:V\otimes W \rightarrow X$


Y $latex g(v,w)=u(v\otimes w)$

Este nuevo espacio vectorial tiene 2 propiedades

* Si $latex v \in V$ y $latex w \in W$ entonces $latex v\otimes w \in V\otimes W$

* El producto es bilineal, es decir
$latex (\lambda v_1 + \mu v_2)\otimes w = \lambda v_1 \otimes w + \mu v_2 \otimes w$
$latex v \otimes (\lambda w_1 + \mu w_2) = \lambda v \otimes w_1 + \mu v \otimes w_2$


Hay muchas maneras de definir esto, y la elección depende de lo que necesites, por ejemplo una manera fácil de ver $latex V\otimes W$ en caso de ser de dimensión finita es que éste es el espacio dual del espacio de formas bilineales en $latex V\times W$ o sea todos los mapeos $latex g:V\times W \rightarrow K$ tal que:

$latex g(\lambda v_1 + \mu v_2,w)=\lambda g(v_1,w) + \mu g(v_2,w)$
$latex g(v,\lambda w_1 +\mu w_2) = \lambda g(v,w_1) + \mu g(v,w_2)$
Dado $latex v,w \in V,W$ entonces definimos $latex (v\otimes w)(g)= g(v,w)$

La cual satisface la propiedad universal mencionada anteriormente porque dados $latex g:V\times W \rightarrow X$ y $latex \psi \in X^*, \psi \circ g$ es una forma bilineal en $latex V\times W$ y define una función lineal de $latex X^*$ al espacio de formas bilineales.

Realmente el encontrar esta función $latex u$, es la que nos asegura nuestra nueva interpretación de $latex g$ bilineal, esto es muy poderoso porque nos permite construir espacios más grandes de otros, y es esencial en teoría de módulos los cuales son espacios vectoriales pero sobre anillos y la construcción es parecida, lo que acabamos de decir se resume en:



Eduardo Ruiz

Reflexión post-tarea de álgebra conmutativa

"Education is a system of imposed ignorance"

¿Qué significa esta frase del Dr. Chomsky? ésta la incluyo en el footer de mis correos desde hace ya más de 10 años...

Realmente es fácil... y se traduce a otra frase de Jean-Paul Sartre

"Cada hombre es lo que hace con lo que hicieron de él"

Mi resumen es... no eres nadie... tú eres todos, no existe la identidad, no habrá Superhombre tal como así habló Zaratustra y nos lo describió, lo que haces, lo que harás y lo que hiciste es resultado de lo que tu entorno ha influido en tus decisiones... no tienes identidad, eres una mezcla social de lo ya existente... eres lo bueno y lo malo, tus valores son paradigmáticos, por más "especial" que te sientas, siempre serás el modelo de algo.

¿Cómo te deshaces de eso?

Casi imposible... pero el punto es intentarlo... yo lo intento a diario, tal vez fracaso, no puedo decir cómo lo intento porque no sé como lograrlo pero sé que lo intento, y moriré en el intento

Regresando a Chomsky.

La Educación es un modelo hecho por gente que quiere que aprendas lo que es "válido" para cierto sistema, necesidades, etcétera..., Lo que nos enseñan es la imposición de algo que posiblemente no queremos saber, y que todos estamos inmersos, no podemos consultarlo con los demás porque todos estamos en la misma situación. La manera cambiar esto es modificar los axiomas de la vida, i.e. los paradigmas... ya sean educativos, morales, científicos, culturales. La innovación tecnológica es sólo diversión de unos cuantos... también es la creación de nuevas tendencias que en un futuro se convertirán en necesidades y que por ende generarán clasismo aplastando a los que no puedan alcanzarlos por ser "defectos" en el sistema capitalista... estos defectos se llaman "pobres".

Eduardo Ruiz