数学得意な人ちょっと教えてください

Def:
U, V⊂R^n: 開集合
UとVが微分同相であるとは、なめらかな全単射f: U → Vが存在して、逆写像f^(-1): V → Uもなめらかになることである。