A function is functionally dependent on if for certain function .
And are called functionally independent if the differentials are linearly independent in a open set , that is, the Jacobian of has maximal rank for . It is the same as saying that is a submersion.
Or, in another way, every is a regular point of . So therefore, for every , is an embedded manifold.
Idea: Consider an open subset and three functions defined on it. At a point , the differential is visualized as a set of parallel planes centered at . The same is true for . If are linearly independent, these families fo planes are transversal, so defines a family of curves. If , then does not allows us to define a point, i.e., the family of planes corresponding to contain the intersection lines of . Therefore is a linear combination of .
More simply, if depends on (or if ), then is still a curve, and the normal vectors (assuming the standard metric to go from to ) are dependent.
Particular case: Linear dependence.
A set of functions is said to be linearly dependent on an interval I if there exist constants , not all zero, such that
Otherwise, we say that the set is linearly independent.