As I understand it, one way to define Sobolev spaces is to say they are the collection of functions with weak derivatives up to some order, and this space is called [itex]W^{k,p}[/itex].(adsbygoogle = window.adsbygoogle || []).push({});

On the other hand, some stuff I am reading now defines it differently. Here they define the Sobolev space [itex]W_0^{k,p}[/itex] as the completion of [itex]C_0^\infty[/itex] (the space of smooth functions with compact support) with respect to the Sobolev norm.

Now, by the definition elements of [itex]W_0^{k,p}[/itex] are equivalence classes of Cauchy sequences in [itex]C_0^\infty[/itex]. How do we know that these equivalence classes actually represent functions? For example, what does it even mean to "integrate" an equivalence class?

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

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

# Sobolev W0 basics question

Can you offer guidance or do you also need help?

Draft saved
Draft deleted

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