| • Science | • People | • Locations | • Timeline |
More precisely, that if f:Rm+n→Rn, a is in Rm and b is in Rn, with f(a,b)=0; if we take the Jacobian of f, and split it into submatrices:
If Y is invertible (ie., the determinant Y is nonzero), f(x, y)=0 defines y as a function of x near (a,b), or that there exists a function such that g(b)=a, with its Jacobian at a being -Y-1X.