I'm working on Pugh's book on analysis and there's this problem that should be very easy to solve. It's asking to show that the set of continuous functions, [tex]f:M \rightarrow R, f\in C^{Lip}[/tex] obeying the Lipschitz condition (where M is a compact metric space):(adsbygoogle = window.adsbygoogle || []).push({});

[tex]|f(a) - f(b)| \leq L d(a,b)[/tex] for some L, for every a and b belonging to to M.

Show that the above is dense in [tex]C^{0}(M,R)[/tex]. My attempt is to use the Stone-Weirestrass theorem. That is to show that the set [tex]C^{Lip}[/tex] vanishes nowhere and separates points. The latter is easy for me, I just showed how the above equation implies thatf(a)does not equalf(b)ifadoes not equalb. However, showing the vanishing property is proving difficult. Is there some trick I'm supposed to use? Hm...

Also, I assume I'll have to actually show that [tex]C^{Lip}[/tex] is infact a function algebra; that is, it obeys the 3 properties that makes something that (closed under addition, constant multiples, and multiplication), but I can't seem to manipulate the equations in such a way that shows the Lipschitz property implies those.

Any help is appreciated. Thank you.

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Lipschitz functions dense in C0M

**Physics Forums | Science Articles, Homework Help, Discussion**