Para responder a su segunda pregunta: No, ese teorema no es suficiente. Por supuesto, se puede obtener $[0,1)$ quitando el elemento $1$ de $[0,1]$ y, por supuesto $[0,1]$ es trivialmente homeomorfo a $[0,1]$ . Pero entonces, todo lo que te dice el teorema es que puedes quitar un elemento de $[0,1]$ de modo que se obtiene un conjunto homeomorfo a $[0,1)$ - pero eso ya lo sabías: Tomando el elemento $1$ lejos hace eso. En ninguna parte dice el teorema que $y\ne x$ . El teorema tampoco dice que exista más más de un elemento de este tipo. Y, de hecho, en el caso general puede que no exista un segundo. Considere la posibilidad de quitar $0$ de $[0,1)$ para obtener $(0,1)$ ; no hay ningún otro elemento que puedas sacar de $[0,1)$ para obtener un conjunto homeomorfo a $(0,1)$ .
La forma más fácil (y creo que, para este problema concreto, la única) de demostrar que los conjuntos son homeomorfos es construir explícitamente un homeomorfismo.