Fórmula de Grassmann
# 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.
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.

# Fórmula de Grassmann
## Enunciado

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(U ∩ V)

# Fórmula de Grassmann
## Demostración

Sean dos subespacios vectoriales U y V, en un espacio vectorial definido sobre un cuerpo $\mathbb {K}$. Considérense las bases
* $B_{1}=\{a_{1},\dots ,a_{r},u_{1},\dots ,u_{p}\}$
* $B_{2}=\{a_{1},\dots ,a_{r},v_{1},\dots ,v_{q}\}$
* $B_{3}=\{a_{1},\dots ,a_{r}\}$
y el sistema $B_{4}=\{a_{1},\dots ,a_{r},u_{1},\dots ,u_{p},v_{1},\dots ,v_{q}\}$ de modo que se cumpla $U\cap V=\mathrm {gen} (B_{3})$, entonces $U=\mathrm {gen} (B_{1})$ y $V=\mathrm {gen} (B_{2})$, basta completar $B_{3}$ con los vectores correspondientes. Además, como $B_{4}=B_{1}\cup B_{2}$, se tiene $U+V=\mathrm {gen} (B_{4})$.
Es necesario demostrar primero que el sistema $B_{4}$ es efectivamente una base, para esto basta con que sus vectores sean linealmente independientes, ya que generan al subespacio suma $U+V$.
* Independencia entre los vectores de B$_4$
* Se toma una combinación lineal de los vectores de $B_{4}$ 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.
* $\alpha _{1}a_{1}+\dots +\alpha _{r}a_{r}+\mu _{1}u_{1}+\dots +\mu _{p}u_{p}+\nu _{1}v_{1}+\dots +\nu _{q}v_{q}={\mathbf {0} }$
* con $\alpha _{h},\mu _{i},\nu _{j}\in \mathbb {K}$ para todos los h, i, j.
* Tómese ahora un vector en V de la forma
* (1)$v=-\nu _{1}v_{1}-\dots -\nu _{q}v_{q}$
* La igualdad anterior queda así
* (2)${\begin{aligned}\alpha _{1}a_{1}+\dots +\alpha _{r}a_{r}+\mu _{1}u_{1}+\dots +\mu _{p}u_{p}-v&=&\mathbf {0} \\\alpha _{1}a_{1}+\dots +\alpha _{r}a_{r}+\mu _{1}u_{1}+\dots +\mu _{p}u_{p}&=&v\end{aligned}}$
* Pero la expresión de la izquierda es una combinación lineal de elementos de la base $B_{1}$, luego debe ser también $v\in U$, y como dijimos que $v\in V$ esto implicia que $v\in U\cap V$. Esta relación nos permite expresar a $v$ en la base $B_{3}$ de la intersección:
* (3)$v=\beta _{1}a_{1}+\dots +\beta _{r}a_{r}$ para ciertos escalares $\beta _{i}$.
* Igualamos (1) y (3), queda
* ${\begin{array}{rcl}-\nu _{1}v_{1}-\dots -\nu _{q}v_{q}&=&\beta _{1}a_{1}+\dots +\beta _{r}a_{r}\\\beta _{1}a_{1}+\dots +\beta _{r}a_{r}+\nu _{1}v_{1}+\dots +\nu _{q}v_{q}&=&\mathbf {0} \end{array}}$
* que es una combinación lineal de elementos de la base $B_{2}$ y por lo tanto linealmente independientes, es decir que para esta igualdad obtenemos $\beta _{i}=0$ y $\nu _{j}=0$. Esto implica que $v=\mathbf {0}$.
* Luego, en (2)
* $\alpha _{1}a_{1}+\dots +\alpha _{r}a_{r}+\mu _{1}u_{1}+\dots +\mu _{p}u_{p}=\mathbf {0}$
* que es una combinación de elementos de la base $B_{1}$. Por lo tanto, se obtuvo que los escalares son, necesariamente, nulos.
* Quedó entonces demostrado que $B_{4}$ es linealmente independiente, y por lo tanto base de $U+V$, ya que partimos de la ecuación $\alpha _{1}a_{1}+\dots +\alpha _{r}a_{r}+\mu _{1}u_{1}+\dots +\mu _{p}u_{p}+\nu _{1}v_{1}+\dots +\nu _{q}v_{q}={\mathbf {0} }$ y llegamos a deducir que esto implica $\alpha _{1}=\dots =\alpha _{r}=\mu _{1}=\dots =\mu _{p}=\nu _{1}=\dots =\nu _{q}=0$.
Según las propiedades de la suma,
   $p+q+r=(p+r)+(q+r)-r$
pero esto equivale a
   $\dim(U+V)=\dim(U)+\dim(V)-\dim(U\cap V)$
QED.