$\require{enclose}$ $\newcommand{\avsum}{\mathrel{\displaystyle\int \!\!\!\!\!\! \Delta\ }}$ $\newcommand{\bcancelto}[2]{{\enclose{southeastarrow}{#2}\,}_{\lower.75ex{#1}}}$ $\newcommand{\ordcirc}[1]{\mathrel{[\hspace{-4pt} \circ \hspace{2pt}#1 \hspace{3pt}]\hspace{-4pt}\circ}}$ $\newcommand{\avigual}{\{=\}}$ $\newcommand{\intsup}{{\LARGE \big\uparrow}\displaystyle\int}$ $\newcommand{\intinf}{{\LARGE \big\downarrow}\displaystyle\int}$
Última atualização estrutural do weblog: 07-07-2023.

Este weblog utiliza serviços de terceiros, e os mesmos podem não funcionar adequadamente, o que não depende de mim.

Se as expressões matemáticas não estiverem satisfatoriamente visíveis, você pode alterar as configurações de exibição no menu contextual.

Este weblog pode passar por melhorias. Caso não teve uma boa experiência hoje, futuramente os problemas poderão estar corrigidos.

Em caso de não ser a mim mais possível realizar manutenções, como, por exemplo, devido a falecimento ou desaparecimento, alguns links podem ficar quebrados e eu não responder mais a comentários. Peço compreensão.

sábado, 15 de fevereiro de 2020

Demonstração: $f(x)$ contínua e racional é constante.

Suponha que $f: \mathbb{R} \rightarrow \mathbb{R}$ é contínua e $f(x) \in \mathbb{Q}$ para todo $x \in \mathbb{R}$. Prove que $f(x)$ é constante para todo $x \in \mathbb{R}$.

Resolução:

Suponhamos que $f(x)$ não seja constante, ou seja, existem $a$ e $b$ reais tais que $f(a) \neq f(b)$. Sem perda de generalidade suponhamos que $f(a) < f(b)$.

Sendo $f$ contínua, existe um real $c$ tal que $f(a) < f(c) < f(b)$ e $f(c) \in \mathbb{Q'}$, o que é um absurdo, pois, por hipótese, $f(x) \in \mathbb{Q},\ \forall x \in \mathbb{R}$, logo $f$ é constante.

Nenhum comentário:

Postar um comentário