La pregunta completa es: Definir un mapa como para cada punto tomar la línea a través y y definir como la intersección de esta línea y la -eje.
Entonces creo que quiero ser el mapa , tomé la línea , y encontró la valor cuando .
Así que ahora tengo que demostrar que es un homeomorfismo. Creo que después de mostrar que es biyectiva, mostrar que es continua es simplemente una cuestión de mostrar está abierto en . Luego, usando eso, la imagen previa de los conjuntos abiertos es abierta, por lo tanto, continua. Sin embargo, tengo algunos problemas para mostrar que esta función es inyectiva y sobreyectiva.
Inyectiva: Supongamos entonces
entonces . De alguna manera quiero mostrar que o bien o pero no estoy viendo cómo hacer esto. Yo sé eso y .
Pista:
es el inverso de su mapa de . Esto probará que su mapa inicial es tanto inyectivo como sobreyectivo. Tenga en cuenta que en , obtenemos pero por supuesto.
Si desea ver cómo se obtienen estos dos mapas, suponiendo que aún no lo sepa, solo fije una línea en y cambiar la pendiente para barrer . Esto dará una correspondencia uno a uno (bicontinua) entre y siempre que la pendiente de la recta no sea paralela a la -eje. Y nunca llega a ser paralelo a la -eje a menos que la línea sea tangente al círculo en .
Mientras tanto, tenga en cuenta que solo probar su función es continuo no es suficiente. También debes demostrar que su inversa es continua. En este caso, está dado por dos polinomios cuyos denominadores nunca se vuelven cero. Entonces, es continua en .
Apéndice
Más precisamente, si te preguntas cómo se encuentra, primero escribe la ecuación de la recta que pasa por con la pendiente variable
quieres ver como determina un punto en el círculo. Entonces, tienes que encontrar su intersección con el círculo unitario. Por lo tanto, su punto de intersección debe satisfacer . Esto da
Ahora has encontrado una ecuación que es cuadrática en . Entonces, encontrarás dos soluciones. Una solución es que corresponde al punto donde nuestra línea se ha fijado al círculo, y la otra solución nos da el punto que estamos buscando.
estresado