Fórmula de Grassmann

En álgebra lineal y en geometría afín, la fórmula de Grassmann es una expresión que relaciona la dimensión de dos subespacios con las dimensiones de la intersección y de la suma de dichos subespacios.

Dos planos y su recta intersección. Estos determinan subespacios de R3.

Como ejemplo, considérense dos planos en el espacio de tres dimensiones, de modo que compartan un origen común. Cada uno de estos planos, por separado, tiene dos dimensiones. Si los planos son distintos, sus puntos son coincidentes sobre una misma recta que determina su intersección.

Cada plano puede considerarse como un subespacio de dos dimensiones, y la recta como el subespacio intersección. La suma de ambos planos constituye todo el espacio, por ser este último el de máxima dimensión posible. La dimensión de este espacio suma es tres.

Si se suman las dimensiones de los planos individuales y se resta la dimensión de la recta, se obtiene la dimensión del espacio tridimensional. Por lo tanto, bajo estas condiciones, es posible afirmar que la dimensión del espacio suma es igual a la suma de las dimensiones de los subespacios individuales, menos su intersección. Este último es, precisamente, el enunciado de Grassmann.

EnunciadoEditar

Dado un espacio vectorial sobre un cuerpo cualquiera, sean U y V dos conjuntos que determinan subespacios. La fórmula de Grassmann relaciona las dimensiones de U y V de la siguiente manera.

dim(U + V) = dim U + dim V — dim(UV)[1]

DemostraciónEditar

Sean dos subespacios vectoriales U y V, en un espacio vectorial definido sobre un cuerpo  . Considérense las bases

  •  
  •  
  •  

y el sistema   de modo que se cumpla  , entonces   y  , basta completar   con los vectores correspondientes.[Nota 1]​ Además, como  , se tiene  .[Nota 2]

Es necesario demostrar primero que el sistema   es efectivamente una base, para esto basta con que sus vectores sean linealmente independientes, ya que generan al subespacio suma  .

Independencia entre los vectores de B4
Se toma una combinación lineal de los vectores de   y se la iguala al vector nulo, que será denotado como 0. Así, puede comprobarse que la única posibilidad de conseguir el vector nulo es anular simultáneamente todos los coeficientes.

 

con   para todos los h, i, j.

Tómese ahora un vector en V de la forma

(1) 

La igualdad anterior queda así

(2) 

Pero la expresión de la izquierda es una combinación lineal de elementos de la base  , luego debe ser también  , y como dijimos que   esto implicia que  . Esta relación nos permite expresar a   en la base   de la intersección:

(3)  para ciertos escalares  .

Igualamos (1) y (3), queda

 

que es una combinación lineal de elementos de la base   y por lo tanto linealmente independientes, es decir que para esta igualdad obtenemos   y  . Esto implica que  . Luego, en (2)

 

que es una combinación de elementos de la base  . Por lo tanto, se obtuvo que los escalares son, necesariamente, nulos.

Quedó entonces demostrado que   es linealmente independiente, y por lo tanto base de  , ya que partimos de la ecuación   y llegamos a deducir que esto implica  .

Según las propiedades de la suma,

 

pero esto equivale a

 

QED.

Véase tambiénEditar

NotasEditar

  1. Este procedimiento es válido ya que «todo conjunto de vectores linealmente independientes puede completarse hasta obtener una base».[2]
  2. Se deduce de la misma definición de suma de subespacios.[2]

ReferenciasEditar

  1. «Tema 3:Espacios Vectoriales» (PDF). Consultado el 3 de febrero de 2011. 
  2. a b Castellet, Manuel; Llerena, Irene (2000). Álgebra lineal y geometría. Barcelona: Reverté. pp. 76-77. ISBN 9788429150094.