Hey all,

I would like to prove the following:

where

are continuous, complex-valued functions on Hausdorff space

. I don't want to specify them as bounded, but I think my solution requires that.

The first question is what '=' means here, so it at least means isomorphic, and probably isometric too. So if someone wants to just comment about that part it would be appreciated (like are isomorphic Banach spaces always isometric or something).

So my thought for the isomorphism is something like the map taking

Then I think showing something like the subalgebra

separates

, and then invoke the Stone-Weierstrass theorem.

Does this make sense to anyone? And is it common convention to assume "isomorphic Banach algebras" are "isomorphic, isometric Banach algebras"?