next up previous contents index
Siguiente: Casos particulares Arriba: Álgebra de Grassmann asociada Anterior: Relación entre el álgebra

Ley de conmutación

Lema 1.2   Si $K,\, H$ son partes ajenas de $[\![ 1,n ]\!]$, vale:

\begin{displaymath}\fbox{${\displaystyle {\displaystyle \rho_{H,K} \, \rho_{K,H}= (-1)^{\vert K\vert\cdot \vert H\vert}} }$}\end{displaymath}

Demostración
Sean $H,\,K$ partes ajenas de $[\![ 1,n ]\!]$. Sea $\nu_1$ el número de pares $(i,j)$ con $i\in H,\, j\in K$ tales que $i<j$. Sea $\nu_2$ el número de pares $(i,j)$ con $i\in H,\, j\in K$ tales que $i>j$. Por ser $H,\,K$ ajenos $\nu_1 +\nu_2$ es el número total de pares $(i,j)$ tales que $i\in H,\, j\in K$ o sea la cardinalidad $\vert H\vert \cdot \vert K\vert$ del producto cartesiano $H\times K$. Así pues:

\begin{displaymath}\rho_{H,K}\cdot \rho_{K,H}=(-1)^{\nu_1} (-1)^{\nu_2} = (-1)^{\nu_1 + \nu_2} =(-1)^{\vert H\vert \cdot \vert K\vert}\end{displaymath}

$\quad\Box$

Teorema 1.5   Si $\overline{x} \in \mbox{\sf G}^{(p)} \; \mbox{e}\; \overline{y} \in \mbox{\sf G}^{(q)}$ vale:

\begin{displaymath}\fbox{${\displaystyle {\displaystyle \overline{y}\wedge \over...
...x{: {\sc Ley de Conmutaci\'on}\index{Ley de Conmutaci\'on}} }$}\end{displaymath}

Demostración
Escribamos: ${\displaystyle \overline{x} = \sum_{\vert H\vert=p} x^H \overline{e}_H \,,\; \o...
...t K\vert=q} y^K \overline{e}_K \;\; (x^H \; \mbox{e}\; y^K \in {{\mathbb{K}}})}$. De ahí :

$\displaystyle \overline{x} \wedge \overline{y}$ $\textstyle =$ $\displaystyle \sum_{\vert H\vert=p \atop \vert K\vert=q} x^H y^K \, \overline{e}_H \wedge \overline{e}_K$ (16)
$\displaystyle \overline{y} \wedge \overline{x}$ $\textstyle =$ $\displaystyle \sum_{\vert H\vert=p \atop \vert K\vert=q} x^H y^K \, \overline{e}_K \wedge \overline{e}_H$ (17)

En vista de (16) y (17) el teorema estará probado si mostramos:

\begin{displaymath}
\overline{e}_K \wedge \overline{e}_H = (-1)^{pq}\, \overline{e}_H \wedge \overline{e}_K
\end{displaymath} (18)

siempre que $\vert H\vert=p$ y $\vert K\vert=q$. Ahora bien, por la tabla de multiplicación:
$\displaystyle \overline{e}_H \wedge \overline{e}_K$ $\textstyle =$ $\displaystyle \rho_{H,K} \, \overline{e}_{H \cup K} \quad \mbox{y}$ (19)
$\displaystyle \overline{e}_K \wedge \overline{e}_H$ $\textstyle =$ $\displaystyle \rho_{K,H} \, \overline{e}_{H \cup K}$ (20)

Si $H \cap K \ne \emptyset$, los segundos miembros tanto de (19) como de (20) son cero, luego (18) es cierto (con ambos miembros nulos).

Si $H \cap K = \emptyset$, tenemos por el lema 1.1.2: $\rho_{K,H}= (-1)^{pq} \rho_{H,K}$ y de nuevo (18) es cierto. $\quad\Box$


next up previous contents index
Siguiente: Casos particulares Arriba: Álgebra de Grassmann asociada Anterior: Relación entre el álgebra
Guillermo M. Luna
2009-06-14