Ttykuu

Give an example of a topological space $(X,tau)$, a subset $Asubset X$ that is dense in $X$ (i.e., $overlineA = X$), and a continuous function $f:AtomathbbR$ that cannot be continually extended to $X$, that is, a $f$ for such do not exist a continuous function $g:Xto mathbbR$ such that $f(x) = g(x)$ for all $xin A$.

I just proved that if $f,g:XtomathbbR$ are continuous and agree in a dense subset $Asubset X$ then they're equal.

I thought in $X=mathbbR$ with usual topology and $A = mathbbR-0 =:mathbbR^* $, so I think $f:mathbbR^*tomathbbR, f(x) = x^-1$ is a continuous function that cannot be continually extended to $mathbbR$. I'm quite sure of this, but I'm stuck in proving it using the definition of continuity in general topological spaces.

Also, I'm quite confused on how this asked example is not a counterexample of what I proved.

Thanks in advance.

Define $f(x)=1/x$ like you did, and assume you can find a continuous extension $g : mathbbRtomathbbR$. Well this $g $ takes a real numbered value at $0$, namely $-infty < g (0) < infty $, and it agrees with $f $ at non-zero values.

One definition of continuity is that given a net of points in $X $ converging to $x_0$ and a function $g $, then the images converge to $g(x_0) $. Since $mathbbR$ is a metric space, we can use sequences instead of nets. But given a sequence of real numbers $(x_n )_n=1^infty $ converging to $0$, the sequence $(g (x_n))_n=1^infty $ converges to either positive or negative $infty $. So it does not converge to $g (0) $. So $g $ is not continuous

BTW regarding your question on the results you proved. You proved a result about two functions that were continuous on the entire space, who agree on a dense subset. But the main question of your post is regarding a function who is not assumed to be continuous on the entire space, and comparing it to one that is continuous on the entire space. So the main example is not countering your original result

Using sequences is the easiest way to go, but for a more "topological" proof, to show that no extension of $f$ is continuous at $x=0,$ we suppose there is one (we still call it $f$ for convenience), and we show that there is an $epsilon>0$ so that for any $delta >0$, there is an $xin (-delta,delta$), such that$f(x)>f(0)+epsilon$ (or that $f(x)<f(0)-epsilon$). Let's do the former.

Now, drawing a picture will make the following obvious:

Take $epsilon=1.$ Then, if $f(0)+1le 0$, then $textany xin (0,delta)$ will do because $f(x)=1/x>0.$

If $f(0)+1> 0$, all we need do is choose $x$ small enough so that $f(x)=1/x>f(0)+1,$ which is to say, choose $x<mindelta, frac1f(0)+1$