Does integration require a metric?

1. Dec 26, 2012

friend

I think I remember reading somewhere that all the machinery of manifolds and a metric needed to be established first before the integral and the differential of calculus had any meaning. Am I remembering wrong? Is there such a thing as coordinate independent integration or differentiation? Thanks.

2. Dec 26, 2012

Number Nine

Are you familiar with the concept of a differential form?

3. Dec 26, 2012

micromass

Staff Emeritus
No, a metric is not needed to define integration on manifolds. Like Number Nine suggested, you should research differential forms. These are objects which can be integrated. And the integration can be defined coordinate independent.

A good reference is "Introduction to smooth manifolds" by Lee.

4. Dec 27, 2012

lavinia

As micromass and number 9 have said integration is defined without a metric in terms of differential forms.

However, integrals are often expressed in terms of areas,lengths, and volumes. These ideas require a metric.

Last edited: Dec 28, 2012
5. Dec 28, 2012

mathman

The minimum requirement needed to define an integral over a set is that there be a measure defined on it. No further structure is necessary.
.

6. Dec 28, 2012

friend

Does that mean that differential forms are a kind of measure?

And since forms are dual to vectors in the tangent space, does that mean that one should be able to integrate vectors as well as forms?

7. Dec 29, 2012

mathman

When you are talking about integration over real n-dimensional spaces, the measure is usually assumed to be that developed from area or volume, etc. Integration involves functions (diff. forms, vectors, or anything else) defined on the spaces.

8. Dec 29, 2012

micromass

Staff Emeritus
A differential form induces a measure in a standard way. See Lang's "Real and functional analysis", chapter XXIII, section 3.

9. Dec 29, 2012

friend

And is it true that EVERY measure is a "distribution". I see written on wikipedia.org that, "measures can be taken to be a special kind of distribution". So are all measures interchangeable with a distributions, and visa versa? Can we integrate a distribution like a measure, like a form?

10. Jan 3, 2013

friend

This is an interesting question for me. I wonder if a distribution used in quantum theory might be taken as a measure or metric in the sense of general relativity. Can the rules that manipulate distributions in QM somehow be re-interpreted to give rules on how to manipulate the metric for GR?