Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Can anyone give a specific example of a diffeomorphism and also of composing a function with a diffeomorphism and how this helps mathematics as a whole? In other words, how does this fit into the grand scheme of mathematics?

Thanks

share|improve this question
4  
The entirety of "calculus on manifolds" is based on the fact that the local diffeomorphism between a neighborhood on a manifold with an open set in Euclidean space allows you to do your computations relative to the Cartesian coordinate system. –  Willie Wong Aug 31 '11 at 16:27
    
@WillieWong Thank you. Could you give a specific example? –  analysisj Aug 31 '11 at 16:54

2 Answers 2

up vote 4 down vote accepted

Diffeomorphisms are constructed between the unit tangent bundle of $S^2$, $SO_3$ and $\mathbb RP^3$ in this thread: The circle bundle of $S^2$ and real projective space

On a more nuts-and-bolts level, diffeomorphisms are the setting where you have a change of variables theorem for multi-variable integrals. http://en.wikipedia.org/wiki/Integration_by_substitution#Substitution_for_multiple_variables

Another place where diffeomorphisms come into the picture is if you have a vector field $\vec v$ defined on an open subset of Euclidean space, it generates a flow which is a 1-parameter family of diffeomorphisms. In a sense the process of "solving" an ODE is the process of going from the vector field to the flow. So for example, this leads to the connection that a divergence-free vector field generates an area/volume/content-preserving flow.

share|improve this answer

Here is an example from Riemannian geometry that illustrates how diffeomorphisms can play a critical role in an important result from geometry. In a paper by Kazdan and Warner they show that any smooth function on a closed manifold of dimension 3 or higher can be a scalar curvature of a metric on the manifold, by solving the equation

$Lu=(K \cdot \phi) u^\frac{n+2}{n-2},$

where $\phi$ is a diffeomorphism, $L$ is the conformal Laplacian, $K$ is a constant, and $n$ is the dimension of the manifold. You can not solve

$Lu = f u^\frac{n+2}{n-2}$

for general $f$, in general, so the diffeomorphism $\phi$ play a critical role in the proof.

share|improve this answer
    
+1. Thank you very much. –  analysisj Aug 31 '11 at 18:14

Your Answer

 
discard

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.