Étale space of continuous functions is not necessarily Hausdorff

Statement

Let $X$ and $Y$ be topological spaces. Then the étale space of continuous functions from $X$ to $Y$ need not be Hausdorff, even if $X$ and $Y$ are Hausdorff.

Positive statement

Suppose $X$ is a Hausdorff space. Then, the étale space of continuous functions from $X$ to $Y$ is Hausdorff, if and only if, for any functions $f_1:U_1\to Y,f_2:U_2\to Y$ from open subsets of $X$ to $Y$, the set of points in $U_1\cap U_2$ at which the germs of $f_1$ and $f_2$ are equal, is a closed subset of $U_1\cap U_2$.

Contrapositive statement

This form of the statement is more useful from the point of view of constructing counterexamples:

Suppose we can find two continuous maps $f,g:U\to Y$ where $U$ is an open subset of $X$ containing a specific point $x\in X$, such that $f$ and $g$ do not have the same germ at $x$, but such that for every open set $V\subset U$ containing $x$, there exists $x^{\prime }\in V$ such that $f,g$ have the same germ at $V$. Then, the étale space of continuous functions from $X$ to $Y$ is not Hausdorff.

Proof

We shall prove the contrapositive version.

Suppose the above condition holds. Then, let $f_x$ and $g_x$ denote the germs of $f$ and $g$ at $x$. Suppose there are open subsets separating these. Then, by the definition of the topology on the étale space of continuous functions, there exist open subsets $V_1$ and $V_2$ about $x$ and functions $f^{\prime },g^{\prime }$ defined on $V_1$ and $V_2$, such that:

• $f{\text{'}}_x=f_x$ and $g{\text{'}}_x=g_x$
• For any point $x^{\prime }\in V_1\cap V_2$, $f{\text{'}}_{x^{\prime }}\ne g{\text{'}}_{x^{\prime }}$

Now, by definition of germ, we can find a small open subset $W\subset U\cap V_1\cap V_2$ about $x$ such that $f=f^{\prime }$ and $g=g^{\prime }$ on $W$. But $f^{\prime }$ and $g^{\prime }$ have different germs at all points in $W$, hence so do $f$ and $g$. This contradicts our assumption that for every neighbourhood of $x$ there exists $x^{\prime }$ in the neighbourhood where the germ of $f$ and $g$ are equal.

Explanation

Since $X$ is Hausdorff, it is certainly true that given any two points in different fibers of the étale space, we can separate them by disjoint open subsets. The problem is if we pick two points in the same fiber, such that they are germs of different functions, but the functions for which they are germs, look similar enough at points arbitrarily close to the given point.

In our case, the two points are in the fiber above $x$, and are germs of $f,g$ respectively, with both $f$ and $g$ resembling each other at points arbitrarily close to $x$.

Example

We show that the étale space of continuous functions from $\mathbb{R}$ to $\mathbb{R}$ is not Hausdorff. For the proof, we take $x=0$, $f$ to be the zero function, and $g$ to be the function:

$g(x)=x^{+}=max\{x,0\}$

Clearly, $f$ and $g$ do not have the same germ at $0$, but they have the same germ at any $x^{\prime }<0$. Thus, any open neighbourhood of $0$ contains a point where the germ of $f$ equals the germ of $g$.

The same idea can be used for the étale space of continuous functions from any manifold to $\mathbb{R}$.

Similar proofs show that the étale space of smooth maps from a differential manifold to $\mathbb{R}$ is not Hausdorff.