$f$ is continuous in $\mathbb{R}$ if and only if for every open set $G$, the set $f^{-1}(G)=\{x:f(x)\in G\} $ is open.

1.7k Views Asked by At

Suppose $f(x)$ defined in $\mathbb{R}$, then $f$ is continuous in $\mathbb{R}$ if and only if for every open set $G$, the set $f^{-1}(G)=\{x:f(x)\in G\} $ is open.

I have done necessity.
If $f$ is continuous and G is open. Then for $x_0\in f^{-1}(G)$,$f(x_0)\in G$,and $f$ is continuous hence $\exists U(x_0,\delta)$,such that for $x\in U(x_0,\delta)$,$f(x)\in G$. Thus $ U(x_0,\delta)\subset f^{-1}(G)$ which makes $f^{-1}(G)$ is an open set.
And now I have no ideal of the sufficiency.

2

There are 2 best solutions below

5
On BEST ANSWER

Hint: Fix $x \in \mathbb R$. We'll show that $f$ is continuous at $x$. So, fix your favorite $\epsilon > 0$ and consider the open set $(f(x) - \epsilon, f(x) + \epsilon)$. Its preimage under $f$ is open and has the elements $x$. Hence it contains an open interval around $x$. But now the (pointwise) image of that open interval...

0
On

If $x_0 \in X$ and $\varepsilon>0$ the set $G = B(f(x_0), \varepsilon)$ is open. So $f^{-1}[G]$ is open and $x_0 \in f^{-1}[G]$ as $f(x_0) \in G = B(f(x_0), \varepsilon)$ clearly.

So there is some $\delta>0$ such that $B(x_0, \delta) \subseteq f^{-1}[G]$ and it's easy to see that this $\delta>0$ is as required for our starting $\varepsilon$. So $f$ is continuous at $x_0$.