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 ?
The set of points where two maps agree is closed?
3 Answers
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
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.
-
1For 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
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$.