Definição 7.18

Pullback de uma forma por um operador

RequerDefinição 7.8Formas \(k\)-lineares alternadas

Seja \(T:V\to V\) linear. Para \(\omega\in\Alt^k(V)\), o pullback de \(\omega\) por \(T\) é \[(T^\sharp\omega)(u_1,\ldots,u_k) = \omega\big(T(u_1),\ldots,T(u_k)\big).\]

Usado emProposição 7.19O pullback é linear e inverte a composição Teorema 7.20\(T\) age em \(\Alt^n(V)\) multiplicando por \(\det T\)

def-pull

Vizinhança no grafo