Cálculo multivariável a partir dos primeiros princípios
A fórmula de soma sobre caminhos é realmente multiplicação matricial escrita termo a termo. Quando funções são vetoriais, a regra da cadeia colapsa num produto limpo de Jacobianas, e esta é a forma que alimenta sistemas reais de autograd.
Para uma composição f ∘ g, a Jacobiana do conjunto é a Jacobiana da aplicação externa (avaliada na saída da interna) vezes a Jacobiana da aplicação interna:
A checagem de forma é o que faz clicar. Se g: Rⁿ → Rᵏ e f: Rᵏ → Rᵐ, então J_g é k×n, J_f é m×k, e seu produto é m×n, exatamente a forma que a aplicação global Rⁿ → Rᵐ exige. A dimensão interna k cancela, assim como em multiplicação matricial ordinária.