El álgebra asociativa graduada construida a partir de un espacio vectorial V tomando las potencias tensoriales alternadas e imponiendo la antisimetría (producto wedge) de modo que v∧v=0 para elementos de grado uno; a menudo denotada Λ•V.

Principio

Codificar fenómenos multilineales alternantes al cocientar el álgebra tensorial por el ideal bilateral generado por x⊗x para x∈V (o, equivalente, imponer v∧w = −w∧v), capturando así algebraicamente volúmenes orientados y determinantes.

Demostración

Para V de dimensión n, Λ^n V es de dimensión uno y los elementos de Λ^k V se interpretan como k-vectores o elementos de volumen orientado de dimensión k; el producto wedge combina k- y ℓ-vectores en (k+ℓ)-vectores con antisimetría.

Aplicación incorrecta

Tratar el álgebra exterior como conmutativa en el sentido ordinario (ignorando las reglas de signo) o usarla sin atender la graduación conduce a errores de signo en sumas alternadas y en cálculos de determinantes y orientaciones.

Consecuencia

Su uso correcto proporciona modelos algebraicos de formas diferenciales, orientación y determinantes; ofrece el marco para definir elementos de volumen, integración en variedades, la construcción de Grassmannianos e invariantes multilineales.

Inversión

Sustituir la antisimetría por la simetría produce el álgebra simétrica, que codifica construcciones polinómicas y de tipo bosónico en lugar de comportamientos alternantes o fermiónicos; invertir los signos elimina la información de orientación.

Límite

Definida para módulos y espacios vectoriales donde 2 es invertible se comporta como se espera; sobre anillos de característica dos o sin una condición alternante bien definida algunas distinciones colapsan y la antisimetría debe tratarse con cuidado.

Tensión semántica

Tensión con el álgebra simétrica: ambas son cocientes del álgebra tensorial pero imponen relaciones opuestas (antisimetría vs simetría), y sirven a roles diferentes en geometría y física.

Síntesis

El álgebra exterior es el álgebra graduada de tensores alternantes sobre V, generada en grado uno con el producto wedge que impone la antisimetría; captura algebraicamente la orientación, los determinantes y fenómenos multilineales alternantes.