4 ms·

I don't think they're claiming surjectivity here. They're just saying the mapping is injective, so for a given output there should be a unique input to construc

by morcus 11mo ago

I don't think they're claiming surjectivity here. They're just saying the mapping is injective, so for a given output there should be a unique input to construct it.

RossBencina 11mo ago
> I don't think they're claiming surjectivity here. What definition of invertible doesn't include surjectivity?
- diffeomorphism 11mo ago
  Many? Just add a "by restricting to the image, we may wlog assume surjectivity". The question is usually more about whether the inverse is also continuous, smooth, easy to compute....etc.
- deleted 11mo ago
  [deleted]