Sea $M,N$ múltiples con límite. Que $f:\mathring{M}\to \mathring{N}$ sea un diffeomorphism de sus interiores. ¿Se extiende a un diffeomorphism $M\to N$?
¿Supongo podemos mirar el problema localmente, y entonces el problema es: si abrimos $U,V\subset \mathbb{H}^n$ juegos en medio espacio, se extiende un diffeomorphism $f:\mathring{U}\to \mathring{V}$ a un diffeomorphism $f:U\to V$?
EDIT: ya que la respuesta es negativa, ahora pregunto: ¿Cuáles son las condiciones suficientes para la afirmación de ser cierto?