Esbozo de una alternativa de la prueba.
En primer lugar, recordemos (o ver por primera vez) el siguiente hecho:
Dada una función continua h: \mathbb{R} \rightarrow \mathbb{R}, el conjunto K_h := \{x \in \mathbb{R}: h(x) = 0\} es cerrado.
"Recordando" este hecho podría parecer como barrer detalles debajo de la alfombra; de hecho, es el Ejercicio de 4.3.7 en Stephen Abbott introductorio del libro de texto la Comprensión de Análisis.
Sin embargo, uno puede entonces proceder de la siguiente manera:
Deje que f, g: \mathbb{R} \rightarrow \mathbb{R} es continuo, con un valor real de las funciones que están de acuerdo en \mathbb{Q}.
Además, permitir a los h = f - g. Entonces h es la diferencia de funciones continuas, por lo tanto continua de sí mismo; ahora podemos usar el hecho de arriba a la conclusión de que \mathbb{Q} \subconjunto K_h \subconjunto \mathbb{R}.
En particular, K_h es un conjunto cerrado de los números reales que contiene \mathbb{Q}.
Estamos dado que los racionales son densos en los reales, es decir, cl(\mathbb{Q}) = \mathbb{R}.
Por lo tanto, K_h = \mathbb{R}, lo que significa que para todo x \in \mathbb{R}, tenemos h(x) = 0.
Por la definición de h, esto significa que para todo x \in \mathbb{R} tenemos f(x) - g(x) = 0, es decir, f(x) = g(x).
Esta "prueba" el resultado deseado. QED
N. B. El problema que se plantea aquí es también en Abbott del texto: es el Ejercicio de 4.3.8(b).