Dado que el $f(x) = -1$ si $f$ es irracional e $f(x)=1$ si $f$ es racional, muestran que $f$ no es continua en cualquier lugar.
- Vamos a demostrar que entre 2 racionales siempre hay un número irracional
Consideremos $a,b \in Q$ tal que $a<b$, hay un número infinito de rational $r$ tal que $a<r<b$. Donde $r=\frac{a+b}{n}$ donde $n \in Z$
También $$a<r<b$$, $$ a +\sqrt{2}<r<b+\sqrt{2}$$ , $$a<r- \sqrt{2}<b$$
De ello se sigue que hemos de tener siempre una irracional entre dos racionales
- Entre dos irrationals, siempre tenemos un racional.
Aquí no estoy seguro de cómo proceder.
- Uno puede encontrar un racional entre dos irrationals y viceversa irracional entre dos racionales.
Por lo tanto, como el valor de $x$ se aproxima a un valor de la izquierda o la derecha de $r$ , $x$ se oscila entre lo racional y lo irracional infinitamente. Por lo tanto, los límites de oscilará entre el $1$ $-1$ infinitamente. esto muestra que $$f(r^-) \neq f(r^+) \neq f(r)$$
de ello se sigue que no hay continuidad en cualquier lugar de $D_f$
Es esto correcto? Es allí una manera más eficiente (limpia) para mostrar la discontinuidad?
El aporte se agradece mucho