Constant rank theorem
= Constant rank theorem
{wiki}
If a smooth map has constant rank $r$ near a point, there are local coordinates in which it is
$$
(x^1,\ldots,x^m)\longmapsto(x^1,\ldots,x^r,0,\ldots,0).
$$
= Constant rank theorem
{wiki}
If a smooth map has constant rank $r$ near a point, there are local coordinates in which it is
$$
(x^1,\ldots,x^m)\longmapsto(x^1,\ldots,x^r,0,\ldots,0).
$$