Infinitesimal calculus MOC

Matrix calculus

This Zettel is a collection of identities for infinitesimal calculus with matrices.

Invertible matrix

Let 𝐌 : GL𝑛() :𝑡 𝑀(𝑡) be a 𝐶1-map.

  1. 𝜕𝜕𝑡ln|det𝐌|=tr(𝐌1𝜕𝐌𝜕𝑡)
Proof

#missing/proof


#state/develop | #lang/en | #SemBr