Dejemos que ${\bf f}:U\to \mathbb R^{n-k}$ sea una función continuamente diferenciable. Entonces ${\bf f}^{-1}(0)$ es un colector si $[{\bf D}{\bf f}(x)]$ es suryente en todo $x$ . Esto equivale a la condición de que $[{\bf D}{\bf f}(x)]\neq 0$ para todos $x\in M$ .
Dado un $M$ descrito de esta manera, ¿es siempre posible encontrar un ${\bf f}$ tal que $\{\nabla f_1,\dots,\nabla f_{n-k}\}$ es un conjunto de derivadas parciales linealmente independientes?