Functionally independent functions (source code)

= Functionally independent functions
{title2=$dF_1\wedge\cdots\wedge dF_r\ne0$}

= Functional independence
{synonym}

= Functionally independent
{synonym}

Functions whose <differentials> are <linearly independent> at the point in question. For $F=(F_1,\ldots,F_r)$ this means the derivative has rank $r$, so $F$ is a <submersion> there. The condition is open. It is distinct from global <algebraic independence> of functions.