Parte 2. RD tesela el espacio
LaTeX en HTML5 Ejemplo 2.1.6. El intervalo \[ F = [0,1) \] es un dominio fundamental para la acción del grupo \(\mathbb{Z}\) sobre \(\mathbb{R}\) dada por traslaciones \[ n \cdot x = x + n. \] Demostración. (DF1) Exhaustividad. Observemos que \[ n \cdot F = F + n = [n,n+1). \] Por tanto, \[ \bigcup_{n\in\mathbb{Z}} n\cdot F = \bigcup_{n\in\mathbb{Z}} [n,n+1) = \mathbb{R}. \] En efecto, dado \(x\in\mathbb{R}\), existe un único entero \(n=\lfloor x\rfloor\) tal que \[ y= x-n\in[0,1), \] es decir, \(x=y+n\), con \(y \in [0,1) \) \[ x\in n\cdot F. \] Luego toda órbita intersecta \(F\), y se cumple la exhaustividad. (DF2) No solapamiento de interiores. El interior de \(F\) es \[ \operatorname{int}(F)=(0,1). \] Además, \[ \operatorname{int}(n\cdot F)=(n,n+1). \] Supongamos que existe \(n\neq 0\) tal que \[ (0,1)\cap(n,n+1)\neq\varnothing. \] Entonces existiría \(x\) tal que \[ 0 \lt x \lt 1 \quad\text{y}\quad n \lt x \lt n+1. \] Esto imp...