Can we recover a space from its continuous functions?

Let $X$ be a topological space and let $\mathcal{F}(X,\Bbb R)$ be the set of continuous function from $X$ to $\Bbb R$.

Can we recover the topology of $X$ by only the knowledge of $\mathcal{F}(X,\Bbb R)$?

That is, can we determinate whether or not a subset $U$ of $X$ is open only by using $\mathcal{F}(X,\Bbb R)$?

If not, is there an example of two distinct topologies $\mathcal{T_1}$ and $\mathcal{T}_2$ on a set $X$ such that $$\mathcal{F}_{\mathcal{T}_1}(X,\Bbb R)=\mathcal{F}_{\mathcal{T}_2}(X,\Bbb R)\,?$$

I know from this question that we can indeed recover the topology of $X$ if we consider instead continuous functions from $X$ to $\{0,1\}$ with topology $\big\{\emptyset,\{1\},\{0,1\}\big\}$. But what about the case $X=\Bbb R$?

Solution 1:

There is a counterexample with $X=\{1,2\}$; since there aren't many topologies on that space you should have no trouble finding two that give the same continuous real-valued functions.

If you know that $X$ is a compact Hausdorff space then you can recover the topology from $\mathcal F(X,\Bbb R)$. Because the space of continuous functions is a Banach algebra, and it turns out that the maximal ideal space is $X$.

Solution 2:

In this answer I gave the construction in Eric van Douwen’s paper A regular space on which every continuous real-valued function is constant, Nieuw Arch. Wisk. $30$ ($1972$), $143$-$145$, which actually gives a ‘machine’ for starting with a $T_3$ space having two points that cannot be separated by a continuous real-valued function and producing from it a $T_3$ space on which all continuous real-valued functions are constant. In this answer I gave a construction of a $T_3$ space with two points that cannot be separated by a continuous real-valued function; the example is due to John Thomas, A Regular Space, Not Completely Regular, The American Mathematical Monthly, Vol. $76$, No. $2$ (Feb., $1969$), pp. $181$-$182$. Quite a few others are known.

Take any space $\langle X,\tau\rangle$ produced by van Douwen’s machine, and let $\tau'$ be the indiscrete topology on $X$; then $\langle X,\tau\rangle$ and $\langle X,\tau'\rangle$ have the same continuous real-valued functions, namely, the constant ones. For that matter, we can take $\tau'$ to be the cofinite topology on $X$, thereby making the space $T_1$.