6
$\begingroup$

Let $f,g\colon X \to Y$ be continuous maps. Let $Y$ be Hausdorff. Is the set $A := \{x\in X \, : \, f(x)=g(x) \}$ necessarily closed ?

3 Answers 3

12

Yes. Suppose that $f(x)\ne g(x)$. Since $Y$ is Hausdorff, there are disjoint open sets $U$ and $V$ such that $f(x)\in U$ and $g(x)\in V$. Let $W=f^{-1}[U]\cap g^{-1}[V]$; then $W$ is an open neighborhood of $x$. (Why?) What can you say about $f(p)$ and $g(p)$ if $p\in W$?

  • 0
    @Teddy: You’ve got it.2012-09-20
5

The set $A$ is the inverse image under $h:X\to Y^2: x\mapsto(f(x),g(y))$ of the diagonal $\{(y,y)\mid y\in Y\}$ of $Y^2$, which is closed since $Y$ is Hausdorff.

  • 1
    For the result about the diagonal, see here: [$X$ is Hausdorff if and only if the diagonal of $X\times X$ is closed](http://math.stackexchange.com/questions/136922/x-is-hausdorff-if-and-only-if-the-diagonal-of-x-times-x-is-closed)2012-09-20
1

If you are familiar with nets you can argue as follows:

Let $(x_d)_{d\in D}$ be a net such that each $x_d$ belongs to $A$ and $x_d\to x$. We want to show that $x\in A$. (Closedness is equivalent to closedness under limits of nets.)

By the continuity we get $f(x_d)\to f(x)$ and $g(x_d)\to g(x)$. We have $f(x_d)=g(x_d)$, so the same net converges to both $f(x)$ and $g(x)$.

Since $Y$ is Hausdorff this implies $f(x)=g(x)$. (In a Hausdorff space, limits of nets are unique.) The equality $f(x)=g(x)$ means that $x\in A$.