Let f,g: X->Y be a continuous function. Assume that Y is Hausdorff and that there exists a dense subset D of X such that f(x)=g(x) for all .

Prove that f(x)=g(x) for all

Printable View

- Apr 4th 2009, 09:35 AMAndreametContinuity, dense and Hausdorff
Let f,g: X->Y be a continuous function. Assume that Y is Hausdorff and that there exists a dense subset D of X such that f(x)=g(x) for all .

Prove that f(x)=g(x) for all - Apr 4th 2009, 10:11 PMaliceinwonderland
Since f(x)=g(x) for all by the hypothesis of the problem, it remains to show that f(x)=g(x) for all .

Suppose to the contrary that for some . Since Y is Hausdorff, we have disjoint open sets U and V containing f(x) and g(x), respectively. Since f and g are continuous, x belongs to an open set . We know that D is dense in X, which implies that every open set in X intersects a dense subset D. Thus, an open set intersects D. Let y belongs to that intersection. Since y belongs to , . Since y also belongs to D, we have f(y)=g(y) by the hypothesis of the problem. Contradiction !

Thus, for all .