Converse of Stone-Weierstrass

119 Views Asked by At

I thought it was obvious, but I do not manage to prove it. So, I wonder whether it is true actually. Let $X$ be a compact of $\mathbb R$, $\mathcal A$ be a $\mathbb R$-subalgebra dense of $\mathscr C(X,\mathbb R)$ (the $\mathbb R$-algebra of continuous functions on $X$). Then, for all $x,y\in X$ with $x\ne y$, there exists $f\in\mathcal A$ such that $f(x)=0$ and $f(y)=1$.

Can anyone disprove or prove this fact? Thanks in advance.

2

There are 2 best solutions below

2
On

I won't assume subalgebras are unital. In $\mathscr{C}(X,\Bbb R)$ there are functions $f_1$ and $f_2$ with $f_1(x)=0$, $f_1(y)=1$, $f_2(x)=1$ and $f_2(y)=0$. In your dense $\mathscr{A}$ there are $g_1$ and $g_2$ which are $\varepsilon$-close to $f_1$ and $f_2$, and we can choose $\varepsilon$ to ensure that the vectors $(g_1(x),g_1(y))$ and $(g_2(x),g_2(y))$ are linearly independent. Then some $\Bbb R$-linear combination $h$ of $g_1$ and $g_2$ has $h(x)=0$ and $h(y)=1$.

0
On

Let $g(x) \neq g(y)$ and $\|h-1\|< \frac {|g(x)-g(y)} {|g(x)|+|g(y)|}$ with $g,h \in \mathcal A$. Then $f=ag+bh$ serves the purpose for some constants $a,b$. [Consider the equations $ag(x)+bh(x)=0,ag(y)+bh(y)=1$. All you need is that the determinant for this system is not zero].