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**

Join Physics Forums Today!

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

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**