уменьшающий норму изоморфизм

Мат. norm-decreasing isomorphism