I have a question about the Lagrangian-formalism; they state that the holonomic constraints are expressed as:
$$f_\alpha(x_1,y_1,z_1,...,x_n,y_n,z_n,t) = 0 $$ where $\alpha = 1,...,L$
They state now that these constraints may not contain irrelevant information. They express this by saying: $$rank(\frac{\partial{f^{\alpha}}}{\partial{x_k}}\frac{\partial{f^{\alpha}}}{\partial{y_k}}\frac{\partial{f^{\alpha}}}{\partial{z_k}}) = L$$ With $\alpha = 1,..,L $ and $k = 1,...,N $. This looks like a Jacobi-matrix. I don't understand however how this expresses that the constraints may not contain irrelevant information. (I see that they may not be linear dependent, is there a relation between linear dependence and the Jacobi-matrix?)
Further they state that under these premises, we can solve the constraints and we can say: $z_k = z_k(x_1,y_1,z_1,...,t) $ (where $z_k$ is a symbolical notation for a parameter (so it can also be for instance $x_5$)), and $z_k$ depends on $3n-L$ parameters and the time $t$. With a regular transformation these parameters can be transformed to other generalized parameters. This should follow out of the theorem of implicit functions, but these theorem only states that we can solve $f_\alpha$ local: so I don't understand why they assume that these generalized parameters should completely determine the configuration of the system. It seems that these coordinates only determine the configuration of the system in the surrounding of a point that satisfies the constraints.