正に拡大的な微分可能写像について

抄録

We get a necessary and sufficient condition for a positively expansive differentiable map to be an expanding differentiable map.