Esta pregunta está relacionada con esta cuestión , pero no el mismo
Deje $\mathbb{Z\times Z\times R}$ actuar en $\mathbb R^2$ $$(m,n,r)\cdot(x,y)=(x+m+r,y+n+r\sqrt{2})$ $ I necesidad de probar que los siguientes -
Si Homeo$(\mathbb R^2)$ se da el pacto abierto de la topología, a continuación, el cierre de $\mathbb{Z\times Z\times R}$ en Homeo$(\mathbb R^2)$ es el grupo de todas las traducciones de la $\mathbb R^2$
Mi intento -
Deje $f$ estar en el cierre de $\mathbb{Z\times Z\times R}$. Entonces existe una red de puntos de $(f_\alpha)\in\mathbb{Z\times Z\times R}$ (definido por $f_\alpha(x,y)=(x+n_\alpha+r_\alpha,y+m_\alpha+r_\alpha\sqrt{2})$ algunos $m_\alpha,n_\alpha\in\mathbb Z$$r_\alpha\in\mathbb R$) tal que $f_\alpha\longrightarrow f$. Así que para cualquier $(x,y)\in\mathbb R^2$ hemos
$$f_\alpha(x,y)\longrightarrow f(x,y)$$ $$\Rightarrow(x+n_\alpha+r_\alpha,y+m_\alpha+r_\alpha\sqrt{2})\longrightarrow f(x,y)$$ $$\Rightarrow (n_\alpha+r_\alpha,m_\alpha+r_\alpha\sqrt{2})\longrightarrow f(x,y)-(x,y):=(x_0,y_0)$$
Por lo tanto $(n_\alpha+r_\alpha,m_\alpha+r_\alpha\sqrt{2})\longrightarrow (x_0,y_0)$ y por Hausdorffness de $\mathbb R^2$ $(x_0,y_0)$ es independiente de la elección de $(x,y)$. Por lo$f$ es dado como la traducción por $(x_0,y_0)$.
Esto demuestra el cierre de $\mathbb{Z\times Z\times R}$ está contenida en el grupo de traducción de $\mathbb R^2$
¿Alguien que me ayude con el otro?
Si $f$ está dado por $f(x,y)=(x+x_0,y+y_0)$ entonces la necesidad de encontrar una red de puntos en $\mathbb{Z\times Z\times R}$ convergentes a $f$. He intentado dividir $x_0$ $y_0$ en número entero y parte fraccionaria, pero no estoy seguro de cómo ir desde allí. Sugerencias serán apreciados.
Gracias.