I'm looking some book from which I could learn more about Sobolev spaces. I'm interested rather in abstract theory: some topics which I would like understand in detail include:

• general construction of Sobolev spaces of sections of vector bundles over manifold

• the equivalence of norms: one defined in terms of Fourier transform and the other being the sum of $L^2$ norms of derivatives

• embedding theorems (condition for an embedding to be compact)

• theorems about regularity of Sobolev spaces (which Sobolev spaces consist of $C^k$ functions)

I would like to avoid any detailed discussions about motivations for Sobolev spaces (coming from differential equations). My goal is to understand some topics about Sobolev spaces and then move to pseudodifferential operators (on general vector bundles) and finally prepare to study index theorem.