MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I want to define Sobolev spaces for sections on a vector bundle, basically I want that a section will belong to the Sobolev space $W^{k,p}$ if its coordinates in any aceptable patch belong to the corresponding Sobolev space of functions. So here is my try:

Let $\mathcal{A}$ be the collection of atlases of the differential structure of $M$ on which the coordinate transformations belong to $\widetilde{C}^{\infty,p}(U,\mathbb{R}^n):=\{f \in C^\infty(U) : \|f\|_{W^{k,p}(U)} < \infty \}$ where $U$ is some open set of $\mathbb{R}^n$. We see that by making the coordinate charts small enough $\mathcal{A}$ is not empty.

A section (not necessarily smooth) $s$ of the vector bundle $\pi: E \rightarrow M$ is in the Sobolev space $W^{k,2}(E)$, if for any $(V,\psi)\in \mathcal{A}$, and for any $U$ compactly contained in $V$, the map $$ pr_2 \circ \phi_V \circ s|_U \circ \psi^{-1}:\psi(U) \rightarrow \mathbb{R}^m $$ lies in $W^{k,2}(\psi(U),\mathbb{R}^m)$. Where $\phi_V$ is a trivialization of $E$ over $V$, and $pr_2$ is the projection onto the second factor.

I would like to know if this definition is consistent in the sense that it does not depend on the choices made. And if is not what changes should I put. Thanks

share|cite|improve this question
up vote 11 down vote accepted

There is a fairly careful discussion of this in my book "Foundations of Global Non=Linear Analysis", Benjamin & Co. 1968

(Added later:) It occurred to me that this old book of mine is probably not easy to come by, so I have made a photo-copy of it available here:

I should add that there is also a quite detailed discussion of this topic in Chapters IX and X of my "Seminar on the Atiyah-Singer Index Theorem", Princeton Univ. Press, 1965. Unfortunately, I think that is still under copyright, so I cannot make it available, but on the other hand it should be readily available in almost any math library.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.