Producto exterior

En matemática, el producto exterior es una antisimetrización (alternación) del producto tensorial. El producto exterior es una multiplicación asociativa y distributiva de funciones multilineales antisimétrico que sea anticonmutativo para las funciones con el número impar de variables y conmutativo de otra manera. La teoría sistemática empieza en la construcción de la potencia exterior para un espacio vectorial.

Teoría Grassmann

La teoría algebraica se remonta a Hermann Grassmann. Su método de construir las estructuras algebraicas utilizó generadores y relaciones y no es manifiestamente independiente de una base. Grassmann utilizó solamente las álgebras reales, es decir las álgebras en que los escalares son los números reales (él no hizo ninguna distinción entre los números reales y las funciones a valores reales, lo que sin embargo cambia la teoría algebraica drásticamente.) Sin embargo, seguimos esta actitud aquí y damos las definiciones para algunos de sus productos: producto (definición general):

Un producto es una función lineal del producto tensorial de un espacio con sí mismo en un espacio lineal.
'Nota:' tal producto es distributivo, (a izquierda y derecha) pero puede no ser unital o asociativo.

Producto exterior (producto de la cuña):

Sea { ei } una base de un espacio vectorial V. Un producto exterior, o producto cuña, de dos tales generadores se define exigiendo las reglas de cómputo (relaciones) siguientes:
  • si y solamente si

y se amplía este proceso recursivamente a los productos de un grado más alto vía

  • etc.

Nótese que el producto toma valores en un nuevo espacio V ∧ V (índice doble) que sea un espacio factor del producto tensorial . El producto es asociativo por definición y alternante, es decir se anula si dos índices son iguales. Un cálculo combinatorio breve demuestra que a partir de n vectores de base se obtienen 2n productos linealmente independientes. Estos productos construyen el espacio vectorial subyacente a un álgebra de Grassmann (véase abajo). El producto exterior se extiende al espacio entero por bilinealidad. El álgebra de Grassmann es un álgebra graduada. Definimos el grado de los escalares como cero y el grado de los vectores de base como 1. El grado de un producto diferente a cero de generadores cuenta el número de generadores. El espacio de un álgebra de Grassmann se puede por lo tanto descomponer en una suma directa de subespacios homogéneos de grado definido, es decir el espacio expandido por todos los productos que tienen exactamente k generadores:

donde se identifica con , los números reales

Other Languages
English: Outer product
slovenščina: Zunanji produkt
svenska: Yttre produkt
中文: 外积