¿Si $U$ es un subconjunto abierto conectado de $\mathbb{R}^n$ donde $n\ge 2$, es verdad que $H_1(U,\mathbb{Z})$ es torsión libre? ¿O en general, $H_i(U)$ es gratis? Me refiero si tiene deformación retraer a algunos agradable múltiple en $\mathbb{R}^n$. ¿También si el primer grupo de homología de un surface(2-dim) compacto cerrado tiene torsión, es cierto que $M$ es nonorientable? Me refiero a si puedo usar triangulación de $M$.
Gracias.